runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012070034/p2cudf-trendy-1.9/rand550.sarge.cudf.sarge.log.runsolver ./p2cudf-trendy-1.9 /home/misc2010/data/icse/sarge/rand550.sarge.cudf /home/misc2010/tmp/201012070034/p2cudf-trendy-1.9/rand550.sarge.cudf.sarge.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.05 1.04 5/47 20777
/proc/meminfo: memFree=838852/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) R 20775 20776 4159 34819 4229 4202496 359 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2572 CPUtime=0
/proc/20777/stat : 20777 (p2cudf-trendy-1) R 20776 20776 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 40 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/20777/statm: 643 40 0 194 0 29 0

[startup+0.185349 s]
/proc/loadavg: 1.00 1.05 1.04 5/47 20777
/proc/meminfo: memFree=838852/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.20535 s]
/proc/loadavg: 1.00 1.05 1.04 5/47 20777
/proc/meminfo: memFree=838852/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.305369 s]
/proc/loadavg: 1.00 1.05 1.04 5/47 20777
/proc/meminfo: memFree=838852/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.705464 s]
/proc/loadavg: 1.00 1.05 1.04 5/47 20777
/proc/meminfo: memFree=838852/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.50564 s]
/proc/loadavg: 1.00 1.05 1.04 4/58 20799
/proc/meminfo: memFree=798136/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
[pid=20790] ppid=20777 vsize=867976 CPUtime=1.46
/proc/20790/stat : 20790 (java) S 20777 20776 4159 34819 4229 4202496 20005 0 1 0 140 6 0 0 25 0 10 0 881734314 888807424 18722 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 216994 18722 1735 10 0 214084 0
[pid=20790/tid=20791] ppid=20777 vsize=867976 CPUtime=0.79
/proc/20790/task/20791/stat : 20791 (java) R 20777 20776 4159 34819 4229 4202560 14415 0 1 0 73 6 0 0 25 0 10 0 881734314 888807424 18722 1283457024 134512640 134550932 4288232016 18446744073709551615 4095717764 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20790/tid=20792] ppid=20777 vsize=867976 CPUtime=0
/proc/20790/task/20792/stat : 20792 (java) S 20777 20776 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881734316 888807424 18722 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20793] ppid=20777 vsize=867976 CPUtime=0
/proc/20790/task/20793/stat : 20793 (java) S 20777 20776 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 881734316 888807424 18722 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20794] ppid=20777 vsize=867976 CPUtime=0
/proc/20790/task/20794/stat : 20794 (java) S 20777 20776 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 881734316 888807424 18722 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20795] ppid=20777 vsize=867976 CPUtime=0
/proc/20790/task/20795/stat : 20795 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881734319 888807424 18722 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20796] ppid=20777 vsize=867976 CPUtime=0.56
/proc/20790/task/20796/stat : 20796 (java) R 20777 20776 4159 34819 4229 4202560 4437 0 0 0 56 0 0 0 25 0 10 0 881734319 888807424 18722 1283457024 134512640 134550932 4288232016 18446744073709551615 4149463519 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20790/tid=20797] ppid=20777 vsize=867976 CPUtime=0.11
/proc/20790/task/20797/stat : 20797 (java) R 20777 20776 4159 34819 4229 4202560 40 0 0 0 11 0 0 0 24 0 10 0 881734319 888807424 18722 1283457024 134512640 134550932 4288232016 18446744073709551615 4150528316 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20790/tid=20798] ppid=20777 vsize=867976 CPUtime=0
/proc/20790/task/20798/stat : 20798 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881734319 888807424 18722 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20799] ppid=20777 vsize=867976 CPUtime=0
/proc/20790/task/20799/stat : 20799 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881734319 888807424 18722 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 873124

