runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (2487 MiB free)
memory of node 1: 16384 MiB (5947 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290182-1532596929/watcher-4290182-1532596929 -o /tmp/evaluation-result-4290182-1532596929/solver-4290182-1532596929 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532594608-1082 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290182-1532596929.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1323, runsolver pid=1320
[startup+0.100461 s]*
/proc/loadavg: 2.00 1.99 1.97 3/217 1338
/proc/meminfo: memFree=8620924/32770624 swapFree=67108860/67108860
[pid=1323] ppid=1320 vsize=10659044 memory=28508 CPUtime=0.12 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1320 1323 32243 0 -1 1077944320 6707 0 0 0 10 2 0 0 20 0 15 0 77255730 10914861056 7127 33554432000 4194304 4196468 140720422711184 140720422693728 139773233143543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
/proc/1323/statm: 2664761 7127 2839 1 0 2627271 0
[pid=1323/tid=1325] ppid=1320 vsize=10659012 memory=8326441112148417179 CPUtime=0.08 cores=0,2,4,6
/proc/1323/task/1325/stat : 1325 (java) R 1320 1323 32243 0 -1 4202560 4774 0 0 0 7 1 0 0 20 0 15 0 77255730 10914828288 7377 33554432000 4194304 4196468 140720422711184 139773237348208 139773217224030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1326] ppid=1320 vsize=10659012 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255731 10914828288 7377 33554432000 4194304 4196468 140720422711184 139773202856720 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1327] ppid=1320 vsize=10659012 memory=139662077417088 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1320 1323 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77255731 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772838677392 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1328] ppid=1320 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1320 1323 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77255731 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772837624848 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1329] ppid=1320 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1320 1323 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77255731 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772836572304 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1330] ppid=1320 vsize=10659012 memory=139662077417088 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1320 1323 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77255732 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772725004272 139773233154690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1331] ppid=1320 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1320 1323 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77255733 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772723950496 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1332] ppid=1320 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1320 1323 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77255733 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772722897904 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1333] ppid=1320 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255735 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772721846480 139773233162139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1334] ppid=1320 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1320 1323 32243 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 77255735 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772720794096 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1335] ppid=1320 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1335/stat : 1335 (java) S 1320 1323 32243 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 77255735 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772719741552 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1336] ppid=1320 vsize=10659012 memory=139662077417088 CPUtime=0.01 cores=0,2,4,6
/proc/1323/task/1336/stat : 1336 (java) S 1320 1323 32243 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 15 0 77255735 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772718689008 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1337] ppid=1320 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1337/stat : 1337 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255736 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772717636704 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1338] ppid=1320 vsize=10659012 memory=139662077417088 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1338/stat : 1338 (java) S 1320 1323 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77255736 10914828288 7377 33554432000 4194304 4196468 140720422711184 139772716583216 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659044 KiB
Current children cumulated memory: 28508 KiB
[startup+0.213477 s]*
/proc/loadavg: 2.00 1.99 1.97 4/217 1338
/proc/meminfo: memFree=8609812/32770624 swapFree=67108860/67108860
[pid=1323] ppid=1320 vsize=10659012 memory=38504 CPUtime=0.32 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1320 1323 32243 0 -1 1077944320 8310 0 0 0 30 2 0 0 20 0 15 0 77255730 10914828288 9626 33554432000 4194304 4196468 140720422711184 140720422693728 139773233143543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
/proc/1323/statm: 2664753 9626 3002 1 0 2627263 0
[pid=1323/tid=1325] ppid=1320 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/1323/task/1325/stat : 1325 (java) R 1320 1323 32243 0 -1 4202560 5120 0 0 0 18 1 0 0 20 0 15 0 77255730 10914828288 10204 33554432000 4194304 4196468 140720422711184 139773237378544 139773217187173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1326] ppid=1320 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255731 10914828288 10204 33554432000 4194304 4196468 140720422711184 139773202856720 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1327] ppid=1320 vsize=10659012 memory=288370038229128832 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1320 1323 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77255731 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772838677392 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1328] ppid=1320 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1320 1323 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77255731 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772837624848 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1329] ppid=1320 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1320 1323 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77255731 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772836572304 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1330] ppid=1320 vsize=10659012 memory=139662077417088 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1320 1323 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77255732 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772725004272 139773233154690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1331] ppid=1320 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1320 1323 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77255733 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772723950496 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1332] ppid=1320 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1320 1323 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77255733 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772722897904 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1333] ppid=1320 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255735 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772721846480 139773233162139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1334] ppid=1320 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1320 1323 32243 0 -1 1077944384 654 0 0 0 2 0 0 0 20 0 15 0 77255735 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772720794096 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1335] ppid=1320 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1323/task/1335/stat : 1335 (java) S 1320 1323 32243 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 77255735 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772719741552 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1336] ppid=1320 vsize=10659012 memory=139662077417088 CPUtime=0.07 cores=0,2,4,6
/proc/1323/task/1336/stat : 1336 (java) R 1320 1323 32243 0 -1 4202560 793 0 0 0 7 0 0 0 20 0 15 0 77255735 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772718689008 139773233164890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1337] ppid=1320 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1337/stat : 1337 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255736 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772717636704 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1338] ppid=1320 vsize=10659012 memory=139662077417088 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1338/stat : 1338 (java) S 1320 1323 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77255736 10914828288 10204 33554432000 4194304 4196468 140720422711184 139772716583216 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 38504 KiB
[startup+0.319919 s]*
/proc/loadavg: 2.00 1.99 1.97 4/217 1338
/proc/meminfo: memFree=8597900/32770624 swapFree=67108860/67108860
[pid=1323] ppid=1320 vsize=10659088 memory=52048 CPUtime=0.57 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1320 1323 32243 0 -1 1077944320 9637 0 0 0 54 3 0 0 20 0 15 0 77255730 10914906112 13012 33554432000 4194304 4196468 140720422711184 140720422693728 139773233143543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
/proc/1323/statm: 2664772 13012 3070 1 0 2627263 0
[pid=1323/tid=1325] ppid=1320 vsize=10659088 memory=6935054825532540783 CPUtime=0.31 cores=0,2,4,6
/proc/1323/task/1325/stat : 1325 (java) R 1320 1323 32243 0 -1 4202560 5656 0 0 0 29 2 0 0 20 0 15 0 77255730 10914906112 13012 33554432000 4194304 4196468 140720422711184 139773237378496 139773233165469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1326] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255731 10914906112 13012 33554432000 4194304 4196468 140720422711184 139773202856720 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1327] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1320 1323 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77255731 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772838677392 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1328] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1320 1323 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77255731 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772837624848 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1329] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1320 1323 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77255731 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772836572304 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1330] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1320 1323 32243 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77255732 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772725004272 139773233154690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1331] ppid=1320 vsize=10659088 memory=139661934701007 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1320 1323 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77255733 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772723950496 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1332] ppid=1320 vsize=10659088 memory=67 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1320 1323 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77255733 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772722897904 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1333] ppid=1320 vsize=10659088 memory=51172 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255735 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772721846480 139773233162139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1334] ppid=1320 vsize=10659088 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1320 1323 32243 0 -1 1077944384 821 0 0 0 6 0 0 0 20 0 15 0 77255735 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772720794096 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1335] ppid=1320 vsize=10659088 memory=139661934689519 CPUtime=0.07 cores=0,2,4,6
/proc/1323/task/1335/stat : 1335 (java) R 1320 1323 32243 0 -1 4202560 791 0 0 0 7 0 0 0 20 0 15 0 77255735 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772719734184 139773218043868 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1336] ppid=1320 vsize=10659088 memory=279324012115808 CPUtime=0.13 cores=0,2,4,6
/proc/1323/task/1336/stat : 1336 (java) S 1320 1323 32243 0 -1 1077944384 1022 0 0 0 13 0 0 0 20 0 15 0 77255735 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772718689008 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1337] ppid=1320 vsize=10659088 memory=139661934694159 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1337/stat : 1337 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255736 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772717636704 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1338] ppid=1320 vsize=10659088 memory=139662077417098 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1338/stat : 1338 (java) S 1320 1323 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77255736 10914906112 13012 33554432000 4194304 4196468 140720422711184 139772716583216 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52048 KiB
[startup+0.701844 s]
/proc/loadavg: 2.00 1.99 1.97 5/217 1338
/proc/meminfo: memFree=8557156/32770624 swapFree=67108860/67108860
[pid=1323] ppid=1320 vsize=10659088 memory=185816 CPUtime=1.85 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1320 1323 32243 0 -1 1077944320 12460 0 0 0 178 7 0 0 20 0 15 0 77255730 10914906112 46454 33554432000 4194304 4196468 140720422711184 140720422693728 139773233143543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
/proc/1323/statm: 2664772 46454 3122 1 0 2627263 0
[pid=1323/tid=1325] ppid=1320 vsize=10659088 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/1323/task/1325/stat : 1325 (java) R 1320 1323 32243 0 -1 4202560 5885 0 0 0 62 4 0 0 20 0 15 0 77255730 10914906112 46454 33554432000 4194304 4196468 140720422711184 139773237380032 139773233155478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1326] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1320 1323 32243 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77255731 10914906112 46454 33554432000 4194304 4196468 140720422711184 139773202856720 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1327] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1320 1323 32243 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 77255731 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772838677392 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1328] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1320 1323 32243 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 77255731 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772837624848 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1329] ppid=1320 vsize=10659088 memory=145374241101969 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1320 1323 32243 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77255731 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772836572304 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1330] ppid=1320 vsize=10659088 memory=25345 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1320 1323 32243 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 77255732 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772725004272 139773233154690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1331] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1320 1323 32243 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 77255733 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772723950496 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1332] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1320 1323 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77255733 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772722897904 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1333] ppid=1320 vsize=10659088 memory=279323869211552 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255735 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772721846480 139773233162139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1334] ppid=1320 vsize=10659088 memory=19153 CPUtime=0.38 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1320 1323 32243 0 -1 1077944384 1575 0 0 0 38 0 0 0 20 0 15 0 77255735 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772720794096 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1335] ppid=1320 vsize=10659088 memory=279323869184240 CPUtime=0.43 cores=0,2,4,6
/proc/1323/task/1335/stat : 1335 (java) R 1320 1323 32243 0 -1 4202560 1450 0 0 0 43 0 0 0 20 0 15 0 77255735 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772719727576 139773218269830 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1336] ppid=1320 vsize=10659088 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/1323/task/1336/stat : 1336 (java) R 1320 1323 32243 0 -1 4202560 2058 0 0 0 32 0 0 0 20 0 15 0 77255735 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772718684272 139773213050374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1337] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1337/stat : 1337 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77255736 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772717636704 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1338] ppid=1320 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1338/stat : 1338 (java) S 1320 1323 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77255736 10914906112 46454 33554432000 4194304 4196468 140720422711184 139772716583216 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 185816 KiB
[startup+1.50075 s]
/proc/loadavg: 2.00 1.99 1.97 5/217 1338
/proc/meminfo: memFree=8461836/32770624 swapFree=67108860/67108860
[pid=1323] ppid=1320 vsize=10728144 memory=238332 CPUtime=4.41 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1320 1323 32243 0 -1 1077944320 19211 0 0 0 431 10 0 0 20 0 16 0 77255730 10985619456 59583 33554432000 4194304 4196468 140720422711184 140720422693728 139773233143543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
/proc/1323/statm: 2682036 59583 3151 1 0 2644527 0
[pid=1323/tid=1325] ppid=1320 vsize=10728144 memory=7079771113652244560 CPUtime=1.43 cores=0,2,4,6
/proc/1323/task/1325/stat : 1325 (java) R 1320 1323 32243 0 -1 4202560 6060 0 0 0 138 5 0 0 20 0 16 0 77255730 10985619456 59583 33554432000 4194304 4196468 140720422711184 139773237379744 139772874383797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1326] ppid=1320 vsize=10728144 memory=4640485871438549092 CPUtime=0.02 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1320 1323 32243 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 16 0 77255731 10985619456 59583 33554432000 4194304 4196468 140720422711184 139773202856720 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1327] ppid=1320 vsize=10728144 memory=7811043223826425152 CPUtime=0.01 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1320 1323 32243 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 77255731 10985619456 59583 33554432000 4194304 4196468 140720422711184 139772838677392 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1328] ppid=1320 vsize=10728144 memory=6442213876390060896 CPUtime=0.02 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1320 1323 32243 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 16 0 77255731 10985619456 59583 33554432000 4194304 4196468 140720422711184 139772837624848 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1329] ppid=1320 vsize=10728144 memory=7661585401344058984 CPUtime=0.01 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1320 1323 32243 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 77255731 10985619456 59583 33554432000 4194304 4196468 140720422711184 139772836572304 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1330] ppid=1320 vsize=10728144 memory=139661934598904 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1320 1323 32243 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 77255732 10985619456 59583 33554432000 4194304 4196468 140720422711184 139772725004272 139773233154690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
################
# More data... #
################
/proc/1323/task/1328/stat : 1328 (java) S 1320 1323 32243 0 -1 1077944384 8909 0 0 0 63 45 0 0 20 0 16 0 77255731 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772837624848 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1329] ppid=1320 vsize=10725652 memory=2385460 CPUtime=1.07 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1320 1323 32243 0 -1 1077944384 7459 0 0 0 63 44 0 0 20 0 16 0 77255731 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772836572304 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1330] ppid=1320 vsize=10725652 memory=2385460 CPUtime=0.12 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1320 1323 32243 0 -1 1077944384 3845 0 0 0 10 2 0 0 20 0 16 0 77255732 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772725004272 139773233154690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1331] ppid=1320 vsize=10725652 memory=2385460 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1320 1323 32243 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 77255733 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772723950560 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1332] ppid=1320 vsize=10725652 memory=2385460 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1320 1323 32243 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 77255733 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772722897920 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1333] ppid=1320 vsize=10725652 memory=2385460 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772721846480 139773233162139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1334] ppid=1320 vsize=10725652 memory=2385460 CPUtime=1.61 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1320 1323 32243 0 -1 1077944384 8053 0 0 0 160 1 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772720794096 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1335] ppid=1320 vsize=10725652 memory=2385460 CPUtime=1.63 cores=0,2,4,6
/proc/1323/task/1335/stat : 1335 (java) S 1320 1323 32243 0 -1 1077944384 8279 0 0 0 162 1 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772719741552 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1336] ppid=1320 vsize=10725652 memory=2385460 CPUtime=0.5 cores=0,2,4,6
/proc/1323/task/1336/stat : 1336 (java) S 1320 1323 32243 0 -1 1077944384 5399 0 0 0 48 2 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772718689008 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1337] ppid=1320 vsize=10725652 memory=2385460 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1337/stat : 1337 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77255736 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772717636704 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1338] ppid=1320 vsize=10725652 memory=1952 CPUtime=1.19 cores=0,2,4,6
/proc/1323/task/1338/stat : 1338 (java) S 1320 1323 32243 0 -1 1077944384 2570 0 0 0 61 58 0 0 20 0 16 0 77255736 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772716583216 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1339] ppid=1320 vsize=10725652 memory=2385460 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1339/stat : 1339 (java) S 1320 1323 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 77255840 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772715529008 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
Current children cumulated CPU time: 2330.29 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2385460 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/219 1528
/proc/meminfo: memFree=4466736/32770624 swapFree=67108860/67108860
[pid=1323] ppid=1320 vsize=10725652 memory=2385460 CPUtime=2390.31 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1320 1323 32243 0 -1 1077944320 102326 0 0 0 238783 248 0 0 20 0 16 0 77255730 10983067648 596365 33554432000 4194304 4196468 140720422711184 140720422693728 139773233143543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
/proc/1323/statm: 2681413 596365 3182 1 0 2643904 0
[pid=1323/tid=1325] ppid=1320 vsize=10725652 memory=2385460 CPUtime=2380.83 cores=0,2,4,6
/proc/1323/task/1325/stat : 1325 (java) R 1320 1323 32243 0 -1 4202560 40798 0 0 0 238063 20 0 0 20 0 16 0 77255730 10983067648 596365 33554432000 4194304 4196468 140720422711184 139773237382480 139772874382931 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1326] ppid=1320 vsize=10725652 memory=2385460 CPUtime=1.08 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1320 1323 32243 0 -1 1077944384 7652 0 0 0 66 42 0 0 20 0 16 0 77255731 10983067648 596365 33554432000 4194304 4196468 140720422711184 139773202856720 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1327] ppid=1320 vsize=10725652 memory=2385460 CPUtime=1.07 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1320 1323 32243 0 -1 1077944384 7824 0 0 0 64 43 0 0 20 0 16 0 77255731 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772838677392 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1328] ppid=1320 vsize=10725652 memory=2385460 CPUtime=1.08 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1320 1323 32243 0 -1 1077944384 8909 0 0 0 63 45 0 0 20 0 16 0 77255731 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772837624848 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1329] ppid=1320 vsize=10725652 memory=2385460 CPUtime=1.07 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1320 1323 32243 0 -1 1077944384 7459 0 0 0 63 44 0 0 20 0 16 0 77255731 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772836572304 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1330] ppid=1320 vsize=10725652 memory=2385460 CPUtime=0.12 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1320 1323 32243 0 -1 1077944384 3859 0 0 0 10 2 0 0 20 0 16 0 77255732 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772725004272 139773233154690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1331] ppid=1320 vsize=10725652 memory=2385460 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1320 1323 32243 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 77255733 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772723950560 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1332] ppid=1320 vsize=10725652 memory=14076 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1320 1323 32243 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 77255733 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772722897920 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1333] ppid=1320 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772721846480 139773233162139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1334] ppid=1320 vsize=10725652 memory=4140 CPUtime=1.61 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1320 1323 32243 0 -1 1077944384 8069 0 0 0 160 1 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772720794096 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1335] ppid=1320 vsize=10725652 memory=23116 CPUtime=1.63 cores=0,2,4,6
/proc/1323/task/1335/stat : 1335 (java) S 1320 1323 32243 0 -1 1077944384 8283 0 0 0 162 1 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772719741552 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1336] ppid=1320 vsize=10725652 memory=4140 CPUtime=0.5 cores=0,2,4,6
/proc/1323/task/1336/stat : 1336 (java) S 1320 1323 32243 0 -1 1077944384 5403 0 0 0 48 2 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772718689008 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1337] ppid=1320 vsize=10725652 memory=23116 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1337/stat : 1337 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77255736 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772717636704 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1338] ppid=1320 vsize=10725652 memory=2385460 CPUtime=1.22 cores=0,2,4,6
/proc/1323/task/1338/stat : 1338 (java) S 1320 1323 32243 0 -1 1077944384 2633 0 0 0 62 60 0 0 20 0 16 0 77255736 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772716583216 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1339] ppid=1320 vsize=10725652 memory=2385460 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1339/stat : 1339 (java) S 1320 1323 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 77255840 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772715529008 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
Current children cumulated CPU time: 2390.31 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2385460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392 s]*
/proc/loadavg: 2.00 2.01 2.01 3/219 1528
/proc/meminfo: memFree=4466860/32770624 swapFree=67108860/67108860
[pid=1323] ppid=1320 vsize=10725652 memory=2385460 CPUtime=2400.03 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1320 1323 32243 0 -1 1077944320 102450 0 0 0 239754 249 0 0 20 0 16 0 77255730 10983067648 596365 33554432000 4194304 4196468 140720422711184 140720422693728 139773233143543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
/proc/1323/statm: 2681413 596365 3182 1 0 2643904 0
[pid=1323/tid=1325] ppid=1320 vsize=10725652 memory=6935054825532540783 CPUtime=2390.55 cores=0,2,4,6
/proc/1323/task/1325/stat : 1325 (java) R 1320 1323 32243 0 -1 4202560 40922 0 0 0 239034 21 0 0 20 0 16 0 77255730 10983067648 596365 33554432000 4194304 4196468 140720422711184 139773237382480 139772874382931 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1326] ppid=1320 vsize=10725652 memory=4126316290023845779 CPUtime=1.08 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1320 1323 32243 0 -1 1077944384 7652 0 0 0 66 42 0 0 20 0 16 0 77255731 10983067648 596365 33554432000 4194304 4196468 140720422711184 139773202856720 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1327] ppid=1320 vsize=10725652 memory=2385460 CPUtime=1.07 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1320 1323 32243 0 -1 1077944384 7824 0 0 0 64 43 0 0 20 0 16 0 77255731 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772838677392 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1328] ppid=1320 vsize=10725652 memory=23116 CPUtime=1.08 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1320 1323 32243 0 -1 1077944384 8909 0 0 0 63 45 0 0 20 0 16 0 77255731 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772837624848 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1329] ppid=1320 vsize=10725652 memory=1296 CPUtime=1.07 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1320 1323 32243 0 -1 1077944384 7459 0 0 0 63 44 0 0 20 0 16 0 77255731 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772836572304 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1330] ppid=1320 vsize=10725652 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1320 1323 32243 0 -1 1077944384 3859 0 0 0 10 2 0 0 20 0 16 0 77255732 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772725004272 139773233154690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1331] ppid=1320 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1320 1323 32243 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 77255733 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772723950560 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1332] ppid=1320 vsize=10725652 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1320 1323 32243 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 77255733 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772722897920 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1333] ppid=1320 vsize=10725652 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772721846480 139773233162139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1334] ppid=1320 vsize=10725652 memory=6628 CPUtime=1.61 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1320 1323 32243 0 -1 1077944384 8069 0 0 0 160 1 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772720794096 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1335] ppid=1320 vsize=10725652 memory=8836 CPUtime=1.63 cores=0,2,4,6
/proc/1323/task/1335/stat : 1335 (java) S 1320 1323 32243 0 -1 1077944384 8283 0 0 0 162 1 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772719741552 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1336] ppid=1320 vsize=10725652 memory=11044 CPUtime=0.5 cores=0,2,4,6
/proc/1323/task/1336/stat : 1336 (java) S 1320 1323 32243 0 -1 1077944384 5403 0 0 0 48 2 0 0 20 0 16 0 77255735 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772718689008 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1337] ppid=1320 vsize=10725652 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1337/stat : 1337 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77255736 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772717636704 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1338] ppid=1320 vsize=10725652 memory=15460 CPUtime=1.23 cores=0,2,4,6
/proc/1323/task/1338/stat : 1338 (java) S 1320 1323 32243 0 -1 1077944384 2633 0 0 0 63 60 0 0 20 0 16 0 77255736 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772716583216 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1339] ppid=1320 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1339/stat : 1339 (java) S 1320 1323 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 77255840 10983067648 596365 33554432000 4194304 4196468 140720422711184 139772715529008 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2385460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.26 s]
# the end of solver process 1323 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.61 s, system=2.51016 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2392.2 s]
/proc/loadavg: 2.00 2.01 2.01 3/219 1528
/proc/meminfo: memFree=4466860/32770624 swapFree=67108860/67108860
[pid=1323] ppid=1320 vsize=10925344 memory=2385708 CPUtime=2400.05 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1320 1323 32243 0 -1 1077944320 102852 0 0 0 239756 249 0 0 20 0 17 0 77255730 11187552256 596427 33554432000 4194304 4196468 140720422711184 140720422693728 139773233143543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
/proc/1323/statm: 2731336 596427 3185 1 0 2693827 0
[pid=1323/tid=1325] ppid=1320 vsize=10925344 memory=303711724065009987 CPUtime=2390.56 cores=0,2,4,6
/proc/1323/task/1325/stat : 1325 (java) S 1320 1323 32243 0 -1 1077944384 40957 0 0 0 239035 21 0 0 20 0 17 0 77255730 11187552256 596427 33554432000 4194304 4196468 140720422711184 139773237386416 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1326] ppid=1320 vsize=10925344 memory=13564899112519327 CPUtime=1.08 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1320 1323 32243 0 -1 1077944384 7652 0 0 0 66 42 0 0 20 0 17 0 77255731 11187552256 596427 33554432000 4194304 4196468 140720422711184 139773202856720 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1327] ppid=1320 vsize=10925344 memory=7588956057031372394 CPUtime=1.07 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1320 1323 32243 0 -1 1077944384 7824 0 0 0 64 43 0 0 20 0 17 0 77255731 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772838677392 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1328] ppid=1320 vsize=10925344 memory=7523107478184158290 CPUtime=1.08 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1320 1323 32243 0 -1 1077944384 8909 0 0 0 63 45 0 0 20 0 17 0 77255731 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772837624848 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1329] ppid=1320 vsize=10925344 memory=7595434473863996242 CPUtime=1.07 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1320 1323 32243 0 -1 1077944384 7459 0 0 0 63 44 0 0 20 0 17 0 77255731 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772836572304 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1330] ppid=1320 vsize=10925344 memory=7301549219332187220 CPUtime=0.12 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1320 1323 32243 0 -1 1077944384 3859 0 0 0 10 2 0 0 20 0 17 0 77255732 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772725004272 139773233154690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1331] ppid=1320 vsize=10925344 memory=6009018539661955496 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1320 1323 32243 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 17 0 77255733 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772723950560 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1332] ppid=1320 vsize=10925344 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1320 1323 32243 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 77255733 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772722897920 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1333] ppid=1320 vsize=10925344 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1320 1323 32243 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 17 0 77255735 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772721846480 139773233162139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1334] ppid=1320 vsize=10925344 memory=0 CPUtime=1.61 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1320 1323 32243 0 -1 1077944384 8069 0 0 0 160 1 0 0 20 0 17 0 77255735 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772720794096 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1335] ppid=1320 vsize=10925344 memory=279323871125760 CPUtime=1.63 cores=0,2,4,6
/proc/1323/task/1335/stat : 1335 (java) S 1320 1323 32243 0 -1 1077944384 8283 0 0 0 162 1 0 0 20 0 17 0 77255735 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772719741552 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1336] ppid=1320 vsize=10925344 memory=2276 CPUtime=0.5 cores=0,2,4,6
/proc/1323/task/1336/stat : 1336 (java) S 1320 1323 32243 0 -1 1077944384 5510 0 0 0 48 2 0 0 20 0 17 0 77255735 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772718689008 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1337] ppid=1320 vsize=10925344 memory=2319528874322562723 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1337/stat : 1337 (java) S 1320 1323 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 77255736 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772717636704 139773233153749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
[pid=1323/tid=1338] ppid=1320 vsize=10925344 memory=0 CPUtime=1.23 cores=0,2,4,6
/proc/1323/task/1338/stat : 1338 (java) S 1320 1323 32243 0 -1 1077944384 2633 0 0 0 63 60 0 0 20 0 17 0 77255736 11187552256 596427 33554432000 4194304 4196468 140720422711184 139772716583216 139773233154690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14819328 140720422712433 140720422712585 140720422712585 140720422715343 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 2385708 KiB
Child status: 143
Real time (s): 2392.26
CPU time (s): 2400.12
CPU user time (s): 2397.61
CPU system time (s): 2.51016
CPU usage (%): 100.328
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 2385708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.61
system time used= 2.51016
maximum resident set size= 2387312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103282
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54233
involuntary context switches= 1611
# summary of solver processes directly reported to runsolver:
# pid: 1323
# total CPU time (s): 2400.12
# total CPU user time (s): 2397.61
# total CPU system time (s): 2.51016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4725 second user time and 26.1731 second system time
The end