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 (13167 MiB free)
memory of node 1: 16384 MiB (13392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301264-1532877456/watcher-4301264-1532877456 -o /tmp/evaluation-result-4301264-1532877456/solver-4301264-1532877456 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10017 --watchdog 312 HOME/xcsp3-exec -seed 589757483 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301264-1532877456.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11588, runsolver pid=11585
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.02 2.01 1.89 3/221 11604
/proc/meminfo: memFree=27180964/32770624 swapFree=67108856/67108860
[pid=11588] ppid=11585 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11588/stat : 11588 (xcsp3-exec) S 11585 11588 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105308762 115843072 364 33554432000 4194304 5098028 140725089134912 140725089133016 140242825200252 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10113024 140725089141825 140725089142025 140725089142025 140725089144778 0
/proc/11588/statm: 28282 364 306 221 0 87 0
[pid=11590] ppid=11588 vsize=14082940 memory=28684 CPUtime=0.12 cores=0,2,4,6
/proc/11590/stat : 11590 (java) S 11588 11588 5155 0 -1 1077944320 5510 0 0 0 11 1 0 0 20 0 15 0 105308762 14420930560 7171 33554432000 4194304 4196468 140721130217936 140721130200480 139875047608055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
/proc/11590/statm: 3520735 7171 3029 1 0 3483012 0
[pid=11590/tid=11591] ppid=11588 vsize=14082940 memory=8514701219880730790 CPUtime=0.08 cores=0,2,4,6
/proc/11590/task/11591/stat : 11591 (java) R 11588 11588 5155 0 -1 4202560 3523 0 0 0 8 0 0 0 20 0 15 0 105308762 14420930560 7171 33554432000 4194304 4196468 140721130217936 139875051841328 139875047629981 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11592] ppid=11588 vsize=14082940 memory=3472468453018313936 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11592/stat : 11592 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308763 14420930560 7171 33554432000 4194304 4196468 140721130217936 139875006368144 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11593] ppid=11588 vsize=14082940 memory=140324123162240 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11593/stat : 11593 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308763 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874642770192 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11594] ppid=11588 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11594/stat : 11594 (java) S 11588 11588 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105308763 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874641717904 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11595] ppid=11588 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11595/stat : 11595 (java) S 11588 11588 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105308763 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874640665104 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11596] ppid=11588 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11596/stat : 11596 (java) S 11588 11588 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105308764 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874521782896 139875047619202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11597] ppid=11588 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11597/stat : 11597 (java) S 11588 11588 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105308765 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874520728864 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11598] ppid=11588 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11598/stat : 11598 (java) S 11588 11588 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105308765 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874519676528 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11599] ppid=11588 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11599/stat : 11599 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308767 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874518624848 139875047626651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11600] ppid=11588 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11600/stat : 11600 (java) S 11588 11588 5155 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 105308767 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874517571696 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11601] ppid=11588 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11601/stat : 11601 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308767 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874516518896 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11602] ppid=11588 vsize=14082940 memory=140324123162240 CPUtime=0.01 cores=0,2,4,6
/proc/11590/task/11602/stat : 11602 (java) S 11588 11588 5155 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 105308767 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874515466608 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11603] ppid=11588 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11603/stat : 11603 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308768 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874514414048 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11604] ppid=11588 vsize=14082940 memory=140324123162240 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11604/stat : 11604 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308768 14420930560 7171 33554432000 4194304 4196468 140721130217936 139874513361840 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30140 KiB
[startup+0.210734 s]*
/proc/loadavg: 2.02 2.01 1.89 5/221 11604
/proc/meminfo: memFree=27168428/32770624 swapFree=67108856/67108860
[pid=11588] ppid=11585 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11588/stat : 11588 (xcsp3-exec) S 11585 11588 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105308762 115843072 364 33554432000 4194304 5098028 140725089134912 140725089133016 140242825200252 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10113024 140725089141825 140725089142025 140725089142025 140725089144778 0
/proc/11588/statm: 28282 364 306 221 0 87 0
[pid=11590] ppid=11588 vsize=14082940 memory=41180 CPUtime=0.34 cores=0,2,4,6
/proc/11590/stat : 11590 (java) S 11588 11588 5155 0 -1 1077944320 8321 0 0 0 32 2 0 0 20 0 15 0 105308762 14420930560 10295 33554432000 4194304 4196468 140721130217936 140721130200480 139875047608055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
/proc/11590/statm: 3520735 10295 3187 1 0 3483012 0
[pid=11590/tid=11591] ppid=11588 vsize=14082940 memory=5854518564242424225 CPUtime=0.19 cores=0,2,4,6
/proc/11590/task/11591/stat : 11591 (java) R 11588 11588 5155 0 -1 4202560 5415 0 0 0 18 1 0 0 20 0 15 0 105308762 14420930560 10295 33554432000 4194304 4196468 140721130217936 139875051843040 139875031688542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11592] ppid=11588 vsize=14082940 memory=3472468453018313936 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11592/stat : 11592 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308763 14420930560 10295 33554432000 4194304 4196468 140721130217936 139875006368144 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11593] ppid=11588 vsize=14082940 memory=140324123162240 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11593/stat : 11593 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308763 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874642770192 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11594] ppid=11588 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11594/stat : 11594 (java) S 11588 11588 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105308763 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874641717904 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11595] ppid=11588 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11595/stat : 11595 (java) S 11588 11588 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105308763 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874640665104 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11596] ppid=11588 vsize=14082940 memory=140324123162240 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11596/stat : 11596 (java) S 11588 11588 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105308764 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874521782896 139875047619202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11597] ppid=11588 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11597/stat : 11597 (java) S 11588 11588 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105308765 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874520728864 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11598] ppid=11588 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11598/stat : 11598 (java) S 11588 11588 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105308765 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874519676528 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11599] ppid=11588 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11599/stat : 11599 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308767 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874518624848 139875047626651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11600] ppid=11588 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11590/task/11600/stat : 11600 (java) S 11588 11588 5155 0 -1 1077944384 673 0 0 0 2 0 0 0 20 0 15 0 105308767 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874517571696 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11601] ppid=11588 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11590/task/11601/stat : 11601 (java) S 11588 11588 5155 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 15 0 105308767 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874516518896 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11602] ppid=11588 vsize=14082940 memory=140324123162240 CPUtime=0.08 cores=0,2,4,6
/proc/11590/task/11602/stat : 11602 (java) S 11588 11588 5155 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 15 0 105308767 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874515466608 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11603] ppid=11588 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11603/stat : 11603 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308768 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874514414048 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11604] ppid=11588 vsize=14082940 memory=140324123162240 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11604/stat : 11604 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308768 14420930560 10295 33554432000 4194304 4196468 140721130217936 139874513361840 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42636 KiB
[startup+0.312112 s]*
/proc/loadavg: 2.02 2.01 1.89 5/221 11604
/proc/meminfo: memFree=27162828/32770624 swapFree=67108856/67108860
[pid=11588] ppid=11585 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11588/stat : 11588 (xcsp3-exec) S 11585 11588 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105308762 115843072 364 33554432000 4194304 5098028 140725089134912 140725089133016 140242825200252 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10113024 140725089141825 140725089142025 140725089142025 140725089144778 0
/proc/11588/statm: 28282 364 306 221 0 87 0
[pid=11590] ppid=11588 vsize=14087196 memory=48096 CPUtime=0.53 cores=0,2,4,6
/proc/11590/stat : 11590 (java) S 11588 11588 5155 0 -1 1077944320 9182 0 0 0 50 3 0 0 20 0 15 0 105308762 14425288704 12024 33554432000 4194304 4196468 140721130217936 140721130200480 139875047608055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
/proc/11590/statm: 3521799 12024 3254 1 0 3483012 0
[pid=11590/tid=11591] ppid=11588 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/11590/task/11591/stat : 11591 (java) R 11588 11588 5155 0 -1 4202560 6127 0 0 0 27 2 0 0 20 0 15 0 105308762 14425288704 12024 33554432000 4194304 4196468 140721130217936 139875051839168 139875047629981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11592] ppid=11588 vsize=14087196 memory=3472468453018313936 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11592/stat : 11592 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308763 14425288704 12024 33554432000 4194304 4196468 140721130217936 139875006368144 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11593] ppid=11588 vsize=14087196 memory=140324123162240 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11593/stat : 11593 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308763 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874642770192 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11594] ppid=11588 vsize=14087196 memory=18 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11594/stat : 11594 (java) S 11588 11588 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105308763 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874641717904 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11595] ppid=11588 vsize=14087196 memory=140323963676703 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11595/stat : 11595 (java) S 11588 11588 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105308763 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874640665104 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11596] ppid=11588 vsize=14087196 memory=280647927332640 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11596/stat : 11596 (java) S 11588 11588 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105308764 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874521782896 139875047619202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11597] ppid=11588 vsize=14087196 memory=140323963653647 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11597/stat : 11597 (java) S 11588 11588 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105308765 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874520728864 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11598] ppid=11588 vsize=14087196 memory=280648086825056 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11598/stat : 11598 (java) S 11588 11588 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105308765 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874519676528 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11599] ppid=11588 vsize=14087196 memory=140323963658255 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11599/stat : 11599 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308767 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874518624848 139875047626651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11600] ppid=11588 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11590/task/11600/stat : 11600 (java) S 11588 11588 5155 0 -1 1077944384 689 0 0 0 4 0 0 0 20 0 15 0 105308767 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874517571696 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11601] ppid=11588 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/11590/task/11601/stat : 11601 (java) R 11588 11588 5155 0 -1 4202560 256 0 0 0 4 0 0 0 20 0 15 0 105308767 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874516518080 139875031996096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11602] ppid=11588 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11590/task/11602/stat : 11602 (java) S 11588 11588 5155 0 -1 1077944384 817 0 0 0 12 0 0 0 20 0 15 0 105308767 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874515466608 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11603] ppid=11588 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11603/stat : 11603 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308768 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874514414048 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11604] ppid=11588 vsize=14087196 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11604/stat : 11604 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308768 14425288704 12024 33554432000 4194304 4196468 140721130217936 139874513361840 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49552 KiB
[startup+0.701875 s]
/proc/loadavg: 2.02 2.01 1.89 6/221 11604
/proc/meminfo: memFree=27140576/32770624 swapFree=67108856/67108860
[pid=11588] ppid=11585 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11588/stat : 11588 (xcsp3-exec) S 11585 11588 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105308762 115843072 364 33554432000 4194304 5098028 140725089134912 140725089133016 140242825200252 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10113024 140725089141825 140725089142025 140725089142025 140725089144778 0
/proc/11588/statm: 28282 364 306 221 0 87 0
[pid=11590] ppid=11588 vsize=14089320 memory=95584 CPUtime=1.75 cores=0,2,4,6
/proc/11590/stat : 11590 (java) S 11588 11588 5155 0 -1 1077944320 12855 0 0 0 171 4 0 0 20 0 15 0 105308762 14427463680 23896 33554432000 4194304 4196468 140721130217936 140721130200480 139875047608055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
/proc/11590/statm: 3522330 23896 3354 1 0 3483524 0
[pid=11590/tid=11591] ppid=11588 vsize=14089320 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/11590/task/11591/stat : 11591 (java) R 11588 11588 5155 0 -1 4202560 6703 0 0 0 64 3 0 0 20 0 15 0 105308762 14427463680 23896 33554432000 4194304 4196468 140721130217936 139875051846240 139875047619990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11592] ppid=11588 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11592/stat : 11592 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308763 14427463680 23896 33554432000 4194304 4196468 140721130217936 139875006368144 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11593] ppid=11588 vsize=14089320 memory=7886766292050851637 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11593/stat : 11593 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308763 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874642770192 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11594] ppid=11588 vsize=14089320 memory=7450150478939308135 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11594/stat : 11594 (java) S 11588 11588 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105308763 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874641717904 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11595] ppid=11588 vsize=14089320 memory=5859273620209619044 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11595/stat : 11595 (java) S 11588 11588 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105308763 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874640665104 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11596] ppid=11588 vsize=14089320 memory=3053511329498284128 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11596/stat : 11596 (java) S 11588 11588 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105308764 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874521782896 139875047619202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11597] ppid=11588 vsize=14089320 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11597/stat : 11597 (java) S 11588 11588 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105308765 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874520728864 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11598] ppid=11588 vsize=14089320 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11598/stat : 11598 (java) S 11588 11588 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105308765 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874519676528 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11599] ppid=11588 vsize=14089320 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11599/stat : 11599 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308767 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874518624848 139875047626651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11600] ppid=11588 vsize=14089320 memory=1012 CPUtime=0.36 cores=0,2,4,6
/proc/11590/task/11600/stat : 11600 (java) R 11588 11588 5155 0 -1 1077944384 1692 0 0 0 36 0 0 0 20 0 15 0 105308767 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874517563648 139875047618261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11601] ppid=11588 vsize=14089320 memory=1948 CPUtime=0.33 cores=0,2,4,6
/proc/11590/task/11601/stat : 11601 (java) R 11588 11588 5155 0 -1 4202560 1239 0 0 0 33 0 0 0 20 0 15 0 105308767 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874516508816 139875032733325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11602] ppid=11588 vsize=14089320 memory=1188 CPUtime=0.37 cores=0,2,4,6
/proc/11590/task/11602/stat : 11602 (java) R 11588 11588 5155 0 -1 4202560 1911 0 0 0 37 0 0 0 20 0 15 0 105308767 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874515466608 139875047629402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11603] ppid=11588 vsize=14089320 memory=8448 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11603/stat : 11603 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308768 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874514414048 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11604] ppid=11588 vsize=14089320 memory=15252 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11604/stat : 11604 (java) S 11588 11588 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105308768 14427463680 23896 33554432000 4194304 4196468 140721130217936 139874513361840 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 97040 KiB
[startup+1.50703 s]
/proc/loadavg: 2.02 2.01 1.89 5/221 11604
/proc/meminfo: memFree=27078764/32770624 swapFree=67108856/67108860
[pid=11588] ppid=11585 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11588/stat : 11588 (xcsp3-exec) S 11585 11588 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105308762 115843072 364 33554432000 4194304 5098028 140725089134912 140725089133016 140242825200252 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10113024 140725089141825 140725089142025 140725089142025 140725089144778 0
/proc/11588/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/11590/task/11598/stat : 11598 (java) S 11588 11588 5155 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105308765 14429560832 101392 33554432000 4194304 4196468 140721130217936 139874519676544 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11599] ppid=11588 vsize=14091368 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11599/stat : 11599 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308767 14429560832 101392 33554432000 4194304 4196468 140721130217936 139874518624848 139875047626651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11600] ppid=11588 vsize=14091368 memory=1456 CPUtime=4.24 cores=0,2,4,6
/proc/11590/task/11600/stat : 11600 (java) S 11588 11588 5155 0 -1 1077944384 16276 0 0 0 421 3 0 0 20 0 15 0 105308767 14429560832 101392 33554432000 4194304 4196468 140721130217936 139874517571696 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11601] ppid=11588 vsize=14091368 memory=405564 CPUtime=4.96 cores=0,2,4,6
/proc/11590/task/11601/stat : 11601 (java) S 11588 11588 5155 0 -1 1077944384 14172 0 0 0 494 2 0 0 20 0 15 0 105308767 14429560832 101392 33554432000 4194304 4196468 140721130217936 139874516518896 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11602] ppid=11588 vsize=14091368 memory=15252 CPUtime=1.04 cores=0,2,4,6
/proc/11590/task/11602/stat : 11602 (java) S 11588 11588 5155 0 -1 1077944384 8736 0 0 0 101 3 0 0 20 0 15 0 105308767 14429560832 101392 33554432000 4194304 4196468 140721130217936 139874515466608 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11603] ppid=11588 vsize=14091368 memory=11860 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11603/stat : 11603 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308768 14429560832 101392 33554432000 4194304 4196468 140721130217936 139874514414048 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11604] ppid=11588 vsize=14091368 memory=5772 CPUtime=0.02 cores=0,2,4,6
/proc/11590/task/11604/stat : 11604 (java) S 11588 11588 5155 0 -1 1077944384 213 0 0 0 1 1 0 0 20 0 15 0 105308768 14429560832 101392 33554432000 4194304 4196468 140721130217936 139874513361840 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
Current children cumulated CPU time: 112.76 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 407024 KiB
[startup+162.301 s]
/proc/loadavg: 2.16 2.06 1.93 3/222 11692
/proc/meminfo: memFree=26943104/32770624 swapFree=67108856/67108860
[pid=11588] ppid=11585 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11588/stat : 11588 (xcsp3-exec) S 11585 11588 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105308762 115843072 364 33554432000 4194304 5098028 140725089134912 140725089133016 140242825200252 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10113024 140725089141825 140725089142025 140725089142025 140725089144778 0
/proc/11588/statm: 28282 364 306 221 0 87 0
[pid=11590] ppid=11588 vsize=14091368 memory=407652 CPUtime=172.84 cores=0,2,4,6
/proc/11590/stat : 11590 (java) S 11588 11588 5155 0 -1 1077944320 63059 0 0 0 17258 26 0 0 20 0 15 0 105308762 14429560832 101913 33554432000 4194304 4196468 140721130217936 140721130200480 139875047608055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
/proc/11590/statm: 3522842 101913 3421 1 0 3484036 0
[pid=11590/tid=11591] ppid=11588 vsize=14091368 memory=407652 CPUtime=162.17 cores=0,2,4,6
/proc/11590/task/11591/stat : 11591 (java) R 11588 11588 5155 0 -1 4202560 15282 0 0 0 16209 8 0 0 20 0 15 0 105308762 14429560832 101913 33554432000 4194304 4196468 140721130217936 139875051847744 139874693178694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11592] ppid=11588 vsize=14091368 memory=405572 CPUtime=0.06 cores=0,2,4,6
/proc/11590/task/11592/stat : 11592 (java) S 11588 11588 5155 0 -1 1077944384 508 0 0 0 5 1 0 0 20 0 15 0 105308763 14429560832 101913 33554432000 4194304 4196468 140721130217936 139875006368144 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11593] ppid=11588 vsize=14091368 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/11590/task/11593/stat : 11593 (java) S 11588 11588 5155 0 -1 1077944384 2229 0 0 0 5 1 0 0 20 0 15 0 105308763 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874642770192 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11594] ppid=11588 vsize=14091368 memory=407652 CPUtime=0.08 cores=0,2,4,6
/proc/11590/task/11594/stat : 11594 (java) S 11588 11588 5155 0 -1 1077944384 1680 0 0 0 7 1 0 0 20 0 15 0 105308763 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874641717904 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11595] ppid=11588 vsize=14091368 memory=407652 CPUtime=0.08 cores=0,2,4,6
/proc/11590/task/11595/stat : 11595 (java) S 11588 11588 5155 0 -1 1077944384 491 0 0 0 7 1 0 0 20 0 15 0 105308763 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874640665104 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11596] ppid=11588 vsize=14091368 memory=407652 CPUtime=0.01 cores=0,2,4,6
/proc/11590/task/11596/stat : 11596 (java) S 11588 11588 5155 0 -1 1077944384 1308 0 0 0 1 0 0 0 20 0 15 0 105308764 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874521782896 139875047619202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11597] ppid=11588 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11597/stat : 11597 (java) S 11588 11588 5155 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 105308765 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874520728928 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11598] ppid=11588 vsize=14091368 memory=407652 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11598/stat : 11598 (java) S 11588 11588 5155 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105308765 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874519676544 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11599] ppid=11588 vsize=14091368 memory=407652 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11599/stat : 11599 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308767 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874518624848 139875047626651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11600] ppid=11588 vsize=14091368 memory=280647927897872 CPUtime=4.24 cores=0,2,4,6
/proc/11590/task/11600/stat : 11600 (java) S 11588 11588 5155 0 -1 1077944384 16279 0 0 0 421 3 0 0 20 0 15 0 105308767 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874517571696 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11601] ppid=11588 vsize=14091368 memory=17360 CPUtime=4.96 cores=0,2,4,6
/proc/11590/task/11601/stat : 11601 (java) S 11588 11588 5155 0 -1 1077944384 14180 0 0 0 494 2 0 0 20 0 15 0 105308767 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874516518896 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11602] ppid=11588 vsize=14091368 memory=1780 CPUtime=1.04 cores=0,2,4,6
/proc/11590/task/11602/stat : 11602 (java) S 11588 11588 5155 0 -1 1077944384 9512 0 0 0 101 3 0 0 20 0 15 0 105308767 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874515466608 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11603] ppid=11588 vsize=14091368 memory=2092 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11603/stat : 11603 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308768 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874514414048 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11604] ppid=11588 vsize=14091368 memory=7380 CPUtime=0.05 cores=0,2,4,6
/proc/11590/task/11604/stat : 11604 (java) S 11588 11588 5155 0 -1 1077944384 217 0 0 0 2 3 0 0 20 0 15 0 105308768 14429560832 101913 33554432000 4194304 4196468 140721130217936 139874513361840 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
Current children cumulated CPU time: 172.84 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 409108 KiB
[startup+222.301 s]
/proc/loadavg: 2.01 2.04 1.93 3/222 11693
/proc/meminfo: memFree=26857964/32770624 swapFree=67108856/67108860
[pid=11588] ppid=11585 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11588/stat : 11588 (xcsp3-exec) S 11585 11588 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105308762 115843072 364 33554432000 4194304 5098028 140725089134912 140725089133016 140242825200252 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10113024 140725089141825 140725089142025 140725089142025 140725089144778 0
/proc/11588/statm: 28282 364 306 221 0 87 0
[pid=11590] ppid=11588 vsize=14091368 memory=409720 CPUtime=232.95 cores=0,2,4,6
/proc/11590/stat : 11590 (java) S 11588 11588 5155 0 -1 1077944320 67641 0 0 0 23268 27 0 0 20 0 15 0 105308762 14429560832 102430 33554432000 4194304 4196468 140721130217936 140721130200480 139875047608055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
/proc/11590/statm: 3522842 102430 3421 1 0 3484036 0
[pid=11590/tid=11591] ppid=11588 vsize=14091368 memory=409720 CPUtime=222.16 cores=0,2,4,6
/proc/11590/task/11591/stat : 11591 (java) R 11588 11588 5155 0 -1 4202560 16006 0 0 0 22208 8 0 0 20 0 15 0 105308762 14429560832 102430 33554432000 4194304 4196468 140721130217936 139875051847536 139874688017728 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11592] ppid=11588 vsize=14091368 memory=4036 CPUtime=0.07 cores=0,2,4,6
/proc/11590/task/11592/stat : 11592 (java) S 11588 11588 5155 0 -1 1077944384 559 0 0 0 6 1 0 0 20 0 15 0 105308763 14429560832 102430 33554432000 4194304 4196468 140721130217936 139875006368144 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11593] ppid=11588 vsize=14091368 memory=409720 CPUtime=0.08 cores=0,2,4,6
/proc/11590/task/11593/stat : 11593 (java) S 11588 11588 5155 0 -1 1077944384 2278 0 0 0 7 1 0 0 20 0 15 0 105308763 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874642770192 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11594] ppid=11588 vsize=14091368 memory=409720 CPUtime=0.09 cores=0,2,4,6
/proc/11590/task/11594/stat : 11594 (java) S 11588 11588 5155 0 -1 1077944384 1776 0 0 0 8 1 0 0 20 0 15 0 105308763 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874641717904 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11595] ppid=11588 vsize=14091368 memory=409720 CPUtime=0.09 cores=0,2,4,6
/proc/11590/task/11595/stat : 11595 (java) S 11588 11588 5155 0 -1 1077944384 1580 0 0 0 8 1 0 0 20 0 15 0 105308763 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874640665104 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11596] ppid=11588 vsize=14091368 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11590/task/11596/stat : 11596 (java) S 11588 11588 5155 0 -1 1077944384 1511 0 0 0 2 0 0 0 20 0 15 0 105308764 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874521782896 139875047619202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11597] ppid=11588 vsize=14091368 memory=7230923198005535850 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11597/stat : 11597 (java) S 11588 11588 5155 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 105308765 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874520728928 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11598] ppid=11588 vsize=14091368 memory=51955011422442 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11598/stat : 11598 (java) S 11588 11588 5155 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105308765 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874519676544 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11599] ppid=11588 vsize=14091368 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11599/stat : 11599 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308767 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874518624848 139875047626651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11600] ppid=11588 vsize=14091368 memory=409720 CPUtime=4.26 cores=0,2,4,6
/proc/11590/task/11600/stat : 11600 (java) S 11588 11588 5155 0 -1 1077944384 17149 0 0 0 423 3 0 0 20 0 15 0 105308767 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874517571696 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11601] ppid=11588 vsize=14091368 memory=409720 CPUtime=4.98 cores=0,2,4,6
/proc/11590/task/11601/stat : 11601 (java) S 11588 11588 5155 0 -1 1077944384 15644 0 0 0 496 2 0 0 20 0 15 0 105308767 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874516518896 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11602] ppid=11588 vsize=14091368 memory=409720 CPUtime=1.04 cores=0,2,4,6
/proc/11590/task/11602/stat : 11602 (java) S 11588 11588 5155 0 -1 1077944384 9516 0 0 0 101 3 0 0 20 0 15 0 105308767 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874515466608 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11603] ppid=11588 vsize=14091368 memory=2856 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11603/stat : 11603 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308768 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874514414048 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11604] ppid=11588 vsize=14091368 memory=1456 CPUtime=0.07 cores=0,2,4,6
/proc/11590/task/11604/stat : 11604 (java) S 11588 11588 5155 0 -1 1077944384 249 0 0 0 3 4 0 0 20 0 15 0 105308768 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874513361840 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
Current children cumulated CPU time: 232.95 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 411176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+241.401 s]
/proc/loadavg: 2.08 2.05 1.93 3/222 11693
/proc/meminfo: memFree=26849748/32770624 swapFree=67108856/67108860
[pid=11588] ppid=11585 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11588/stat : 11588 (xcsp3-exec) S 11585 11588 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105308762 115843072 364 33554432000 4194304 5098028 140725089134912 140725089133016 140242825200252 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10113024 140725089141825 140725089142025 140725089142025 140725089144778 0
/proc/11588/statm: 28282 364 306 221 0 87 0
[pid=11590] ppid=11588 vsize=14091368 memory=409720 CPUtime=252.06 cores=0,2,4,6
/proc/11590/stat : 11590 (java) S 11588 11588 5155 0 -1 1077944320 67786 0 0 0 25179 27 0 0 20 0 15 0 105308762 14429560832 102430 33554432000 4194304 4196468 140721130217936 140721130200480 139875047608055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
/proc/11590/statm: 3522842 102430 3421 1 0 3484036 0
[pid=11590/tid=11591] ppid=11588 vsize=14091368 memory=13565981461055742 CPUtime=241.26 cores=0,2,4,6
/proc/11590/task/11591/stat : 11591 (java) R 11588 11588 5155 0 -1 4202560 16101 0 0 0 24118 8 0 0 20 0 15 0 105308762 14429560832 102430 33554432000 4194304 4196468 140721130217936 139875051847032 139874685394899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11592] ppid=11588 vsize=14091368 memory=8448 CPUtime=0.07 cores=0,2,4,6
/proc/11590/task/11592/stat : 11592 (java) S 11588 11588 5155 0 -1 1077944384 559 0 0 0 6 1 0 0 20 0 15 0 105308763 14429560832 102430 33554432000 4194304 4196468 140721130217936 139875006368144 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11593] ppid=11588 vsize=14091368 memory=627459 CPUtime=0.08 cores=0,2,4,6
/proc/11590/task/11593/stat : 11593 (java) S 11588 11588 5155 0 -1 1077944384 2278 0 0 0 7 1 0 0 20 0 15 0 105308763 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874642770192 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11594] ppid=11588 vsize=14091368 memory=9209 CPUtime=0.09 cores=0,2,4,6
/proc/11590/task/11594/stat : 11594 (java) S 11588 11588 5155 0 -1 1077944384 1776 0 0 0 8 1 0 0 20 0 15 0 105308763 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874641717904 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11595] ppid=11588 vsize=14091368 memory=17487 CPUtime=0.09 cores=0,2,4,6
/proc/11590/task/11595/stat : 11595 (java) S 11588 11588 5155 0 -1 1077944384 1580 0 0 0 8 1 0 0 20 0 15 0 105308763 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874640665104 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11596] ppid=11588 vsize=14091368 memory=3458 CPUtime=0.02 cores=0,2,4,6
/proc/11590/task/11596/stat : 11596 (java) S 11588 11588 5155 0 -1 1077944384 1511 0 0 0 2 0 0 0 20 0 15 0 105308764 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874521782896 139875047619202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11597] ppid=11588 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11597/stat : 11597 (java) S 11588 11588 5155 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 105308765 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874520728928 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11598] ppid=11588 vsize=14091368 memory=300 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11598/stat : 11598 (java) S 11588 11588 5155 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105308765 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874519676544 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11599] ppid=11588 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11599/stat : 11599 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308767 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874518624848 139875047626651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11600] ppid=11588 vsize=14091368 memory=0 CPUtime=4.26 cores=0,2,4,6
/proc/11590/task/11600/stat : 11600 (java) S 11588 11588 5155 0 -1 1077944384 17149 0 0 0 423 3 0 0 20 0 15 0 105308767 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874517571696 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11601] ppid=11588 vsize=14091368 memory=171172429 CPUtime=4.98 cores=0,2,4,6
/proc/11590/task/11601/stat : 11601 (java) S 11588 11588 5155 0 -1 1077944384 15644 0 0 0 496 2 0 0 20 0 15 0 105308767 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874516518896 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11602] ppid=11588 vsize=14091368 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/11590/task/11602/stat : 11602 (java) S 11588 11588 5155 0 -1 1077944384 9566 0 0 0 101 3 0 0 20 0 15 0 105308767 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874515466608 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11603] ppid=11588 vsize=14091368 memory=12 CPUtime=0 cores=0,2,4,6
/proc/11590/task/11603/stat : 11603 (java) S 11588 11588 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105308768 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874514414048 139875047618261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
[pid=11590/tid=11604] ppid=11588 vsize=14091368 memory=2 CPUtime=0.08 cores=0,2,4,6
/proc/11590/task/11604/stat : 11604 (java) S 11588 11588 5155 0 -1 1077944384 249 0 0 0 4 4 0 0 20 0 15 0 105308768 14429560832 102430 33554432000 4194304 4196468 140721130217936 139874513361840 139875047619202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140721130222732 140721130222902 140721130222902 140721130225615 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 411176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+241.41 s]
# the end of solver process 11588 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002233 s
[startup+241.418 s]
# the end of solver process 11590 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.8 s, system=0.292379 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 241.418
CPU time (s): 252.092
CPU user time (s): 251.8
CPU system time (s): 0.292379
CPU usage (%): 104.422
Max. virtual memory (cumulated for all children) (KiB): 14206572
Max. memory (cumulated for all children) (KiB): 411176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.8
system time used= 0.292379
maximum resident set size= 410216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68703
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8618
involuntary context switches= 183
# summary of solver processes directly reported to runsolver:
# pid: 11588,11590
# total CPU time (s): 252.092
# total CPU user time (s): 251.8
# total CPU system time (s): 0.292379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46227 second user time and 2.34687 second system time
The end