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 (5835 MiB free)
memory of node 1: 16384 MiB (10167 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291490-1532254380/watcher-4291490-1532254380 -o /tmp/evaluation-result-4291490-1532254380/solver-4291490-1532254380 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532226016-29479 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 386949965 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291490-1532254380.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=968, runsolver pid=965
[startup+0.100291 s]*
/proc/loadavg: 2.20 1.70 1.53 3/216 983
/proc/meminfo: memFree=16369616/32770624 swapFree=67108860/67108860
[pid=968] ppid=965 vsize=14082740 memory=30788 CPUtime=0.11 cores=0,2,4,6
/proc/968/stat : 968 (java) S 965 968 29448 0 -1 1077944320 6605 0 0 0 11 0 0 0 20 0 15 0 43001159 14420725760 7697 33554432000 4194304 4196468 140724323923680 140724323906224 140272803794679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
/proc/968/statm: 3520685 7697 3140 1 0 3482761 0
[pid=968/tid=970] ppid=965 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/968/task/970/stat : 970 (java) R 965 968 29448 0 -1 4202560 4919 0 0 0 9 0 0 0 20 0 15 0 43001160 14420725760 7894 33554432000 4194304 4196468 140724323923680 140272807989344 140272796031806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=971] ppid=965 vsize=14082740 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/968/task/971/stat : 971 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 7894 33554432000 4194304 4196468 140724323923680 140272399215760 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=972] ppid=965 vsize=14082740 memory=3834731005247710880 CPUtime=0 cores=0,2,4,6
/proc/968/task/972/stat : 972 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 7894 33554432000 4194304 4196468 140724323923680 140272398162960 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=973] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/973/stat : 973 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272397110160 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=974] ppid=965 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/968/task/974/stat : 974 (java) S 965 968 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272396057360 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=975] ppid=965 vsize=14082740 memory=139977261540992 CPUtime=0 cores=0,2,4,6
/proc/968/task/975/stat : 975 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001162 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272278124912 140272803805826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=976] ppid=965 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/968/task/976/stat : 976 (java) S 965 968 29448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43001162 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272277070880 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=977] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/977/stat : 977 (java) S 965 968 29448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43001163 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272276018032 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=978] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/978/stat : 978 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272274966352 140272803813275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=979] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/979/stat : 979 (java) S 965 968 29448 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 43001165 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272273914736 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=980] ppid=965 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/968/task/980/stat : 980 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272272861936 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=981] ppid=965 vsize=14082740 memory=139977261540992 CPUtime=0.01 cores=0,2,4,6
/proc/968/task/981/stat : 981 (java) S 965 968 29448 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 15 0 43001165 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272271809136 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=982] ppid=965 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/968/task/982/stat : 982 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272270756576 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=983] ppid=965 vsize=14082740 memory=139977261540992 CPUtime=0 cores=0,2,4,6
/proc/968/task/983/stat : 983 (java) S 965 968 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43001166 14420725760 7960 33554432000 4194304 4196468 140724323923680 140272269703856 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30788 KiB
[startup+0.213537 s]*
/proc/loadavg: 2.20 1.70 1.53 4/216 983
/proc/meminfo: memFree=16354144/32770624 swapFree=67108860/67108860
[pid=968] ppid=965 vsize=14082740 memory=46824 CPUtime=0.31 cores=0,2,4,6
/proc/968/stat : 968 (java) S 965 968 29448 0 -1 1077944320 10304 0 0 0 29 2 0 0 20 0 15 0 43001159 14420725760 11706 33554432000 4194304 4196468 140724323923680 140724323906224 140272803794679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
/proc/968/statm: 3520685 11706 3360 1 0 3482761 0
[pid=968/tid=970] ppid=965 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/968/task/970/stat : 970 (java) R 965 968 29448 0 -1 4202560 8022 0 0 0 19 1 0 0 20 0 15 0 43001160 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272808020656 140272803806614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=971] ppid=965 vsize=14082740 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/968/task/971/stat : 971 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272399215760 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=972] ppid=965 vsize=14082740 memory=3834731005247710880 CPUtime=0 cores=0,2,4,6
/proc/968/task/972/stat : 972 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272398162960 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=973] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/973/stat : 973 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272397110160 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=974] ppid=965 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/968/task/974/stat : 974 (java) S 965 968 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272396057360 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=975] ppid=965 vsize=14082740 memory=139977261540992 CPUtime=0 cores=0,2,4,6
/proc/968/task/975/stat : 975 (java) S 965 968 29448 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43001162 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272278124912 140272803805826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=976] ppid=965 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/968/task/976/stat : 976 (java) S 965 968 29448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43001162 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272277070880 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=977] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/977/stat : 977 (java) S 965 968 29448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43001163 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272276018032 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=978] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/978/stat : 978 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272274966352 140272803813275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=979] ppid=965 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/968/task/979/stat : 979 (java) S 965 968 29448 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 15 0 43001165 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272273914736 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=980] ppid=965 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/968/task/980/stat : 980 (java) S 965 968 29448 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 15 0 43001165 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272272861936 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=981] ppid=965 vsize=14082740 memory=139977261540992 CPUtime=0.06 cores=0,2,4,6
/proc/968/task/981/stat : 981 (java) R 965 968 29448 0 -1 4202560 300 0 0 0 6 0 0 0 20 0 15 0 43001165 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272271809136 140272782285328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=982] ppid=965 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/968/task/982/stat : 982 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272270756576 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=983] ppid=965 vsize=14082740 memory=139977261540992 CPUtime=0 cores=0,2,4,6
/proc/968/task/983/stat : 983 (java) S 965 968 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43001166 14420725760 11706 33554432000 4194304 4196468 140724323923680 140272269703856 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46824 KiB
[startup+0.310478 s]*
/proc/loadavg: 2.20 1.70 1.53 3/216 983
/proc/meminfo: memFree=16350980/32770624 swapFree=67108860/67108860
[pid=968] ppid=965 vsize=14082740 memory=50544 CPUtime=0.44 cores=0,2,4,6
/proc/968/stat : 968 (java) S 965 968 29448 0 -1 1077944320 10727 0 0 0 42 2 0 0 20 0 15 0 43001159 14420725760 12636 33554432000 4194304 4196468 140724323923680 140724323906224 140272803794679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
/proc/968/statm: 3520685 12636 3409 1 0 3482761 0
[pid=968/tid=970] ppid=965 vsize=14082740 memory=1398720917958146503 CPUtime=0.29 cores=0,2,4,6
/proc/968/task/970/stat : 970 (java) R 965 968 29448 0 -1 4202560 8405 0 0 0 28 1 0 0 20 0 15 0 43001160 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272808015776 140272784070009 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=971] ppid=965 vsize=14082740 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/968/task/971/stat : 971 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272399215760 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=972] ppid=965 vsize=14082740 memory=2804 CPUtime=0 cores=0,2,4,6
/proc/968/task/972/stat : 972 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272398162960 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=973] ppid=965 vsize=14082740 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/968/task/973/stat : 973 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272397110160 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=974] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/974/stat : 974 (java) S 965 968 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43001161 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272396057360 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=975] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/975/stat : 975 (java) S 965 968 29448 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43001162 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272278124912 140272803805826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=976] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/976/stat : 976 (java) S 965 968 29448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43001162 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272277070880 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=977] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/977/stat : 977 (java) S 965 968 29448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43001163 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272276018032 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=978] ppid=965 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/978/stat : 978 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272274966352 140272803813275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=979] ppid=965 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/968/task/979/stat : 979 (java) S 965 968 29448 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 15 0 43001165 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272273914736 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=980] ppid=965 vsize=14082740 memory=139977145016879 CPUtime=0.02 cores=0,2,4,6
/proc/968/task/980/stat : 980 (java) S 965 968 29448 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 15 0 43001165 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272272861936 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=981] ppid=965 vsize=14082740 memory=279954406567040 CPUtime=0.08 cores=0,2,4,6
/proc/968/task/981/stat : 981 (java) S 965 968 29448 0 -1 1077944384 315 0 0 0 8 0 0 0 20 0 15 0 43001165 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272271809136 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=982] ppid=965 vsize=14082740 memory=139977145021487 CPUtime=0 cores=0,2,4,6
/proc/968/task/982/stat : 982 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272270756576 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=983] ppid=965 vsize=14082740 memory=139977261541003 CPUtime=0 cores=0,2,4,6
/proc/968/task/983/stat : 983 (java) S 965 968 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43001166 14420725760 12636 33554432000 4194304 4196468 140724323923680 140272269703856 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50544 KiB
[startup+0.70079 s]
/proc/loadavg: 2.20 1.70 1.53 3/216 983
/proc/meminfo: memFree=16328472/32770624 swapFree=67108860/67108860
[pid=968] ppid=965 vsize=14084808 memory=88676 CPUtime=1 cores=0,2,4,6
/proc/968/stat : 968 (java) S 965 968 29448 0 -1 1077944320 17570 0 0 0 95 5 0 0 20 0 15 0 43001159 14422843392 22169 33554432000 4194304 4196468 140724323923680 140724323906224 140272803794679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
/proc/968/statm: 3521202 22169 3499 1 0 3483273 0
[pid=968/tid=970] ppid=965 vsize=14084808 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/968/task/970/stat : 970 (java) R 965 968 29448 0 -1 4202560 14826 0 0 0 63 4 0 0 20 0 15 0 43001160 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272808024080 140272787875166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=971] ppid=965 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/971/stat : 971 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272399215760 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=972] ppid=965 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/972/stat : 972 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272398162960 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=973] ppid=965 vsize=14084808 memory=144164738180110 CPUtime=0 cores=0,2,4,6
/proc/968/task/973/stat : 973 (java) S 965 968 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43001161 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272397110160 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=974] ppid=965 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/974/stat : 974 (java) S 965 968 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43001161 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272396057360 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=975] ppid=965 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/975/stat : 975 (java) S 965 968 29448 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43001162 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272278124912 140272803805826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=976] ppid=965 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/976/stat : 976 (java) S 965 968 29448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43001162 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272277070880 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=977] ppid=965 vsize=14084808 memory=279954289852656 CPUtime=0 cores=0,2,4,6
/proc/968/task/977/stat : 977 (java) S 965 968 29448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43001163 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272276018032 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=978] ppid=965 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/978/stat : 978 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272274966352 140272803813275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=979] ppid=965 vsize=14084808 memory=-3472574513799858009 CPUtime=0.08 cores=0,2,4,6
/proc/968/task/979/stat : 979 (java) S 965 968 29448 0 -1 1077944384 564 0 0 0 8 0 0 0 20 0 15 0 43001165 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272273914736 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=980] ppid=965 vsize=14084808 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/968/task/980/stat : 980 (java) S 965 968 29448 0 -1 1077944384 374 0 0 0 7 0 0 0 20 0 15 0 43001165 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272272861936 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=981] ppid=965 vsize=14084808 memory=6944656575208382560 CPUtime=0.15 cores=0,2,4,6
/proc/968/task/981/stat : 981 (java) S 965 968 29448 0 -1 1077944384 423 0 0 0 15 0 0 0 20 0 15 0 43001165 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272271809136 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=982] ppid=965 vsize=14084808 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/968/task/982/stat : 982 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272270756576 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=983] ppid=965 vsize=14084808 memory=-2461829820114675750 CPUtime=0 cores=0,2,4,6
/proc/968/task/983/stat : 983 (java) S 965 968 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43001166 14422843392 22169 33554432000 4194304 4196468 140724323923680 140272269703856 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88676 KiB
[startup+1.5013 s]
/proc/loadavg: 2.20 1.70 1.53 6/216 983
/proc/meminfo: memFree=16267788/32770624 swapFree=67108860/67108860
[pid=968] ppid=965 vsize=14086856 memory=220880 CPUtime=3.48 cores=0,2,4,6
/proc/968/stat : 968 (java) S 965 968 29448 0 -1 1077944320 24956 0 0 0 339 9 0 0 20 0 15 0 43001159 14424940544 55220 33554432000 4194304 4196468 140724323923680 140724323906224 140272803794679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
/proc/968/statm: 3521714 55220 3551 1 0 3483785 0
[pid=968/tid=970] ppid=965 vsize=14086856 memory=54 CPUtime=1.45 cores=0,2,4,6
/proc/968/task/970/stat : 970 (java) R 965 968 29448 0 -1 4202560 17228 0 0 0 139 6 0 0 20 0 15 0 43001160 14424940544 55220 33554432000 4194304 4196468 140724323923680 140272808028208 140272445527104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=971] ppid=965 vsize=14086856 memory=6223407613083 CPUtime=0 cores=0,2,4,6
/proc/968/task/971/stat : 971 (java) S 965 968 29448 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 43001161 14424940544 55220 33554432000 4194304 4196468 140724323923680 140272399215760 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=972] ppid=965 vsize=14086856 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/968/task/972/stat : 972 (java) S 965 968 29448 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 43001161 14424940544 55220 33554432000 4194304 4196468 140724323923680 140272398162960 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=973] ppid=965 vsize=14086856 memory=13852953979127113 CPUtime=0 cores=0,2,4,6
/proc/968/task/973/stat : 973 (java) S 965 968 29448 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 43001161 14424940544 55220 33554432000 4194304 4196468 140724323923680 140272397110160 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=974] ppid=965 vsize=14086856 memory=6947385649911455296 CPUtime=0 cores=0,2,4,6
/proc/968/task/974/stat : 974 (java) S 965 968 29448 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 43001161 14424940544 55220 33554432000 4194304 4196468 140724323923680 140272396057360 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=975] ppid=965 vsize=14086856 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/968/task/975/stat : 975 (java) S 965 968 29448 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 43001162 14424940544 55220 33554432000 4194304 4196468 140724323923680 140272278124912 140272803805826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
################
# More data... #
################
/proc/968/task/970/stat : 970 (java) R 965 968 29448 0 -1 4202560 62720 0 0 0 223806 34 0 0 20 0 15 0 43001160 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272808031808 140272451924382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=971] ppid=965 vsize=14093000 memory=515540 CPUtime=12.35 cores=0,2,4,6
/proc/968/task/971/stat : 971 (java) S 965 968 29448 0 -1 1077944384 11120 0 0 0 1174 61 0 0 20 0 15 0 43001161 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272399215760 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=972] ppid=965 vsize=14093000 memory=515540 CPUtime=12.36 cores=0,2,4,6
/proc/968/task/972/stat : 972 (java) S 965 968 29448 0 -1 1077944384 11802 0 0 0 1178 58 0 0 20 0 15 0 43001161 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272398162960 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=973] ppid=965 vsize=14093000 memory=515540 CPUtime=12.37 cores=0,2,4,6
/proc/968/task/973/stat : 973 (java) S 965 968 29448 0 -1 1077944384 10532 0 0 0 1177 60 0 0 20 0 15 0 43001161 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272397110160 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=974] ppid=965 vsize=14093000 memory=515540 CPUtime=12.35 cores=0,2,4,6
/proc/968/task/974/stat : 974 (java) S 965 968 29448 0 -1 1077944384 10608 0 0 0 1179 56 0 0 20 0 15 0 43001161 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272396057360 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=975] ppid=965 vsize=14093000 memory=515540 CPUtime=8.41 cores=0,2,4,6
/proc/968/task/975/stat : 975 (java) S 965 968 29448 0 -1 1077944384 10148 0 0 0 787 54 0 0 20 0 15 0 43001162 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272278124912 140272803805826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=976] ppid=965 vsize=14093000 memory=515540 CPUtime=0 cores=0,2,4,6
/proc/968/task/976/stat : 976 (java) S 965 968 29448 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43001162 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272277070944 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=977] ppid=965 vsize=14093000 memory=515540 CPUtime=0 cores=0,2,4,6
/proc/968/task/977/stat : 977 (java) S 965 968 29448 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 43001163 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272276018048 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=978] ppid=965 vsize=14093000 memory=515540 CPUtime=0 cores=0,2,4,6
/proc/968/task/978/stat : 978 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272274966352 140272803813275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=979] ppid=965 vsize=14093000 memory=515540 CPUtime=2.51 cores=0,2,4,6
/proc/968/task/979/stat : 979 (java) S 965 968 29448 0 -1 1077944384 12364 0 0 0 249 2 0 0 20 0 15 0 43001165 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272273914736 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=980] ppid=965 vsize=14093000 memory=515540 CPUtime=2.47 cores=0,2,4,6
/proc/968/task/980/stat : 980 (java) S 965 968 29448 0 -1 1077944384 13035 0 0 0 244 3 0 0 20 0 15 0 43001165 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272272861936 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=981] ppid=965 vsize=14093000 memory=515540 CPUtime=1.28 cores=0,2,4,6
/proc/968/task/981/stat : 981 (java) S 965 968 29448 0 -1 1077944384 32631 0 0 0 125 3 0 0 20 0 15 0 43001165 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272271809136 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=982] ppid=965 vsize=14093000 memory=515540 CPUtime=0 cores=0,2,4,6
/proc/968/task/982/stat : 982 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272270756576 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=983] ppid=965 vsize=14093000 memory=4132 CPUtime=1.33 cores=0,2,4,6
/proc/968/task/983/stat : 983 (java) S 965 968 29448 0 -1 1077944384 1267 0 0 0 67 66 0 0 20 0 15 0 43001166 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272269703856 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
Current children cumulated CPU time: 2303.93 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 515540 KiB
[startup+2322.3 s]
/proc/loadavg: 1.28 1.30 1.34 3/214 1144
/proc/meminfo: memFree=15962468/32770624 swapFree=67108860/67108860
[pid=968] ppid=965 vsize=14093000 memory=515540 CPUtime=2364.78 cores=0,2,4,6
/proc/968/stat : 968 (java) S 965 968 29448 0 -1 1077944320 179540 0 0 0 236138 340 0 0 20 0 15 0 43001159 14431232000 128885 33554432000 4194304 4196468 140724323923680 140724323906224 140272803794679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
/proc/968/statm: 3523250 128885 3613 1 0 3485321 0
[pid=968/tid=970] ppid=965 vsize=14093000 memory=515540 CPUtime=2297.83 cores=0,2,4,6
/proc/968/task/970/stat : 970 (java) R 965 968 29448 0 -1 4202560 63590 0 0 0 229748 35 0 0 20 0 15 0 43001160 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272808031808 140272447169000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=971] ppid=965 vsize=14093000 memory=515540 CPUtime=12.65 cores=0,2,4,6
/proc/968/task/971/stat : 971 (java) S 965 968 29448 0 -1 1077944384 11234 0 0 0 1203 62 0 0 20 0 15 0 43001161 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272399215760 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=972] ppid=965 vsize=14093000 memory=515540 CPUtime=12.66 cores=0,2,4,6
/proc/968/task/972/stat : 972 (java) S 965 968 29448 0 -1 1077944384 11834 0 0 0 1207 59 0 0 20 0 15 0 43001161 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272398162960 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=973] ppid=965 vsize=14093000 memory=515540 CPUtime=12.68 cores=0,2,4,6
/proc/968/task/973/stat : 973 (java) S 965 968 29448 0 -1 1077944384 10722 0 0 0 1206 62 0 0 20 0 15 0 43001161 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272397110160 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=974] ppid=965 vsize=14093000 memory=515540 CPUtime=12.64 cores=0,2,4,6
/proc/968/task/974/stat : 974 (java) S 965 968 29448 0 -1 1077944384 10905 0 0 0 1207 57 0 0 20 0 15 0 43001161 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272396057360 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=975] ppid=965 vsize=14093000 memory=515540 CPUtime=8.61 cores=0,2,4,6
/proc/968/task/975/stat : 975 (java) S 965 968 29448 0 -1 1077944384 10323 0 0 0 806 55 0 0 20 0 15 0 43001162 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272278124912 140272803805826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=976] ppid=965 vsize=14093000 memory=515540 CPUtime=0 cores=0,2,4,6
/proc/968/task/976/stat : 976 (java) S 965 968 29448 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43001162 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272277070944 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=977] ppid=965 vsize=14093000 memory=515540 CPUtime=0 cores=0,2,4,6
/proc/968/task/977/stat : 977 (java) S 965 968 29448 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 43001163 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272276018048 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=978] ppid=965 vsize=14093000 memory=515540 CPUtime=0 cores=0,2,4,6
/proc/968/task/978/stat : 978 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272274966352 140272803813275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=979] ppid=965 vsize=14093000 memory=515540 CPUtime=2.51 cores=0,2,4,6
/proc/968/task/979/stat : 979 (java) S 965 968 29448 0 -1 1077944384 12366 0 0 0 249 2 0 0 20 0 15 0 43001165 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272273914736 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=980] ppid=965 vsize=14093000 memory=515540 CPUtime=2.47 cores=0,2,4,6
/proc/968/task/980/stat : 980 (java) S 965 968 29448 0 -1 1077944384 13037 0 0 0 244 3 0 0 20 0 15 0 43001165 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272272861936 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=981] ppid=965 vsize=14093000 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/968/task/981/stat : 981 (java) S 965 968 29448 0 -1 1077944384 32829 0 0 0 125 3 0 0 20 0 15 0 43001165 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272271809136 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=982] ppid=965 vsize=14093000 memory=515540 CPUtime=0 cores=0,2,4,6
/proc/968/task/982/stat : 982 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272270756576 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=983] ppid=965 vsize=14093000 memory=515540 CPUtime=1.36 cores=0,2,4,6
/proc/968/task/983/stat : 983 (java) S 965 968 29448 0 -1 1077944384 1281 0 0 0 69 67 0 0 20 0 15 0 43001166 14431232000 128885 33554432000 4194304 4196468 140724323923680 140272269703856 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
Current children cumulated CPU time: 2364.78 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 515540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2357.11 s]
/proc/loadavg: 1.37 1.32 1.35 3/215 1145
/proc/meminfo: memFree=15963432/32770624 swapFree=67108860/67108860
[pid=968] ppid=965 vsize=14093000 memory=516056 CPUtime=2400.06 cores=0,2,4,6
/proc/968/stat : 968 (java) S 965 968 29448 0 -1 1077944320 183012 0 0 0 239662 344 0 0 20 0 15 0 43001159 14431232000 129014 33554432000 4194304 4196468 140724323923680 140724323906224 140272803794679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
/proc/968/statm: 3523250 129014 3613 1 0 3485321 0
[pid=968/tid=970] ppid=965 vsize=14093000 memory=516056 CPUtime=2332.27 cores=0,2,4,6
/proc/968/task/970/stat : 970 (java) R 965 968 29448 0 -1 4202560 63989 0 0 0 233192 35 0 0 20 0 15 0 43001160 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272808031808 140272451924361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=971] ppid=965 vsize=14093000 memory=515540 CPUtime=12.82 cores=0,2,4,6
/proc/968/task/971/stat : 971 (java) S 965 968 29448 0 -1 1077944384 11706 0 0 0 1219 63 0 0 20 0 15 0 43001161 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272399215760 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=972] ppid=965 vsize=14093000 memory=515540 CPUtime=12.84 cores=0,2,4,6
/proc/968/task/972/stat : 972 (java) S 965 968 29448 0 -1 1077944384 11866 0 0 0 1224 60 0 0 20 0 15 0 43001161 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272398162960 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=973] ppid=965 vsize=14093000 memory=516056 CPUtime=12.83 cores=0,2,4,6
/proc/968/task/973/stat : 973 (java) S 965 968 29448 0 -1 1077944384 10758 0 0 0 1221 62 0 0 20 0 15 0 43001161 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272397110160 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=974] ppid=965 vsize=14093000 memory=516056 CPUtime=12.81 cores=0,2,4,6
/proc/968/task/974/stat : 974 (java) S 965 968 29448 0 -1 1077944384 10984 0 0 0 1223 58 0 0 20 0 15 0 43001161 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272396057360 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=975] ppid=965 vsize=14093000 memory=516056 CPUtime=8.75 cores=0,2,4,6
/proc/968/task/975/stat : 975 (java) S 965 968 29448 0 -1 1077944384 12725 0 0 0 819 56 0 0 20 0 15 0 43001162 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272278124912 140272803805826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=976] ppid=965 vsize=14093000 memory=516056 CPUtime=0 cores=0,2,4,6
/proc/968/task/976/stat : 976 (java) S 965 968 29448 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43001162 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272277070944 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=977] ppid=965 vsize=14093000 memory=516056 CPUtime=0 cores=0,2,4,6
/proc/968/task/977/stat : 977 (java) S 965 968 29448 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 43001163 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272276018048 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=978] ppid=965 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/978/stat : 978 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272274966352 140272803813275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=979] ppid=965 vsize=14093000 memory=516056 CPUtime=2.51 cores=0,2,4,6
/proc/968/task/979/stat : 979 (java) S 965 968 29448 0 -1 1077944384 12366 0 0 0 249 2 0 0 20 0 15 0 43001165 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272273914736 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=980] ppid=965 vsize=14093000 memory=0 CPUtime=2.48 cores=0,2,4,6
/proc/968/task/980/stat : 980 (java) S 965 968 29448 0 -1 1077944384 13086 0 0 0 245 3 0 0 20 0 15 0 43001165 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272272861936 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=981] ppid=965 vsize=14093000 memory=6947385649911455296 CPUtime=1.28 cores=0,2,4,6
/proc/968/task/981/stat : 981 (java) S 965 968 29448 0 -1 1077944384 32829 0 0 0 125 3 0 0 20 0 15 0 43001165 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272271809136 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=982] ppid=965 vsize=14093000 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/968/task/982/stat : 982 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272270756576 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=983] ppid=965 vsize=14093000 memory=16444 CPUtime=1.38 cores=0,2,4,6
/proc/968/task/983/stat : 983 (java) S 965 968 29448 0 -1 1077944384 1284 0 0 0 70 68 0 0 20 0 15 0 43001166 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272269703856 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 516056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2357.12 s]
# the end of solver process 968 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.64 s, system=3.4543 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2357.11 s]
/proc/loadavg: 1.37 1.32 1.35 3/215 1145
/proc/meminfo: memFree=15963432/32770624 swapFree=67108860/67108860
[pid=968] ppid=965 vsize=14093000 memory=516056 CPUtime=2400.06 cores=0,2,4,6
/proc/968/stat : 968 (java) S 965 968 29448 0 -1 1077944320 183012 0 0 0 239662 344 0 0 20 0 15 0 43001159 14431232000 129014 33554432000 4194304 4196468 140724323923680 140724323906224 140272803794679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
/proc/968/statm: 3523250 129014 3613 1 0 3485321 0
[pid=968/tid=970] ppid=965 vsize=14093000 memory=516056 CPUtime=2332.27 cores=0,2,4,6
/proc/968/task/970/stat : 970 (java) R 965 968 29448 0 -1 4202560 63989 0 0 0 233192 35 0 0 20 0 15 0 43001160 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272808031808 140272451924361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=971] ppid=965 vsize=14093000 memory=515540 CPUtime=12.82 cores=0,2,4,6
/proc/968/task/971/stat : 971 (java) S 965 968 29448 0 -1 1077944384 11706 0 0 0 1219 63 0 0 20 0 15 0 43001161 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272399215760 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=972] ppid=965 vsize=14093000 memory=515540 CPUtime=12.84 cores=0,2,4,6
/proc/968/task/972/stat : 972 (java) S 965 968 29448 0 -1 1077944384 11866 0 0 0 1224 60 0 0 20 0 15 0 43001161 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272398162960 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=973] ppid=965 vsize=14093000 memory=516056 CPUtime=12.83 cores=0,2,4,6
/proc/968/task/973/stat : 973 (java) S 965 968 29448 0 -1 1077944384 10758 0 0 0 1221 62 0 0 20 0 15 0 43001161 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272397110160 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=974] ppid=965 vsize=14093000 memory=516056 CPUtime=12.81 cores=0,2,4,6
/proc/968/task/974/stat : 974 (java) S 965 968 29448 0 -1 1077944384 10984 0 0 0 1223 58 0 0 20 0 15 0 43001161 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272396057360 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=975] ppid=965 vsize=14093000 memory=516056 CPUtime=8.75 cores=0,2,4,6
/proc/968/task/975/stat : 975 (java) S 965 968 29448 0 -1 1077944384 12725 0 0 0 819 56 0 0 20 0 15 0 43001162 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272278124912 140272803805826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=976] ppid=965 vsize=14093000 memory=516056 CPUtime=0 cores=0,2,4,6
/proc/968/task/976/stat : 976 (java) S 965 968 29448 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43001162 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272277070944 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=977] ppid=965 vsize=14093000 memory=516056 CPUtime=0 cores=0,2,4,6
/proc/968/task/977/stat : 977 (java) S 965 968 29448 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 43001163 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272276018048 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=978] ppid=965 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/968/task/978/stat : 978 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272274966352 140272803813275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=979] ppid=965 vsize=14093000 memory=516056 CPUtime=2.51 cores=0,2,4,6
/proc/968/task/979/stat : 979 (java) S 965 968 29448 0 -1 1077944384 12366 0 0 0 249 2 0 0 20 0 15 0 43001165 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272273914736 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=980] ppid=965 vsize=14093000 memory=0 CPUtime=2.48 cores=0,2,4,6
/proc/968/task/980/stat : 980 (java) S 965 968 29448 0 -1 1077944384 13086 0 0 0 245 3 0 0 20 0 15 0 43001165 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272272861936 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=981] ppid=965 vsize=14093000 memory=6947385649911455296 CPUtime=1.28 cores=0,2,4,6
/proc/968/task/981/stat : 981 (java) S 965 968 29448 0 -1 1077944384 32829 0 0 0 125 3 0 0 20 0 15 0 43001165 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272271809136 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=982] ppid=965 vsize=14093000 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/968/task/982/stat : 982 (java) S 965 968 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43001165 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272270756576 140272803804885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
[pid=968/tid=983] ppid=965 vsize=14093000 memory=16444 CPUtime=1.38 cores=0,2,4,6
/proc/968/task/983/stat : 983 (java) S 965 968 29448 0 -1 1077944384 1284 0 0 0 70 68 0 0 20 0 15 0 43001166 14431232000 129014 33554432000 4194304 4196468 140724323923680 140272269703856 140272803805826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15634432 140724323931221 140724323931401 140724323931401 140724323934159 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 516056 KiB
Child status: 143
Real time (s): 2357.12
CPU time (s): 2400.09
CPU user time (s): 2396.64
CPU system time (s): 3.4543
CPU usage (%): 101.823
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 701256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.64
system time used= 3.4543
maximum resident set size= 720064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 277665
involuntary context switches= 8409
# summary of solver processes directly reported to runsolver:
# pid: 968
# total CPU time (s): 2400.09
# total CPU user time (s): 2396.64
# total CPU system time (s): 3.4543
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6444 second user time and 21.2677 second system time
The end