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-3453885-1307194380/watcher-3453885-1307194380 -o /tmp/evaluation-result-3453885-1307194380/solver-3453885-1307194380 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453885-1307194380.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.03 3.55 3.67 3/551 10533
/proc/meminfo: memFree=14371856/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 2454 0 1 0 0 0 0 0 25 0 2 0 831036695 10681323520 2155 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2607745 2169 906 9 0 2598901 0
[pid=10533/tid=10534] ppid=10531 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) R 10531 10533 4029 0 -1 4202560 6115 0 1 0 0 0 0 0 25 0 2 0 831036696 10694979584 6931 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.116883 s]
/proc/loadavg: 3.03 3.55 3.67 3/551 10533
/proc/meminfo: memFree=14371856/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10539788 CPUtime=0.13 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 13207 0 1 0 11 2 0 0 25 0 18 0 831036695 10792742912 12873 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2634947 12873 2133 9 0 2625681 0
[pid=10533/tid=10534] ppid=10531 vsize=10539788 CPUtime=0.1 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) R 10531 10533 4029 0 -1 4202560 11347 0 1 0 9 1 0 0 18 0 18 0 831036696 10792742912 12873 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 46912496218225 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539788
[startup+0.200815 s]
/proc/loadavg: 3.03 3.55 3.67 3/551 10533
/proc/meminfo: memFree=14371856/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10544612 CPUtime=0.24 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 14127 0 1 0 22 2 0 0 25 0 22 0 831036695 10797682688 13793 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2636153 13794 2177 9 0 2626887 0
[pid=10533/tid=10534] ppid=10531 vsize=10544612 CPUtime=0.17 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) S 10531 10533 4029 0 -1 4202560 11896 0 1 0 16 1 0 0 19 0 22 0 831036696 10797682688 13794 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10544612
[startup+0.300782 s]
/proc/loadavg: 3.03 3.55 3.67 3/551 10533
/proc/meminfo: memFree=14371856/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10547356 CPUtime=0.63 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 17279 0 1 0 61 2 0 0 25 0 22 0 831036695 10800492544 15687 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2636839 15688 2203 9 0 2627573 0
[pid=10533/tid=10534] ppid=10531 vsize=10547356 CPUtime=0.17 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) S 10531 10533 4029 0 -1 4202560 11896 0 1 0 16 1 0 0 19 0 22 0 831036696 10800492544 15688 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10547356
[startup+0.702416 s]
/proc/loadavg: 3.03 3.55 3.67 3/551 10533
/proc/meminfo: memFree=14371856/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10556440 CPUtime=2.23 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 42516 0 1 0 218 5 0 0 25 0 22 0 831036695 10809794560 34172 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2639110 34172 2237 9 0 2629844 0
[pid=10533/tid=10534] ppid=10531 vsize=10556440 CPUtime=0.17 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) S 10531 10533 4029 0 -1 4202560 11896 0 1 0 16 1 0 0 15 0 22 0 831036696 10809794560 34172 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10556440
[startup+1.50163 s]
/proc/loadavg: 3.03 3.55 3.67 5/570 10555
/proc/meminfo: memFree=14149072/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10562364 CPUtime=4.68 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 84678 0 1 0 457 11 0 0 25 0 22 0 831036695 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2640591 71737 2254 9 0 2631325 0
[pid=10533/tid=10534] ppid=10531 vsize=10562364 CPUtime=0.17 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) S 10531 10533 4029 0 -1 4202560 11896 0 1 0 16 1 0 0 15 0 22 0 831036696 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10536] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10536/stat : 10536 (java) S 10531 10533 4029 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10537] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10537/stat : 10537 (java) S 10531 10533 4029 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10538] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10538/stat : 10538 (java) S 10531 10533 4029 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10539] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10539/stat : 10539 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10540] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10540/stat : 10540 (java) S 10531 10533 4029 0 -1 4202560 222 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10541] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10541/stat : 10541 (java) S 10531 10533 4029 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10542] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10542/stat : 10542 (java) S 10531 10533 4029 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10543] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10543/stat : 10543 (java) S 10531 10533 4029 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10544] ppid=10531 vsize=10562364 CPUtime=0.05 cores=0,2,4,6
/proc/10533/task/10544/stat : 10544 (java) S 10531 10533 4029 0 -1 4202560 1445 0 0 0 5 0 0 0 15 0 22 0 831036699 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 0 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10545] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10545/stat : 10545 (java) S 10531 10533 4029 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 831036699 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10546] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10546/stat : 10546 (java) S 10531 10533 4029 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831036699 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10547] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10547/stat : 10547 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831036701 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982373809 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10548] ppid=10531 vsize=10562364 CPUtime=0.9 cores=0,2,4,6
/proc/10533/task/10548/stat : 10548 (java) S 10531 10533 4029 0 -1 4202560 11361 0 0 0 89 1 0 0 16 0 22 0 831036701 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10549] ppid=10531 vsize=10562364 CPUtime=1.02 cores=0,2,4,6
/proc/10533/task/10549/stat : 10549 (java) S 10531 10533 4029 0 -1 4202560 9283 0 0 0 102 0 0 0 24 0 22 0 831036701 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10550] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10550/stat : 10550 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831036701 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10551] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10551/stat : 10551 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831036701 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10552] ppid=10531 vsize=10562364 CPUtime=1.24 cores=0,2,4,6
/proc/10533/task/10552/stat : 10552 (java) R 10531 10533 4029 0 -1 4202560 424 0 0 0 124 0 0 0 18 0 22 0 831036715 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 46912505166928 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10533/tid=10553] ppid=10531 vsize=10562364 CPUtime=1.23 cores=0,2,4,6
/proc/10533/task/10553/stat : 10553 (java) R 10531 10533 4029 0 -1 4202560 47982 0 0 0 117 6 0 0 24 0 22 0 831036715 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 46912505642332 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10533/tid=10554] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10554/stat : 10554 (java) S 10531 10533 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831036715 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10555] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10555/stat : 10555 (java) S 10531 10533 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831036715 10815860736 71737 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 10562364
[startup+3.10133 s]
/proc/loadavg: 3.10 3.56 3.67 5/573 10558
/proc/meminfo: memFree=14011776/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10562364 CPUtime=6.66 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 111604 0 1 0 651 15 0 0 25 0 19 0 831036695 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2640591 98660 2256 9 0 2631325 0
[pid=10533/tid=10534] ppid=10531 vsize=10562364 CPUtime=0.17 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) S 10531 10533 4029 0 -1 4202560 11896 0 1 0 16 1 0 0 16 0 19 0 831036696 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10536] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10536/stat : 10536 (java) S 10531 10533 4029 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10537] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10537/stat : 10537 (java) S 10531 10533 4029 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10538] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10538/stat : 10538 (java) S 10531 10533 4029 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10539] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10539/stat : 10539 (java) S 10531 10533 4029 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10540] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10540/stat : 10540 (java) S 10531 10533 4029 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10541] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10541/stat : 10541 (java) S 10531 10533 4029 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10542] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10542/stat : 10542 (java) S 10531 10533 4029 0 -1 4202560 397 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10543] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10543/stat : 10543 (java) S 10531 10533 4029 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10544] ppid=10531 vsize=10562364 CPUtime=0.13 cores=0,2,4,6
/proc/10533/task/10544/stat : 10544 (java) S 10531 10533 4029 0 -1 4202560 2722 0 0 0 13 0 0 0 15 0 19 0 831036699 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 0 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10545] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10545/stat : 10545 (java) S 10531 10533 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831036699 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10546] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10546/stat : 10546 (java) S 10531 10533 4029 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831036699 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10547] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10547/stat : 10547 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831036701 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982373809 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10548] ppid=10531 vsize=10562364 CPUtime=0.92 cores=0,2,4,6
/proc/10533/task/10548/stat : 10548 (java) S 10531 10533 4029 0 -1 4202560 11363 0 0 0 91 1 0 0 15 0 19 0 831036701 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10549] ppid=10531 vsize=10562364 CPUtime=1.02 cores=0,2,4,6
/proc/10533/task/10549/stat : 10549 (java) S 10531 10533 4029 0 -1 4202560 9284 0 0 0 102 0 0 0 20 0 19 0 831036701 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10550] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10550/stat : 10550 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831036701 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10551] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10551/stat : 10551 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831036701 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10555] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10555/stat : 10555 (java) S 10531 10533 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831036715 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 10562364
Solver just ended. Dumping a history of the last processes samples
[startup+3.20131 s]
/proc/loadavg: 3.10 3.56 3.67 5/573 10558
/proc/meminfo: memFree=14011776/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10562364 CPUtime=6.66 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 111604 0 1 0 651 15 0 0 25 0 19 0 831036695 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2640591 98660 2256 9 0 2631325 0
[pid=10533/tid=10534] ppid=10531 vsize=10562364 CPUtime=0.17 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) S 10531 10533 4029 0 -1 4202560 11896 0 1 0 16 1 0 0 16 0 19 0 831036696 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10536] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10536/stat : 10536 (java) S 10531 10533 4029 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10537] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10537/stat : 10537 (java) S 10531 10533 4029 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10538] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10538/stat : 10538 (java) S 10531 10533 4029 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10539] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10539/stat : 10539 (java) S 10531 10533 4029 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10540] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10540/stat : 10540 (java) S 10531 10533 4029 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10541] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10541/stat : 10541 (java) S 10531 10533 4029 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10542] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10542/stat : 10542 (java) S 10531 10533 4029 0 -1 4202560 397 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10543] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10543/stat : 10543 (java) S 10531 10533 4029 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10544] ppid=10531 vsize=10562364 CPUtime=0.13 cores=0,2,4,6
/proc/10533/task/10544/stat : 10544 (java) S 10531 10533 4029 0 -1 4202560 2722 0 0 0 13 0 0 0 15 0 19 0 831036699 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 0 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10545] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10545/stat : 10545 (java) S 10531 10533 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831036699 10815860736 98660 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/10533/task/10542/stat : 10542 (java) S 10531 10533 4029 0 -1 4202560 397 0 0 0 0 0 0 0 16 0 19 0 831036698 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10543] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10543/stat : 10543 (java) S 10531 10533 4029 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10544] ppid=10531 vsize=10562364 CPUtime=0.16 cores=0,2,4,6
/proc/10533/task/10544/stat : 10544 (java) S 10531 10533 4029 0 -1 4202560 3026 0 0 0 16 0 0 0 16 0 19 0 831036699 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 0 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10545] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10545/stat : 10545 (java) S 10531 10533 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831036699 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10546] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10546/stat : 10546 (java) S 10531 10533 4029 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831036699 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10547] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10547/stat : 10547 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831036701 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982373809 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10548] ppid=10531 vsize=10562364 CPUtime=0.92 cores=0,2,4,6
/proc/10533/task/10548/stat : 10548 (java) S 10531 10533 4029 0 -1 4202560 11363 0 0 0 91 1 0 0 15 0 19 0 831036701 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10549] ppid=10531 vsize=10562364 CPUtime=1.02 cores=0,2,4,6
/proc/10533/task/10549/stat : 10549 (java) S 10531 10533 4029 0 -1 4202560 9284 0 0 0 102 0 0 0 20 0 19 0 831036701 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10550] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10550/stat : 10550 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831036701 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10551] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10551/stat : 10551 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831036701 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10555] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10555/stat : 10555 (java) S 10531 10533 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831036715 10815860736 99953 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 10562364
[startup+4.40114 s]
/proc/loadavg: 3.10 3.56 3.67 5/573 10570
/proc/meminfo: memFree=13975324/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10562364 CPUtime=7.81 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 112904 0 1 0 766 15 0 0 25 0 22 0 831036695 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2640591 99957 2257 9 0 2631325 0
[pid=10533/tid=10534] ppid=10531 vsize=10562364 CPUtime=0.17 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) S 10531 10533 4029 0 -1 4202560 11896 0 1 0 16 1 0 0 16 0 22 0 831036696 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10536] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10536/stat : 10536 (java) S 10531 10533 4029 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10537] ppid=10531 vsize=10562364 CPUtime=0.01 cores=0,2,4,6
/proc/10533/task/10537/stat : 10537 (java) S 10531 10533 4029 0 -1 4202560 106 0 0 0 1 0 0 0 16 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10538] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10538/stat : 10538 (java) S 10531 10533 4029 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10539] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10539/stat : 10539 (java) S 10531 10533 4029 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10540] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10540/stat : 10540 (java) S 10531 10533 4029 0 -1 4202560 275 0 0 0 0 0 0 0 16 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10541] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10541/stat : 10541 (java) S 10531 10533 4029 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10542] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10542/stat : 10542 (java) S 10531 10533 4029 0 -1 4202560 397 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10543] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10543/stat : 10543 (java) S 10531 10533 4029 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10544] ppid=10531 vsize=10562364 CPUtime=0.2 cores=0,2,4,6
/proc/10533/task/10544/stat : 10544 (java) S 10531 10533 4029 0 -1 4202560 3026 0 0 0 20 0 0 0 15 0 22 0 831036699 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 0 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10545] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10545/stat : 10545 (java) S 10531 10533 4029 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831036699 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10546] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10546/stat : 10546 (java) S 10531 10533 4029 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831036699 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10547] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10547/stat : 10547 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831036701 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982373809 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10548] ppid=10531 vsize=10562364 CPUtime=0.96 cores=0,2,4,6
/proc/10533/task/10548/stat : 10548 (java) S 10531 10533 4029 0 -1 4202560 11365 0 0 0 95 1 0 0 15 0 22 0 831036701 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10549] ppid=10531 vsize=10562364 CPUtime=1.02 cores=0,2,4,6
/proc/10533/task/10549/stat : 10549 (java) S 10531 10533 4029 0 -1 4202560 9284 0 0 0 102 0 0 0 20 0 22 0 831036701 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10550] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10550/stat : 10550 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831036701 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10551] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10551/stat : 10551 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831036701 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10555] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10555/stat : 10555 (java) S 10531 10533 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831036715 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10568] ppid=10531 vsize=10562364 CPUtime=0.16 cores=0,2,4,6
/proc/10533/task/10568/stat : 10568 (java) R 10531 10533 4029 0 -1 4202560 0 0 0 0 16 0 0 0 16 0 22 0 831037117 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 46912505597031 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10533/tid=10569] ppid=10531 vsize=10562364 CPUtime=0.15 cores=0,2,4,6
/proc/10533/task/10569/stat : 10569 (java) R 10531 10533 4029 0 -1 4202560 1 0 0 0 15 0 0 0 17 0 22 0 831037117 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 46912505729677 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10533/tid=10570] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10570/stat : 10570 (java) S 10531 10533 4029 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831037117 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 10562364
[startup+4.6011 s]
/proc/loadavg: 3.10 3.56 3.67 5/573 10570
/proc/meminfo: memFree=13975324/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10562364 CPUtime=8.17 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 112905 0 1 0 802 15 0 0 25 0 22 0 831036695 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2640591 99957 2257 9 0 2631325 0
[pid=10533/tid=10534] ppid=10531 vsize=10562364 CPUtime=0.17 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) S 10531 10533 4029 0 -1 4202560 11896 0 1 0 16 1 0 0 16 0 22 0 831036696 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10536] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10536/stat : 10536 (java) S 10531 10533 4029 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10537] ppid=10531 vsize=10562364 CPUtime=0.01 cores=0,2,4,6
/proc/10533/task/10537/stat : 10537 (java) S 10531 10533 4029 0 -1 4202560 106 0 0 0 1 0 0 0 16 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10538] ppid=10531 vsize=10562364 CPUtime=0.01 cores=0,2,4,6
/proc/10533/task/10538/stat : 10538 (java) S 10531 10533 4029 0 -1 4202560 119 0 0 0 1 0 0 0 16 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10539] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10539/stat : 10539 (java) S 10531 10533 4029 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10540] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10540/stat : 10540 (java) S 10531 10533 4029 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10541] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10541/stat : 10541 (java) S 10531 10533 4029 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10542] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10542/stat : 10542 (java) S 10531 10533 4029 0 -1 4202560 397 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10543] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10543/stat : 10543 (java) S 10531 10533 4029 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 22 0 831036698 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10544] ppid=10531 vsize=10562364 CPUtime=0.22 cores=0,2,4,6
/proc/10533/task/10544/stat : 10544 (java) R 10531 10533 4029 0 -1 4202560 3026 0 0 0 22 0 0 0 15 0 22 0 831036699 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 47528418754836 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=10533/tid=10545] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10545/stat : 10545 (java) S 10531 10533 4029 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831036699 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10546] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10546/stat : 10546 (java) S 10531 10533 4029 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831036699 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10547] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10547/stat : 10547 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831036701 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982373809 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10548] ppid=10531 vsize=10562364 CPUtime=0.96 cores=0,2,4,6
/proc/10533/task/10548/stat : 10548 (java) S 10531 10533 4029 0 -1 4202560 11365 0 0 0 95 1 0 0 15 0 22 0 831036701 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10549] ppid=10531 vsize=10562364 CPUtime=1.02 cores=0,2,4,6
/proc/10533/task/10549/stat : 10549 (java) S 10531 10533 4029 0 -1 4202560 9284 0 0 0 102 0 0 0 20 0 22 0 831036701 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10550] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10550/stat : 10550 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831036701 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10551] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10551/stat : 10551 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831036701 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10555] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10555/stat : 10555 (java) S 10531 10533 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831036715 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10568] ppid=10531 vsize=10562364 CPUtime=0.31 cores=0,2,4,6
/proc/10533/task/10568/stat : 10568 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 31 0 0 0 16 0 22 0 831037117 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10569] ppid=10531 vsize=10562364 CPUtime=0.31 cores=0,2,4,6
/proc/10533/task/10569/stat : 10569 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 31 0 0 0 17 0 22 0 831037117 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10570] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10570/stat : 10570 (java) S 10531 10533 4029 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831037117 10815860736 99957 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 10562364
[startup+4.7011 s]
/proc/loadavg: 3.10 3.56 3.67 5/573 10570
/proc/meminfo: memFree=13975324/32951132 swapFree=46579808/67111528
[pid=10533] ppid=10531 vsize=10562364 CPUtime=8.27 cores=0,2,4,6
/proc/10533/stat : 10533 (java) S 10531 10533 4029 0 -1 4202496 112908 0 1 0 812 15 0 0 25 0 19 0 831036695 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10533/statm: 2640591 99960 2257 9 0 2631325 0
[pid=10533/tid=10534] ppid=10531 vsize=10562364 CPUtime=0.17 cores=0,2,4,6
/proc/10533/task/10534/stat : 10534 (java) S 10531 10533 4029 0 -1 4202560 11896 0 1 0 16 1 0 0 16 0 19 0 831036696 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10536] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10536/stat : 10536 (java) S 10531 10533 4029 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10537] ppid=10531 vsize=10562364 CPUtime=0.01 cores=0,2,4,6
/proc/10533/task/10537/stat : 10537 (java) S 10531 10533 4029 0 -1 4202560 106 0 0 0 1 0 0 0 16 0 19 0 831036698 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10538] ppid=10531 vsize=10562364 CPUtime=0.01 cores=0,2,4,6
/proc/10533/task/10538/stat : 10538 (java) S 10531 10533 4029 0 -1 4202560 119 0 0 0 1 0 0 0 16 0 19 0 831036698 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10539] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10539/stat : 10539 (java) S 10531 10533 4029 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10540] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10540/stat : 10540 (java) S 10531 10533 4029 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10541] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10541/stat : 10541 (java) S 10531 10533 4029 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10542] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10542/stat : 10542 (java) S 10531 10533 4029 0 -1 4202560 397 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10543] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10543/stat : 10543 (java) S 10531 10533 4029 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 19 0 831036698 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10544] ppid=10531 vsize=10562364 CPUtime=0.23 cores=0,2,4,6
/proc/10533/task/10544/stat : 10544 (java) S 10531 10533 4029 0 -1 4202560 3029 0 0 0 23 0 0 0 16 0 19 0 831036699 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 0 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10545] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10545/stat : 10545 (java) S 10531 10533 4029 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 831036699 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10546] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10546/stat : 10546 (java) S 10531 10533 4029 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 831036699 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10547] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10547/stat : 10547 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831036701 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982373809 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10548] ppid=10531 vsize=10562364 CPUtime=0.96 cores=0,2,4,6
/proc/10533/task/10548/stat : 10548 (java) S 10531 10533 4029 0 -1 4202560 11365 0 0 0 95 1 0 0 15 0 19 0 831036701 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
[pid=10533/tid=10549] ppid=10531 vsize=10562364 CPUtime=1.02 cores=0,2,4,6
/proc/10533/task/10549/stat : 10549 (java) S 10531 10533 4029 0 -1 4202560 9284 0 0 0 102 0 0 0 20 0 19 0 831036701 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 6 0 0 0
[pid=10533/tid=10550] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10550/stat : 10550 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831036701 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366105 0 4 0 16800975 18446604444565139584 0 0 -1 2 0 0 0
[pid=10533/tid=10551] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10551/stat : 10551 (java) S 10531 10533 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831036701 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 0 0 0 0
[pid=10533/tid=10555] ppid=10531 vsize=10562364 CPUtime=0 cores=0,2,4,6
/proc/10533/task/10555/stat : 10555 (java) S 10531 10533 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831036715 10815860736 99960 33554432000 1073741824 1073778376 140735211524928 18446744073709551615 242982366720 0 4 0 16800975 18446604444565139584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 10562364
Child status: 30
Real time (s): 4.7636
CPU time (s): 8.33373
CPU user time (s): 8.15876
CPU system time (s): 0.174973
CPU usage (%): 174.946
Max. virtual memory (cumulated for all children) (KiB): 10562364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.15876
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112919
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= 724
involuntary context switches= 246
runsolver used 0.035994 second user time and 0.06499 second system time
The end