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 (12178 MiB free)
memory of node 1: 16384 MiB (8721 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301586-1532882508/watcher-4301586-1532882508 -o /tmp/evaluation-result-4301586-1532882508/solver-4301586-1532882508 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13546 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301586-1532882508.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=16251, runsolver pid=16248
Current StackSize limit: 8192 KiB
[startup+0.100623 s]*
/proc/loadavg: 4.17 3.58 2.99 2/217 16266
/proc/meminfo: memFree=21385304/32770624 swapFree=67108860/67108860
[pid=16251] ppid=16248 vsize=10659012 memory=30660 CPUtime=0.13 cores=0,2,4,6
/proc/16251/stat : 16251 (java) S 16248 16251 13514 0 -1 1077944320 6735 0 0 0 11 2 0 0 20 0 15 0 105813998 10914828288 7665 33554432000 4194304 4196468 140720974900624 140720974883168 139813001289463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
/proc/16251/statm: 2664753 7665 2817 1 0 2627263 0
[pid=16251/tid=16253] ppid=16248 vsize=10659012 memory=-8773748148830113661 CPUtime=0.09 cores=0,2,4,6
/proc/16251/task/16253/stat : 16253 (java) R 16248 16251 13514 0 -1 4202560 4573 0 0 0 8 1 0 0 20 0 15 0 105813998 10914828288 7665 33554432000 4194304 4196468 140720974900624 139813005515280 139812985369950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16254] ppid=16248 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16254/stat : 16254 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812937980688 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16255] ppid=16248 vsize=10659012 memory=139829631248000 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16255/stat : 16255 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812936928144 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16256] ppid=16248 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16256/stat : 16256 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812935875600 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16257] ppid=16248 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16257/stat : 16257 (java) S 16248 16251 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105813999 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812934823056 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16258] ppid=16248 vsize=10659012 memory=139829631248000 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16258/stat : 16258 (java) S 16248 16251 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105814000 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812493088752 139813001300610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16259] ppid=16248 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16259/stat : 16259 (java) S 16248 16251 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105814001 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812492034976 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16260] ppid=16248 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16260/stat : 16260 (java) S 16248 16251 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105814001 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812490982384 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16261] ppid=16248 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16261/stat : 16261 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105814003 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812489930960 139813001308059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16262] ppid=16248 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16262/stat : 16262 (java) S 16248 16251 13514 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 105814003 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812488878576 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16263] ppid=16248 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16263/stat : 16263 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105814003 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812487826032 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16264] ppid=16248 vsize=10659012 memory=139829631248000 CPUtime=0.02 cores=0,2,4,6
/proc/16251/task/16264/stat : 16264 (java) S 16248 16251 13514 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 105814003 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812486773488 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16265] ppid=16248 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16265/stat : 16265 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105814004 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812485721184 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16266] ppid=16248 vsize=10659012 memory=139829631248000 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16266/stat : 16266 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105814004 10914828288 7665 33554432000 4194304 4196468 140720974900624 139812484667696 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30660 KiB
[startup+0.210488 s]*
/proc/loadavg: 4.17 3.58 2.99 6/217 16266
/proc/meminfo: memFree=21375248/32770624 swapFree=67108860/67108860
[pid=16251] ppid=16248 vsize=10659012 memory=41836 CPUtime=0.32 cores=0,2,4,6
/proc/16251/stat : 16251 (java) S 16248 16251 13514 0 -1 1077944320 8166 0 0 0 29 3 0 0 20 0 15 0 105813998 10914828288 10459 33554432000 4194304 4196468 140720974900624 140720974883168 139813001289463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
/proc/16251/statm: 2664753 10459 2993 1 0 2627263 0
[pid=16251/tid=16253] ppid=16248 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/16251/task/16253/stat : 16253 (java) R 16248 16251 13514 0 -1 4202560 5125 0 0 0 18 2 0 0 20 0 15 0 105813998 10914828288 10459 33554432000 4194304 4196468 140720974900624 139813005524640 139812985333093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16254] ppid=16248 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16254/stat : 16254 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812937980688 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16255] ppid=16248 vsize=10659012 memory=139829631873034 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16255/stat : 16255 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812936928144 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16256] ppid=16248 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16256/stat : 16256 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812935875600 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16257] ppid=16248 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16257/stat : 16257 (java) S 16248 16251 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105813999 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812934823056 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16258] ppid=16248 vsize=10659012 memory=139829631248000 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16258/stat : 16258 (java) S 16248 16251 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105814000 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812493088752 139813001300610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16259] ppid=16248 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16259/stat : 16259 (java) S 16248 16251 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105814001 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812492034976 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16260] ppid=16248 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16260/stat : 16260 (java) S 16248 16251 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105814001 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812490982384 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16261] ppid=16248 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16261/stat : 16261 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105814003 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812489930960 139813001308059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16262] ppid=16248 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16251/task/16262/stat : 16262 (java) S 16248 16251 13514 0 -1 1077944384 777 0 0 0 2 0 0 0 20 0 15 0 105814003 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812488878576 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16263] ppid=16248 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16251/task/16263/stat : 16263 (java) S 16248 16251 13514 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 105814003 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812487826032 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16264] ppid=16248 vsize=10659012 memory=139829631248000 CPUtime=0.06 cores=0,2,4,6
/proc/16251/task/16264/stat : 16264 (java) R 16248 16251 13514 0 -1 4202560 702 0 0 0 6 0 0 0 20 0 15 0 105814003 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812486773488 139812980240461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16265] ppid=16248 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16265/stat : 16265 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105814004 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812485721184 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16266] ppid=16248 vsize=10659012 memory=139829631248000 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16266/stat : 16266 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105814004 10914828288 10459 33554432000 4194304 4196468 140720974900624 139812484667696 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41836 KiB
[startup+0.316957 s]*
/proc/loadavg: 4.17 3.58 2.99 6/217 16266
/proc/meminfo: memFree=21368548/32770624 swapFree=67108860/67108860
[pid=16251] ppid=16248 vsize=10659088 memory=47132 CPUtime=0.53 cores=0,2,4,6
/proc/16251/stat : 16251 (java) S 16248 16251 13514 0 -1 1077944320 9030 0 0 0 50 3 0 0 20 0 15 0 105813998 10914906112 11783 33554432000 4194304 4196468 140720974900624 140720974883168 139813001289463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
/proc/16251/statm: 2664772 11783 3056 1 0 2627263 0
[pid=16251/tid=16253] ppid=16248 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/16251/task/16253/stat : 16253 (java) R 16248 16251 13514 0 -1 4202560 5754 0 0 0 28 2 0 0 20 0 15 0 105813998 10914906112 11848 33554432000 4194304 4196468 140720974900624 139813005526848 139812985369950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16254] ppid=16248 vsize=10659088 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16254/stat : 16254 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812937980688 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16255] ppid=16248 vsize=10659088 memory=139829631867349 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16255/stat : 16255 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812936928144 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16256] ppid=16248 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16256/stat : 16256 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812935875600 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16257] ppid=16248 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16257/stat : 16257 (java) S 16248 16251 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105813999 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812934823056 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16258] ppid=16248 vsize=10659088 memory=139829631248000 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16258/stat : 16258 (java) S 16248 16251 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105814000 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812493088752 139813001300610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16259] ppid=16248 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16259/stat : 16259 (java) S 16248 16251 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105814001 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812492034976 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16260] ppid=16248 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16260/stat : 16260 (java) S 16248 16251 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105814001 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812490982384 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16261] ppid=16248 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16261/stat : 16261 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105814003 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812489930960 139813001308059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16262] ppid=16248 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16251/task/16262/stat : 16262 (java) R 16248 16251 13514 0 -1 4202560 818 0 0 0 5 0 0 0 20 0 15 0 105814003 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812488871600 139812980535334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16263] ppid=16248 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/16251/task/16263/stat : 16263 (java) R 16248 16251 13514 0 -1 4202560 298 0 0 0 4 0 0 0 20 0 15 0 105814003 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812487807048 139812986217892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16264] ppid=16248 vsize=10659088 memory=139829631248000 CPUtime=0.12 cores=0,2,4,6
/proc/16251/task/16264/stat : 16264 (java) R 16248 16251 13514 0 -1 1077944384 796 0 0 0 12 0 0 0 20 0 15 0 105814003 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812486773488 139813001300610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16265] ppid=16248 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16265/stat : 16265 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105814004 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812485721184 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16266] ppid=16248 vsize=10659088 memory=139829631248000 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16266/stat : 16266 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105814004 10914906112 11848 33554432000 4194304 4196468 140720974900624 139812484667696 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47132 KiB
[startup+0.700697 s]
/proc/loadavg: 4.17 3.58 2.99 4/217 16266
/proc/meminfo: memFree=21346200/32770624 swapFree=67108860/67108860
[pid=16251] ppid=16248 vsize=10659088 memory=153896 CPUtime=1.62 cores=0,2,4,6
/proc/16251/stat : 16251 (java) S 16248 16251 13514 0 -1 1077944320 12142 0 0 0 157 5 0 0 20 0 15 0 105813998 10914906112 38474 33554432000 4194304 4196468 140720974900624 140720974883168 139813001289463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
/proc/16251/statm: 2664772 38474 3102 1 0 2627263 0
[pid=16251/tid=16253] ppid=16248 vsize=10659088 memory=16832 CPUtime=0.68 cores=0,2,4,6
/proc/16251/task/16253/stat : 16253 (java) R 16248 16251 13514 0 -1 4202560 6016 0 0 0 64 4 0 0 20 0 15 0 105813998 10914906112 38474 33554432000 4194304 4196468 140720974900624 139813005525312 139813001301398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16254] ppid=16248 vsize=10659088 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16254/stat : 16254 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812937980688 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16255] ppid=16248 vsize=10659088 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16255/stat : 16255 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812936928144 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16256] ppid=16248 vsize=10659088 memory=496 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16256/stat : 16256 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105813999 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812935875600 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16257] ppid=16248 vsize=10659088 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16257/stat : 16257 (java) S 16248 16251 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105813999 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812934823056 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16258] ppid=16248 vsize=10659088 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16258/stat : 16258 (java) S 16248 16251 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105814000 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812493088752 139813001300610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16259] ppid=16248 vsize=10659088 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16259/stat : 16259 (java) S 16248 16251 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105814001 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812492034976 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16260] ppid=16248 vsize=10659088 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16260/stat : 16260 (java) S 16248 16251 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105814001 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812490982384 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16261] ppid=16248 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16261/stat : 16261 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105814003 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812489930960 139813001308059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16262] ppid=16248 vsize=10659088 memory=6081108994580573287 CPUtime=0.31 cores=0,2,4,6
/proc/16251/task/16262/stat : 16262 (java) R 16248 16251 13514 0 -1 4202560 1857 0 0 0 31 0 0 0 20 0 15 0 105814003 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812488878576 139812986169707 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16263] ppid=16248 vsize=10659088 memory=6220993253238723945 CPUtime=0.3 cores=0,2,4,6
/proc/16251/task/16263/stat : 16263 (java) R 16248 16251 13514 0 -1 4202560 1182 0 0 0 30 0 0 0 20 0 15 0 105814003 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812487819056 139812986036344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16264] ppid=16248 vsize=10659088 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/16251/task/16264/stat : 16264 (java) R 16248 16251 13514 0 -1 1077944384 1716 0 0 0 31 0 0 0 20 0 15 0 105814003 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812486770224 139813001299669 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16265] ppid=16248 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16265/stat : 16265 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105814004 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812485721184 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16266] ppid=16248 vsize=10659088 memory=756 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16266/stat : 16266 (java) S 16248 16251 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105814004 10914906112 38474 33554432000 4194304 4196468 140720974900624 139812484667696 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 153896 KiB
[startup+1.50101 s]
/proc/loadavg: 4.17 3.58 2.99 6/217 16266
/proc/meminfo: memFree=21136116/32770624 swapFree=67108860/67108860
[pid=16251] ppid=16248 vsize=10659088 memory=532984 CPUtime=3.55 cores=0,2,4,6
/proc/16251/stat : 16251 (java) S 16248 16251 13514 0 -1 1077944320 13293 0 0 0 316 39 0 0 20 0 15 0 105813998 10914906112 132734 33554432000 4194304 4196468 140720974900624 140720974883168 139813001289463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
/proc/16251/statm: 2664772 132734 3137 1 0 2627263 0
[pid=16251/tid=16253] ppid=16248 vsize=10659088 memory=362636 CPUtime=1.16 cores=0,2,4,6
/proc/16251/task/16253/stat : 16253 (java) S 16248 16251 13514 0 -1 1077944384 6122 0 0 0 111 5 0 0 20 0 15 0 105813998 10914906112 133246 33554432000 4194304 4196468 140720974900624 139813005525856 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16254] ppid=16248 vsize=10659088 memory=33 CPUtime=0.3 cores=0,2,4,6
/proc/16251/task/16254/stat : 16254 (java) R 16248 16251 13514 0 -1 4202560 203 0 0 0 23 7 0 0 20 0 15 0 105813999 10914906112 133246 33554432000 4194304 4196468 140720974900624 139812937980688 139812986317337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16255] ppid=16248 vsize=10659088 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/16251/task/16255/stat : 16255 (java) R 16248 16251 13514 0 -1 4202560 220 0 0 0 23 8 0 0 20 0 15 0 105813999 10914906112 133246 33554432000 4194304 4196468 140720974900624 139812936928344 139812994389163 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16256] ppid=16248 vsize=10659088 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/16251/task/16256/stat : 16256 (java) R 16248 16251 13514 0 -1 4202560 198 0 0 0 22 8 0 0 20 0 15 0 105813999 10914906112 133246 33554432000 4194304 4196468 140720974900624 139812935875800 139812986317337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16257] ppid=16248 vsize=10659088 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/16251/task/16257/stat : 16257 (java) R 16248 16251 13514 0 -1 4202560 204 0 0 0 22 8 0 0 20 0 15 0 105813999 10914906112 133246 33554432000 4194304 4196468 140720974900624 139812934823056 139812986317337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16258] ppid=16248 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16258/stat : 16258 (java) S 16248 16251 13514 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 105814000 10914906112 133246 33554432000 4194304 4196468 140720974900624 139812493087264 139813001299669 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
################
# More data... #
################
/proc/16251/task/16256/stat : 16256 (java) S 16248 16251 13514 0 -1 1077944384 937 0 0 0 251 22 0 0 20 0 16 0 105813999 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812935875600 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16257] ppid=16248 vsize=10727700 memory=1409260 CPUtime=2.72 cores=0,2,4,6
/proc/16251/task/16257/stat : 16257 (java) S 16248 16251 13514 0 -1 1077944384 1340 0 0 0 249 23 0 0 20 0 16 0 105813999 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812934823056 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16258] ppid=16248 vsize=10727700 memory=1409260 CPUtime=1 cores=0,2,4,6
/proc/16251/task/16258/stat : 16258 (java) S 16248 16251 13514 0 -1 1077944384 2169 0 0 0 100 0 0 0 20 0 16 0 105814000 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812493088752 139813001300610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16259] ppid=16248 vsize=10727700 memory=1409260 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16259/stat : 16259 (java) S 16248 16251 13514 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 105814001 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812492035040 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16260] ppid=16248 vsize=10727700 memory=1409260 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16260/stat : 16260 (java) S 16248 16251 13514 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 105814001 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812490982400 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16261] ppid=16248 vsize=10727700 memory=1409260 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16261/stat : 16261 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105814003 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812489930960 139813001308059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16262] ppid=16248 vsize=10727700 memory=1409260 CPUtime=1.46 cores=0,2,4,6
/proc/16251/task/16262/stat : 16262 (java) S 16248 16251 13514 0 -1 1077944384 8310 0 0 0 146 0 0 0 20 0 16 0 105814003 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812488878576 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16263] ppid=16248 vsize=10727700 memory=1165060 CPUtime=1.35 cores=0,2,4,6
/proc/16251/task/16263/stat : 16263 (java) S 16248 16251 13514 0 -1 1077944384 5396 0 0 0 135 0 0 0 20 0 16 0 105814003 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812487826032 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16264] ppid=16248 vsize=10727700 memory=1968 CPUtime=0.48 cores=0,2,4,6
/proc/16251/task/16264/stat : 16264 (java) S 16248 16251 13514 0 -1 1077944384 3372 0 0 0 47 1 0 0 20 0 16 0 105814003 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812486773488 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16265] ppid=16248 vsize=10727700 memory=1409260 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16265/stat : 16265 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105814004 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812485721184 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16266] ppid=16248 vsize=10727700 memory=1409260 CPUtime=0.09 cores=0,2,4,6
/proc/16251/task/16266/stat : 16266 (java) S 16248 16251 13514 0 -1 1077944384 496 0 0 0 5 4 0 0 20 0 16 0 105814004 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812484667696 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16267] ppid=16248 vsize=10727700 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16267/stat : 16267 (java) S 16248 16251 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105814334 10985164800 352315 33554432000 4194304 4196468 140720974900624 139812481516336 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
Current children cumulated CPU time: 173.9 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1409260 KiB
[startup+222.301 s]
/proc/loadavg: 2.14 2.81 2.81 3/217 16348
/proc/meminfo: memFree=26841300/32770624 swapFree=67108860/67108860
[pid=16251] ppid=16248 vsize=10727700 memory=1409488 CPUtime=233.93 cores=0,2,4,6
/proc/16251/stat : 16251 (java) S 16248 16251 13514 0 -1 1077944320 39618 0 0 0 23285 108 0 0 20 0 16 0 105813998 10985164800 352372 33554432000 4194304 4196468 140720974900624 140720974883168 139813001289463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
/proc/16251/statm: 2681925 352372 3181 1 0 2644416 0
[pid=16251/tid=16253] ppid=16248 vsize=10727700 memory=1409488 CPUtime=218.5 cores=0,2,4,6
/proc/16251/task/16253/stat : 16253 (java) R 16248 16251 13514 0 -1 4202560 13968 0 0 0 21840 10 0 0 20 0 16 0 105813998 10985164800 352372 33554432000 4194304 4196468 140720974900624 139813005528432 139812616233777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16254] ppid=16248 vsize=10727700 memory=1409488 CPUtime=2.74 cores=0,2,4,6
/proc/16251/task/16254/stat : 16254 (java) S 16248 16251 13514 0 -1 1077944384 956 0 0 0 253 21 0 0 20 0 16 0 105813999 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812937980688 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16255] ppid=16248 vsize=10727700 memory=1409488 CPUtime=2.74 cores=0,2,4,6
/proc/16251/task/16255/stat : 16255 (java) S 16248 16251 13514 0 -1 1077944384 1150 0 0 0 252 22 0 0 20 0 16 0 105813999 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812936928144 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16256] ppid=16248 vsize=10727700 memory=1409488 CPUtime=2.73 cores=0,2,4,6
/proc/16251/task/16256/stat : 16256 (java) S 16248 16251 13514 0 -1 1077944384 937 0 0 0 251 22 0 0 20 0 16 0 105813999 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812935875600 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16257] ppid=16248 vsize=10727700 memory=0 CPUtime=2.72 cores=0,2,4,6
/proc/16251/task/16257/stat : 16257 (java) S 16248 16251 13514 0 -1 1077944384 1340 0 0 0 249 23 0 0 20 0 16 0 105813999 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812934823056 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16258] ppid=16248 vsize=10727700 memory=1409488 CPUtime=1 cores=0,2,4,6
/proc/16251/task/16258/stat : 16258 (java) S 16248 16251 13514 0 -1 1077944384 2179 0 0 0 100 0 0 0 20 0 16 0 105814000 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812493088752 139813001300610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16259] ppid=16248 vsize=10727700 memory=1409488 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16259/stat : 16259 (java) S 16248 16251 13514 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 105814001 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812492035040 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16260] ppid=16248 vsize=10727700 memory=1409488 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16260/stat : 16260 (java) S 16248 16251 13514 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 105814001 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812490982400 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16261] ppid=16248 vsize=10727700 memory=1409488 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16261/stat : 16261 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105814003 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812489930960 139813001308059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16262] ppid=16248 vsize=10727700 memory=1409488 CPUtime=1.46 cores=0,2,4,6
/proc/16251/task/16262/stat : 16262 (java) S 16248 16251 13514 0 -1 1077944384 8314 0 0 0 146 0 0 0 20 0 16 0 105814003 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812488878576 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16263] ppid=16248 vsize=10727700 memory=4140 CPUtime=1.35 cores=0,2,4,6
/proc/16251/task/16263/stat : 16263 (java) S 16248 16251 13514 0 -1 1077944384 5403 0 0 0 135 0 0 0 20 0 16 0 105814003 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812487826032 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16264] ppid=16248 vsize=10727700 memory=1409488 CPUtime=0.48 cores=0,2,4,6
/proc/16251/task/16264/stat : 16264 (java) S 16248 16251 13514 0 -1 1077944384 3375 0 0 0 47 1 0 0 20 0 16 0 105814003 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812486773488 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16265] ppid=16248 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16265/stat : 16265 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105814004 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812485721184 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16266] ppid=16248 vsize=10727700 memory=288230574492221466 CPUtime=0.11 cores=0,2,4,6
/proc/16251/task/16266/stat : 16266 (java) S 16248 16251 13514 0 -1 1077944384 535 0 0 0 6 5 0 0 20 0 16 0 105814004 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812484667696 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16267] ppid=16248 vsize=10727700 memory=1409488 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16267/stat : 16267 (java) S 16248 16251 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105814334 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812481516336 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
Current children cumulated CPU time: 233.93 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1409488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+240.401 s]
/proc/loadavg: 2.11 2.77 2.80 3/217 16349
/proc/meminfo: memFree=26840840/32770624 swapFree=67108860/67108860
[pid=16251] ppid=16248 vsize=10727700 memory=1409488 CPUtime=252.05 cores=0,2,4,6
/proc/16251/stat : 16251 (java) S 16248 16251 13514 0 -1 1077944320 39810 0 0 0 25096 109 0 0 20 0 16 0 105813998 10985164800 352372 33554432000 4194304 4196468 140720974900624 140720974883168 139813001289463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
/proc/16251/statm: 2681925 352372 3181 1 0 2644416 0
[pid=16251/tid=16253] ppid=16248 vsize=10727700 memory=7234297577332829286 CPUtime=236.6 cores=0,2,4,6
/proc/16251/task/16253/stat : 16253 (java) R 16248 16251 13514 0 -1 4202560 14160 0 0 0 23650 10 0 0 20 0 16 0 105813998 10985164800 352372 33554432000 4194304 4196468 140720974900624 139813005528432 139812616180565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16254] ppid=16248 vsize=10727700 memory=6791534058613427641 CPUtime=2.74 cores=0,2,4,6
/proc/16251/task/16254/stat : 16254 (java) S 16248 16251 13514 0 -1 1077944384 956 0 0 0 253 21 0 0 20 0 16 0 105813999 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812937980688 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16255] ppid=16248 vsize=10727700 memory=1696 CPUtime=2.74 cores=0,2,4,6
/proc/16251/task/16255/stat : 16255 (java) S 16248 16251 13514 0 -1 1077944384 1150 0 0 0 252 22 0 0 20 0 16 0 105813999 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812936928144 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16256] ppid=16248 vsize=10727700 memory=916 CPUtime=2.73 cores=0,2,4,6
/proc/16251/task/16256/stat : 16256 (java) S 16248 16251 13514 0 -1 1077944384 937 0 0 0 251 22 0 0 20 0 16 0 105813999 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812935875600 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16257] ppid=16248 vsize=10727700 memory=1409488 CPUtime=2.72 cores=0,2,4,6
/proc/16251/task/16257/stat : 16257 (java) S 16248 16251 13514 0 -1 1077944384 1340 0 0 0 249 23 0 0 20 0 16 0 105813999 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812934823056 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16258] ppid=16248 vsize=10727700 memory=6791534058613427641 CPUtime=1 cores=0,2,4,6
/proc/16251/task/16258/stat : 16258 (java) S 16248 16251 13514 0 -1 1077944384 2179 0 0 0 100 0 0 0 20 0 16 0 105814000 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812493088752 139813001300610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16259] ppid=16248 vsize=10727700 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16259/stat : 16259 (java) S 16248 16251 13514 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 105814001 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812492035040 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16260] ppid=16248 vsize=10727700 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16260/stat : 16260 (java) S 16248 16251 13514 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 105814001 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812490982400 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16261] ppid=16248 vsize=10727700 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16261/stat : 16261 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105814003 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812489930960 139813001308059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16262] ppid=16248 vsize=10727700 memory=1408 CPUtime=1.46 cores=0,2,4,6
/proc/16251/task/16262/stat : 16262 (java) S 16248 16251 13514 0 -1 1077944384 8314 0 0 0 146 0 0 0 20 0 16 0 105814003 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812488878576 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16263] ppid=16248 vsize=10727700 memory=3192 CPUtime=1.35 cores=0,2,4,6
/proc/16251/task/16263/stat : 16263 (java) S 16248 16251 13514 0 -1 1077944384 5403 0 0 0 135 0 0 0 20 0 16 0 105814003 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812487826032 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16264] ppid=16248 vsize=10727700 memory=1409488 CPUtime=0.48 cores=0,2,4,6
/proc/16251/task/16264/stat : 16264 (java) S 16248 16251 13514 0 -1 1077944384 3375 0 0 0 47 1 0 0 20 0 16 0 105814003 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812486773488 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16265] ppid=16248 vsize=10727700 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16265/stat : 16265 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105814004 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812485721184 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16266] ppid=16248 vsize=10727700 memory=3044 CPUtime=0.12 cores=0,2,4,6
/proc/16251/task/16266/stat : 16266 (java) S 16248 16251 13514 0 -1 1077944384 535 0 0 0 6 6 0 0 20 0 16 0 105814004 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812484667696 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16267] ppid=16248 vsize=10727700 memory=456848 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16267/stat : 16267 (java) S 16248 16251 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105814334 10985164800 352372 33554432000 4194304 4196468 140720974900624 139812481516336 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1409488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.638 s]
# the end of solver process 16251 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.212 s, system=1.10337 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.601 s]
/proc/loadavg: 2.11 2.77 2.80 3/217 16349
/proc/meminfo: memFree=26840840/32770624 swapFree=67108860/67108860
[pid=16251] ppid=16248 vsize=10861856 memory=1409800 CPUtime=252.25 cores=0,2,4,6
/proc/16251/stat : 16251 (java) S 16248 16251 13514 0 -1 1077944320 40999 0 0 0 25116 109 0 0 20 0 17 0 105813998 11122540544 352450 33554432000 4194304 4196468 140720974900624 140720974883168 139813001289463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
/proc/16251/statm: 2715464 352450 3183 1 0 2677955 0
[pid=16251/tid=16253] ppid=16248 vsize=10861856 memory=3852 CPUtime=236.8 cores=0,2,4,6
/proc/16251/task/16253/stat : 16253 (java) R 16248 16251 13514 0 -1 4202560 14391 0 0 0 23670 10 0 0 20 0 17 0 105813998 11122540544 352450 33554432000 4194304 4196468 140720974900624 139813005529744 139812616550448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16254] ppid=16248 vsize=10861856 memory=6791534058613427641 CPUtime=2.74 cores=0,2,4,6
/proc/16251/task/16254/stat : 16254 (java) S 16248 16251 13514 0 -1 1077944384 956 0 0 0 253 21 0 0 20 0 17 0 105813999 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812937980688 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16255] ppid=16248 vsize=10861856 memory=288230613214036277 CPUtime=2.74 cores=0,2,4,6
/proc/16251/task/16255/stat : 16255 (java) S 16248 16251 13514 0 -1 1077944384 1150 0 0 0 252 22 0 0 20 0 17 0 105813999 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812936928144 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16256] ppid=16248 vsize=10861856 memory=15535236834396114 CPUtime=2.73 cores=0,2,4,6
/proc/16251/task/16256/stat : 16256 (java) S 16248 16251 13514 0 -1 1077944384 937 0 0 0 251 22 0 0 20 0 17 0 105813999 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812935875600 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16257] ppid=16248 vsize=10861856 memory=6791534058613427641 CPUtime=2.72 cores=0,2,4,6
/proc/16251/task/16257/stat : 16257 (java) S 16248 16251 13514 0 -1 1077944384 1340 0 0 0 249 23 0 0 20 0 17 0 105813999 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812934823056 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16258] ppid=16248 vsize=10861856 memory=1409488 CPUtime=1 cores=0,2,4,6
/proc/16251/task/16258/stat : 16258 (java) S 16248 16251 13514 0 -1 1077944384 2202 0 0 0 100 0 0 0 20 0 17 0 105814000 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812493088752 139813001300610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16259] ppid=16248 vsize=10861856 memory=844 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16259/stat : 16259 (java) S 16248 16251 13514 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 17 0 105814001 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812492035040 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16260] ppid=16248 vsize=10861856 memory=1409488 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16260/stat : 16260 (java) S 16248 16251 13514 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 17 0 105814001 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812490982400 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16261] ppid=16248 vsize=10861856 memory=2724 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16261/stat : 16261 (java) S 16248 16251 13514 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 17 0 105814003 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812489930960 139813001308059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16262] ppid=16248 vsize=10861856 memory=844 CPUtime=1.46 cores=0,2,4,6
/proc/16251/task/16262/stat : 16262 (java) S 16248 16251 13514 0 -1 1077944384 8429 0 0 0 146 0 0 0 20 0 17 0 105814003 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812488878576 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16263] ppid=16248 vsize=10861856 memory=3360 CPUtime=1.35 cores=0,2,4,6
/proc/16251/task/16263/stat : 16263 (java) S 16248 16251 13514 0 -1 1077944384 5466 0 0 0 135 0 0 0 20 0 17 0 105814003 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812487826032 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16264] ppid=16248 vsize=10861856 memory=2724 CPUtime=0.48 cores=0,2,4,6
/proc/16251/task/16264/stat : 16264 (java) S 16248 16251 13514 0 -1 1077944384 3497 0 0 0 47 1 0 0 20 0 17 0 105814003 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812486773488 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16265] ppid=16248 vsize=10861856 memory=1256 CPUtime=0 cores=0,2,4,6
/proc/16251/task/16265/stat : 16265 (java) S 16248 16251 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105814004 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812485721184 139813001299669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
[pid=16251/tid=16266] ppid=16248 vsize=10861856 memory=10368 CPUtime=0.12 cores=0,2,4,6
/proc/16251/task/16266/stat : 16266 (java) S 16248 16251 13514 0 -1 1077944384 537 0 0 0 6 6 0 0 20 0 17 0 105814004 11122540544 352450 33554432000 4194304 4196468 140720974900624 139812484667696 139813001300610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12144640 140720974906486 140720974906638 140720974906638 140720974909391 0
Current children cumulated CPU time: 252.25 s
Current children cumulated vsize: 10861856 KiB
Current children cumulated memory: 1409800 KiB
Child status: 143
Real time (s): 240.638
CPU time (s): 252.316
CPU user time (s): 251.212
CPU system time (s): 1.10337
CPU usage (%): 104.853
Max. virtual memory (cumulated for all children) (KiB): 10861856
Max. memory (cumulated for all children) (KiB): 1409800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.212
system time used= 1.10337
maximum resident set size= 1409900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41777
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7781
involuntary context switches= 440
# summary of solver processes directly reported to runsolver:
# pid: 16251
# total CPU time (s): 252.316
# total CPU user time (s): 251.212
# total CPU system time (s): 1.10337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49793 second user time and 2.28719 second system time
The end