runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248452-1500716556/watcher-4248452-1500716556 -o /tmp/evaluation-result-4248452-1500716556/solver-4248452-1500716556 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500709764-19674 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1451231739 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248452-1500716556.xml
pid=20948
running on 8 cores: 0,2,4,6,8,10,12,14
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.66 1.44 1.50 3/261 20951
/proc/meminfo: memFree=28742300/32770624 swapFree=6564/148908
[pid=20951] ppid=20948 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/stat : 20951 (java) S 20948 20951 19643 0 -1 1077944320 2204 0 0 0 0 0 0 0 20 0 2 0 6920613 10889764864 1923 33554432000 4194304 4196468 140729179716832 140729179699376 139803970330359 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
/proc/20951/statm: 2658634 1923 1188 1 0 2647545 0
[pid=20951/tid=20952] ppid=20948 vsize=10635564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20952/stat : 20952 (java) R 20948 20951 19643 0 -1 4202560 912 0 0 0 0 0 0 0 20 0 2 0 6920613 10890817536 1923 33554432000 4194304 4196468 140729179716832 139803974571848 139803963047511 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20953] ppid=20948 vsize=10635564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20953/stat : 20953 (java) R 20948 20951 19643 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 6920614 10890817536 1923 33554432000 4194304 4196468 140729179716832 139803974571848 139803963070209 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[startup+0.100125 s]
/proc/loadavg: 1.66 1.44 1.50 3/261 20951
/proc/meminfo: memFree=28742300/32770624 swapFree=6564/148908
[pid=20951] ppid=20948 vsize=13263912 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/20951/stat : 20951 (java) S 20948 20951 19643 0 -1 1077944320 6125 0 0 0 9 1 0 0 20 0 20 0 6920613 13582245888 6346 33554432000 4194304 4196468 140729179716832 140729179699376 139803970330359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
/proc/20951/statm: 3315978 6346 3005 1 0 3303698 0
[pid=20951/tid=20952] ppid=20948 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20952/stat : 20952 (java) R 20948 20951 19643 0 -1 4202560 4197 0 0 0 8 0 0 0 20 0 20 0 6920613 13582245888 6412 33554432000 4194304 4196468 140729179716832 139803974559736 139803858910787 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20953] ppid=20948 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20953/stat : 20953 (java) S 20948 20951 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6920614 13582245888 6412 33554432000 4194304 4196468 140729179716832 139803569096976 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912
[startup+0.200401 s]
/proc/loadavg: 1.66 1.44 1.50 3/261 20951
/proc/meminfo: memFree=28742300/32770624 swapFree=6564/148908
[pid=20951] ppid=20948 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20951/stat : 20951 (java) S 20948 20951 19643 0 -1 1077944320 9030 0 0 0 24 2 0 0 20 0 20 0 6920613 13582245888 8836 33554432000 4194304 4196468 140729179716832 140729179699376 139803970330359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
/proc/20951/statm: 3315978 8836 3542 1 0 3303698 0
[pid=20951/tid=20952] ppid=20948 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20952/stat : 20952 (java) R 20948 20951 19643 0 -1 4202560 6613 0 0 0 17 1 0 0 20 0 20 0 6920613 13582245888 8836 33554432000 4194304 4196468 140729179716832 139803974552144 139803954410846 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20953] ppid=20948 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20953/stat : 20953 (java) S 20948 20951 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6920614 13582245888 8836 33554432000 4194304 4196468 140729179716832 139803569096976 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300276 s]
/proc/loadavg: 1.66 1.44 1.50 3/261 20951
/proc/meminfo: memFree=28742300/32770624 swapFree=6564/148908
[pid=20951] ppid=20948 vsize=13263912 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/20951/stat : 20951 (java) S 20948 20951 19643 0 -1 1077944320 10129 0 0 0 41 3 0 0 20 0 20 0 6920613 13582245888 11342 33554432000 4194304 4196468 140729179716832 140729179699376 139803970330359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
/proc/20951/statm: 3315978 11342 3681 1 0 3303698 0
[pid=20951/tid=20952] ppid=20948 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20952/stat : 20952 (java) R 20948 20951 19643 0 -1 4202560 7204 0 0 0 26 2 0 0 20 0 20 0 6920613 13582245888 11342 33554432000 4194304 4196468 140729179716832 139803974558760 139803970351706 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20953] ppid=20948 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20953/stat : 20953 (java) S 20948 20951 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6920614 13582245888 11342 33554432000 4194304 4196468 140729179716832 139803569096976 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13263912
[startup+0.700222 s]
/proc/loadavg: 1.66 1.44 1.50 3/261 20951
/proc/meminfo: memFree=28742300/32770624 swapFree=6564/148908
[pid=20951] ppid=20948 vsize=13268028 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/20951/stat : 20951 (java) S 20948 20951 19643 0 -1 1077944320 12643 0 0 0 102 5 0 0 20 0 20 0 6920613 13586460672 18368 33554432000 4194304 4196468 140729179716832 140729179699376 139803970330359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
/proc/20951/statm: 3317007 18368 3741 1 0 3304722 0
[pid=20951/tid=20952] ppid=20948 vsize=13268028 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20952/stat : 20952 (java) R 20948 20951 19643 0 -1 4202560 8951 0 0 0 64 3 0 0 20 0 20 0 6920613 13586460672 18368 33554432000 4194304 4196468 140729179716832 139803974566560 139803607325392 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20953] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20953/stat : 20953 (java) S 20948 20951 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 18368 33554432000 4194304 4196468 140729179716832 139803569096976 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 13268028
[startup+1.50076 s]
/proc/loadavg: 1.66 1.44 1.50 3/281 20971
/proc/meminfo: memFree=28640600/32770624 swapFree=6564/148968
[pid=20951] ppid=20948 vsize=13268028 CPUtime=2.52 cores=0,2,4,6,8,10,12,14
/proc/20951/stat : 20951 (java) S 20948 20951 19643 0 -1 1077944320 18942 0 0 0 245 7 0 0 20 0 20 0 6920613 13586460672 36619 33554432000 4194304 4196468 140729179716832 140729179699376 139803970330359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
/proc/20951/statm: 3317007 36619 3779 1 0 3304722 0
[pid=20951/tid=20952] ppid=20948 vsize=13268028 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20952/stat : 20952 (java) R 20948 20951 19643 0 -1 4202560 10233 0 0 0 143 4 0 0 20 0 20 0 6920613 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803974560128 139803610336581 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20953] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20953/stat : 20953 (java) S 20948 20951 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803569096976 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20954] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20954/stat : 20954 (java) S 20948 20951 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803568044432 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20956] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20956/stat : 20956 (java) S 20948 20951 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803566991888 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20957] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20957/stat : 20957 (java) S 20948 20951 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803565939344 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20958] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20958/stat : 20958 (java) S 20948 20951 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803564886800 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20959] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20959/stat : 20959 (java) S 20948 20951 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803563834256 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20960] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20960/stat : 20960 (java) S 20948 20951 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803562781712 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20961] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20961/stat : 20961 (java) S 20948 20951 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803561729168 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20962] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20962/stat : 20962 (java) S 20948 20951 19643 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 6920616 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803433527280 139803970341506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20963] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20963/stat : 20963 (java) S 20948 20951 19643 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6920617 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803432473504 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20964] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20964/stat : 20964 (java) S 20948 20951 19643 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6920617 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803431420912 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20965] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20965/stat : 20965 (java) S 20948 20951 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6920620 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803430369488 139803970348955 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20966] ppid=20948 vsize=13268028 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20966/stat : 20966 (java) S 20948 20951 19643 0 -1 1077944384 1570 0 0 0 23 0 0 0 20 0 20 0 6920620 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803429317104 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20967] ppid=20948 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20967/stat : 20967 (java) S 20948 20951 19643 0 -1 1077944384 1557 0 0 0 25 1 0 0 20 0 20 0 6920620 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803428264560 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20968] ppid=20948 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20968/stat : 20968 (java) S 20948 20951 19643 0 -1 1077944384 2217 0 0 0 26 0 0 0 20 0 20 0 6920620 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803427212016 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20969] ppid=20948 vsize=13268028 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20969/stat : 20969 (java) S 20948 20951 19643 0 -1 1077944384 1961 0 0 0 25 0 0 0 20 0 20 0 6920620 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803426159472 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20970] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20970/stat : 20970 (java) S 20948 20951 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6920621 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803425106144 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20971] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20971/stat : 20971 (java) S 20948 20951 19643 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 6920621 13586460672 36619 33554432000 4194304 4196468 140729179716832 139803424053680 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 13268028
[startup+3.10078 s]
/proc/loadavg: 1.66 1.44 1.50 3/281 20971
/proc/meminfo: memFree=28556976/32770624 swapFree=6564/148968
[pid=20951] ppid=20948 vsize=13268028 CPUtime=4.16 cores=0,2,4,6,8,10,12,14
/proc/20951/stat : 20951 (java) S 20948 20951 19643 0 -1 1077944320 21279 0 0 0 407 9 0 0 20 0 20 0 6920613 13586460672 50024 33554432000 4194304 4196468 140729179716832 140729179699376 139803970330359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
/proc/20951/statm: 3317007 50024 3805 1 0 3304722 0
[pid=20951/tid=20952] ppid=20948 vsize=13268028 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20952/stat : 20952 (java) R 20948 20951 19643 0 -1 4202560 10434 0 0 0 302 4 0 0 20 0 20 0 6920613 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803974560128 139803608304954 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20953] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20953/stat : 20953 (java) S 20948 20951 19643 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803569096976 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20954] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20954/stat : 20954 (java) S 20948 20951 19643 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803568044432 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20956] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20956/stat : 20956 (java) S 20948 20951 19643 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803566991888 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20957] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20957/stat : 20957 (java) S 20948 20951 19643 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803565939344 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20958] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20958/stat : 20958 (java) S 20948 20951 19643 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803564886800 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20959] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20959/stat : 20959 (java) S 20948 20951 19643 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803563834256 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20960] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20960/stat : 20960 (java) S 20948 20951 19643 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803562781712 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20961] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20961/stat : 20961 (java) S 20948 20951 19643 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803561729168 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20962] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20962/stat : 20962 (java) S 20948 20951 19643 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 6920616 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803433527280 139803970341506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20963] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20963/stat : 20963 (java) S 20948 20951 19643 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 6920617 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803432473568 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20964] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20964/stat : 20964 (java) S 20948 20951 19643 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 6920617 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803431420912 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20965] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20965/stat : 20965 (java) S 20948 20951 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6920620 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803430369488 139803970348955 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20966] ppid=20948 vsize=13268028 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20966/stat : 20966 (java) S 20948 20951 19643 0 -1 1077944384 1634 0 0 0 23 0 0 0 20 0 20 0 6920620 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803429317104 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20967] ppid=20948 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20967/stat : 20967 (java) S 20948 20951 19643 0 -1 1077944384 1557 0 0 0 25 1 0 0 20 0 20 0 6920620 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803428264560 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20968] ppid=20948 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20968/stat : 20968 (java) S 20948 20951 19643 0 -1 1077944384 2243 0 0 0 27 0 0 0 20 0 20 0 6920620 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803427212016 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20969] ppid=20948 vsize=13268028 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20969/stat : 20969 (java) S 20948 20951 19643 0 -1 1077944384 2793 0 0 0 25 0 0 0 20 0 20 0 6920620 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803426159472 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20970] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20970/stat : 20970 (java) S 20948 20951 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6920621 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803425106144 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20971] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20971/stat : 20971 (java) S 20948 20951 19643 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 6920621 13586460672 50024 33554432000 4194304 4196468 140729179716832 139803424053680 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 13268028
[startup+6.30075 s]
/proc/loadavg: 1.77 1.47 1.51 3/281 20971
/proc/meminfo: memFree=28552304/32770624 swapFree=6564/148976
[pid=20951] ppid=20948 vsize=13268028 CPUtime=7.4 cores=0,2,4,6,8,10,12,14
/proc/20951/stat : 20951 (java) S 20948 20951 19643 0 -1 1077944320 21620 0 0 0 730 10 0 0 20 0 20 0 6920613 13586460672 51049 33554432000 4194304 4196468 140729179716832 140729179699376 139803970330359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
/proc/20951/statm: 3317007 51049 3805 1 0 3304722 0
[pid=20951/tid=20952] ppid=20948 vsize=13268028 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20952/stat : 20952 (java) R 20948 20951 19643 0 -1 4202560 10445 0 0 0 621 4 0 0 20 0 20 0 6920613 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803974568656 139803610402632 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20953] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20953/stat : 20953 (java) S 20948 20951 19643 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803569096976 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20954] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20954/stat : 20954 (java) S 20948 20951 19643 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803568044432 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20956] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20956/stat : 20956 (java) S 20948 20951 19643 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803566991888 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20957] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20957/stat : 20957 (java) S 20948 20951 19643 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803565939344 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20958] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20958/stat : 20958 (java) S 20948 20951 19643 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803564886800 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20959] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20959/stat : 20959 (java) S 20948 20951 19643 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803563834256 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20960] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20960/stat : 20960 (java) S 20948 20951 19643 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803562781712 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20961] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20961/stat : 20961 (java) S 20948 20951 19643 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803561729168 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20962] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20962/stat : 20962 (java) S 20948 20951 19643 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 6920616 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803433527280 139803970341506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20963] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20963/stat : 20963 (java) S 20948 20951 19643 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 6920617 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803432473568 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20964] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20964/stat : 20964 (java) S 20948 20951 19643 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 6920617 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803431420928 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20965] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20965/stat : 20965 (java) S 20948 20951 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6920620 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803430369488 139803970348955 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20966] ppid=20948 vsize=13268028 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20966/stat : 20966 (java) S 20948 20951 19643 0 -1 1077944384 1634 0 0 0 23 0 0 0 20 0 20 0 6920620 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803429317104 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20967] ppid=20948 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20967/stat : 20967 (java) S 20948 20951 19643 0 -1 1077944384 1557 0 0 0 25 1 0 0 20 0 20 0 6920620 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803428264560 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20968] ppid=20948 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20968/stat : 20968 (java) S 20948 20951 19643 0 -1 1077944384 2269 0 0 0 27 0 0 0 20 0 20 0 6920620 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803427212016 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20969] ppid=20948 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20969/stat : 20969 (java) S 20948 20951 19643 0 -1 1077944384 2827 0 0 0 26 0 0 0 20 0 20 0 6920620 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803426159472 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20970] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20970/stat : 20970 (java) S 20948 20951 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6920621 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803425106144 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20971] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20971/stat : 20971 (java) S 20948 20951 19643 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 6920621 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803424053680 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 13268028
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20951 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40092 s]
/proc/loadavg: 1.77 1.47 1.51 3/281 20971
/proc/meminfo: memFree=28552304/32770624 swapFree=6564/148976
[pid=20951] ppid=20948 vsize=13268028 CPUtime=7.5 cores=0,2,4,6,8,10,12,14
/proc/20951/stat : 20951 (java) S 20948 20951 19643 0 -1 1077944320 21620 0 0 0 740 10 0 0 20 0 20 0 6920613 13586460672 51049 33554432000 4194304 4196468 140729179716832 140729179699376 139803970330359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
/proc/20951/statm: 3317007 51049 3805 1 0 3304722 0
[pid=20951/tid=20952] ppid=20948 vsize=13268028 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20952/stat : 20952 (java) R 20948 20951 19643 0 -1 4202560 10445 0 0 0 631 4 0 0 20 0 20 0 6920613 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803974568656 139803610404624 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20953] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20953/stat : 20953 (java) S 20948 20951 19643 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803569096976 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20954] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20954/stat : 20954 (java) S 20948 20951 19643 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803568044432 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20956] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20956/stat : 20956 (java) S 20948 20951 19643 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803566991888 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20957] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20957/stat : 20957 (java) S 20948 20951 19643 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803565939344 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20958] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20958/stat : 20958 (java) S 20948 20951 19643 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803564886800 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20959] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20959/stat : 20959 (java) S 20948 20951 19643 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803563834256 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20960] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20960/stat : 20960 (java) S 20948 20951 19643 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803562781712 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20961] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20961/stat : 20961 (java) S 20948 20951 19643 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 6920614 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803561729168 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20962] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20962/stat : 20962 (java) S 20948 20951 19643 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 6920616 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803433527280 139803970341506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20963] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20963/stat : 20963 (java) S 20948 20951 19643 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 6920617 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803432473568 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20964] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20964/stat : 20964 (java) S 20948 20951 19643 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 6920617 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803431420928 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20965] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20965/stat : 20965 (java) S 20948 20951 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6920620 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803430369488 139803970348955 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20966] ppid=20948 vsize=13268028 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20966/stat : 20966 (java) S 20948 20951 19643 0 -1 1077944384 1634 0 0 0 23 0 0 0 20 0 20 0 6920620 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803429317104 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20967] ppid=20948 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20967/stat : 20967 (java) S 20948 20951 19643 0 -1 1077944384 1557 0 0 0 25 1 0 0 20 0 20 0 6920620 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803428264560 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20968] ppid=20948 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20968/stat : 20968 (java) S 20948 20951 19643 0 -1 1077944384 2269 0 0 0 27 0 0 0 20 0 20 0 6920620 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803427212016 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20969] ppid=20948 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20969/stat : 20969 (java) S 20948 20951 19643 0 -1 1077944384 2827 0 0 0 26 0 0 0 20 0 20 0 6920620 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803426159472 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20970] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20970/stat : 20970 (java) S 20948 20951 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6920621 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803425106144 139803970340565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
[pid=20951/tid=20971] ppid=20948 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20951/task/20971/stat : 20971 (java) S 20948 20951 19643 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 6920621 13586460672 51049 33554432000 4194304 4196468 140729179716832 139803424053680 139803970341506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140729179722893 140729179723076 140729179723076 140729179725775 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 13268028
Child status: 0
Real time (s): 6.44173
CPU time (s): 7.54843
CPU user time (s): 7.43751
CPU system time (s): 0.110917
CPU usage (%): 117.18
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.43751
system time used= 0.110917
maximum resident set size= 204520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22010
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2718
involuntary context switches= 481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044761 second user time and 0.053538 second system time
The end