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 (10676 MiB free)
memory of node 1: 16384 MiB (15373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273614-1502736855/watcher-4273614-1502736855 -o /tmp/evaluation-result-4273614-1502736855/solver-4273614-1502736855 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1031697157 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273614-1502736855.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
Current StackSize limit: 8192 KiB
solver pid=19548, runsolver pid=19545
[startup+0.100086 s]*
/proc/loadavg: 1.71 1.67 1.57 2/204 19550
/proc/meminfo: memFree=26671808/32770624 swapFree=67108860/67108860
[pid=19548] ppid=19545 vsize=13358552 memory=14404 CPUtime=0 cores=1,3,5,7
/proc/19548/stat : 19548 (java) S 19545 19548 8289 0 -1 1077944320 3414 0 0 0 0 0 0 0 20 0 6 0 121500687 13679157248 3601 18446744073709551615 4194304 4196468 140730480918256 140730480900800 139893755977463 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
/proc/19548/statm: 3339638 3601 1911 1 0 3329135 0
[pid=19548/tid=19550] ppid=19545 vsize=13358552 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19550/stat : 19550 (java) R 19545 19548 8289 0 -1 4202560 2114 0 0 0 0 0 0 0 20 0 6 0 121500697 13679157248 3601 18446744073709551615 4194304 4196468 140730480918256 139893760213584 139893740057950 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19551] ppid=19545 vsize=13358552 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19551/stat : 19551 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121500697 13679157248 3601 18446744073709551615 4194304 4196468 140730480918256 139893675391632 139893755987669 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19552] ppid=19545 vsize=13358552 memory=140174054303360 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19552/stat : 19552 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121500697 13679157248 3601 18446744073709551615 4194304 4196468 140730480918256 139893674338832 139893755987669 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19553] ppid=19545 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19553/stat : 19553 (java) S 19545 19548 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121500697 13679157248 3601 18446744073709551615 4194304 4196468 140730480918256 139893673286032 139893755987669 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19554] ppid=19545 vsize=13358552 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19554/stat : 19554 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121500697 13679157248 3601 18446744073709551615 4194304 4196468 140730480918256 139893672233232 139893755987669 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14404 KiB
[startup+0.210578 s]*
/proc/loadavg: 1.71 1.67 1.57 4/217 19563
/proc/meminfo: memFree=26663352/32770624 swapFree=67108860/67108860
[pid=19548] ppid=19545 vsize=13975920 memory=27228 CPUtime=0.07 cores=1,3,5,7
/proc/19548/stat : 19548 (java) S 19545 19548 8289 0 -1 1077944320 6624 0 0 0 6 1 0 0 20 0 15 0 121500687 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 140730480900800 139893755977463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
/proc/19548/statm: 3493980 6807 3330 1 0 3482759 0
[pid=19548/tid=19550] ppid=19545 vsize=13975920 memory=8316850467074736180 CPUtime=0.05 cores=1,3,5,7
/proc/19548/task/19550/stat : 19550 (java) R 19545 19548 8289 0 -1 4202560 4713 0 0 0 5 0 0 0 20 0 15 0 121500697 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893760206840 139893737371194 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19551] ppid=19545 vsize=13975920 memory=8293 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19551/stat : 19551 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893675391632 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19552] ppid=19545 vsize=13975920 memory=140174055389057 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19552/stat : 19552 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893674338832 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19553] ppid=19545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19553/stat : 19553 (java) S 19545 19548 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121500697 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893673286032 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19554] ppid=19545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19554/stat : 19554 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893672233232 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19555] ppid=19545 vsize=13975920 memory=140174054303360 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19555/stat : 19555 (java) S 19545 19548 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121500699 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893235260272 139893755988610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19556] ppid=19545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19556/stat : 19556 (java) S 19545 19548 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121500699 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893234206240 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19557] ppid=19545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19557/stat : 19557 (java) S 19545 19548 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121500699 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893233153392 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19558] ppid=19545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19558/stat : 19558 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893232101712 139893755996059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19559] ppid=19545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19559/stat : 19559 (java) S 19545 19548 8289 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 121500702 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893231049072 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19560] ppid=19545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19560/stat : 19560 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893229996272 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19561] ppid=19545 vsize=13975920 memory=140174054303360 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19561/stat : 19561 (java) S 19545 19548 8289 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 15 0 121500702 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893228943472 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19562] ppid=19545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19562/stat : 19562 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893227890912 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19563] ppid=19545 vsize=13975920 memory=140174054303360 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19563/stat : 19563 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500707 14311342080 6807 18446744073709551615 4194304 4196468 140730480918256 139893226839216 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27228 KiB
[startup+0.317206 s]*
/proc/loadavg: 1.71 1.67 1.57 3/217 19563
/proc/meminfo: memFree=26649332/32770624 swapFree=67108860/67108860
[pid=19548] ppid=19545 vsize=13975920 memory=39264 CPUtime=0.24 cores=1,3,5,7
/proc/19548/stat : 19548 (java) S 19545 19548 8289 0 -1 1077944320 10054 0 0 0 21 3 0 0 20 0 15 0 121500687 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 140730480900800 139893755977463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
/proc/19548/statm: 3493980 9816 3543 1 0 3482759 0
[pid=19548/tid=19550] ppid=19545 vsize=13975920 memory=8316850467074736180 CPUtime=0.16 cores=1,3,5,7
/proc/19548/task/19550/stat : 19550 (java) R 19545 19548 8289 0 -1 4202560 7779 0 0 0 14 2 0 0 20 0 15 0 121500697 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893760199504 139893740021093 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19551] ppid=19545 vsize=13975920 memory=8293 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19551/stat : 19551 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893675391632 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19552] ppid=19545 vsize=13975920 memory=140174055389057 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19552/stat : 19552 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893674338832 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19553] ppid=19545 vsize=13975920 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19553/stat : 19553 (java) S 19545 19548 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121500697 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893673286032 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19554] ppid=19545 vsize=13975920 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19554/stat : 19554 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893672233232 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19555] ppid=19545 vsize=13975920 memory=3184238094130271920 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19555/stat : 19555 (java) S 19545 19548 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121500699 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893235260272 139893755988610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19556] ppid=19545 vsize=13975920 memory=8461260354371939849 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19556/stat : 19556 (java) S 19545 19548 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121500699 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893234206240 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19557] ppid=19545 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19557/stat : 19557 (java) S 19545 19548 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121500699 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893233153392 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19558] ppid=19545 vsize=13975920 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19558/stat : 19558 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893232101712 139893755996059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19559] ppid=19545 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19548/task/19559/stat : 19559 (java) S 19545 19548 8289 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 15 0 121500702 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893231049072 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19560] ppid=19545 vsize=13975920 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19560/stat : 19560 (java) S 19545 19548 8289 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 121500702 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893229996272 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19561] ppid=19545 vsize=13975920 memory=6879795842730236908 CPUtime=0.04 cores=1,3,5,7
/proc/19548/task/19561/stat : 19561 (java) R 19545 19548 8289 0 -1 4202560 378 0 0 0 4 0 0 0 20 0 15 0 121500702 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893228943472 139893734893346 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19562] ppid=19545 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19562/stat : 19562 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893227890912 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19563] ppid=19545 vsize=13975920 memory=140174054303360 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19563/stat : 19563 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500707 14311342080 9816 18446744073709551615 4194304 4196468 140730480918256 139893226839216 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39264 KiB
[startup+0.70065 s]
/proc/loadavg: 1.71 1.67 1.57 4/217 19563
/proc/meminfo: memFree=26636492/32770624 swapFree=67108860/67108860
[pid=19548] ppid=19545 vsize=13977988 memory=67772 CPUtime=0.96 cores=1,3,5,7
/proc/19548/stat : 19548 (java) S 19545 19548 8289 0 -1 1077944320 14159 0 0 0 92 4 0 0 20 0 15 0 121500687 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 140730480900800 139893755977463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
/proc/19548/statm: 3494497 16943 3727 1 0 3483271 0
[pid=19548/tid=19550] ppid=19545 vsize=13977988 memory=9878424783013 CPUtime=0.53 cores=1,3,5,7
/proc/19548/task/19550/stat : 19550 (java) R 19545 19548 8289 0 -1 4202560 10462 0 0 0 50 3 0 0 20 0 15 0 121500697 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893760213392 139893755989398 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19551] ppid=19545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19551/stat : 19551 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893675391632 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19552] ppid=19545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19552/stat : 19552 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893674338832 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19553] ppid=19545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19553/stat : 19553 (java) S 19545 19548 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121500697 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893673286032 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19554] ppid=19545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19554/stat : 19554 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893672233232 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19555] ppid=19545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19555/stat : 19555 (java) S 19545 19548 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121500699 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893235260272 139893755988610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19556] ppid=19545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19556/stat : 19556 (java) S 19545 19548 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121500699 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893234206240 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19557] ppid=19545 vsize=13977988 memory=14356 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19557/stat : 19557 (java) S 19545 19548 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121500699 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893233153392 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19558] ppid=19545 vsize=13977988 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19558/stat : 19558 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893232101712 139893755996059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19559] ppid=19545 vsize=13977988 memory=2012 CPUtime=0.12 cores=1,3,5,7
/proc/19548/task/19559/stat : 19559 (java) S 19545 19548 8289 0 -1 1077944384 977 0 0 0 12 0 0 0 20 0 15 0 121500702 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893231049072 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19560] ppid=19545 vsize=13977988 memory=11152 CPUtime=0.08 cores=1,3,5,7
/proc/19548/task/19560/stat : 19560 (java) S 19545 19548 8289 0 -1 1077944384 495 0 0 0 8 0 0 0 20 0 15 0 121500702 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893229996272 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19561] ppid=19545 vsize=13977988 memory=33 CPUtime=0.2 cores=1,3,5,7
/proc/19548/task/19561/stat : 19561 (java) R 19545 19548 8289 0 -1 4202560 845 0 0 0 20 0 0 0 20 0 15 0 121500702 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893228943472 139893737387613 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19562] ppid=19545 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19562/stat : 19562 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893227890912 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19563] ppid=19545 vsize=13977988 memory=737 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19563/stat : 19563 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500707 14313459712 16943 18446744073709551615 4194304 4196468 140730480918256 139893226839216 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 67772 KiB
[startup+1.50383 s]
/proc/loadavg: 1.71 1.67 1.57 6/217 19563
/proc/meminfo: memFree=26586696/32770624 swapFree=67108860/67108860
[pid=19548] ppid=19545 vsize=13980036 memory=160880 CPUtime=3.38 cores=1,3,5,7
/proc/19548/stat : 19548 (java) S 19545 19548 8289 0 -1 1077944320 27804 0 0 0 329 9 0 0 20 0 15 0 121500687 14315556864 40220 18446744073709551615 4194304 4196468 140730480918256 140730480900800 139893755977463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
/proc/19548/statm: 3495009 40220 3768 1 0 3483783 0
[pid=19548/tid=19550] ppid=19545 vsize=13980036 memory=59028 CPUtime=1.33 cores=1,3,5,7
/proc/19548/task/19550/stat : 19550 (java) R 19545 19548 8289 0 -1 4202560 14420 0 0 0 127 6 0 0 20 0 15 0 121500697 14315556864 40220 18446744073709551615 4194304 4196468 140730480918256 139893760213568 139893347380495 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19551] ppid=19545 vsize=13980036 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19551/stat : 19551 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893675391632 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19552] ppid=19545 vsize=13980036 memory=280347816779616 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19552/stat : 19552 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893674338832 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19553] ppid=19545 vsize=13980036 memory=6944937900100196217 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19553/stat : 19553 (java) S 19545 19548 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121500697 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893673286032 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19554] ppid=19545 vsize=13980036 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19554/stat : 19554 (java) S 19545 19548 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121500697 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893672233232 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19555] ppid=19545 vsize=13980036 memory=-6948047529741492128 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19555/stat : 19555 (java) S 19545 19548 8289 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893235260272 139893755988610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19556] ppid=19545 vsize=13980036 memory=5793990212118078307 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19556/stat : 19556 (java) S 19545 19548 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893234206240 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19557] ppid=19545 vsize=13980036 memory=6933690330692294553 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19557/stat : 19557 (java) S 19545 19548 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893233153392 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19558] ppid=19545 vsize=13980036 memory=7306924838955606360 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19558/stat : 19558 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893232101712 139893755996059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19559] ppid=19545 vsize=13980036 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/19548/task/19559/stat : 19559 (java) R 19545 19548 8289 0 -1 4202560 5796 0 0 0 81 0 0 0 20 0 15 0 121500702 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893231049072 139893740374560 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19560] ppid=19545 vsize=13980036 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/19548/task/19560/stat : 19560 (java) R 19545 19548 8289 0 -1 4202560 3964 0 0 0 78 0 0 0 20 0 15 0 121500702 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893229996272 139893735196104 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19561] ppid=19545 vsize=13980036 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/19548/task/19561/stat : 19561 (java) R 19545 19548 8289 0 -1 4202560 2179 0 0 0 42 0 0 0 20 0 15 0 121500702 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893228940408 139893748694615 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19562] ppid=19545 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19562/stat : 19562 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893227890912 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19563] ppid=19545 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19563/stat : 19563 (java) S 19545 19548 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121500707 14315556864 40732 18446744073709551615 4194304 4196468 140730480918256 139893226839216 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
Current children cumulated CPU time: 3.38 s
Current children cumulated vsize: 13980036 KiB
################
# More data... #
################
/proc/19548/task/19550/stat : 19550 (java) R 19545 19548 8289 0 -1 4202560 33192 0 0 0 242978 19 0 0 20 0 15 0 121500697 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893760215904 139893347722078 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19551] ppid=19545 vsize=13980036 memory=-8774313645642428999 CPUtime=4.93 cores=1,3,5,7
/proc/19548/task/19551/stat : 19551 (java) S 19545 19548 8289 0 -1 1077944384 7957 0 0 0 458 35 0 0 20 0 15 0 121500697 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893675391632 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19552] ppid=19545 vsize=13980036 memory=276220 CPUtime=4.92 cores=1,3,5,7
/proc/19548/task/19552/stat : 19552 (java) S 19545 19548 8289 0 -1 1077944384 5766 0 0 0 456 36 0 0 20 0 15 0 121500697 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893674338832 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19553] ppid=19545 vsize=13980036 memory=276220 CPUtime=4.9 cores=1,3,5,7
/proc/19548/task/19553/stat : 19553 (java) S 19545 19548 8289 0 -1 1077944384 5114 0 0 0 452 38 0 0 20 0 15 0 121500697 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893673286032 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19554] ppid=19545 vsize=13980036 memory=276220 CPUtime=4.91 cores=1,3,5,7
/proc/19548/task/19554/stat : 19554 (java) S 19545 19548 8289 0 -1 1077944384 5282 0 0 0 456 35 0 0 20 0 15 0 121500697 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893672233232 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19555] ppid=19545 vsize=13980036 memory=276220 CPUtime=4.43 cores=1,3,5,7
/proc/19548/task/19555/stat : 19555 (java) S 19545 19548 8289 0 -1 1077944384 6692 0 0 0 411 32 0 0 20 0 15 0 121500699 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893235260272 139893755988610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19556] ppid=19545 vsize=13980036 memory=276220 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19556/stat : 19556 (java) S 19545 19548 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893234206304 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19557] ppid=19545 vsize=13980036 memory=276220 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19557/stat : 19557 (java) S 19545 19548 8289 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893233153408 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19558] ppid=19545 vsize=13980036 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19558/stat : 19558 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893232101712 139893755996059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19559] ppid=19545 vsize=13980036 memory=2012 CPUtime=1.09 cores=1,3,5,7
/proc/19548/task/19559/stat : 19559 (java) S 19545 19548 8289 0 -1 1077944384 7936 0 0 0 108 1 0 0 20 0 15 0 121500702 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893231049072 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19560] ppid=19545 vsize=13980036 memory=11152 CPUtime=0.96 cores=1,3,5,7
/proc/19548/task/19560/stat : 19560 (java) S 19545 19548 8289 0 -1 1077944384 5003 0 0 0 95 1 0 0 20 0 15 0 121500702 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893229996272 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19561] ppid=19545 vsize=13980036 memory=5788 CPUtime=0.46 cores=1,3,5,7
/proc/19548/task/19561/stat : 19561 (java) S 19545 19548 8289 0 -1 1077944384 3903 0 0 0 45 1 0 0 20 0 15 0 121500702 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893228943472 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19562] ppid=19545 vsize=13980036 memory=276220 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19562/stat : 19562 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893227890912 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19563] ppid=19545 vsize=13980036 memory=4040 CPUtime=1.01 cores=1,3,5,7
/proc/19548/task/19563/stat : 19563 (java) S 19545 19548 8289 0 -1 1077944384 1125 0 0 0 48 53 0 0 20 0 15 0 121500707 14315556864 69055 18446744073709551615 4194304 4196468 140730480918256 139893226839216 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
Current children cumulated CPU time: 2457.68 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 276220 KiB
[startup+2502.3 s]
/proc/loadavg: 1.41 1.38 1.45 3/215 19819
/proc/meminfo: memFree=30771396/32770624 swapFree=67108860/67108860
[pid=19548] ppid=19545 vsize=13980036 memory=280316 CPUtime=2518.05 cores=1,3,5,7
/proc/19548/stat : 19548 (java) S 19545 19548 8289 0 -1 1077944320 84529 0 0 0 251600 205 0 0 20 0 15 0 121500687 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 140730480900800 139893755977463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
/proc/19548/statm: 3495009 70079 3796 1 0 3483783 0
[pid=19548/tid=19550] ppid=19545 vsize=13980036 memory=280316 CPUtime=2489.66 cores=1,3,5,7
/proc/19548/task/19550/stat : 19550 (java) R 19545 19548 8289 0 -1 4202560 33688 0 0 0 248946 20 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893760216096 139893347722068 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19551] ppid=19545 vsize=13980036 memory=278268 CPUtime=5.07 cores=1,3,5,7
/proc/19548/task/19551/stat : 19551 (java) S 19545 19548 8289 0 -1 1077944384 7998 0 0 0 471 36 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893675391632 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19552] ppid=19545 vsize=13980036 memory=278268 CPUtime=5.05 cores=1,3,5,7
/proc/19548/task/19552/stat : 19552 (java) S 19545 19548 8289 0 -1 1077944384 5925 0 0 0 469 36 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893674338832 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19553] ppid=19545 vsize=13980036 memory=278268 CPUtime=5.04 cores=1,3,5,7
/proc/19548/task/19553/stat : 19553 (java) S 19545 19548 8289 0 -1 1077944384 5260 0 0 0 466 38 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893673286032 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19554] ppid=19545 vsize=13980036 memory=278268 CPUtime=5.04 cores=1,3,5,7
/proc/19548/task/19554/stat : 19554 (java) S 19545 19548 8289 0 -1 1077944384 5369 0 0 0 469 35 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893672233232 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19555] ppid=19545 vsize=13980036 memory=280316 CPUtime=4.54 cores=1,3,5,7
/proc/19548/task/19555/stat : 19555 (java) S 19545 19548 8289 0 -1 1077944384 6868 0 0 0 421 33 0 0 20 0 15 0 121500699 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893235260272 139893755988610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19556] ppid=19545 vsize=13980036 memory=280316 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19556/stat : 19556 (java) S 19545 19548 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893234206304 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19557] ppid=19545 vsize=13980036 memory=280316 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19557/stat : 19557 (java) S 19545 19548 8289 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893233153408 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19558] ppid=19545 vsize=13980036 memory=278268 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19558/stat : 19558 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893232101712 139893755996059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19559] ppid=19545 vsize=13980036 memory=280316 CPUtime=1.09 cores=1,3,5,7
/proc/19548/task/19559/stat : 19559 (java) S 19545 19548 8289 0 -1 1077944384 7938 0 0 0 108 1 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893231049072 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19560] ppid=19545 vsize=13980036 memory=280316 CPUtime=0.96 cores=1,3,5,7
/proc/19548/task/19560/stat : 19560 (java) S 19545 19548 8289 0 -1 1077944384 5005 0 0 0 95 1 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893229996272 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19561] ppid=19545 vsize=13980036 memory=280316 CPUtime=0.46 cores=1,3,5,7
/proc/19548/task/19561/stat : 19561 (java) S 19545 19548 8289 0 -1 1077944384 3905 0 0 0 45 1 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893228943472 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19562] ppid=19545 vsize=13980036 memory=280316 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19562/stat : 19562 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893227890912 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19563] ppid=19545 vsize=13980036 memory=792 CPUtime=1.04 cores=1,3,5,7
/proc/19548/task/19563/stat : 19563 (java) S 19545 19548 8289 0 -1 1077944384 1140 0 0 0 49 55 0 0 20 0 15 0 121500707 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893226839216 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
Current children cumulated CPU time: 2518.05 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 280316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.3 s]
/proc/loadavg: 1.41 1.38 1.45 3/215 19819
/proc/meminfo: memFree=30771272/32770624 swapFree=67108860/67108860
[pid=19548] ppid=19545 vsize=13980036 memory=280316 CPUtime=2520.06 cores=1,3,5,7
/proc/19548/stat : 19548 (java) S 19545 19548 8289 0 -1 1077944320 85354 0 0 0 251801 205 0 0 20 0 15 0 121500687 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 140730480900800 139893755977463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
/proc/19548/statm: 3495009 70079 3796 1 0 3483783 0
[pid=19548/tid=19550] ppid=19545 vsize=13980036 memory=280316 CPUtime=2491.65 cores=1,3,5,7
/proc/19548/task/19550/stat : 19550 (java) R 19545 19548 8289 0 -1 4202560 33990 0 0 0 249145 20 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893760216096 139893347720645 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19551] ppid=19545 vsize=13980036 memory=280316 CPUtime=5.07 cores=1,3,5,7
/proc/19548/task/19551/stat : 19551 (java) S 19545 19548 8289 0 -1 1077944384 8154 0 0 0 471 36 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893675391632 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19552] ppid=19545 vsize=13980036 memory=280316 CPUtime=5.05 cores=1,3,5,7
/proc/19548/task/19552/stat : 19552 (java) S 19545 19548 8289 0 -1 1077944384 5972 0 0 0 469 36 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893674338832 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19553] ppid=19545 vsize=13980036 memory=278268 CPUtime=5.04 cores=1,3,5,7
/proc/19548/task/19553/stat : 19553 (java) S 19545 19548 8289 0 -1 1077944384 5342 0 0 0 466 38 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893673286032 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19554] ppid=19545 vsize=13980036 memory=278268 CPUtime=5.05 cores=1,3,5,7
/proc/19548/task/19554/stat : 19554 (java) S 19545 19548 8289 0 -1 1077944384 5421 0 0 0 470 35 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893672233232 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19555] ppid=19545 vsize=13980036 memory=278268 CPUtime=4.54 cores=1,3,5,7
/proc/19548/task/19555/stat : 19555 (java) S 19545 19548 8289 0 -1 1077944384 7037 0 0 0 421 33 0 0 20 0 15 0 121500699 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893235260272 139893755988610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19556] ppid=19545 vsize=13980036 memory=278268 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19556/stat : 19556 (java) S 19545 19548 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893234206304 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19557] ppid=19545 vsize=13980036 memory=280316 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19557/stat : 19557 (java) S 19545 19548 8289 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893233153408 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19558] ppid=19545 vsize=13980036 memory=280316 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19558/stat : 19558 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893232101712 139893755996059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19559] ppid=19545 vsize=13980036 memory=280316 CPUtime=1.09 cores=1,3,5,7
/proc/19548/task/19559/stat : 19559 (java) S 19545 19548 8289 0 -1 1077944384 7940 0 0 0 108 1 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893231049072 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19560] ppid=19545 vsize=13980036 memory=280316 CPUtime=0.96 cores=1,3,5,7
/proc/19548/task/19560/stat : 19560 (java) S 19545 19548 8289 0 -1 1077944384 5007 0 0 0 95 1 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893229996272 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19561] ppid=19545 vsize=13980036 memory=280316 CPUtime=0.46 cores=1,3,5,7
/proc/19548/task/19561/stat : 19561 (java) S 19545 19548 8289 0 -1 1077944384 3907 0 0 0 45 1 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893228943472 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19562] ppid=19545 vsize=13980036 memory=278268 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19562/stat : 19562 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893227890912 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19563] ppid=19545 vsize=13980036 memory=280316 CPUtime=1.04 cores=1,3,5,7
/proc/19548/task/19563/stat : 19563 (java) S 19545 19548 8289 0 -1 1077944384 1151 0 0 0 49 55 0 0 20 0 15 0 121500707 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893226839216 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 280316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.32 s]
# the end of solver process 19548 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.03 s, system=2.06041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2504.3 s]
/proc/loadavg: 1.41 1.38 1.45 3/215 19819
/proc/meminfo: memFree=30771272/32770624 swapFree=67108860/67108860
[pid=19548] ppid=19545 vsize=13980036 memory=280316 CPUtime=2520.06 cores=1,3,5,7
/proc/19548/stat : 19548 (java) S 19545 19548 8289 0 -1 1077944320 85354 0 0 0 251801 205 0 0 20 0 15 0 121500687 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 140730480900800 139893755977463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
/proc/19548/statm: 3495009 70079 3796 1 0 3483783 0
[pid=19548/tid=19550] ppid=19545 vsize=13980036 memory=280316 CPUtime=2491.65 cores=1,3,5,7
/proc/19548/task/19550/stat : 19550 (java) R 19545 19548 8289 0 -1 4202560 33990 0 0 0 249145 20 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893760216096 139893347720645 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19551] ppid=19545 vsize=13980036 memory=280316 CPUtime=5.07 cores=1,3,5,7
/proc/19548/task/19551/stat : 19551 (java) S 19545 19548 8289 0 -1 1077944384 8154 0 0 0 471 36 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893675391632 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19552] ppid=19545 vsize=13980036 memory=280316 CPUtime=5.05 cores=1,3,5,7
/proc/19548/task/19552/stat : 19552 (java) S 19545 19548 8289 0 -1 1077944384 5972 0 0 0 469 36 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893674338832 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19553] ppid=19545 vsize=13980036 memory=278268 CPUtime=5.04 cores=1,3,5,7
/proc/19548/task/19553/stat : 19553 (java) S 19545 19548 8289 0 -1 1077944384 5342 0 0 0 466 38 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893673286032 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19554] ppid=19545 vsize=13980036 memory=278268 CPUtime=5.05 cores=1,3,5,7
/proc/19548/task/19554/stat : 19554 (java) S 19545 19548 8289 0 -1 1077944384 5421 0 0 0 470 35 0 0 20 0 15 0 121500697 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893672233232 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19555] ppid=19545 vsize=13980036 memory=278268 CPUtime=4.54 cores=1,3,5,7
/proc/19548/task/19555/stat : 19555 (java) S 19545 19548 8289 0 -1 1077944384 7037 0 0 0 421 33 0 0 20 0 15 0 121500699 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893235260272 139893755988610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19556] ppid=19545 vsize=13980036 memory=278268 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19556/stat : 19556 (java) S 19545 19548 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893234206304 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19557] ppid=19545 vsize=13980036 memory=280316 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19557/stat : 19557 (java) S 19545 19548 8289 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 121500699 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893233153408 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19558] ppid=19545 vsize=13980036 memory=280316 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19558/stat : 19558 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893232101712 139893755996059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19559] ppid=19545 vsize=13980036 memory=280316 CPUtime=1.09 cores=1,3,5,7
/proc/19548/task/19559/stat : 19559 (java) S 19545 19548 8289 0 -1 1077944384 7940 0 0 0 108 1 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893231049072 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19560] ppid=19545 vsize=13980036 memory=280316 CPUtime=0.96 cores=1,3,5,7
/proc/19548/task/19560/stat : 19560 (java) S 19545 19548 8289 0 -1 1077944384 5007 0 0 0 95 1 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893229996272 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19561] ppid=19545 vsize=13980036 memory=280316 CPUtime=0.46 cores=1,3,5,7
/proc/19548/task/19561/stat : 19561 (java) S 19545 19548 8289 0 -1 1077944384 3907 0 0 0 45 1 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893228943472 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19562] ppid=19545 vsize=13980036 memory=278268 CPUtime=0 cores=1,3,5,7
/proc/19548/task/19562/stat : 19562 (java) S 19545 19548 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121500702 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893227890912 139893755987669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
[pid=19548/tid=19563] ppid=19545 vsize=13980036 memory=280316 CPUtime=1.04 cores=1,3,5,7
/proc/19548/task/19563/stat : 19563 (java) S 19545 19548 8289 0 -1 1077944384 1151 0 0 0 49 55 0 0 20 0 15 0 121500707 14315556864 70079 18446744073709551615 4194304 4196468 140730480918256 139893226839216 139893755988610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 16416768 140730480922990 140730480923177 140730480923177 140730480926671 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 280316 KiB
Child status: 143
Real time (s): 2504.32
CPU time (s): 2520.09
CPU user time (s): 2518.03
CPU system time (s): 2.06041
CPU usage (%): 100.63
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 280316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.03
system time used= 2.06041
maximum resident set size= 280952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182075
involuntary context switches= 6901
# summary of solver processes directly reported to runsolver:
# pid: 19548
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.03
# total CPU system time (s): 2.06041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2731 second user time and 21.4538 second system time
The end