runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744590-1338804136/watcher-3744590-1338804136 -o /tmp/evaluation-result-3744590-1338804136/solver-3744590-1338804136 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744590-1338804136.opb
running on 4 cores: 1,3,5,7
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: 1.95 2.03 2.00 3/194 9886
/proc/meminfo: memFree=26564860/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=94176 CPUtime=0 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 1230 0 0 0 0 0 0 0 20 0 2 0 346538084 96436224 939 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 24081 943 715 9 0 16771 0
[pid=9886/tid=9887] ppid=9884 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 2 0 346538085 98635776 959 33554432000 1073741824 1073778376 140733248383232 140709996846632 212064057907 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0231211 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 9886
/proc/meminfo: memFree=26564860/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=2414972 CPUtime=0.01 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 3726 0 1 0 1 0 0 0 20 0 10 0 346538084 2472931328 4936 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 603743 4941 1566 9 0 594444 0
[pid=9886/tid=9887] ppid=9884 vsize=2420112 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 2580 0 1 0 0 0 0 0 20 0 10 0 346538085 2478194688 4948 33554432000 1073741824 1073778376 140733248383232 140709996847808 212072895879 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2414972
[startup+0.100291 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 9886
/proc/meminfo: memFree=26564860/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 4923 0 1 0 9 1 0 0 20 0 18 0 346538084 3028844544 8163 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 739464 8163 2130 9 0 729885 0
[pid=9886/tid=9887] ppid=9884 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 3012 0 1 0 7 0 0 0 20 0 18 0 346538085 3028844544 8163 33554432000 1073741824 1073778376 140733248383232 140709996826480 140710001609688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300206 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 9886
/proc/meminfo: memFree=26564860/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=2957856 CPUtime=0.53 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 7068 0 1 0 52 1 0 0 20 0 18 0 346538084 3028844544 13053 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 739464 13053 2248 9 0 729885 0
[pid=9886/tid=9887] ppid=9884 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 3031 0 1 0 27 0 0 0 20 0 18 0 346538085 3028844544 13053 33554432000 1073741824 1073778376 140733248383232 140709996851240 140709856359791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2957856
[startup+0.700222 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 9886
/proc/meminfo: memFree=26564860/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=2957856 CPUtime=1.73 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 21104 0 1 0 170 3 0 0 20 0 18 0 346538084 3028844544 36001 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 739464 36002 2267 9 0 729885 0
[pid=9886/tid=9887] ppid=9884 vsize=2957856 CPUtime=0.67 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 3067 0 1 0 66 1 0 0 20 0 18 0 346538085 3028844544 36003 33554432000 1073741824 1073778376 140733248383232 140709996851240 140709857108809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 2957856
[startup+1.50064 s]
/proc/loadavg: 1.95 2.03 2.00 3/212 9904
/proc/meminfo: memFree=26265896/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=2957856 CPUtime=3.15 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 22552 0 1 0 298 17 0 0 20 0 18 0 346538084 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 739464 135642 2278 9 0 729885 0
[pid=9886/tid=9887] ppid=9884 vsize=2957856 CPUtime=1.39 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) S 9884 9886 6470 0 -1 4202560 3232 0 1 0 133 6 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709996850824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) R 9884 9886 6470 0 -1 4202560 18 0 0 0 0 1 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709980277208 140710003747972 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) R 9884 9886 6470 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709979224408 140710003750131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) R 9884 9886 6470 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709978172120 140710003747737 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) R 9884 9886 6470 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709977119144 140709999322809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) R 9884 9886 6470 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709976067032 140709999322817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) R 9884 9886 6470 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 346538085 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709975014232 140709999322801 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) R 9884 9886 6470 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 346538085 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709856275672 140709999322809 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) R 9884 9886 6470 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 346538085 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709855222576 140709999322825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 346538086 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709843022984 212076639292 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 346538087 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346538087 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346538089 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=2957856 CPUtime=0.7 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9275 0 0 0 69 1 0 0 20 0 18 0 346538089 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=2957856 CPUtime=0.71 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8719 0 0 0 71 0 0 0 20 0 18 0 346538089 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346538089 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346538089 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 2957856
[startup+3.10081 s]
/proc/loadavg: 1.95 2.03 2.00 3/212 9904
/proc/meminfo: memFree=26013372/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=3024420 CPUtime=5.44 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 22845 0 1 0 514 30 0 0 20 0 19 0 346538084 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 756105 160816 2298 9 0 746526 0
[pid=9886/tid=9887] ppid=9884 vsize=3024420 CPUtime=2.86 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 3240 0 1 0 279 7 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709996843328 140709857388084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) S 9884 9886 6470 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709980277032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) S 9884 9886 6470 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709979224232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) S 9884 9886 6470 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709978171944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=3024420 CPUtime=0.17 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) S 9884 9886 6470 0 -1 4202560 87 0 0 0 12 5 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709977119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) S 9884 9886 6470 0 -1 4202560 45 0 0 0 7 2 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709976066856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) S 9884 9886 6470 0 -1 4202560 72 0 0 0 10 4 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709975014056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) S 9884 9886 6470 0 -1 4202560 36 0 0 0 4 1 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709856275496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) S 9884 9886 6470 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709855222696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346538086 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709843024104 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9276 0 0 0 83 2 0 0 20 0 19 0 346538089 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8736 0 0 0 85 0 0 0 20 0 19 0 346538089 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 3024420
[startup+6.30078 s]
/proc/loadavg: 1.95 2.03 2.00 3/213 9905
/proc/meminfo: memFree=25918688/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=3024420 CPUtime=9.1 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 22908 0 1 0 879 31 0 0 20 0 19 0 346538084 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 756105 163869 2298 9 0 746526 0
[pid=9886/tid=9887] ppid=9884 vsize=3024420 CPUtime=5.92 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 3244 0 1 0 585 7 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709996850304 140709856804148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) S 9884 9886 6470 0 -1 4202560 48 0 0 0 9 3 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709980277032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) S 9884 9886 6470 0 -1 4202560 50 0 0 0 11 2 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709979224232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) S 9884 9886 6470 0 -1 4202560 48 0 0 0 10 2 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709978171944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) S 9884 9886 6470 0 -1 4202560 98 0 0 0 21 5 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709977119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) S 9884 9886 6470 0 -1 4202560 54 0 0 0 12 2 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709976066856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) S 9884 9886 6470 0 -1 4202560 79 0 0 0 16 4 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709975014056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) S 9884 9886 6470 0 -1 4202560 40 0 0 0 10 2 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709856275496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) S 9884 9886 6470 0 -1 4202560 43 0 0 0 12 3 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709855222696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346538086 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709843024104 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9276 0 0 0 89 2 0 0 20 0 19 0 346538089 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8736 0 0 0 88 0 0 0 20 0 19 0 346538089 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9283 0 0 0 99 2 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8738 0 0 0 91 0 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 97 0 0 0 27 44 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9905/stat : 9905 (java) S 9884 9886 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346538354 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709094957992 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1693.46
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/214 9979
/proc/meminfo: memFree=24857440/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=3024420 CPUtime=1754.64 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 30654 0 1 0 175302 162 0 0 20 0 19 0 346538084 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 756105 427500 2310 9 0 746526 0
[pid=9886/tid=9887] ppid=9884 vsize=3024420 CPUtime=1704.35 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 4042 0 1 0 170399 36 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709996850504 140709857362456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=3024420 CPUtime=5.28 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) S 9884 9886 6470 0 -1 4202560 436 0 0 0 516 12 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709980277032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=3024420 CPUtime=5.46 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) S 9884 9886 6470 0 -1 4202560 453 0 0 0 532 14 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709979224232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=3024420 CPUtime=5.42 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) S 9884 9886 6470 0 -1 4202560 443 0 0 0 532 10 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709978171944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=3024420 CPUtime=5.46 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) S 9884 9886 6470 0 -1 4202560 489 0 0 0 530 16 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709977119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=3024420 CPUtime=5.54 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) S 9884 9886 6470 0 -1 4202560 446 0 0 0 541 13 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709976066856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=3024420 CPUtime=5.23 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) S 9884 9886 6470 0 -1 4202560 458 0 0 0 509 14 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709975014056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=3024420 CPUtime=5.23 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) S 9884 9886 6470 0 -1 4202560 422 0 0 0 512 11 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709856275496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=3024420 CPUtime=5.4 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) S 9884 9886 6470 0 -1 4202560 421 0 0 0 530 10 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709855222696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 3743 0 0 0 46 7 0 0 20 0 19 0 346538086 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709843024104 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9283 0 0 0 99 2 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8738 0 0 0 91 0 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 99 0 0 0 28 46 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9905/stat : 9905 (java) S 9884 9886 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346538354 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709094957992 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1754.64
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1766.8 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 9979
/proc/meminfo: memFree=24855032/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 34767 0 1 0 179838 166 0 0 20 0 19 0 346538084 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 756105 428012 2310 9 0 746526 0
[pid=9886/tid=9887] ppid=9884 vsize=3024420 CPUtime=1747.95 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 4064 0 1 0 174758 37 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709996850368 140709857432036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=3024420 CPUtime=5.44 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) S 9884 9886 6470 0 -1 4202560 437 0 0 0 532 12 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709980277032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=3024420 CPUtime=5.61 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) S 9884 9886 6470 0 -1 4202560 453 0 0 0 547 14 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709979224232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=3024420 CPUtime=5.56 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) S 9884 9886 6470 0 -1 4202560 443 0 0 0 545 11 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709978171944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=3024420 CPUtime=5.66 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) S 9884 9886 6470 0 -1 4202560 489 0 0 0 550 16 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709977119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=3024420 CPUtime=5.71 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) S 9884 9886 6470 0 -1 4202560 446 0 0 0 558 13 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709976066856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=3024420 CPUtime=5.38 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) S 9884 9886 6470 0 -1 4202560 458 0 0 0 524 14 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709975014056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=3024420 CPUtime=5.36 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) S 9884 9886 6470 0 -1 4202560 422 0 0 0 525 11 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709856275496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=3024420 CPUtime=5.58 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) S 9884 9886 6470 0 -1 4202560 421 0 0 0 548 10 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709855222696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 7829 0 0 0 84 7 0 0 20 0 19 0 346538086 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709843024104 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9283 0 0 0 99 2 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8738 0 0 0 91 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 103 0 0 0 28 47 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9905/stat : 9905 (java) S 9884 9886 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346538354 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709094957992 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1766.8 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 9979
/proc/meminfo: memFree=24855032/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 34767 0 1 0 179838 166 0 0 20 0 19 0 346538084 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 756105 428012 2310 9 0 746526 0
[pid=9886/tid=9887] ppid=9884 vsize=3024420 CPUtime=1747.95 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 4064 0 1 0 174758 37 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709996850368 140709857432036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=3024420 CPUtime=5.44 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) S 9884 9886 6470 0 -1 4202560 437 0 0 0 532 12 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709980277032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=3024420 CPUtime=5.61 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) S 9884 9886 6470 0 -1 4202560 453 0 0 0 547 14 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709979224232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=3024420 CPUtime=5.56 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) S 9884 9886 6470 0 -1 4202560 443 0 0 0 545 11 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709978171944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=3024420 CPUtime=5.66 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) S 9884 9886 6470 0 -1 4202560 489 0 0 0 550 16 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709977119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=3024420 CPUtime=5.71 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) S 9884 9886 6470 0 -1 4202560 446 0 0 0 558 13 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709976066856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=3024420 CPUtime=5.38 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) S 9884 9886 6470 0 -1 4202560 458 0 0 0 524 14 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709975014056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=3024420 CPUtime=5.36 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) S 9884 9886 6470 0 -1 4202560 422 0 0 0 525 11 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709856275496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=3024420 CPUtime=5.58 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) S 9884 9886 6470 0 -1 4202560 421 0 0 0 548 10 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709855222696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 7829 0 0 0 84 7 0 0 20 0 19 0 346538086 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709843024104 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9283 0 0 0 99 2 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8738 0 0 0 91 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 103 0 0 0 28 47 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9905/stat : 9905 (java) S 9884 9886 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346538354 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709094957992 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9886 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=18267
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=82683
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1766.83
CPU time (s): 1800.04
CPU user time (s): 1798.38
CPU system time (s): 1.66
CPU usage (%): 101.88
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 2.08268
maximum resident set size= 1728376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34802
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63253
involuntary context switches= 86242
runsolver used 4.48032 second user time and 16.7135 second system time
The end