runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454295-1307193119/watcher-3454295-1307193119 -o /tmp/evaluation-result-3454295-1307193119/solver-3454295-1307193119 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454295-1307193119.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.26 3.33 3.34 2/510 789
/proc/meminfo: memFree=25864660/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/789/stat : 789 (java) R 787 789 28154 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 830910410 23580672 701 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210199684584 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/789/statm: 5757 701 518 9 0 124 0
[pid=789/tid=790] ppid=787 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/789/task/790/stat : 790 (java) R 787 789 28154 0 -1 4202560 7032 0 1 0 0 0 0 0 25 0 2 0 830910411 10694979584 7848 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.036129 s]
/proc/loadavg: 3.26 3.33 3.34 2/510 789
/proc/meminfo: memFree=25864660/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/789/stat : 789 (java) S 787 789 28154 0 -1 4202496 11087 0 1 0 1 1 0 0 25 0 13 0 830910410 10718699520 10787 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 2616870 10787 1633 9 0 2607618 0
[pid=789/tid=790] ppid=787 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/789/task/790/stat : 790 (java) R 787 789 28154 0 -1 4202560 9946 0 1 0 1 1 0 0 25 0 13 0 830910411 10718699520 10787 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216474059 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.101129 s]
/proc/loadavg: 3.26 3.33 3.34 2/510 789
/proc/meminfo: memFree=25864660/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=10540216 CPUtime=0.11 cores=0,2,4,6
/proc/789/stat : 789 (java) S 787 789 28154 0 -1 4202496 13093 0 1 0 9 2 0 0 25 0 18 0 830910410 10793181184 12791 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 2635054 12792 2092 9 0 2625788 0
[pid=789/tid=790] ppid=787 vsize=10540216 CPUtime=0.08 cores=0,2,4,6
/proc/789/task/790/stat : 790 (java) R 787 789 28154 0 -1 4202560 11190 0 1 0 7 1 0 0 22 0 18 0 830910411 10793181184 12792 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 47140494977875 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540216
[startup+0.301052 s]
/proc/loadavg: 3.26 3.33 3.34 2/510 789
/proc/meminfo: memFree=25864660/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=10541952 CPUtime=0.49 cores=0,2,4,6
/proc/789/stat : 789 (java) S 787 789 28154 0 -1 4202496 15918 0 1 0 47 2 0 0 25 0 18 0 830910410 10794958848 15439 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 2635488 15440 2201 9 0 2626222 0
[pid=789/tid=790] ppid=787 vsize=10541952 CPUtime=0.29 cores=0,2,4,6
/proc/789/task/790/stat : 790 (java) R 787 789 28154 0 -1 4202560 13160 0 1 0 27 2 0 0 22 0 18 0 830910411 10794958848 15441 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912505575000 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541952
[startup+0.701065 s]
/proc/loadavg: 3.26 3.33 3.34 2/510 789
/proc/meminfo: memFree=25864660/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=10545148 CPUtime=1.19 cores=0,2,4,6
/proc/789/stat : 789 (java) S 787 789 28154 0 -1 4202496 49996 0 1 0 113 6 0 0 25 0 18 0 830910410 10798231552 47160 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 2636287 47162 2213 9 0 2627021 0
[pid=789/tid=790] ppid=787 vsize=10545148 CPUtime=0.68 cores=0,2,4,6
/proc/789/task/790/stat : 790 (java) R 787 789 28154 0 -1 4202560 43115 0 1 0 63 5 0 0 18 0 18 0 830910411 10798231552 47163 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 47140494977875 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10545148
[startup+1.50088 s]
/proc/loadavg: 3.26 3.33 3.34 5/532 813
/proc/meminfo: memFree=25662804/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=10549260 CPUtime=3.36 cores=0,2,4,6
/proc/789/stat : 789 (java) S 787 789 28154 0 -1 4202496 60948 0 1 0 328 8 0 0 25 0 22 0 830910410 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 2637315 57188 2235 9 0 2628049 0
[pid=789/tid=790] ppid=787 vsize=10549260 CPUtime=0.78 cores=0,2,4,6
/proc/789/task/790/stat : 790 (java) S 787 789 28154 0 -1 4202560 46075 0 1 0 73 5 0 0 15 0 22 0 830910411 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=792] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=793] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 787 789 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=794] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=795] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=796] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=797] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=798] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=799] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=800] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 787 789 28154 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830910413 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 0 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=801] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 787 789 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830910414 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=802] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 787 789 28154 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830910414 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=803] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830910416 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216470961 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=804] ppid=787 vsize=10549260 CPUtime=0.61 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 787 789 28154 0 -1 4202560 2464 0 0 0 61 0 0 0 15 0 22 0 830910416 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=805] ppid=787 vsize=10549260 CPUtime=0.55 cores=0,2,4,6
/proc/789/task/805/stat : 805 (java) S 787 789 28154 0 -1 4202560 4295 0 0 0 55 0 0 0 15 0 22 0 830910416 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=806] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/806/stat : 806 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830910416 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=808] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/808/stat : 808 (java) S 787 789 28154 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830910416 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=809] ppid=787 vsize=10549260 CPUtime=0.69 cores=0,2,4,6
/proc/789/task/809/stat : 809 (java) R 787 789 28154 0 -1 4202560 809 0 0 0 69 0 0 0 22 0 22 0 830910491 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912505867111 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=789/tid=810] ppid=787 vsize=10549260 CPUtime=0.68 cores=0,2,4,6
/proc/789/task/810/stat : 810 (java) R 787 789 28154 0 -1 4202560 6137 0 0 0 68 0 0 0 18 0 22 0 830910491 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912505875333 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=789/tid=812] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/812/stat : 812 (java) S 787 789 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830910493 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=813] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/813/stat : 813 (java) S 787 789 28154 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830910493 10802442240 57188 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 10549260
[startup+3.10164 s]
/proc/loadavg: 3.26 3.33 3.34 4/532 814
/proc/meminfo: memFree=25599288/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=10549260 CPUtime=6.65 cores=0,2,4,6
/proc/789/stat : 789 (java) S 787 789 28154 0 -1 4202496 97902 0 1 0 653 12 0 0 25 0 22 0 830910410 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 2637315 94141 2236 9 0 2628049 0
[pid=789/tid=790] ppid=787 vsize=10549260 CPUtime=0.78 cores=0,2,4,6
/proc/789/task/790/stat : 790 (java) S 787 789 28154 0 -1 4202560 46075 0 1 0 73 5 0 0 15 0 22 0 830910411 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=792] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=793] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 787 789 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=794] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=795] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=796] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=797] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=798] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=799] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=800] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 787 789 28154 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830910413 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 0 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=801] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 787 789 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830910414 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=802] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 787 789 28154 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830910414 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=803] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830910416 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216470961 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=804] ppid=787 vsize=10549260 CPUtime=0.66 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 787 789 28154 0 -1 4202560 2473 0 0 0 66 0 0 0 15 0 22 0 830910416 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=805] ppid=787 vsize=10549260 CPUtime=0.59 cores=0,2,4,6
/proc/789/task/805/stat : 805 (java) S 787 789 28154 0 -1 4202560 4301 0 0 0 59 0 0 0 15 0 22 0 830910416 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=806] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/806/stat : 806 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830910416 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=808] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/808/stat : 808 (java) S 787 789 28154 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830910416 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=809] ppid=787 vsize=10549260 CPUtime=2.29 cores=0,2,4,6
/proc/789/task/809/stat : 809 (java) R 787 789 28154 0 -1 4202560 1688 0 0 0 229 0 0 0 25 0 22 0 830910491 10802442240 94141 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912505849120 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=789/tid=810] ppid=787 vsize=10549260 CPUtime=2.28 cores=0,2,4,6
/proc/789/task/810/stat : 810 (java) R 787 789 28154 0 -1 4202560 42199 0 0 0 223 5 0 0 21 0 22 0 830910491 10802442240 94144 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912506048122 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=789/tid=812] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/812/stat : 812 (java) S 787 789 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830910493 10802442240 94145 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=813] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/813/stat : 813 (java) S 787 789 28154 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830910493 10802442240 94145 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 10549260
[startup+6.30108 s]
/proc/loadavg: 3.48 3.38 3.35 5/532 814
/proc/meminfo: memFree=25425904/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=10549260 CPUtime=13.22 cores=0,2,4,6
/proc/789/stat : 789 (java) S 787 789 28154 0 -1 4202496 119308 0 1 0 1307 15 0 0 25 0 22 0 830910410 10802442240 115031 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 2637315 115031 2240 9 0 2628049 0
[pid=789/tid=790] ppid=787 vsize=10549260 CPUtime=0.78 cores=0,2,4,6
/proc/789/task/790/stat : 790 (java) S 787 789 28154 0 -1 4202560 46075 0 1 0 73 5 0 0 15 0 22 0 830910411 10802442240 115031 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=792] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 115031 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=793] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 787 789 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 115031 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=794] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 115031 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=795] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 115031 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=796] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 115031 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=797] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 115031 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=798] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 115031 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=799] ppid=787 vsize=10549260 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830910412 10802442240 115031 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/789/task/792/stat : 792 (java) S 787 789 28154 0 -1 4202560 22838 0 0 0 49 3 0 0 16 0 22 0 830910412 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=793] ppid=787 vsize=10549116 CPUtime=0.62 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 787 789 28154 0 -1 4202560 28788 0 0 0 58 4 0 0 15 0 22 0 830910412 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=794] ppid=787 vsize=10549116 CPUtime=0.63 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 787 789 28154 0 -1 4202560 37615 0 0 0 59 4 0 0 15 0 22 0 830910412 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=795] ppid=787 vsize=10549116 CPUtime=0.57 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 787 789 28154 0 -1 4202560 33586 0 0 0 52 5 0 0 16 0 22 0 830910412 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=796] ppid=787 vsize=10549116 CPUtime=0.6 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 787 789 28154 0 -1 4202560 24751 0 0 0 56 4 0 0 15 0 22 0 830910412 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=797] ppid=787 vsize=10549116 CPUtime=0.57 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 787 789 28154 0 -1 4202560 32637 0 0 0 53 4 0 0 15 0 22 0 830910412 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=798] ppid=787 vsize=10549116 CPUtime=0.66 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 787 789 28154 0 -1 4202560 31723 0 0 0 63 3 0 0 16 0 22 0 830910412 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=799] ppid=787 vsize=10549116 CPUtime=0.6 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 787 789 28154 0 -1 4202560 28351 0 0 0 56 4 0 0 15 0 22 0 830910412 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=800] ppid=787 vsize=10549116 CPUtime=0.54 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 787 789 28154 0 -1 4202560 1552 0 0 0 52 2 0 0 15 0 22 0 830910413 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 0 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=801] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 787 789 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830910414 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=802] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 787 789 28154 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830910414 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=803] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830910416 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216470961 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=804] ppid=787 vsize=10549116 CPUtime=1.04 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 787 789 28154 0 -1 4202560 3654 0 0 0 104 0 0 0 15 0 22 0 830910416 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=805] ppid=787 vsize=10549116 CPUtime=0.87 cores=0,2,4,6
/proc/789/task/805/stat : 805 (java) S 787 789 28154 0 -1 4202560 5158 0 0 0 87 0 0 0 15 0 22 0 830910416 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=806] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/806/stat : 806 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830910416 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=808] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/808/stat : 808 (java) S 787 789 28154 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830910416 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=809] ppid=787 vsize=10549116 CPUtime=819.43 cores=0,2,4,6
/proc/789/task/809/stat : 809 (java) R 787 789 28154 0 -1 4202560 10275 0 0 0 81940 3 0 0 25 0 22 0 830910491 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912505848944 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=789/tid=810] ppid=787 vsize=10549116 CPUtime=819.45 cores=0,2,4,6
/proc/789/task/810/stat : 810 (java) R 787 789 28154 0 -1 4202560 776099 0 0 0 81858 87 0 0 25 0 22 0 830910491 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912505867130 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=789/tid=812] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/812/stat : 812 (java) S 787 789 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830910493 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=813] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/813/stat : 813 (java) S 787 789 28154 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830910493 10802294784 1075865 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1647.01
Current children cumulated vsize (KiB) 10549116
[startup+882.301 s]
/proc/loadavg: 4.08 4.00 3.74 5/532 1113
/proc/meminfo: memFree=19026184/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=10549116 CPUtime=1767.12 cores=0,2,4,6
/proc/789/stat : 789 (java) S 787 789 28154 0 -1 4202496 1084417 0 1 0 176578 134 0 0 25 0 22 0 830910410 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 2637279 1075948 2267 9 0 2628013 0
[pid=789/tid=790] ppid=787 vsize=10549116 CPUtime=0.78 cores=0,2,4,6
/proc/789/task/790/stat : 790 (java) S 787 789 28154 0 -1 4202560 46079 0 1 0 73 5 0 0 15 0 22 0 830910411 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=792] ppid=787 vsize=10549116 CPUtime=0.54 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 787 789 28154 0 -1 4202560 22839 0 0 0 51 3 0 0 15 0 22 0 830910412 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=793] ppid=787 vsize=10549116 CPUtime=0.68 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 787 789 28154 0 -1 4202560 28798 0 0 0 64 4 0 0 15 0 22 0 830910412 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=794] ppid=787 vsize=10549116 CPUtime=0.7 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 787 789 28154 0 -1 4202560 37635 0 0 0 66 4 0 0 15 0 22 0 830910412 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=795] ppid=787 vsize=10549116 CPUtime=0.63 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 787 789 28154 0 -1 4202560 33592 0 0 0 58 5 0 0 16 0 22 0 830910412 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=796] ppid=787 vsize=10549116 CPUtime=0.6 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 787 789 28154 0 -1 4202560 24751 0 0 0 56 4 0 0 15 0 22 0 830910412 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=797] ppid=787 vsize=10549116 CPUtime=0.61 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 787 789 28154 0 -1 4202560 32642 0 0 0 57 4 0 0 16 0 22 0 830910412 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=798] ppid=787 vsize=10549116 CPUtime=0.7 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 787 789 28154 0 -1 4202560 31755 0 0 0 67 3 0 0 16 0 22 0 830910412 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=799] ppid=787 vsize=10549116 CPUtime=0.62 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 787 789 28154 0 -1 4202560 28362 0 0 0 58 4 0 0 16 0 22 0 830910412 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=800] ppid=787 vsize=10549116 CPUtime=0.54 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 787 789 28154 0 -1 4202560 1556 0 0 0 52 2 0 0 15 0 22 0 830910413 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 0 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=801] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 787 789 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830910414 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=802] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 787 789 28154 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830910414 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=803] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830910416 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216470961 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=804] ppid=787 vsize=10549116 CPUtime=1.04 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 787 789 28154 0 -1 4202560 3654 0 0 0 104 0 0 0 15 0 22 0 830910416 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=805] ppid=787 vsize=10549116 CPUtime=0.87 cores=0,2,4,6
/proc/789/task/805/stat : 805 (java) S 787 789 28154 0 -1 4202560 5158 0 0 0 87 0 0 0 15 0 22 0 830910416 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=806] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/806/stat : 806 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830910416 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=808] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/808/stat : 808 (java) S 787 789 28154 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830910416 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=809] ppid=787 vsize=10549116 CPUtime=879.33 cores=0,2,4,6
/proc/789/task/809/stat : 809 (java) R 787 789 28154 0 -1 4202560 10276 0 0 0 87930 3 0 0 25 0 22 0 830910491 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912505849094 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=789/tid=810] ppid=787 vsize=10549116 CPUtime=879.35 cores=0,2,4,6
/proc/789/task/810/stat : 810 (java) R 787 789 28154 0 -1 4202560 776109 0 0 0 87848 87 0 0 25 0 22 0 830910491 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912506189340 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=789/tid=812] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/812/stat : 812 (java) S 787 789 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830910493 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=813] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/813/stat : 813 (java) S 787 789 28154 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830910493 10802294784 1075948 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1767.12
Current children cumulated vsize (KiB) 10549116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.719 s]
/proc/loadavg: 4.06 4.00 3.74 5/532 1113
/proc/meminfo: memFree=19014144/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=10549116 CPUtime=1800.04 cores=0,2,4,6
/proc/789/stat : 789 (java) S 787 789 28154 0 -1 4202496 1084448 0 1 0 179869 135 0 0 25 0 22 0 830910410 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 2637279 1075973 2267 9 0 2628013 0
[pid=789/tid=790] ppid=787 vsize=10549116 CPUtime=0.78 cores=0,2,4,6
/proc/789/task/790/stat : 790 (java) S 787 789 28154 0 -1 4202560 46079 0 1 0 73 5 0 0 15 0 22 0 830910411 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=792] ppid=787 vsize=10549116 CPUtime=0.57 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 787 789 28154 0 -1 4202560 22858 0 0 0 54 3 0 0 16 0 22 0 830910412 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=793] ppid=787 vsize=10549116 CPUtime=0.7 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 787 789 28154 0 -1 4202560 28799 0 0 0 66 4 0 0 16 0 22 0 830910412 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=794] ppid=787 vsize=10549116 CPUtime=0.7 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 787 789 28154 0 -1 4202560 37635 0 0 0 66 4 0 0 16 0 22 0 830910412 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=795] ppid=787 vsize=10549116 CPUtime=0.65 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 787 789 28154 0 -1 4202560 33595 0 0 0 60 5 0 0 16 0 22 0 830910412 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=796] ppid=787 vsize=10549116 CPUtime=0.62 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 787 789 28154 0 -1 4202560 24751 0 0 0 58 4 0 0 15 0 22 0 830910412 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=797] ppid=787 vsize=10549116 CPUtime=0.63 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 787 789 28154 0 -1 4202560 32643 0 0 0 59 4 0 0 16 0 22 0 830910412 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=798] ppid=787 vsize=10549116 CPUtime=0.72 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 787 789 28154 0 -1 4202560 31755 0 0 0 69 3 0 0 15 0 22 0 830910412 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=799] ppid=787 vsize=10549116 CPUtime=0.64 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 787 789 28154 0 -1 4202560 28363 0 0 0 60 4 0 0 15 0 22 0 830910412 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=800] ppid=787 vsize=10549116 CPUtime=0.55 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 787 789 28154 0 -1 4202560 1556 0 0 0 53 2 0 0 15 0 22 0 830910413 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 0 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=801] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 787 789 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830910414 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=802] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 787 789 28154 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830910414 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 6 0 0 0
[pid=789/tid=803] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830910416 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216470961 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=804] ppid=787 vsize=10549116 CPUtime=1.04 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 787 789 28154 0 -1 4202560 3654 0 0 0 104 0 0 0 15 0 22 0 830910416 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
[pid=789/tid=805] ppid=787 vsize=10549116 CPUtime=0.87 cores=0,2,4,6
/proc/789/task/805/stat : 805 (java) S 787 789 28154 0 -1 4202560 5158 0 0 0 87 0 0 0 15 0 22 0 830910416 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=806] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/806/stat : 806 (java) S 787 789 28154 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830910416 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463257 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=808] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/808/stat : 808 (java) S 787 789 28154 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830910416 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 4 0 0 0
[pid=789/tid=809] ppid=787 vsize=10549116 CPUtime=895.72 cores=0,2,4,6
/proc/789/task/809/stat : 809 (java) R 787 789 28154 0 -1 4202560 10277 0 0 0 89569 3 0 0 25 0 22 0 830910491 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912505849128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=789/tid=810] ppid=787 vsize=10549116 CPUtime=895.74 cores=0,2,4,6
/proc/789/task/810/stat : 810 (java) R 787 789 28154 0 -1 4202560 776114 0 0 0 89487 87 0 0 25 0 22 0 830910491 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 46912506189296 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=789/tid=812] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/812/stat : 812 (java) S 787 789 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830910493 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 2 0 0 0
[pid=789/tid=813] ppid=787 vsize=10549116 CPUtime=0 cores=0,2,4,6
/proc/789/task/813/stat : 813 (java) S 787 789 28154 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830910493 10802294784 1075973 33554432000 1073741824 1073778376 140737081817520 18446744073709551615 210216463872 0 4 0 16800975 18446604441580484416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10549116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+898.824 s]
/proc/loadavg: 4.06 4.00 3.74 5/532 1113
/proc/meminfo: memFree=19014144/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/789/stat : 789 (java) Z 787 789 28154 0 -1 4203548 1084476 0 1 0 179875 142 0 0 17 0 2 0 830910410 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
[startup+898.901 s]
/proc/loadavg: 4.06 4.00 3.74 5/532 1113
/proc/meminfo: memFree=19014144/32951124 swapFree=63649284/67111528
[pid=789] ppid=787 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/789/stat : 789 (java) Z 787 789 28154 0 -1 4203548 1084476 0 1 0 179875 150 0 0 17 0 2 0 830910410 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/789/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 898.927
CPU time (s): 1800.29
CPU user time (s): 1798.76
CPU system time (s): 1.52577
CPU usage (%): 200.27
Max. virtual memory (cumulated for all children) (KiB): 10552056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.52577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1084476
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25966
involuntary context switches= 19027
runsolver used 4.86326 second user time and 9.93349 second system time
The end