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 (3206 MiB free)
memory of node 1: 16384 MiB (4653 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402963-1568988192/watcher-4402963-1568988192 -o /var/tmp/evaluation-result-4402963-1568988192/solver-4402963-1568988192 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568967596-1429 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=579841060 HOME/instance-4402963-1568988192.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6808, runsolver pid=6805
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 1.22 1.34 1.40 3/222 6865
/proc/meminfo: memFree=8037668/32770624 swapFree=67021792/67108860
[pid=6808] ppid=6805 vsize=10055356 memory=19116 CPUtime=0.09 cores=1,3,5,7
/proc/6808/stat : 6808 (java) S 6805 6808 1397 0 -1 1077944320 4522 13046 0 0 2 0 5 2 20 0 7 0 475091773 10296684544 4779 33554432000 4194304 4196468 140728855465392 140728855447936 139670435475191 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
/proc/6808/statm: 2513839 4779 2015 1 0 2502277 0
[pid=6808/tid=6861] ppid=6805 vsize=10055356 memory=-8962568723201572801 CPUtime=0.08 cores=1,3,5,7
/proc/6808/task/6861/stat : 6861 (java) R 6805 6808 1397 0 -1 4202560 2317 13046 0 0 1 0 5 2 20 0 7 0 475091782 10296684544 4779 33554432000 4194304 4196468 140728855465392 139670407318288 139670419555678 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6862] ppid=6805 vsize=10055356 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6862/stat : 6862 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 7 0 475091783 10296684544 4779 33554432000 4194304 4196468 140728855465392 139670439718032 139670435485397 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6863] ppid=6805 vsize=10055356 memory=139872485336704 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6863/stat : 6863 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 7 0 475091783 10296684544 4779 33554432000 4194304 4196468 140728855465392 139670327991312 139670435485397 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6864] ppid=6805 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6864/stat : 6864 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 7 0 475091783 10296684544 4779 33554432000 4194304 4196468 140728855465392 139670326938512 139670435485397 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6865] ppid=6805 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6865/stat : 6865 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 7 0 475091783 10296684544 4779 33554432000 4194304 4196468 140728855465392 139670325885712 139670435485397 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6868] ppid=6805 vsize=10055356 memory=139872485336704 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6868/stat : 6868 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 7 0 475091784 10296684544 4779 33554432000 4194304 4196468 140728855465392 139669894424944 139670435486338 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 19116 KiB
[startup+0.210224 s]*
/proc/loadavg: 1.22 1.34 1.40 4/232 6876
/proc/meminfo: memFree=8015592/32770624 swapFree=67021792/67108860
[pid=6808] ppid=6805 vsize=10820196 memory=45004 CPUtime=0.27 cores=1,3,5,7
/proc/6808/stat : 6808 (java) S 6805 6808 1397 0 -1 1077944320 7258 13046 0 0 18 2 5 2 20 0 15 0 475091773 11079880704 11251 33554432000 4194304 4196468 140728855465392 140728855447936 139670435475191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
/proc/6808/statm: 2705049 11251 3289 1 0 2667149 0
[pid=6808/tid=6861] ppid=6805 vsize=10820196 memory=8514701219931451533 CPUtime=0.19 cores=1,3,5,7
/proc/6808/task/6861/stat : 6861 (java) R 6805 6808 1397 0 -1 4202560 3746 13046 0 0 11 1 5 2 20 0 15 0 475091782 11079880704 11251 33554432000 4194304 4196468 140728855465392 139670407289376 139670435497117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6862] ppid=6805 vsize=10820196 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6862/stat : 6862 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091783 11079880704 11251 33554432000 4194304 4196468 140728855465392 139670439718032 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6863] ppid=6805 vsize=10820196 memory=139872485336704 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6863/stat : 6863 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091783 11079880704 11251 33554432000 4194304 4196468 140728855465392 139670327991312 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6864] ppid=6805 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6864/stat : 6864 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091783 11079880704 11251 33554432000 4194304 4196468 140728855465392 139670326938512 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6865] ppid=6805 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6865/stat : 6865 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091783 11079880704 11251 33554432000 4194304 4196468 140728855465392 139670325885712 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6868] ppid=6805 vsize=10820196 memory=139872485336704 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6868/stat : 6868 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091784 11079880704 11251 33554432000 4194304 4196468 140728855465392 139669894424944 139670435486338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6869] ppid=6805 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6869/stat : 6869 (java) S 6805 6808 1397 0 -1 1077944384 33 13046 0 0 0 0 5 2 20 0 15 0 475091785 11079880704 11251 33554432000 4194304 4196468 140728855465392 139669893370912 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6870] ppid=6805 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6870/stat : 6870 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091785 11079880704 11251 33554432000 4194304 4196468 140728855465392 139669786321776 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6871] ppid=6805 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6871/stat : 6871 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091788 11079880704 11251 33554432000 4194304 4196468 140728855465392 139669182342992 139670435493787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6872] ppid=6805 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6808/task/6872/stat : 6872 (java) S 6805 6808 1397 0 -1 1077944384 476 13046 0 0 1 0 5 2 20 0 15 0 475091788 11079880704 11251 33554432000 4194304 4196468 140728855465392 139669859814256 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6873] ppid=6805 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6808/task/6873/stat : 6873 (java) S 6805 6808 1397 0 -1 1077944384 189 13046 0 0 1 0 5 2 20 0 15 0 475091788 11079880704 11251 33554432000 4194304 4196468 140728855465392 139669858761456 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6874] ppid=6805 vsize=10820196 memory=139872485336704 CPUtime=0.1 cores=1,3,5,7
/proc/6808/task/6874/stat : 6874 (java) S 6805 6808 1397 0 -1 1077944384 593 13046 0 0 3 0 5 2 20 0 15 0 475091788 11079880704 11251 33554432000 4194304 4196468 140728855465392 139669857708656 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6875] ppid=6805 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6875/stat : 6875 (java) S 6805 6808 1397 0 -1 1077944384 3 13046 0 0 0 0 5 2 20 0 15 0 475091788 11079880704 11251 33554432000 4194304 4196468 140728855465392 139668712581856 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6876] ppid=6805 vsize=10820196 memory=139872485336704 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6876/stat : 6876 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091788 11079880704 11251 33554432000 4194304 4196468 140728855465392 139669856656048 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45004 KiB
[startup+0.310726 s]*
/proc/loadavg: 1.22 1.34 1.40 3/232 6876
/proc/meminfo: memFree=8004820/32770624 swapFree=67021792/67108860
[pid=6808] ppid=6805 vsize=10820268 memory=53708 CPUtime=0.4 cores=1,3,5,7
/proc/6808/stat : 6808 (java) S 6805 6808 1397 0 -1 1077944320 10253 13046 0 0 30 3 5 2 20 0 15 0 475091773 11079954432 13427 33554432000 4194304 4196468 140728855465392 140728855447936 139670435475191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
/proc/6808/statm: 2705067 13427 3313 1 0 2667149 0
[pid=6808/tid=6861] ppid=6805 vsize=10820268 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/6808/task/6861/stat : 6861 (java) R 6805 6808 1397 0 -1 4202560 6733 13046 0 0 19 2 5 2 20 0 15 0 475091782 11079954432 13427 33554432000 4194304 4196468 140728855465392 139670407285328 139670435497117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6862] ppid=6805 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6862/stat : 6862 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091783 11079954432 13427 33554432000 4194304 4196468 140728855465392 139670439718032 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6863] ppid=6805 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6863/stat : 6863 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091783 11079954432 13427 33554432000 4194304 4196468 140728855465392 139670327991312 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6864] ppid=6805 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6864/stat : 6864 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091783 11079954432 13427 33554432000 4194304 4196468 140728855465392 139670326938512 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6865] ppid=6805 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6865/stat : 6865 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091783 11079954432 13427 33554432000 4194304 4196468 140728855465392 139670325885712 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6868] ppid=6805 vsize=10820268 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6868/stat : 6868 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091784 11079954432 13427 33554432000 4194304 4196468 140728855465392 139669894424944 139670435486338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6869] ppid=6805 vsize=10820268 memory=139872485336703 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6869/stat : 6869 (java) S 6805 6808 1397 0 -1 1077944384 33 13046 0 0 0 0 5 2 20 0 15 0 475091785 11079954432 13427 33554432000 4194304 4196468 140728855465392 139669893370912 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6870] ppid=6805 vsize=10820268 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6870/stat : 6870 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091785 11079954432 13427 33554432000 4194304 4196468 140728855465392 139669786321776 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6871] ppid=6805 vsize=10820268 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6871/stat : 6871 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091788 11079954432 13427 33554432000 4194304 4196468 140728855465392 139669182342992 139670435493787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6872] ppid=6805 vsize=10820268 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6808/task/6872/stat : 6872 (java) S 6805 6808 1397 0 -1 1077944384 478 13046 0 0 2 0 5 2 20 0 15 0 475091788 11079954432 13427 33554432000 4194304 4196468 140728855465392 139669859814256 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6873] ppid=6805 vsize=10820268 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6808/task/6873/stat : 6873 (java) S 6805 6808 1397 0 -1 1077944384 189 13046 0 0 1 0 5 2 20 0 15 0 475091788 11079954432 13427 33554432000 4194304 4196468 140728855465392 139669858761456 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6874] ppid=6805 vsize=10820268 memory=139872485336704 CPUtime=0.12 cores=1,3,5,7
/proc/6808/task/6874/stat : 6874 (java) S 6805 6808 1397 0 -1 1077944384 602 13046 0 0 5 0 5 2 20 0 15 0 475091788 11079954432 13427 33554432000 4194304 4196468 140728855465392 139669857708656 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6875] ppid=6805 vsize=10820268 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6875/stat : 6875 (java) S 6805 6808 1397 0 -1 1077944384 3 13046 0 0 0 0 5 2 20 0 15 0 475091788 11079954432 13427 33554432000 4194304 4196468 140728855465392 139668712581856 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6876] ppid=6805 vsize=10820268 memory=139872485336704 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6876/stat : 6876 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091788 11079954432 13427 33554432000 4194304 4196468 140728855465392 139669856656048 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 53708 KiB
[startup+0.700781 s]
/proc/loadavg: 1.22 1.34 1.40 3/232 6876
/proc/meminfo: memFree=7990652/32770624 swapFree=67021792/67108860
[pid=6808] ppid=6805 vsize=10824364 memory=85924 CPUtime=1.15 cores=1,3,5,7
/proc/6808/stat : 6808 (java) S 6805 6808 1397 0 -1 1077944320 14811 13046 0 0 102 6 5 2 20 0 15 0 475091773 11084148736 21481 33554432000 4194304 4196468 140728855465392 140728855447936 139670435475191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
/proc/6808/statm: 2706091 21481 3512 1 0 2668173 0
[pid=6808/tid=6861] ppid=6805 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/6808/task/6861/stat : 6861 (java) R 6805 6808 1397 0 -1 4202560 10193 13046 0 0 55 4 5 2 20 0 15 0 475091782 11084148736 21481 33554432000 4194304 4196468 140728855465392 139670407293120 139670419555678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6862] ppid=6805 vsize=10824364 memory=16236955402771496 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6862/stat : 6862 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091783 11084148736 21481 33554432000 4194304 4196468 140728855465392 139670439718032 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6863] ppid=6805 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6863/stat : 6863 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091783 11084148736 21481 33554432000 4194304 4196468 140728855465392 139670327991312 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6864] ppid=6805 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6864/stat : 6864 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091783 11084148736 21481 33554432000 4194304 4196468 140728855465392 139670326938512 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6865] ppid=6805 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6865/stat : 6865 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091783 11084148736 21481 33554432000 4194304 4196468 140728855465392 139670325885712 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6868] ppid=6805 vsize=10824364 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6868/stat : 6868 (java) S 6805 6808 1397 0 -1 1077944384 5 13046 0 0 0 0 5 2 20 0 15 0 475091784 11084148736 21481 33554432000 4194304 4196468 140728855465392 139669894424944 139670435486338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6869] ppid=6805 vsize=10824364 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6869/stat : 6869 (java) S 6805 6808 1397 0 -1 1077944384 33 13046 0 0 0 0 5 2 20 0 15 0 475091785 11084148736 21481 33554432000 4194304 4196468 140728855465392 139669893370912 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6870] ppid=6805 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6870/stat : 6870 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091785 11084148736 21481 33554432000 4194304 4196468 140728855465392 139669786321776 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6871] ppid=6805 vsize=10824364 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6871/stat : 6871 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091788 11084148736 21481 33554432000 4194304 4196468 140728855465392 139669182342992 139670435493787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6872] ppid=6805 vsize=10824364 memory=11044 CPUtime=0.21 cores=1,3,5,7
/proc/6808/task/6872/stat : 6872 (java) S 6805 6808 1397 0 -1 1077944384 978 13046 0 0 14 0 5 2 20 0 15 0 475091788 11084148736 21481 33554432000 4194304 4196468 140728855465392 139669859814256 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6873] ppid=6805 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/6808/task/6873/stat : 6873 (java) S 6805 6808 1397 0 -1 1077944384 640 13046 0 0 14 0 5 2 20 0 15 0 475091788 11084148736 21481 33554432000 4194304 4196468 140728855465392 139669858761456 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6874] ppid=6805 vsize=10824364 memory=27300 CPUtime=0.24 cores=1,3,5,7
/proc/6808/task/6874/stat : 6874 (java) S 6805 6808 1397 0 -1 1077944384 747 13046 0 0 17 0 5 2 20 0 15 0 475091788 11084148736 21481 33554432000 4194304 4196468 140728855465392 139669857708656 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6875] ppid=6805 vsize=10824364 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6875/stat : 6875 (java) S 6805 6808 1397 0 -1 1077944384 3 13046 0 0 0 0 5 2 20 0 15 0 475091788 11084148736 21481 33554432000 4194304 4196468 140728855465392 139668712581856 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6876] ppid=6805 vsize=10824364 memory=139872388023952 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6876/stat : 6876 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091788 11084148736 21481 33554432000 4194304 4196468 140728855465392 139669856656048 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85924 KiB
[startup+1.50073 s]
/proc/loadavg: 1.22 1.34 1.40 5/232 6876
/proc/meminfo: memFree=7932660/32770624 swapFree=67021792/67108860
[pid=6808] ppid=6805 vsize=10834680 memory=208544 CPUtime=3.13 cores=1,3,5,7
/proc/6808/stat : 6808 (java) S 6805 6808 1397 0 -1 1077944320 37583 13046 0 0 294 12 5 2 20 0 15 0 475091773 11094712320 52136 33554432000 4194304 4196468 140728855465392 140728855447936 139670435475191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
/proc/6808/statm: 2708670 52136 3585 1 0 2670733 0
[pid=6808/tid=6861] ppid=6805 vsize=10834680 memory=25 CPUtime=1.42 cores=1,3,5,7
/proc/6808/task/6861/stat : 6861 (java) R 6805 6808 1397 0 -1 4202560 16896 13046 0 0 129 6 5 2 20 0 15 0 475091782 11094712320 52136 33554432000 4194304 4196468 140728855465392 139670407301648 139670419518821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6862] ppid=6805 vsize=10834680 memory=24 CPUtime=0.08 cores=1,3,5,7
/proc/6808/task/6862/stat : 6862 (java) S 6805 6808 1397 0 -1 1077944384 328 13046 0 0 1 0 5 2 20 0 15 0 475091783 11094712320 52136 33554432000 4194304 4196468 140728855465392 139670439718032 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6863] ppid=6805 vsize=10834680 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/6808/task/6863/stat : 6863 (java) S 6805 6808 1397 0 -1 1077944384 40 13046 0 0 1 0 5 2 20 0 15 0 475091783 11094712320 52136 33554432000 4194304 4196468 140728855465392 139670327991312 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6864] ppid=6805 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6808/task/6864/stat : 6864 (java) S 6805 6808 1397 0 -1 1077944384 41 13046 0 0 1 0 5 2 20 0 15 0 475091783 11094712320 52136 33554432000 4194304 4196468 140728855465392 139670326938512 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6865] ppid=6805 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6808/task/6865/stat : 6865 (java) S 6805 6808 1397 0 -1 1077944384 79 13046 0 0 1 0 5 2 20 0 15 0 475091783 11094712320 52136 33554432000 4194304 4196468 140728855465392 139670325885712 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6868] ppid=6805 vsize=10834680 memory=7014751519701095266 CPUtime=0.08 cores=1,3,5,7
/proc/6808/task/6868/stat : 6868 (java) S 6805 6808 1397 0 -1 1077944384 1400 13046 0 0 1 0 5 2 20 0 15 0 475091784 11094712320 52136 33554432000 4194304 4196468 140728855465392 139669894424944 139670435486338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6869] ppid=6805 vsize=10834680 memory=6224940474581866856 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6869/stat : 6869 (java) S 6805 6808 1397 0 -1 1077944384 33 13046 0 0 0 0 5 2 20 0 15 0 475091785 11094712320 52136 33554432000 4194304 4196468 140728855465392 139669893370976 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6870] ppid=6805 vsize=10834680 memory=7955445354337954162 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6870/stat : 6870 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091785 11094712320 52136 33554432000 4194304 4196468 140728855465392 139669786321792 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6871] ppid=6805 vsize=10834680 memory=4640748727681699920 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6871/stat : 6871 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091788 11094712320 52136 33554432000 4194304 4196468 140728855465392 139669182342992 139670435493787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6872] ppid=6805 vsize=10834680 memory=7373920294377383784 CPUtime=0.64 cores=1,3,5,7
/proc/6808/task/6872/stat : 6872 (java) S 6805 6808 1397 0 -1 1077944384 6550 13046 0 0 56 1 5 2 20 0 15 0 475091788 11094712320 52136 33554432000 4194304 4196468 140728855465392 139669859814256 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6873] ppid=6805 vsize=10834680 memory=7956577872772228449 CPUtime=0.63 cores=1,3,5,7
/proc/6808/task/6873/stat : 6873 (java) S 6805 6808 1397 0 -1 1077944384 7317 13046 0 0 55 1 5 2 20 0 15 0 475091788 11094712320 52136 33554432000 4194304 4196468 140728855465392 139669858761456 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6874] ppid=6805 vsize=10834680 memory=8100404971605421165 CPUtime=0.52 cores=1,3,5,7
/proc/6808/task/6874/stat : 6874 (java) S 6805 6808 1397 0 -1 1077944384 2685 13046 0 0 44 1 5 2 20 0 15 0 475091788 11094712320 52136 33554432000 4194304 4196468 140728855465392 139669857708656 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6875] ppid=6805 vsize=10834680 memory=7381512370443151983 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6875/stat : 6875 (java) S 6805 6808 1397 0 -1 1077944384 3 13046 0 0 0 0 5 2 20 0 15 0 475091788 11094712320 52136 33554432000 4194304 4196468 140728855465392 139668712581856 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6876] ppid=6805 vsize=10834680 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6876/stat : 6876 (java) S 6805 6808 1397 0 -1 1077944384 1 13046 0 0 0 0 5 2 20 0 15 0 475091788 11094712320 52136 33554432000 4194304 4196468 140728855465392 139669856656048 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
################
# More data... #
################
/proc/6808/task/6861/stat : 6861 (java) R 6805 6808 1397 0 -1 4202560 76585 13046 0 0 235539 59 5 2 20 0 15 0 475091782 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670407310736 139670024028836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6862] ppid=6805 vsize=10849036 memory=1071940 CPUtime=12.83 cores=1,3,5,7
/proc/6808/task/6862/stat : 6862 (java) S 6805 6808 1397 0 -1 1077944384 22184 13046 0 0 1220 56 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670439718032 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6863] ppid=6805 vsize=10849036 memory=1071940 CPUtime=12.76 cores=1,3,5,7
/proc/6808/task/6863/stat : 6863 (java) S 6805 6808 1397 0 -1 1077944384 27789 13046 0 0 1209 60 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670327991312 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6864] ppid=6805 vsize=10849036 memory=1071940 CPUtime=12.75 cores=1,3,5,7
/proc/6808/task/6864/stat : 6864 (java) S 6805 6808 1397 0 -1 1077944384 15412 13046 0 0 1212 56 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670326938512 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6865] ppid=6805 vsize=10849036 memory=1076564 CPUtime=12.8 cores=1,3,5,7
/proc/6808/task/6865/stat : 6865 (java) S 6805 6808 1397 0 -1 1077944384 24295 13046 0 0 1217 56 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670325885712 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6868] ppid=6805 vsize=10849036 memory=1071940 CPUtime=10.83 cores=1,3,5,7
/proc/6808/task/6868/stat : 6868 (java) S 6805 6808 1397 0 -1 1077944384 21540 13046 0 0 1016 60 5 2 20 0 15 0 475091784 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669894424944 139670435486338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6869] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6869/stat : 6869 (java) S 6805 6808 1397 0 -1 1077944384 37 13046 0 0 0 0 5 2 20 0 15 0 475091785 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669893370976 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6870] ppid=6805 vsize=10849036 memory=1076 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6870/stat : 6870 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091785 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669786321792 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6871] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6871/stat : 6871 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669182342992 139670435493787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6872] ppid=6805 vsize=10849036 memory=0 CPUtime=4.35 cores=1,3,5,7
/proc/6808/task/6872/stat : 6872 (java) S 6805 6808 1397 0 -1 1077944384 16657 13046 0 0 425 3 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669859814256 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6873] ppid=6805 vsize=10849036 memory=1071940 CPUtime=3.89 cores=1,3,5,7
/proc/6808/task/6873/stat : 6873 (java) S 6805 6808 1397 0 -1 1077944384 12333 13046 0 0 379 3 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669858761456 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6874] ppid=6805 vsize=10849036 memory=3648 CPUtime=2.21 cores=1,3,5,7
/proc/6808/task/6874/stat : 6874 (java) S 6805 6808 1397 0 -1 1077944384 10331 13046 0 0 209 5 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669857708656 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6875] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6875/stat : 6875 (java) S 6805 6808 1397 0 -1 1077944384 3 13046 0 0 0 0 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139668712581856 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6876] ppid=6805 vsize=10849036 memory=1071940 CPUtime=1.44 cores=1,3,5,7
/proc/6808/task/6876/stat : 6876 (java) S 6805 6808 1397 0 -1 1077944384 1220 13046 0 0 60 77 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669856656048 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
Current children cumulated CPU time: 2429.36 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1071940 KiB
[startup+2442.31 s]
/proc/loadavg: 0.53 0.98 1.22 2/206 7144
/proc/meminfo: memFree=8343860/32770624 swapFree=67021820/67108860
[pid=6808] ppid=6805 vsize=10849036 memory=1071940 CPUtime=2490.38 cores=1,3,5,7
/proc/6808/stat : 6808 (java) S 6805 6808 1397 0 -1 1077944320 233477 13046 0 0 248651 380 5 2 20 0 15 0 475091773 11109412864 267985 33554432000 4194304 4196468 140728855465392 140728855447936 139670435475191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
/proc/6808/statm: 2712259 267985 3632 1 0 2674317 0
[pid=6808/tid=6861] ppid=6805 vsize=10849036 memory=1071940 CPUtime=2415.38 cores=1,3,5,7
/proc/6808/task/6861/stat : 6861 (java) R 6805 6808 1397 0 -1 4202560 77617 13046 0 0 241472 59 5 2 20 0 15 0 475091782 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670407311600 139670022648745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6862] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.17 cores=1,3,5,7
/proc/6808/task/6862/stat : 6862 (java) S 6805 6808 1397 0 -1 1077944384 22280 13046 0 0 1253 57 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670439718032 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6863] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.1 cores=1,3,5,7
/proc/6808/task/6863/stat : 6863 (java) S 6805 6808 1397 0 -1 1077944384 27829 13046 0 0 1241 62 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670327991312 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6864] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.09 cores=1,3,5,7
/proc/6808/task/6864/stat : 6864 (java) S 6805 6808 1397 0 -1 1077944384 15998 13046 0 0 1245 57 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670326938512 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6865] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.14 cores=1,3,5,7
/proc/6808/task/6865/stat : 6865 (java) S 6805 6808 1397 0 -1 1077944384 24959 13046 0 0 1250 57 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670325885712 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6868] ppid=6805 vsize=10849036 memory=1071940 CPUtime=11.11 cores=1,3,5,7
/proc/6808/task/6868/stat : 6868 (java) S 6805 6808 1397 0 -1 1077944384 21985 13046 0 0 1043 61 5 2 20 0 15 0 475091784 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669894424944 139670435486338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6869] ppid=6805 vsize=10849036 memory=1608 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6869/stat : 6869 (java) S 6805 6808 1397 0 -1 1077944384 37 13046 0 0 0 0 5 2 20 0 15 0 475091785 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669893370976 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6870] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6870/stat : 6870 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091785 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669786321792 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6871] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6871/stat : 6871 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669182342992 139670435493787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6872] ppid=6805 vsize=10849036 memory=1071940 CPUtime=4.35 cores=1,3,5,7
/proc/6808/task/6872/stat : 6872 (java) S 6805 6808 1397 0 -1 1077944384 16659 13046 0 0 425 3 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669859814256 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6873] ppid=6805 vsize=10849036 memory=1071940 CPUtime=3.89 cores=1,3,5,7
/proc/6808/task/6873/stat : 6873 (java) S 6805 6808 1397 0 -1 1077944384 12335 13046 0 0 379 3 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669858761456 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6874] ppid=6805 vsize=10849036 memory=3648 CPUtime=2.21 cores=1,3,5,7
/proc/6808/task/6874/stat : 6874 (java) S 6805 6808 1397 0 -1 1077944384 10333 13046 0 0 209 5 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669857708656 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6875] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6875/stat : 6875 (java) S 6805 6808 1397 0 -1 1077944384 3 13046 0 0 0 0 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139668712581856 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6876] ppid=6805 vsize=10849036 memory=1071940 CPUtime=1.47 cores=1,3,5,7
/proc/6808/task/6876/stat : 6876 (java) S 6805 6808 1397 0 -1 1077944384 1231 13046 0 0 62 78 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669856656048 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
Current children cumulated CPU time: 2490.38 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1071940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.5 s]
/proc/loadavg: 0.51 0.93 1.20 2/206 7145
/proc/meminfo: memFree=8344176/32770624 swapFree=67021820/67108860
[pid=6808] ppid=6805 vsize=10849036 memory=1071940 CPUtime=2520.08 cores=1,3,5,7
/proc/6808/stat : 6808 (java) S 6805 6808 1397 0 -1 1077944320 233778 13046 0 0 251617 384 5 2 20 0 15 0 475091773 11109412864 267985 33554432000 4194304 4196468 140728855465392 140728855447936 139670435475191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
/proc/6808/statm: 2712259 267985 3632 1 0 2674317 0
[pid=6808/tid=6861] ppid=6805 vsize=10849036 memory=1071940 CPUtime=2444.24 cores=1,3,5,7
/proc/6808/task/6861/stat : 6861 (java) R 6805 6808 1397 0 -1 4202560 77872 13046 0 0 244357 60 5 2 20 0 15 0 475091782 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670407309744 139670024140202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6862] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.34 cores=1,3,5,7
/proc/6808/task/6862/stat : 6862 (java) S 6805 6808 1397 0 -1 1077944384 22283 13046 0 0 1269 58 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670439718032 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6863] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.27 cores=1,3,5,7
/proc/6808/task/6863/stat : 6863 (java) S 6805 6808 1397 0 -1 1077944384 27830 13046 0 0 1258 62 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670327991312 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6864] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.26 cores=1,3,5,7
/proc/6808/task/6864/stat : 6864 (java) S 6805 6808 1397 0 -1 1077944384 16026 13046 0 0 1261 58 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670326938512 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6865] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.31 cores=1,3,5,7
/proc/6808/task/6865/stat : 6865 (java) S 6805 6808 1397 0 -1 1077944384 24959 13046 0 0 1266 58 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670325885712 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6868] ppid=6805 vsize=10849036 memory=14064 CPUtime=11.24 cores=1,3,5,7
/proc/6808/task/6868/stat : 6868 (java) S 6805 6808 1397 0 -1 1077944384 21991 13046 0 0 1056 61 5 2 20 0 15 0 475091784 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669894424944 139670435486338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6869] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6869/stat : 6869 (java) S 6805 6808 1397 0 -1 1077944384 37 13046 0 0 0 0 5 2 20 0 15 0 475091785 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669893370976 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6870] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6870/stat : 6870 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091785 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669786321792 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6871] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6871/stat : 6871 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669182342992 139670435493787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6872] ppid=6805 vsize=10849036 memory=1071940 CPUtime=4.35 cores=1,3,5,7
/proc/6808/task/6872/stat : 6872 (java) S 6805 6808 1397 0 -1 1077944384 16661 13046 0 0 425 3 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669859814256 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6873] ppid=6805 vsize=10849036 memory=1071940 CPUtime=3.89 cores=1,3,5,7
/proc/6808/task/6873/stat : 6873 (java) S 6805 6808 1397 0 -1 1077944384 12337 13046 0 0 379 3 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669858761456 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6874] ppid=6805 vsize=10849036 memory=3648 CPUtime=2.21 cores=1,3,5,7
/proc/6808/task/6874/stat : 6874 (java) S 6805 6808 1397 0 -1 1077944384 10335 13046 0 0 209 5 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669857708656 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6875] ppid=6805 vsize=10849036 memory=17712 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6875/stat : 6875 (java) S 6805 6808 1397 0 -1 1077944384 3 13046 0 0 0 0 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139668712581856 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6876] ppid=6805 vsize=10849036 memory=2256 CPUtime=1.49 cores=1,3,5,7
/proc/6808/task/6876/stat : 6876 (java) S 6805 6808 1397 0 -1 1077944384 1233 13046 0 0 63 79 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669856656048 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1071940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.53 s]
# the end of solver process 6808 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.25 s, system=3.88374 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.5 s]
/proc/loadavg: 0.51 0.93 1.20 2/206 7145
/proc/meminfo: memFree=8344176/32770624 swapFree=67021820/67108860
[pid=6808] ppid=6805 vsize=10849036 memory=1071940 CPUtime=2520.08 cores=1,3,5,7
/proc/6808/stat : 6808 (java) S 6805 6808 1397 0 -1 1077944320 233778 13046 0 0 251617 384 5 2 20 0 15 0 475091773 11109412864 267985 33554432000 4194304 4196468 140728855465392 140728855447936 139670435475191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
/proc/6808/statm: 2712259 267985 3632 1 0 2674317 0
[pid=6808/tid=6861] ppid=6805 vsize=10849036 memory=1071940 CPUtime=2444.24 cores=1,3,5,7
/proc/6808/task/6861/stat : 6861 (java) R 6805 6808 1397 0 -1 4202560 77872 13046 0 0 244357 60 5 2 20 0 15 0 475091782 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670407309744 139670024140202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6862] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.34 cores=1,3,5,7
/proc/6808/task/6862/stat : 6862 (java) S 6805 6808 1397 0 -1 1077944384 22283 13046 0 0 1269 58 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670439718032 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6863] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.27 cores=1,3,5,7
/proc/6808/task/6863/stat : 6863 (java) S 6805 6808 1397 0 -1 1077944384 27830 13046 0 0 1258 62 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670327991312 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6864] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.26 cores=1,3,5,7
/proc/6808/task/6864/stat : 6864 (java) S 6805 6808 1397 0 -1 1077944384 16026 13046 0 0 1261 58 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670326938512 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6865] ppid=6805 vsize=10849036 memory=1071940 CPUtime=13.31 cores=1,3,5,7
/proc/6808/task/6865/stat : 6865 (java) S 6805 6808 1397 0 -1 1077944384 24959 13046 0 0 1266 58 5 2 20 0 15 0 475091783 11109412864 267985 33554432000 4194304 4196468 140728855465392 139670325885712 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6868] ppid=6805 vsize=10849036 memory=14064 CPUtime=11.24 cores=1,3,5,7
/proc/6808/task/6868/stat : 6868 (java) S 6805 6808 1397 0 -1 1077944384 21991 13046 0 0 1056 61 5 2 20 0 15 0 475091784 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669894424944 139670435486338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6869] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6869/stat : 6869 (java) S 6805 6808 1397 0 -1 1077944384 37 13046 0 0 0 0 5 2 20 0 15 0 475091785 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669893370976 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6870] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6870/stat : 6870 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091785 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669786321792 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6871] ppid=6805 vsize=10849036 memory=1071940 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6871/stat : 6871 (java) S 6805 6808 1397 0 -1 1077944384 2 13046 0 0 0 0 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669182342992 139670435493787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6872] ppid=6805 vsize=10849036 memory=1071940 CPUtime=4.35 cores=1,3,5,7
/proc/6808/task/6872/stat : 6872 (java) S 6805 6808 1397 0 -1 1077944384 16661 13046 0 0 425 3 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669859814256 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6873] ppid=6805 vsize=10849036 memory=1071940 CPUtime=3.89 cores=1,3,5,7
/proc/6808/task/6873/stat : 6873 (java) S 6805 6808 1397 0 -1 1077944384 12337 13046 0 0 379 3 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669858761456 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6874] ppid=6805 vsize=10849036 memory=3648 CPUtime=2.21 cores=1,3,5,7
/proc/6808/task/6874/stat : 6874 (java) S 6805 6808 1397 0 -1 1077944384 10335 13046 0 0 209 5 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669857708656 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6875] ppid=6805 vsize=10849036 memory=17712 CPUtime=0.07 cores=1,3,5,7
/proc/6808/task/6875/stat : 6875 (java) S 6805 6808 1397 0 -1 1077944384 3 13046 0 0 0 0 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139668712581856 139670435485397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
[pid=6808/tid=6876] ppid=6805 vsize=10849036 memory=2256 CPUtime=1.49 cores=1,3,5,7
/proc/6808/task/6876/stat : 6876 (java) S 6805 6808 1397 0 -1 1077944384 1233 13046 0 0 63 79 5 2 20 0 15 0 475091788 11109412864 267985 33554432000 4194304 4196468 140728855465392 139669856656048 139670435486338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140728855468644 140728855471285 140728855471285 140728855474127 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1071940 KiB
Child status: 143
Real time (s): 2471.53
CPU time (s): 2520.13
CPU user time (s): 2516.25
CPU system time (s): 3.88374
CPU usage (%): 101.966
Max. virtual memory (cumulated for all children) (KiB): 10851700
Max. memory (cumulated for all children) (KiB): 1203100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.25
system time used= 3.88374
maximum resident set size= 1203612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 291095
involuntary context switches= 6576
# summary of solver processes directly reported to runsolver:
# pid: 6808
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.25
# total CPU system time (s): 3.88374
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4417 second user time and 22.0405 second system time
The end