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-3733191-1338746702/watcher-3733191-1338746702 -o /tmp/evaluation-result-3733191-1338746702/solver-3733191-1338746702 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3733191-1338746702.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: 2.04 1.99 2.18 3/192 31198
/proc/meminfo: memFree=26258508/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 1201 0 0 0 0 0 0 0 20 0 2 0 340795633 94019584 913 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 22954 916 696 9 0 16769 0
[pid=31198/tid=31199] ppid=31196 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) D 31196 31198 21196 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 340795634 94019584 917 33554432000 1073741824 1073778376 140736800714336 140217565453864 227503336743 0 0 4096 0 18446744072100609316 0 0 -1 4 0 0 0 0 0
[startup+0.0200529 s]
/proc/loadavg: 2.04 1.99 2.18 3/192 31198
/proc/meminfo: memFree=26258508/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=2106772 CPUtime=0 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 3430 0 1 0 0 0 0 0 20 0 10 0 340795633 2157334528 4130 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 526693 4130 1537 9 0 517394 0
[pid=31198/tid=31199] ppid=31196 vsize=2106772 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) R 31196 31198 21196 0 -1 4202560 2274 0 1 0 0 0 0 0 20 0 10 0 340795634 2157334528 4130 33554432000 1073741824 1073778376 140736800714336 140217565455040 227515884813 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2106772
[startup+0.100289 s]
/proc/loadavg: 2.04 1.99 2.18 3/192 31198
/proc/meminfo: memFree=26258508/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=2648568 CPUtime=0.1 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 4760 0 1 0 10 0 0 0 20 0 18 0 340795633 2712133632 6983 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 662142 6983 2142 9 0 652835 0
[pid=31198/tid=31199] ppid=31196 vsize=2648568 CPUtime=0.08 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) R 31196 31198 21196 0 -1 4202560 2734 0 1 0 8 0 0 0 20 0 18 0 340795634 2712133632 6983 33554432000 1073741824 1073778376 140736800714336 140217565447048 140217411509904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.30025 s]
/proc/loadavg: 2.04 1.99 2.18 3/192 31198
/proc/meminfo: memFree=26258508/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=2648568 CPUtime=0.52 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 6372 0 1 0 51 1 0 0 20 0 18 0 340795633 2712133632 9785 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 662142 9785 2223 9 0 652835 0
[pid=31198/tid=31199] ppid=31196 vsize=2648568 CPUtime=0.27 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) R 31196 31198 21196 0 -1 4202560 2746 0 1 0 27 0 0 0 20 0 18 0 340795634 2712133632 9785 33554432000 1073741824 1073778376 140736800714336 140217565458696 140217411560298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2648568
[startup+0.700265 s]
/proc/loadavg: 2.04 1.99 2.18 3/192 31198
/proc/meminfo: memFree=26258508/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=2715132 CPUtime=1.14 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 9100 0 1 0 110 4 0 0 20 0 19 0 340795633 2780295168 44686 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 678783 44686 2247 9 0 669476 0
[pid=31198/tid=31199] ppid=31196 vsize=2715132 CPUtime=0.67 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) R 31196 31198 21196 0 -1 4202560 2821 0 1 0 64 3 0 0 20 0 19 0 340795634 2780295168 44686 33554432000 1073741824 1073778376 140736800714336 140217565459216 140217411550340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 2715132
[startup+1.50062 s]
/proc/loadavg: 2.04 1.99 2.18 3/211 31217
/proc/meminfo: memFree=26079256/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=2715132 CPUtime=2.34 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 11521 0 1 0 229 5 0 0 20 0 19 0 340795633 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 678783 49426 2258 9 0 669476 0
[pid=31198/tid=31199] ppid=31196 vsize=2715132 CPUtime=1.48 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) R 31196 31198 21196 0 -1 4202560 2831 0 1 0 144 4 0 0 20 0 19 0 340795634 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217565458904 140217412150206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31201] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31201/stat : 31201 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217549908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31202] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31202/stat : 31202 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217548855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31203] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31203/stat : 31203 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217547803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31204] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31204/stat : 31204 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217546750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31205] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31205/stat : 31205 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217545698088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31206] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31206/stat : 31206 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217544645288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31207] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31207/stat : 31207 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217543593000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31208] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31208/stat : 31208 (java) S 31196 31198 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217542540200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31209] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31209/stat : 31209 (java) S 31196 31198 21196 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217530128616 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31210] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31210/stat : 31210 (java) S 31196 31198 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217411429368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31211] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31211/stat : 31211 (java) S 31196 31198 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217410376968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31212] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31212/stat : 31212 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217409325456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31213] ppid=31196 vsize=2715132 CPUtime=0.39 cores=0,2,4,6
/proc/31198/task/31213/stat : 31213 (java) S 31196 31198 21196 0 -1 4202560 3806 0 0 0 39 0 0 0 20 0 19 0 340795638 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217408273080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31214] ppid=31196 vsize=2715132 CPUtime=0.43 cores=0,2,4,6
/proc/31198/task/31214/stat : 31214 (java) S 31196 31198 21196 0 -1 4202560 3690 0 0 0 43 0 0 0 20 0 19 0 340795638 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217407220280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31215] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31215/stat : 31215 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217406168184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31216] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31216/stat : 31216 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217405115592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31217] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31217/stat : 31217 (java) S 31196 31198 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340795699 2780295168 49426 33554432000 1073741824 1073778376 140736800714336 140217404060584 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 2715132
[startup+3.10064 s]
/proc/loadavg: 2.04 1.99 2.18 3/211 31217
/proc/meminfo: memFree=26053936/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=2715132 CPUtime=3.99 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 11631 0 1 0 393 6 0 0 20 0 19 0 340795633 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 678783 57106 2258 9 0 669476 0
[pid=31198/tid=31199] ppid=31196 vsize=2715132 CPUtime=3.07 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) R 31196 31198 21196 0 -1 4202560 2848 0 1 0 303 4 0 0 20 0 19 0 340795634 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217565456696 140217412111510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31201] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31201/stat : 31201 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217549908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31202] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31202/stat : 31202 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217548855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31203] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31203/stat : 31203 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217547803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31204] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31204/stat : 31204 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217546750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31205] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31205/stat : 31205 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217545698088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31206] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31206/stat : 31206 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217544645288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31207] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31207/stat : 31207 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217543593000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31208] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31208/stat : 31208 (java) S 31196 31198 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217542540200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31209] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31209/stat : 31209 (java) S 31196 31198 21196 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217530128616 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31210] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31210/stat : 31210 (java) S 31196 31198 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217411429368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31211] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31211/stat : 31211 (java) S 31196 31198 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217410376968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31212] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31212/stat : 31212 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217409325456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31213] ppid=31196 vsize=2715132 CPUtime=0.4 cores=0,2,4,6
/proc/31198/task/31213/stat : 31213 (java) S 31196 31198 21196 0 -1 4202560 3806 0 0 0 40 0 0 0 20 0 19 0 340795638 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217408273080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31214] ppid=31196 vsize=2715132 CPUtime=0.47 cores=0,2,4,6
/proc/31198/task/31214/stat : 31214 (java) S 31196 31198 21196 0 -1 4202560 3783 0 0 0 47 0 0 0 20 0 19 0 340795638 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217407220280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31215] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31215/stat : 31215 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217406168184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31216] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31216/stat : 31216 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217405115592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31217] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31217/stat : 31217 (java) S 31196 31198 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340795699 2780295168 57106 33554432000 1073741824 1073778376 140736800714336 140217404060584 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 2715132
[startup+6.30068 s]
/proc/loadavg: 2.03 1.99 2.18 3/211 31217
/proc/meminfo: memFree=25995864/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=2715132 CPUtime=7.23 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 11667 0 1 0 716 7 0 0 20 0 19 0 340795633 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 678783 71935 2259 9 0 669476 0
[pid=31198/tid=31199] ppid=31196 vsize=2715132 CPUtime=6.26 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) R 31196 31198 21196 0 -1 4202560 2879 0 1 0 621 5 0 0 20 0 19 0 340795634 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217565459256 140217412194896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31201] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31201/stat : 31201 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217549908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31202] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31202/stat : 31202 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217548855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31203] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31203/stat : 31203 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217547803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31204] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31204/stat : 31204 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217546750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31205] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31205/stat : 31205 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217545698088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31206] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31206/stat : 31206 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217544645288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31207] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31207/stat : 31207 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217543593000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31208] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31208/stat : 31208 (java) S 31196 31198 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340795635 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217542540200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31209] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31209/stat : 31209 (java) S 31196 31198 21196 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217530128616 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31210] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31210/stat : 31210 (java) S 31196 31198 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217411429368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31211] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31211/stat : 31211 (java) S 31196 31198 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217410376968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31212] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31212/stat : 31212 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217409325456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31213] ppid=31196 vsize=2715132 CPUtime=0.42 cores=0,2,4,6
/proc/31198/task/31213/stat : 31213 (java) S 31196 31198 21196 0 -1 4202560 3806 0 0 0 42 0 0 0 20 0 19 0 340795638 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217408273080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31214] ppid=31196 vsize=2715132 CPUtime=0.5 cores=0,2,4,6
/proc/31198/task/31214/stat : 31214 (java) S 31196 31198 21196 0 -1 4202560 3787 0 0 0 50 0 0 0 20 0 19 0 340795638 2780295168 71935 33554432000 1073741824 1073778376 140736800714336 140217407220280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=31198/tid=31213] ppid=31196 vsize=2715132 CPUtime=0.52 cores=0,2,4,6
/proc/31198/task/31213/stat : 31213 (java) S 31196 31198 21196 0 -1 4202560 4316 0 0 0 52 0 0 0 20 0 19 0 340795638 2780295168 341479 33554432000 1073741824 1073778376 140736800714336 140217408273080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31214] ppid=31196 vsize=2715132 CPUtime=0.52 cores=0,2,4,6
/proc/31198/task/31214/stat : 31214 (java) S 31196 31198 21196 0 -1 4202560 3791 0 0 0 52 0 0 0 20 0 19 0 340795638 2780295168 341479 33554432000 1073741824 1073778376 140736800714336 140217407220280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31215] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31215/stat : 31215 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 341479 33554432000 1073741824 1073778376 140736800714336 140217406168184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31216] ppid=31196 vsize=2715132 CPUtime=0.59 cores=0,2,4,6
/proc/31198/task/31216/stat : 31216 (java) S 31196 31198 21196 0 -1 4202560 96 0 0 0 32 27 0 0 20 0 19 0 340795638 2780295168 341479 33554432000 1073741824 1073778376 140736800714336 140217405115592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31217] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31217/stat : 31217 (java) S 31196 31198 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340795699 2780295168 341479 33554432000 1073741824 1073778376 140736800714336 140217404060584 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.33
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 31233
/proc/meminfo: memFree=24067896/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=2715132 CPUtime=1725.34 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 14291 0 1 0 172382 152 0 0 20 0 19 0 340795633 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 678783 341659 2285 9 0 669476 0
[pid=31198/tid=31199] ppid=31196 vsize=2715132 CPUtime=1714.43 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) R 31196 31198 21196 0 -1 4202560 2934 0 1 0 171411 32 0 0 20 0 19 0 340795634 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217565458720 140217412194960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31201] ppid=31196 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/31198/task/31201/stat : 31201 (java) S 31196 31198 21196 0 -1 4202560 264 0 0 0 13 14 0 0 20 0 19 0 340795635 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217549908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31202] ppid=31196 vsize=2715132 CPUtime=0.15 cores=0,2,4,6
/proc/31198/task/31202/stat : 31202 (java) S 31196 31198 21196 0 -1 4202560 151 0 0 0 7 8 0 0 20 0 19 0 340795635 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217548855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31203] ppid=31196 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/31198/task/31203/stat : 31203 (java) S 31196 31198 21196 0 -1 4202560 259 0 0 0 13 15 0 0 20 0 19 0 340795635 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217547803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31204] ppid=31196 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/31198/task/31204/stat : 31204 (java) S 31196 31198 21196 0 -1 4202560 205 0 0 0 10 13 0 0 20 0 19 0 340795635 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217546750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31205] ppid=31196 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/31198/task/31205/stat : 31205 (java) S 31196 31198 21196 0 -1 4202560 268 0 0 0 14 16 0 0 20 0 19 0 340795635 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217545698088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31206] ppid=31196 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/31198/task/31206/stat : 31206 (java) S 31196 31198 21196 0 -1 4202560 176 0 0 0 8 12 0 0 20 0 19 0 340795635 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217544645288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31207] ppid=31196 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/31198/task/31207/stat : 31207 (java) S 31196 31198 21196 0 -1 4202560 352 0 0 0 19 22 0 0 20 0 19 0 340795635 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217543593000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31208] ppid=31196 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/31198/task/31208/stat : 31208 (java) S 31196 31198 21196 0 -1 4202560 192 0 0 0 8 12 0 0 20 0 19 0 340795635 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217542540200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31209] ppid=31196 vsize=2715132 CPUtime=2.75 cores=0,2,4,6
/proc/31198/task/31209/stat : 31209 (java) S 31196 31198 21196 0 -1 4202560 103 0 0 0 272 3 0 0 20 0 19 0 340795636 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217530128616 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31210] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31210/stat : 31210 (java) S 31196 31198 21196 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217411429368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31211] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31211/stat : 31211 (java) S 31196 31198 21196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217410376968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31212] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31212/stat : 31212 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217409325456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31213] ppid=31196 vsize=2715132 CPUtime=0.52 cores=0,2,4,6
/proc/31198/task/31213/stat : 31213 (java) S 31196 31198 21196 0 -1 4202560 4316 0 0 0 52 0 0 0 20 0 19 0 340795638 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217408273080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31214] ppid=31196 vsize=2715132 CPUtime=0.52 cores=0,2,4,6
/proc/31198/task/31214/stat : 31214 (java) S 31196 31198 21196 0 -1 4202560 3791 0 0 0 52 0 0 0 20 0 19 0 340795638 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217407220280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31215] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31215/stat : 31215 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217406168184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31216] ppid=31196 vsize=2715132 CPUtime=0.61 cores=0,2,4,6
/proc/31198/task/31216/stat : 31216 (java) S 31196 31198 21196 0 -1 4202560 100 0 0 0 34 27 0 0 20 0 19 0 340795638 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217405115592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31217] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31217/stat : 31217 (java) S 31196 31198 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340795699 2780295168 341659 33554432000 1073741824 1073778376 140736800714336 140217404060584 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.34
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 1.99 2/187 31261
/proc/meminfo: memFree=25434312/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=2715132 CPUtime=1785.35 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 14295 0 1 0 178383 152 0 0 20 0 19 0 340795633 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 678783 343619 2285 9 0 669476 0
[pid=31198/tid=31199] ppid=31196 vsize=2715132 CPUtime=1774.27 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) R 31196 31198 21196 0 -1 4202560 2934 0 1 0 177395 32 0 0 20 0 19 0 340795634 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217565458720 140217412194610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31201] ppid=31196 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/31198/task/31201/stat : 31201 (java) S 31196 31198 21196 0 -1 4202560 264 0 0 0 13 14 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217549908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31202] ppid=31196 vsize=2715132 CPUtime=0.15 cores=0,2,4,6
/proc/31198/task/31202/stat : 31202 (java) S 31196 31198 21196 0 -1 4202560 151 0 0 0 7 8 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217548855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31203] ppid=31196 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/31198/task/31203/stat : 31203 (java) S 31196 31198 21196 0 -1 4202560 259 0 0 0 13 15 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217547803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31204] ppid=31196 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/31198/task/31204/stat : 31204 (java) S 31196 31198 21196 0 -1 4202560 205 0 0 0 10 13 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217546750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31205] ppid=31196 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/31198/task/31205/stat : 31205 (java) S 31196 31198 21196 0 -1 4202560 268 0 0 0 14 16 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217545698088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31206] ppid=31196 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/31198/task/31206/stat : 31206 (java) S 31196 31198 21196 0 -1 4202560 176 0 0 0 8 12 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217544645288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31207] ppid=31196 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/31198/task/31207/stat : 31207 (java) S 31196 31198 21196 0 -1 4202560 352 0 0 0 19 22 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217543593000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31208] ppid=31196 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/31198/task/31208/stat : 31208 (java) S 31196 31198 21196 0 -1 4202560 192 0 0 0 8 12 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217542540200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31209] ppid=31196 vsize=2715132 CPUtime=2.75 cores=0,2,4,6
/proc/31198/task/31209/stat : 31209 (java) S 31196 31198 21196 0 -1 4202560 103 0 0 0 272 3 0 0 20 0 19 0 340795636 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217530128616 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31210] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31210/stat : 31210 (java) S 31196 31198 21196 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217411429368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31211] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31211/stat : 31211 (java) S 31196 31198 21196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217410376968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31212] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31212/stat : 31212 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217409325456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31213] ppid=31196 vsize=2715132 CPUtime=0.52 cores=0,2,4,6
/proc/31198/task/31213/stat : 31213 (java) S 31196 31198 21196 0 -1 4202560 4316 0 0 0 52 0 0 0 20 0 19 0 340795638 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217408273080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31214] ppid=31196 vsize=2715132 CPUtime=0.52 cores=0,2,4,6
/proc/31198/task/31214/stat : 31214 (java) S 31196 31198 21196 0 -1 4202560 3791 0 0 0 52 0 0 0 20 0 19 0 340795638 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217407220280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31215] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31215/stat : 31215 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217406168184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31216] ppid=31196 vsize=2715132 CPUtime=0.63 cores=0,2,4,6
/proc/31198/task/31216/stat : 31216 (java) S 31196 31198 21196 0 -1 4202560 104 0 0 0 35 28 0 0 20 0 19 0 340795638 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217405115592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31217] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31217/stat : 31217 (java) S 31196 31198 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340795699 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217404060584 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.35
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797 s]
/proc/loadavg: 1.72 1.94 1.98 2/187 31261
/proc/meminfo: memFree=25435208/32873624 swapFree=7112/7112
[pid=31198] ppid=31196 vsize=2715132 CPUtime=1800.07 cores=0,2,4,6
/proc/31198/stat : 31198 (java) S 31196 31198 21196 0 -1 4202496 14295 0 1 0 179854 153 0 0 20 0 19 0 340795633 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140736800705472 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31198/statm: 678783 343619 2285 9 0 669476 0
[pid=31198/tid=31199] ppid=31196 vsize=2715132 CPUtime=1788.94 cores=0,2,4,6
/proc/31198/task/31199/stat : 31199 (java) R 31196 31198 21196 0 -1 4202560 2934 0 1 0 178861 33 0 0 20 0 19 0 340795634 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217565458720 140217412194901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31201] ppid=31196 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/31198/task/31201/stat : 31201 (java) S 31196 31198 21196 0 -1 4202560 264 0 0 0 13 14 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217549908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31202] ppid=31196 vsize=2715132 CPUtime=0.15 cores=0,2,4,6
/proc/31198/task/31202/stat : 31202 (java) S 31196 31198 21196 0 -1 4202560 151 0 0 0 7 8 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217548855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31203] ppid=31196 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/31198/task/31203/stat : 31203 (java) S 31196 31198 21196 0 -1 4202560 259 0 0 0 13 15 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217547803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31204] ppid=31196 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/31198/task/31204/stat : 31204 (java) S 31196 31198 21196 0 -1 4202560 205 0 0 0 10 13 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217546750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31205] ppid=31196 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/31198/task/31205/stat : 31205 (java) S 31196 31198 21196 0 -1 4202560 268 0 0 0 14 16 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217545698088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31206] ppid=31196 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/31198/task/31206/stat : 31206 (java) S 31196 31198 21196 0 -1 4202560 176 0 0 0 8 12 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217544645288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31207] ppid=31196 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/31198/task/31207/stat : 31207 (java) S 31196 31198 21196 0 -1 4202560 352 0 0 0 19 22 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217543593000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31208] ppid=31196 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/31198/task/31208/stat : 31208 (java) S 31196 31198 21196 0 -1 4202560 192 0 0 0 8 12 0 0 20 0 19 0 340795635 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217542540200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31209] ppid=31196 vsize=2715132 CPUtime=2.75 cores=0,2,4,6
/proc/31198/task/31209/stat : 31209 (java) S 31196 31198 21196 0 -1 4202560 103 0 0 0 272 3 0 0 20 0 19 0 340795636 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217530128616 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31210] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31210/stat : 31210 (java) S 31196 31198 21196 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217411429368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31211] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31211/stat : 31211 (java) S 31196 31198 21196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340795636 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217410376968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31198/tid=31212] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31212/stat : 31212 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217409325456 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31213] ppid=31196 vsize=2715132 CPUtime=0.52 cores=0,2,4,6
/proc/31198/task/31213/stat : 31213 (java) S 31196 31198 21196 0 -1 4202560 4316 0 0 0 52 0 0 0 20 0 19 0 340795638 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217408273080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31198/tid=31214] ppid=31196 vsize=2715132 CPUtime=0.52 cores=0,2,4,6
/proc/31198/task/31214/stat : 31214 (java) S 31196 31198 21196 0 -1 4202560 3791 0 0 0 52 0 0 0 20 0 19 0 340795638 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217407220280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31215] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31215/stat : 31215 (java) S 31196 31198 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340795638 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217406168184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31198/tid=31216] ppid=31196 vsize=2715132 CPUtime=0.64 cores=0,2,4,6
/proc/31198/task/31216/stat : 31216 (java) S 31196 31198 21196 0 -1 4202560 104 0 0 0 36 28 0 0 20 0 19 0 340795638 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217405115592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31198/tid=31217] ppid=31196 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31198/task/31217/stat : 31217 (java) S 31196 31198 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340795699 2780295168 343619 33554432000 1073741824 1073778376 140736800714336 140217404060584 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31198 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=849293
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=910709
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.05
CPU time (s): 1800.07
CPU user time (s): 1798.54
CPU system time (s): 1.53
CPU usage (%): 100.168
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.85
system time used= 1.91071
maximum resident set size= 1374664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14347
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38141
involuntary context switches= 5132
runsolver used 7.2219 second user time and 13.301 second system time
The end