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 (12780 MiB free)
memory of node 1: 16384 MiB (15395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400686-1568689103/watcher-4400686-1568689103 -o /tmp/evaluation-result-4400686-1568689103/solver-4400686-1568689103 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568673289-31265 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1407830231 HOME/instance-4400686-1568689103.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=5699, runsolver pid=5696
Current StackSize limit: 8192 KiB
[startup+0.109759 s]*
/proc/loadavg: 1.63 1.62 1.59 3/220 5756
/proc/meminfo: memFree=28842912/32770624 swapFree=66967452/67108860
[pid=5699] ppid=5696 vsize=10153664 memory=20440 CPUtime=0.1 cores=1,3,5,7
/proc/5699/stat : 5699 (java) S 5696 5699 31233 0 -1 1077944320 4838 13021 0 0 2 0 5 3 20 0 8 0 445177094 10397351936 5110 33554432000 4194304 4196468 140725972553184 140725972535728 140562684395255 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
/proc/5699/statm: 2538416 5110 2077 1 0 2526854 0
[pid=5699/tid=5752] ppid=5696 vsize=10355564 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/5699/task/5752/stat : 5752 (java) R 5696 5699 31233 0 -1 4202560 2654 13021 0 0 1 0 5 3 20 0 9 0 445177103 10604097536 5666 33554432000 4194304 4196468 140725972553184 140562656231280 140562676847394 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5753] ppid=5696 vsize=10355560 memory=7948963741541478447 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5753/stat : 5753 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 9 0 445177104 10604093440 5670 33554432000 4194304 4196468 140725972553184 140562688637712 140562684405461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5754] ppid=5696 vsize=10355560 memory=139846964700800 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5754/stat : 5754 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 9 0 445177104 10604093440 5670 33554432000 4194304 4196468 140725972553184 140562257337232 140562684405461 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5755] ppid=5696 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5755/stat : 5755 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 9 0 445177104 10604093440 5670 33554432000 4194304 4196468 140725972553184 140562256284688 140562684405461 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5756] ppid=5696 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5756/stat : 5756 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 9 0 445177104 10604093440 5670 33554432000 4194304 4196468 140725972553184 140562255232144 140562684405461 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5757] ppid=5696 vsize=10355560 memory=139846964700800 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5757/stat : 5757 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 9 0 445177105 10604093440 5670 33554432000 4194304 4196468 140725972553184 140562210977776 140562684406402 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5758] ppid=5696 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5758/stat : 5758 (java) S 5696 5699 31233 0 -1 1077944384 13 13021 0 0 0 0 5 3 20 0 9 0 445177106 10604093440 5670 33554432000 4194304 4196468 140725972553184 140562132886432 140562684405461 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5759] ppid=5696 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5759/stat : 5759 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 9 0 445177106 10604093440 5670 33554432000 4194304 4196468 140725972553184 140561528906800 140562684405461 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10153664 KiB
Current children cumulated memory: 20440 KiB
[startup+0.210803 s]*
/proc/loadavg: 1.63 1.62 1.59 4/229 5765
/proc/meminfo: memFree=28821764/32770624 swapFree=66967452/67108860
[pid=5699] ppid=5696 vsize=10819712 memory=45640 CPUtime=0.26 cores=1,3,5,7
/proc/5699/stat : 5699 (java) S 5696 5699 31233 0 -1 1077944320 7262 13021 0 0 17 1 5 3 20 0 15 0 445177094 11079385088 11410 33554432000 4194304 4196468 140725972553184 140725972535728 140562684395255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
/proc/5699/statm: 2704928 11410 3160 1 0 2667149 0
[pid=5699/tid=5752] ppid=5696 vsize=10819712 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/5699/task/5752/stat : 5752 (java) R 5696 5699 31233 0 -1 4202560 3820 13021 0 0 10 1 5 3 20 0 15 0 445177103 11079385088 11474 33554432000 4194304 4196468 140725972553184 140562656212368 140562668475742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5753] ppid=5696 vsize=10819712 memory=4294967660 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5753/stat : 5753 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177104 11079385088 11474 33554432000 4194304 4196468 140725972553184 140562688637712 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5754] ppid=5696 vsize=10819712 memory=139846967728075 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5754/stat : 5754 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177104 11079385088 11474 33554432000 4194304 4196468 140725972553184 140562257337232 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5755] ppid=5696 vsize=10819712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5755/stat : 5755 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177104 11079385088 11474 33554432000 4194304 4196468 140725972553184 140562256284688 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5756] ppid=5696 vsize=10819712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5756/stat : 5756 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177104 11079385088 11474 33554432000 4194304 4196468 140725972553184 140562255232144 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5757] ppid=5696 vsize=10819712 memory=139846964700800 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5757/stat : 5757 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177105 11079385088 11474 33554432000 4194304 4196468 140725972553184 140562210977776 140562684406402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5758] ppid=5696 vsize=10819712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5758/stat : 5758 (java) S 5696 5699 31233 0 -1 1077944384 13 13021 0 0 0 0 5 3 20 0 15 0 445177106 11079385088 11474 33554432000 4194304 4196468 140725972553184 140562132886432 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5759] ppid=5696 vsize=10819712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5759/stat : 5759 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177106 11079385088 11474 33554432000 4194304 4196468 140725972553184 140561528906736 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5760] ppid=5696 vsize=10819712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5760/stat : 5760 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177109 11079385088 11474 33554432000 4194304 4196468 140725972553184 140561193363664 140562684413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5761] ppid=5696 vsize=10819712 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5699/task/5761/stat : 5761 (java) S 5696 5699 31233 0 -1 1077944384 578 13021 0 0 1 0 5 3 20 0 15 0 445177109 11079385088 11474 33554432000 4194304 4196468 140725972553184 140562209925616 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5762] ppid=5696 vsize=10819712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5762/stat : 5762 (java) S 5696 5699 31233 0 -1 1077944384 63 13021 0 0 0 0 5 3 20 0 15 0 445177109 11079385088 11474 33554432000 4194304 4196468 140725972553184 140562208873072 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5763] ppid=5696 vsize=10819856 memory=139846964700800 CPUtime=0.11 cores=1,3,5,7
/proc/5699/task/5763/stat : 5763 (java) S 5696 5699 31233 0 -1 1077944384 615 13021 0 0 3 0 5 3 20 0 15 0 445177109 11079532544 11474 33554432000 4194304 4196468 140725972553184 140562207820528 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5764] ppid=5696 vsize=10819856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5764/stat : 5764 (java) S 5696 5699 31233 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 445177109 11079532544 11474 33554432000 4194304 4196468 140725972553184 140560924929120 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5765] ppid=5696 vsize=10819856 memory=139846964700800 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5765/stat : 5765 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177109 11079532544 11474 33554432000 4194304 4196468 140725972553184 140562206767408 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 45640 KiB
[startup+0.312763 s]*
/proc/loadavg: 1.63 1.62 1.59 4/229 5765
/proc/meminfo: memFree=28809104/32770624 swapFree=66967452/67108860
[pid=5699] ppid=5696 vsize=10820196 memory=54712 CPUtime=0.4 cores=1,3,5,7
/proc/5699/stat : 5699 (java) S 5696 5699 31233 0 -1 1077944320 10928 13021 0 0 29 3 5 3 20 0 15 0 445177094 11079880704 13678 33554432000 4194304 4196468 140725972553184 140725972535728 140562684395255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
/proc/5699/statm: 2705049 13678 3292 1 0 2667149 0
[pid=5699/tid=5752] ppid=5696 vsize=10820196 memory=-8171376296011865461 CPUtime=0.29 cores=1,3,5,7
/proc/5699/task/5752/stat : 5752 (java) R 5696 5699 31233 0 -1 4202560 7432 13021 0 0 19 2 5 3 20 0 15 0 445177103 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562656200256 140562668475742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5753] ppid=5696 vsize=10820196 memory=3691042062614867976 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5753/stat : 5753 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177104 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562688637712 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5754] ppid=5696 vsize=10820196 memory=139846964700800 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5754/stat : 5754 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177104 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562257337232 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5755] ppid=5696 vsize=10820196 memory=2209 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5755/stat : 5755 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177104 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562256284688 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5756] ppid=5696 vsize=10820196 memory=2272 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5756/stat : 5756 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177104 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562255232144 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5757] ppid=5696 vsize=10820196 memory=139851259668095 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5757/stat : 5757 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177105 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562210977776 140562684406402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5758] ppid=5696 vsize=10820196 memory=139846819635151 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5758/stat : 5758 (java) S 5696 5699 31233 0 -1 1077944384 13 13021 0 0 0 0 5 3 20 0 15 0 445177106 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562132886432 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5759] ppid=5696 vsize=10820196 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5759/stat : 5759 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177106 11079880704 13678 33554432000 4194304 4196468 140725972553184 140561528906736 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5760] ppid=5696 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5760/stat : 5760 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177109 11079880704 13678 33554432000 4194304 4196468 140725972553184 140561193363664 140562684413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5761] ppid=5696 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5699/task/5761/stat : 5761 (java) R 5696 5699 31233 0 -1 1077944384 588 13021 0 0 2 0 5 3 20 0 15 0 445177109 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562209925616 140562684406402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5762] ppid=5696 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/5699/task/5762/stat : 5762 (java) S 5696 5699 31233 0 -1 1077944384 63 13021 0 0 1 0 5 3 20 0 15 0 445177109 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562208873072 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5763] ppid=5696 vsize=10820196 memory=139846964700800 CPUtime=0.13 cores=1,3,5,7
/proc/5699/task/5763/stat : 5763 (java) R 5696 5699 31233 0 -1 1077944384 622 13021 0 0 5 0 5 3 20 0 15 0 445177109 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562207820528 140562684406402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5764] ppid=5696 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5764/stat : 5764 (java) S 5696 5699 31233 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 445177109 11079880704 13678 33554432000 4194304 4196468 140725972553184 140560924929120 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5765] ppid=5696 vsize=10820196 memory=139846964700800 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5765/stat : 5765 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177109 11079880704 13678 33554432000 4194304 4196468 140725972553184 140562206767408 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54712 KiB
[startup+0.700685 s]
/proc/loadavg: 1.63 1.62 1.59 3/229 5765
/proc/meminfo: memFree=28796180/32770624 swapFree=66967452/67108860
[pid=5699] ppid=5696 vsize=10824364 memory=87620 CPUtime=1.12 cores=1,3,5,7
/proc/5699/stat : 5699 (java) S 5696 5699 31233 0 -1 1077944320 15069 13021 0 0 99 5 5 3 20 0 15 0 445177094 11084148736 21905 33554432000 4194304 4196468 140725972553184 140725972535728 140562684395255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
/proc/5699/statm: 2706091 21905 3512 1 0 2668173 0
[pid=5699/tid=5752] ppid=5696 vsize=10824364 memory=139848430125601 CPUtime=0.66 cores=1,3,5,7
/proc/5699/task/5752/stat : 5752 (java) R 5696 5699 31233 0 -1 4202560 10458 13021 0 0 54 4 5 3 20 0 15 0 445177103 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562656224800 140562684417181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5753] ppid=5696 vsize=10824364 memory=139848430125622 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5753/stat : 5753 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177104 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562688637712 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5754] ppid=5696 vsize=10824364 memory=139848430125623 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5754/stat : 5754 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177104 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562257337232 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5755] ppid=5696 vsize=10824364 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5755/stat : 5755 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177104 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562256284688 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5756] ppid=5696 vsize=10824364 memory=7307184203439236416 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5756/stat : 5756 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177104 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562255232144 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5757] ppid=5696 vsize=10824364 memory=180 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5757/stat : 5757 (java) S 5696 5699 31233 0 -1 1077944384 6 13021 0 0 0 0 5 3 20 0 15 0 445177105 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562210977776 140562684406402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5758] ppid=5696 vsize=10824364 memory=288230604624110384 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5758/stat : 5758 (java) S 5696 5699 31233 0 -1 1077944384 13 13021 0 0 0 0 5 3 20 0 15 0 445177106 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562132886432 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5759] ppid=5696 vsize=10824364 memory=14693006635813331 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5759/stat : 5759 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177106 11084148736 21905 33554432000 4194304 4196468 140725972553184 140561528906736 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5760] ppid=5696 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5760/stat : 5760 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177109 11084148736 21905 33554432000 4194304 4196468 140725972553184 140561193363664 140562684413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5761] ppid=5696 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/5699/task/5761/stat : 5761 (java) S 5696 5699 31233 0 -1 1077944384 1071 13021 0 0 15 0 5 3 20 0 15 0 445177109 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562209925616 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5762] ppid=5696 vsize=10824364 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/5699/task/5762/stat : 5762 (java) S 5696 5699 31233 0 -1 1077944384 478 13021 0 0 10 0 5 3 20 0 15 0 445177109 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562208873072 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5763] ppid=5696 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/5699/task/5763/stat : 5763 (java) S 5696 5699 31233 0 -1 1077944384 826 13021 0 0 17 0 5 3 20 0 15 0 445177109 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562207820528 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5764] ppid=5696 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5764/stat : 5764 (java) S 5696 5699 31233 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 445177109 11084148736 21905 33554432000 4194304 4196468 140725972553184 140560924929120 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5765] ppid=5696 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5765/stat : 5765 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177109 11084148736 21905 33554432000 4194304 4196468 140725972553184 140562206767408 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87620 KiB
[startup+1.50846 s]
/proc/loadavg: 1.63 1.62 1.59 3/229 5765
/proc/meminfo: memFree=28752480/32770624 swapFree=66967452/67108860
[pid=5699] ppid=5696 vsize=10834680 memory=175844 CPUtime=2.49 cores=1,3,5,7
/proc/5699/stat : 5699 (java) S 5696 5699 31233 0 -1 1077944320 21876 13021 0 0 230 11 5 3 20 0 15 0 445177094 11094712320 43961 33554432000 4194304 4196468 140725972553184 140725972535728 140562684395255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
/proc/5699/statm: 2708670 43961 3582 1 0 2670733 0
[pid=5699/tid=5752] ppid=5696 vsize=10834680 memory=46992 CPUtime=1.44 cores=1,3,5,7
/proc/5699/task/5752/stat : 5752 (java) R 5696 5699 31233 0 -1 4202560 15414 13021 0 0 130 6 5 3 20 0 15 0 445177103 11094712320 43961 33554432000 4194304 4196468 140725972553184 140562656208592 140562684407190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5753] ppid=5696 vsize=10834680 memory=7518026621751088999 CPUtime=0.09 cores=1,3,5,7
/proc/5699/task/5753/stat : 5753 (java) S 5696 5699 31233 0 -1 1077944384 24 13021 0 0 1 0 5 3 20 0 15 0 445177104 11094712320 43961 33554432000 4194304 4196468 140725972553184 140562688637712 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5754] ppid=5696 vsize=10834680 memory=7517750696072144228 CPUtime=0.09 cores=1,3,5,7
/proc/5699/task/5754/stat : 5754 (java) S 5696 5699 31233 0 -1 1077944384 89 13021 0 0 1 0 5 3 20 0 15 0 445177104 11094712320 43961 33554432000 4194304 4196468 140725972553184 140562257337232 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5755] ppid=5696 vsize=10834680 memory=5865188000529146989 CPUtime=0.09 cores=1,3,5,7
/proc/5699/task/5755/stat : 5755 (java) S 5696 5699 31233 0 -1 1077944384 388 13021 0 0 1 0 5 3 20 0 15 0 445177104 11094712320 43961 33554432000 4194304 4196468 140725972553184 140562256284688 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5756] ppid=5696 vsize=10834680 memory=4639059877604708710 CPUtime=0.09 cores=1,3,5,7
/proc/5699/task/5756/stat : 5756 (java) S 5696 5699 31233 0 -1 1077944384 66 13021 0 0 1 0 5 3 20 0 15 0 445177104 11094712320 43961 33554432000 4194304 4196468 140725972553184 140562255232144 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5757] ppid=5696 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5699/task/5757/stat : 5757 (java) S 5696 5699 31233 0 -1 1077944384 142 13021 0 0 1 0 5 3 20 0 15 0 445177105 11094712320 43961 33554432000 4194304 4196468 140725972553184 140562210977776 140562684406402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5758] ppid=5696 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5758/stat : 5758 (java) S 5696 5699 31233 0 -1 1077944384 14 13021 0 0 0 0 5 3 20 0 15 0 445177106 11094712320 43961 33554432000 4194304 4196468 140725972553184 140562132886496 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5759] ppid=5696 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5759/stat : 5759 (java) S 5696 5699 31233 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 445177106 11094712320 43961 33554432000 4194304 4196468 140725972553184 140561528906752 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5760] ppid=5696 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5760/stat : 5760 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177109 11094712320 43961 33554432000 4194304 4196468 140725972553184 140561193363664 140562684413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5761] ppid=5696 vsize=10834680 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/5699/task/5761/stat : 5761 (java) S 5696 5699 31233 0 -1 1077944384 1145 13021 0 0 28 0 5 3 20 0 15 0 445177109 11094712320 43961 33554432000 4194304 4196468 140725972553184 140562209925616 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5762] ppid=5696 vsize=10834680 memory=4646484832683381847 CPUtime=0.3 cores=1,3,5,7
/proc/5699/task/5762/stat : 5762 (java) S 5696 5699 31233 0 -1 1077944384 636 13021 0 0 22 0 5 3 20 0 15 0 445177109 11094712320 43961 33554432000 4194304 4196468 140725972553184 140562208873072 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5763] ppid=5696 vsize=10834680 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/5699/task/5763/stat : 5763 (java) R 5696 5699 31233 0 -1 4202560 1746 13021 0 0 41 0 5 3 20 0 15 0 445177109 11094712320 43961 33554432000 4194304 4196468 140725972553184 140562207818192 140562663827338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
################
# More data... #
################
[startup+1243.79 s]
# the end of solver process 5699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1264.71 s, system=2.14946 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1242.4 s]
/proc/loadavg: 1.82 1.51 1.45 3/228 5900
/proc/meminfo: memFree=27916308/32770624 swapFree=66967452/67108860
[pid=5699] ppid=5696 vsize=10844940 memory=832216 CPUtime=1265.44 cores=1,3,5,7
/proc/5699/stat : 5699 (java) S 5696 5699 31233 0 -1 1077944320 122170 13021 0 0 126326 210 5 3 20 0 15 0 445177094 11105218560 208054 33554432000 4194304 4196468 140725972553184 140725972535728 140562684395255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
/proc/5699/statm: 2711235 208054 3621 1 0 2673293 0
[pid=5699/tid=5752] ppid=5696 vsize=10844940 memory=832216 CPUtime=1228.39 cores=1,3,5,7
/proc/5699/task/5752/stat : 5752 (java) R 5696 5699 31233 0 -1 4202560 43373 13021 0 0 122798 33 5 3 20 0 15 0 445177103 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562656230880 140562290762795 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5753] ppid=5696 vsize=10844940 memory=940 CPUtime=6.27 cores=1,3,5,7
/proc/5699/task/5753/stat : 5753 (java) S 5696 5699 31233 0 -1 1077944384 12929 13021 0 0 585 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562688637712 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5754] ppid=5696 vsize=10844940 memory=14008 CPUtime=6.32 cores=1,3,5,7
/proc/5699/task/5754/stat : 5754 (java) S 5696 5699 31233 0 -1 1077944384 8642 13021 0 0 590 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562257337232 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5755] ppid=5696 vsize=10844940 memory=500 CPUtime=6.32 cores=1,3,5,7
/proc/5699/task/5755/stat : 5755 (java) S 5696 5699 31233 0 -1 1077944384 9602 13021 0 0 592 32 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562256284688 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5756] ppid=5696 vsize=10844940 memory=1556 CPUtime=6.29 cores=1,3,5,7
/proc/5699/task/5756/stat : 5756 (java) S 5696 5699 31233 0 -1 1077944384 9255 13021 0 0 587 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562255232144 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5757] ppid=5696 vsize=10844940 memory=928 CPUtime=6.09 cores=1,3,5,7
/proc/5699/task/5757/stat : 5757 (java) S 5696 5699 31233 0 -1 1077944384 9252 13021 0 0 566 35 5 3 20 0 15 0 445177105 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562210977776 140562684406402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5758] ppid=5696 vsize=10844940 memory=832160 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5758/stat : 5758 (java) S 5696 5699 31233 0 -1 1077944384 23 13021 0 0 0 0 5 3 20 0 15 0 445177106 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562132886560 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5759] ppid=5696 vsize=10844940 memory=1192 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5759/stat : 5759 (java) S 5696 5699 31233 0 -1 1077944384 19 13021 0 0 0 0 5 3 20 0 15 0 445177106 11105218560 208054 33554432000 4194304 4196468 140725972553184 140561528906752 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5760] ppid=5696 vsize=10844940 memory=940 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5760/stat : 5760 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140561193363664 140562684413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5761] ppid=5696 vsize=10844940 memory=8112282956445269571 CPUtime=2.32 cores=1,3,5,7
/proc/5699/task/5761/stat : 5761 (java) S 5696 5699 31233 0 -1 1077944384 12037 13021 0 0 222 2 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562209925616 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5762] ppid=5696 vsize=10844940 memory=1432 CPUtime=1.94 cores=1,3,5,7
/proc/5699/task/5762/stat : 5762 (java) S 5696 5699 31233 0 -1 1077944384 7501 13021 0 0 185 1 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562208873072 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5763] ppid=5696 vsize=10844940 memory=1764 CPUtime=1.27 cores=1,3,5,7
/proc/5699/task/5763/stat : 5763 (java) S 5696 5699 31233 0 -1 1077944384 6521 13021 0 0 116 3 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562207820528 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5764] ppid=5696 vsize=10844940 memory=111632 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5764/stat : 5764 (java) S 5696 5699 31233 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140560924929120 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5765] ppid=5696 vsize=10844940 memory=8112282956445269571 CPUtime=0.84 cores=1,3,5,7
/proc/5699/task/5765/stat : 5765 (java) S 5696 5699 31233 0 -1 1077944384 806 13021 0 0 36 40 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562206767408 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
Current children cumulated CPU time: 1265.44 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 832216 KiB
[startup+1243.2 s]
/proc/loadavg: 1.82 1.51 1.45 3/228 5900
/proc/meminfo: memFree=27916448/32770624 swapFree=66967452/67108860
[pid=5699] ppid=5696 vsize=10844940 memory=832216 CPUtime=1266.25 cores=1,3,5,7
/proc/5699/stat : 5699 (java) S 5696 5699 31233 0 -1 1077944320 122176 13021 0 0 126407 210 5 3 20 0 15 0 445177094 11105218560 208054 33554432000 4194304 4196468 140725972553184 140725972535728 140562684395255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
/proc/5699/statm: 2711235 208054 3621 1 0 2673293 0
[pid=5699/tid=5752] ppid=5696 vsize=10844940 memory=8112282956445269571 CPUtime=1229.18 cores=1,3,5,7
/proc/5699/task/5752/stat : 5752 (java) R 5696 5699 31233 0 -1 4202560 43379 13021 0 0 122877 33 5 3 20 0 15 0 445177103 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562656231184 140562294619350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5753] ppid=5696 vsize=10844940 memory=6944652177228980320 CPUtime=6.28 cores=1,3,5,7
/proc/5699/task/5753/stat : 5753 (java) S 5696 5699 31233 0 -1 1077944384 12929 13021 0 0 586 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562688637712 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5754] ppid=5696 vsize=10844940 memory=-2895008908443415148 CPUtime=6.32 cores=1,3,5,7
/proc/5699/task/5754/stat : 5754 (java) S 5696 5699 31233 0 -1 1077944384 8642 13021 0 0 590 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562257337232 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5755] ppid=5696 vsize=10844940 memory=6944652177228980320 CPUtime=6.32 cores=1,3,5,7
/proc/5699/task/5755/stat : 5755 (java) S 5696 5699 31233 0 -1 1077944384 9602 13021 0 0 592 32 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562256284688 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5756] ppid=5696 vsize=10844940 memory=47040 CPUtime=6.3 cores=1,3,5,7
/proc/5699/task/5756/stat : 5756 (java) S 5696 5699 31233 0 -1 1077944384 9255 13021 0 0 588 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562255232144 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5757] ppid=5696 vsize=10844940 memory=984 CPUtime=6.09 cores=1,3,5,7
/proc/5699/task/5757/stat : 5757 (java) S 5696 5699 31233 0 -1 1077944384 9252 13021 0 0 566 35 5 3 20 0 15 0 445177105 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562210977776 140562684406402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5758] ppid=5696 vsize=10844940 memory=2004 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5758/stat : 5758 (java) S 5696 5699 31233 0 -1 1077944384 23 13021 0 0 0 0 5 3 20 0 15 0 445177106 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562132886560 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5759] ppid=5696 vsize=10844940 memory=1376 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5759/stat : 5759 (java) S 5696 5699 31233 0 -1 1077944384 19 13021 0 0 0 0 5 3 20 0 15 0 445177106 11105218560 208054 33554432000 4194304 4196468 140725972553184 140561528906752 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5760] ppid=5696 vsize=10844940 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5760/stat : 5760 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140561193363664 140562684413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5761] ppid=5696 vsize=10844940 memory=4068 CPUtime=2.32 cores=1,3,5,7
/proc/5699/task/5761/stat : 5761 (java) S 5696 5699 31233 0 -1 1077944384 12037 13021 0 0 222 2 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562209925616 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5762] ppid=5696 vsize=10844940 memory=1720 CPUtime=1.94 cores=1,3,5,7
/proc/5699/task/5762/stat : 5762 (java) S 5696 5699 31233 0 -1 1077944384 7501 13021 0 0 185 1 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562208873072 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5763] ppid=5696 vsize=10844940 memory=5948 CPUtime=1.27 cores=1,3,5,7
/proc/5699/task/5763/stat : 5763 (java) S 5696 5699 31233 0 -1 1077944384 6521 13021 0 0 116 3 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562207820528 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5764] ppid=5696 vsize=10844940 memory=10564 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5764/stat : 5764 (java) S 5696 5699 31233 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140560924929120 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5765] ppid=5696 vsize=10844940 memory=716 CPUtime=0.84 cores=1,3,5,7
/proc/5699/task/5765/stat : 5765 (java) S 5696 5699 31233 0 -1 1077944384 806 13021 0 0 36 40 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562206767408 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
Current children cumulated CPU time: 1266.25 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 832216 KiB
[startup+1243.6 s]
/proc/loadavg: 1.82 1.51 1.45 3/228 5900
/proc/meminfo: memFree=27916448/32770624 swapFree=66967452/67108860
[pid=5699] ppid=5696 vsize=10844940 memory=832216 CPUtime=1266.65 cores=1,3,5,7
/proc/5699/stat : 5699 (java) S 5696 5699 31233 0 -1 1077944320 122180 13021 0 0 126447 210 5 3 20 0 15 0 445177094 11105218560 208054 33554432000 4194304 4196468 140725972553184 140725972535728 140562684395255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
/proc/5699/statm: 2711235 208054 3621 1 0 2673293 0
[pid=5699/tid=5752] ppid=5696 vsize=10844940 memory=984 CPUtime=1229.57 cores=1,3,5,7
/proc/5699/task/5752/stat : 5752 (java) R 5696 5699 31233 0 -1 4202560 43382 13021 0 0 122916 33 5 3 20 0 15 0 445177103 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562656230496 140562295322709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5753] ppid=5696 vsize=10844940 memory=2004 CPUtime=6.28 cores=1,3,5,7
/proc/5699/task/5753/stat : 5753 (java) S 5696 5699 31233 0 -1 1077944384 12929 13021 0 0 586 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562688637712 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5754] ppid=5696 vsize=10844940 memory=8112282956445269571 CPUtime=6.32 cores=1,3,5,7
/proc/5699/task/5754/stat : 5754 (java) S 5696 5699 31233 0 -1 1077944384 8643 13021 0 0 590 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562257337232 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5755] ppid=5696 vsize=10844940 memory=1432 CPUtime=6.33 cores=1,3,5,7
/proc/5699/task/5755/stat : 5755 (java) S 5696 5699 31233 0 -1 1077944384 9602 13021 0 0 593 32 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562256284688 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5756] ppid=5696 vsize=10844940 memory=1764 CPUtime=6.3 cores=1,3,5,7
/proc/5699/task/5756/stat : 5756 (java) S 5696 5699 31233 0 -1 1077944384 9255 13021 0 0 588 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562255232144 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5757] ppid=5696 vsize=10844940 memory=111632 CPUtime=6.09 cores=1,3,5,7
/proc/5699/task/5757/stat : 5757 (java) S 5696 5699 31233 0 -1 1077944384 9252 13021 0 0 566 35 5 3 20 0 15 0 445177105 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562210977776 140562684406402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5758] ppid=5696 vsize=10844940 memory=832216 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5758/stat : 5758 (java) S 5696 5699 31233 0 -1 1077944384 23 13021 0 0 0 0 5 3 20 0 15 0 445177106 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562132886560 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5759] ppid=5696 vsize=10844940 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5759/stat : 5759 (java) S 5696 5699 31233 0 -1 1077944384 19 13021 0 0 0 0 5 3 20 0 15 0 445177106 11105218560 208054 33554432000 4194304 4196468 140725972553184 140561528906752 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5760] ppid=5696 vsize=10844940 memory=12040 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5760/stat : 5760 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140561193363664 140562684413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5761] ppid=5696 vsize=10844940 memory=23780 CPUtime=2.32 cores=1,3,5,7
/proc/5699/task/5761/stat : 5761 (java) S 5696 5699 31233 0 -1 1077944384 12037 13021 0 0 222 2 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562209925616 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5762] ppid=5696 vsize=10844940 memory=2120 CPUtime=1.94 cores=1,3,5,7
/proc/5699/task/5762/stat : 5762 (java) S 5696 5699 31233 0 -1 1077944384 7501 13021 0 0 185 1 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562208873072 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5763] ppid=5696 vsize=10844940 memory=500 CPUtime=1.27 cores=1,3,5,7
/proc/5699/task/5763/stat : 5763 (java) S 5696 5699 31233 0 -1 1077944384 6521 13021 0 0 116 3 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562207820528 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5764] ppid=5696 vsize=10844940 memory=804 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5764/stat : 5764 (java) S 5696 5699 31233 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140560924929120 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5765] ppid=5696 vsize=10844940 memory=4100 CPUtime=0.84 cores=1,3,5,7
/proc/5699/task/5765/stat : 5765 (java) S 5696 5699 31233 0 -1 1077944384 806 13021 0 0 36 40 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562206767408 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
Current children cumulated CPU time: 1266.65 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 832216 KiB
[startup+1243.7 s]
/proc/loadavg: 1.82 1.51 1.45 3/228 5900
/proc/meminfo: memFree=27916448/32770624 swapFree=66967452/67108860
[pid=5699] ppid=5696 vsize=10844940 memory=832216 CPUtime=1266.76 cores=1,3,5,7
/proc/5699/stat : 5699 (java) S 5696 5699 31233 0 -1 1077944320 122181 13021 0 0 126458 210 5 3 20 0 15 0 445177094 11105218560 208054 33554432000 4194304 4196468 140725972553184 140725972535728 140562684395255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
/proc/5699/statm: 2711235 208054 3621 1 0 2673293 0
[pid=5699/tid=5752] ppid=5696 vsize=10844940 memory=832216 CPUtime=1229.67 cores=1,3,5,7
/proc/5699/task/5752/stat : 5752 (java) R 5696 5699 31233 0 -1 4202560 43383 13021 0 0 122926 33 5 3 20 0 15 0 445177103 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562656230816 140562295081478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5753] ppid=5696 vsize=10844940 memory=832216 CPUtime=6.28 cores=1,3,5,7
/proc/5699/task/5753/stat : 5753 (java) S 5696 5699 31233 0 -1 1077944384 12929 13021 0 0 586 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562688637712 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5754] ppid=5696 vsize=10844940 memory=832216 CPUtime=6.32 cores=1,3,5,7
/proc/5699/task/5754/stat : 5754 (java) S 5696 5699 31233 0 -1 1077944384 8643 13021 0 0 590 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562257337232 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5755] ppid=5696 vsize=10844940 memory=832176 CPUtime=6.33 cores=1,3,5,7
/proc/5699/task/5755/stat : 5755 (java) S 5696 5699 31233 0 -1 1077944384 9602 13021 0 0 593 32 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562256284688 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5756] ppid=5696 vsize=10844940 memory=832176 CPUtime=6.3 cores=1,3,5,7
/proc/5699/task/5756/stat : 5756 (java) S 5696 5699 31233 0 -1 1077944384 9255 13021 0 0 588 34 5 3 20 0 15 0 445177104 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562255232144 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5757] ppid=5696 vsize=10844940 memory=832160 CPUtime=6.1 cores=1,3,5,7
/proc/5699/task/5757/stat : 5757 (java) S 5696 5699 31233 0 -1 1077944384 9252 13021 0 0 567 35 5 3 20 0 15 0 445177105 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562210977776 140562684406402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5758] ppid=5696 vsize=10844940 memory=832216 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5758/stat : 5758 (java) S 5696 5699 31233 0 -1 1077944384 23 13021 0 0 0 0 5 3 20 0 15 0 445177106 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562132886560 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5759] ppid=5696 vsize=10844940 memory=832216 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5759/stat : 5759 (java) S 5696 5699 31233 0 -1 1077944384 19 13021 0 0 0 0 5 3 20 0 15 0 445177106 11105218560 208054 33554432000 4194304 4196468 140725972553184 140561528906752 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5760] ppid=5696 vsize=10844940 memory=832176 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5760/stat : 5760 (java) S 5696 5699 31233 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140561193363664 140562684413851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5761] ppid=5696 vsize=10844940 memory=3620 CPUtime=2.32 cores=1,3,5,7
/proc/5699/task/5761/stat : 5761 (java) S 5696 5699 31233 0 -1 1077944384 12037 13021 0 0 222 2 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562209925616 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5762] ppid=5696 vsize=10844940 memory=12040 CPUtime=1.94 cores=1,3,5,7
/proc/5699/task/5762/stat : 5762 (java) S 5696 5699 31233 0 -1 1077944384 7501 13021 0 0 185 1 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562208873072 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5763] ppid=5696 vsize=10844940 memory=23780 CPUtime=1.27 cores=1,3,5,7
/proc/5699/task/5763/stat : 5763 (java) S 5696 5699 31233 0 -1 1077944384 6521 13021 0 0 116 3 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562207820528 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5764] ppid=5696 vsize=10844940 memory=832216 CPUtime=0.08 cores=1,3,5,7
/proc/5699/task/5764/stat : 5764 (java) S 5696 5699 31233 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140560924929120 140562684405461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
[pid=5699/tid=5765] ppid=5696 vsize=10844940 memory=3620 CPUtime=0.84 cores=1,3,5,7
/proc/5699/task/5765/stat : 5765 (java) S 5696 5699 31233 0 -1 1077944384 806 13021 0 0 36 40 5 3 20 0 15 0 445177109 11105218560 208054 33554432000 4194304 4196468 140725972553184 140562206767408 140562684406402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 23289856 140725972556527 140725972559045 140725972559045 140725972561871 0
Current children cumulated CPU time: 1266.76 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 832216 KiB
Child status: 0
Real time (s): 1243.79
CPU time (s): 1266.86
CPU user time (s): 1264.71
CPU system time (s): 2.14946
CPU usage (%): 101.855
Max. virtual memory (cumulated for all children) (KiB): 10847588
Max. memory (cumulated for all children) (KiB): 832216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1264.71
system time used= 2.14946
maximum resident set size= 834312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136761
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161583
involuntary context switches= 4235
# summary of solver processes directly reported to runsolver:
# pid: 5699
# total CPU time (s): 1266.86
# total CPU user time (s): 1264.71
# total CPU system time (s): 2.14946
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.29015 second user time and 9.83622 second system time
The end