[startup+3.10596 s]
/proc/loadavg: 1.00 1.05 1.04 4/58 20799
/proc/meminfo: memFree=745808/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
[pid=20790] ppid=20777 vsize=881724 CPUtime=3.07
/proc/20790/stat : 20790 (java) S 20777 20776 4159 34819 4229 4202496 35348 0 1 0 295 12 0 0 25 0 10 0 881734314 902885376 31586 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 220431 31586 1764 10 0 217521 0
[pid=20790/tid=20791] ppid=20777 vsize=881724 CPUtime=1.42
/proc/20790/task/20791/stat : 20791 (java) R 20777 20776 4159 34819 4229 4202560 23816 0 1 0 133 9 0 0 25 0 10 0 881734314 902885376 31586 1283457024 134512640 134550932 4288232016 18446744073709551615 4149081096 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20790/tid=20792] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20792/stat : 20792 (java) S 20777 20776 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 16 0 10 0 881734316 902885376 31586 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20793] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20793/stat : 20793 (java) S 20777 20776 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 881734316 902885376 31586 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20794] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20794/stat : 20794 (java) S 20777 20776 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 881734316 902885376 31586 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20795] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20795/stat : 20795 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881734319 902885376 31586 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20796] ppid=20777 vsize=881724 CPUtime=1.05
/proc/20790/task/20796/stat : 20796 (java) R 20777 20776 4159 34819 4229 4202560 6756 0 0 0 105 0 0 0 25 0 10 0 881734319 902885376 31586 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20790/tid=20797] ppid=20777 vsize=881724 CPUtime=0.58
/proc/20790/task/20797/stat : 20797 (java) S 20777 20776 4159 34819 4229 4202560 3663 0 0 0 56 2 0 0 22 0 10 0 881734319 902885376 31586 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20798] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20798/stat : 20798 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881734319 902885376 31586 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20799] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20799/stat : 20799 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881734319 902885376 31586 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 886872

Solver just ended. Dumping a history of the last processes samples

[startup+3.20599 s]
/proc/loadavg: 1.00 1.05 1.04 4/58 20799
/proc/meminfo: memFree=745808/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
[pid=20790] ppid=20777 vsize=881724 CPUtime=3.17
/proc/20790/stat : 20790 (java) S 20777 20776 4159 34819 4229 4202496 36294 0 1 0 304 13 0 0 25 0 10 0 881734314 902885376 32532 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 220431 32532 1764 10 0 217521 0
[pid=20790/tid=20791] ppid=20777 vsize=881724 CPUtime=1.52
/proc/20790/task/20791/stat : 20791 (java) R 20777 20776 4159 34819 4229 4202560 24762 0 1 0 142 10 0 0 25 0 10 0 881734314 902885376 32532 1283457024 134512640 134550932 4288232016 18446744073709551615 4096305416 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20790/tid=20792] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20792/stat : 20792 (java) S 20777 20776 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 16 0 10 0 881734316 902885376 32532 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20793] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20793/stat : 20793 (java) S 20777 20776 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 881734316 902885376 32532 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20794] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20794/stat : 20794 (java) S 20777 20776 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 881734316 902885376 32532 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20795] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20795/stat : 20795 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881734319 902885376 32532 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20796] ppid=20777 vsize=881724 CPUtime=1.05
/proc/20790/task/20796/stat : 20796 (java) R 20777 20776 4159 34819 4229 4202560 6756 0 0 0 105 0 0 0 25 0 10 0 881734319 902885376 32532 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20790/tid=20797] ppid=20777 vsize=881724 CPUtime=0.58
/proc/20790/task/20797/stat : 20797 (java) S 20777 20776 4159 34819 4229 4202560 3663 0 0 0 56 2 0 0 22 0 10 0 881734319 902885376 32532 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20798] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20798/stat : 20798 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881734319 902885376 32532 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20799] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20799/stat : 20799 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881734319 902885376 32532 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 886872

[startup+4.00622 s]
/proc/loadavg: 1.16 1.08 1.05 4/58 20799
/proc/meminfo: memFree=714196/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
[pid=20790] ppid=20777 vsize=881724 CPUtime=3.96
/proc/20790/stat : 20790 (java) S 20777 20776 4159 34819 4229 4202496 39373 0 1 0 382 14 0 0 25 0 10 0 881734314 902885376 35611 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 220431 35611 1766 10 0 217521 0
[pid=20790/tid=20791] ppid=20777 vsize=881724 CPUtime=1.65
/proc/20790/task/20791/stat : 20791 (java) R 20777 20776 4159 34819 4229 4202560 27721 0 1 0 153 12 0 0 25 0 10 0 881734314 902885376 35611 1283457024 134512640 134550932 4288232016 18446744073709551615 4149770621 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20790/tid=20792] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20792/stat : 20792 (java) S 20777 20776 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 10 0 881734316 902885376 35611 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20793] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20793/stat : 20793 (java) S 20777 20776 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 881734316 902885376 35611 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20794] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20794/stat : 20794 (java) S 20777 20776 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 881734316 902885376 35611 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20795] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20795/stat : 20795 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881734319 902885376 35611 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20796] ppid=20777 vsize=881724 CPUtime=1.3
/proc/20790/task/20796/stat : 20796 (java) R 20777 20776 4159 34819 4229 4202560 6787 0 0 0 130 0 0 0 25 0 10 0 881734319 902885376 35611 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20790/tid=20797] ppid=20777 vsize=881724 CPUtime=1
/proc/20790/task/20797/stat : 20797 (java) S 20777 20776 4159 34819 4229 4202560 3752 0 0 0 98 2 0 0 19 0 10 0 881734319 902885376 35611 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20798] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20798/stat : 20798 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881734319 902885376 35611 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20799] ppid=20777 vsize=881724 CPUtime=0
/proc/20790/task/20799/stat : 20799 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881734319 902885376 35611 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 886872

[startup+4.40557 s]
/proc/loadavg: 1.16 1.08 1.05 2/59 20801
/proc/meminfo: memFree=700796/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
[pid=20790] ppid=20777 vsize=882372 CPUtime=4.28
/proc/20790/stat : 20790 (java) S 20777 20776 4159 34819 4229 4202496 39856 0 1 0 412 16 0 0 25 0 11 0 881734314 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 220593 36094 1772 10 0 217683 0
[pid=20790/tid=20791] ppid=20777 vsize=882372 CPUtime=1.75
/proc/20790/task/20791/stat : 20791 (java) S 20777 20776 4159 34819 4229 4202560 28164 0 1 0 162 13 0 0 25 0 11 0 881734314 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20792] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20792/stat : 20792 (java) S 20777 20776 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 11 0 881734316 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20793] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20793/stat : 20793 (java) S 20777 20776 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 11 0 881734316 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20794] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20794/stat : 20794 (java) S 20777 20776 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 11 0 881734316 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20795] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20795/stat : 20795 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 881734319 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20796] ppid=20777 vsize=882372 CPUtime=1.33
/proc/20790/task/20796/stat : 20796 (java) S 20777 20776 4159 34819 4229 4202560 6801 0 0 0 133 0 0 0 25 0 11 0 881734319 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20797] ppid=20777 vsize=882372 CPUtime=1.17
/proc/20790/task/20797/stat : 20797 (java) S 20777 20776 4159 34819 4229 4202560 3770 0 0 0 115 2 0 0 19 0 11 0 881734319 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20798] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20798/stat : 20798 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 881734319 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20799] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20799/stat : 20799 (java) R 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 11 0 881734319 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20790/tid=20801] ppid=20777 vsize=882372 CPUtime=0.01
/proc/20790/task/20801/stat : 20801 (java) S 20777 20776 4159 34819 4229 4202560 4 0 0 0 1 0 0 0 25 0 11 0 881734741 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 887520

[startup+4.80554 s]
/proc/loadavg: 1.16 1.08 1.05 2/59 20801
/proc/meminfo: memFree=700796/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
[pid=20790] ppid=20777 vsize=882372 CPUtime=4.28
/proc/20790/stat : 20790 (java) S 20777 20776 4159 34819 4229 4202496 39856 0 1 0 412 16 0 0 25 0 11 0 881734314 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 220593 36094 1772 10 0 217683 0
[pid=20790/tid=20791] ppid=20777 vsize=882372 CPUtime=1.75
/proc/20790/task/20791/stat : 20791 (java) S 20777 20776 4159 34819 4229 4202560 28164 0 1 0 162 13 0 0 25 0 11 0 881734314 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20792] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20792/stat : 20792 (java) S 20777 20776 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 11 0 881734316 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20793] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20793/stat : 20793 (java) S 20777 20776 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 11 0 881734316 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20794] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20794/stat : 20794 (java) S 20777 20776 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 11 0 881734316 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20795] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20795/stat : 20795 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 881734319 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20796] ppid=20777 vsize=882372 CPUtime=1.33
/proc/20790/task/20796/stat : 20796 (java) S 20777 20776 4159 34819 4229 4202560 6801 0 0 0 133 0 0 0 25 0 11 0 881734319 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20797] ppid=20777 vsize=882372 CPUtime=1.17
/proc/20790/task/20797/stat : 20797 (java) S 20777 20776 4159 34819 4229 4202560 3770 0 0 0 115 2 0 0 19 0 11 0 881734319 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20798] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20798/stat : 20798 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 881734319 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20799] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20799/stat : 20799 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 11 0 881734319 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20801] ppid=20777 vsize=882372 CPUtime=0.01
/proc/20790/task/20801/stat : 20801 (java) S 20777 20776 4159 34819 4229 4202560 4 0 0 0 1 0 0 0 25 0 11 0 881734741 903548928 36094 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 887520

[startup+4.90959 s]
/proc/loadavg: 1.16 1.08 1.05 2/59 20801
/proc/meminfo: memFree=700796/1048576 swapFree=2077700/2097144
[pid=20776] ppid=20775 vsize=2572 CPUtime=0
/proc/20776/stat : 20776 (p2cudf-trendy-1) S 20775 20776 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 25 0 1 0 881734310 2633728 273 1283457024 134512640 135304128 4288408560 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20776/statm: 643 273 233 194 0 29 0
[pid=20777] ppid=20776 vsize=2576 CPUtime=0.03
/proc/20777/stat : 20777 (p2cudf) S 20776 20776 4159 34819 4229 4202496 391 2994 0 1 0 1 0 2 25 0 1 0 881734310 2637824 281 1283457024 134512640 135304128 4290428352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20777/statm: 644 281 241 194 0 30 0
[pid=20790] ppid=20777 vsize=882372 CPUtime=4.37
/proc/20790/stat : 20790 (java) S 20777 20776 4159 34819 4229 4202496 40012 0 1 0 417 20 0 0 25 0 11 0 881734314 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 220593 36250 1772 10 0 217683 0
[pid=20790/tid=20791] ppid=20777 vsize=882372 CPUtime=1.75
/proc/20790/task/20791/stat : 20791 (java) S 20777 20776 4159 34819 4229 4202560 28164 0 1 0 162 13 0 0 25 0 11 0 881734314 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20792] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20792/stat : 20792 (java) S 20777 20776 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 11 0 881734316 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20793] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20793/stat : 20793 (java) S 20777 20776 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 11 0 881734316 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20794] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20794/stat : 20794 (java) S 20777 20776 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 11 0 881734316 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20795] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20795/stat : 20795 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 881734319 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20796] ppid=20777 vsize=882372 CPUtime=1.33
/proc/20790/task/20796/stat : 20796 (java) S 20777 20776 4159 34819 4229 4202560 6801 0 0 0 133 0 0 0 25 0 11 0 881734319 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20797] ppid=20777 vsize=882372 CPUtime=1.2
/proc/20790/task/20797/stat : 20797 (java) S 20777 20776 4159 34819 4229 4202560 3773 0 0 0 118 2 0 0 15 0 11 0 881734319 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20798] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20798/stat : 20798 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 881734319 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20799] ppid=20777 vsize=882372 CPUtime=0
/proc/20790/task/20799/stat : 20799 (java) S 20777 20776 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 11 0 881734319 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=20790/tid=20801] ppid=20777 vsize=882372 CPUtime=0.08
/proc/20790/task/20801/stat : 20801 (java) R 20777 20776 4159 34819 4229 4202560 157 0 0 0 4 4 0 0 20 0 11 0 881734741 903548928 36250 1283457024 134512640 134550932 4288232016 18446744073709551615 4095706244 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 887520

Child status: 0
Real time (s): 4.92714
CPU time (s): 4.41627
CPU user time (s): 4.18026
CPU system time (s): 0.236014
CPU usage (%): 89.6316
Max. virtual memory (cumulated for all children) (KiB): 887520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.18026
system time used= 0.236014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43804
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 384
involuntary context switches= 379

runsolver used 0 second user time and 0 second system time

The end