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 (12883 MiB free)
memory of node 1: 16384 MiB (13657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301261-1532877364/watcher-4301261-1532877364 -o /tmp/evaluation-result-4301261-1532877364/solver-4301261-1532877364 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10018 --watchdog 312 HOME/xcsp3-exec -seed 1168582228 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301261-1532877364.xml
running on 4 cores: 1,3,5,7
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=11508, runsolver pid=11505
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.08 2.01 1.88 4/221 11524
/proc/meminfo: memFree=27160848/32770624 swapFree=67108856/67108860
[pid=11508] ppid=11505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105299599 115843072 364 33554432000 4194304 5098028 140725188810080 140725188808184 140081342366332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14663680 140725188813888 140725188814089 140725188814089 140725188816842 0
/proc/11508/statm: 28282 364 306 221 0 87 0
[pid=11510] ppid=11508 vsize=14082940 memory=28000 CPUtime=0.09 cores=1,3,5,7
/proc/11510/stat : 11510 (java) S 11508 11508 5155 0 -1 1077944320 5324 0 0 0 9 0 0 0 20 0 15 0 105299599 14420930560 7000 33554432000 4194304 4196468 140721176562848 140721176545392 139748973039351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
/proc/11510/statm: 3520735 7000 2928 1 0 3483012 0
[pid=11510/tid=11511] ppid=11508 vsize=14082940 memory=8514701219880730790 CPUtime=0.07 cores=1,3,5,7
/proc/11510/task/11511/stat : 11511 (java) R 11508 11508 5155 0 -1 4202560 3465 0 0 0 7 0 0 0 20 0 15 0 105299599 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748977271824 139748973061277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11512] ppid=11508 vsize=14082940 memory=3472468540783469776 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299600 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748910639504 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11513] ppid=11508 vsize=14082940 memory=140411888318080 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105299600 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748909586704 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11514] ppid=11508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299600 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748566375056 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11515] ppid=11508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105299600 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748565322256 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11516] ppid=11508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105299601 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748514466416 139748973050498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11517] ppid=11508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105299602 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748513412384 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11518] ppid=11508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105299602 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748512360048 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11519] ppid=11508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299604 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748511308368 139748973057947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11520] ppid=11508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 5155 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 105299604 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748510255216 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11521] ppid=11508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299604 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748509202416 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11522] ppid=11508 vsize=14082940 memory=140411888318080 CPUtime=0.01 cores=1,3,5,7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 5155 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 15 0 105299604 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748508150128 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11523] ppid=11508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299605 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748507097568 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11524] ppid=11508 vsize=14082940 memory=140411888318080 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299606 14420930560 7000 33554432000 4194304 4196468 140721176562848 139748437912496 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29456 KiB
[startup+0.2127 s]*
/proc/loadavg: 2.08 2.01 1.88 3/221 11524
/proc/meminfo: memFree=27149188/32770624 swapFree=67108856/67108860
[pid=11508] ppid=11505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105299599 115843072 364 33554432000 4194304 5098028 140725188810080 140725188808184 140081342366332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14663680 140725188813888 140725188814089 140725188814089 140725188816842 0
/proc/11508/statm: 28282 364 306 221 0 87 0
[pid=11510] ppid=11508 vsize=14082940 memory=40284 CPUtime=0.32 cores=1,3,5,7
/proc/11510/stat : 11510 (java) S 11508 11508 5155 0 -1 1077944320 8147 0 0 0 31 1 0 0 20 0 15 0 105299599 14420930560 10071 33554432000 4194304 4196468 140721176562848 140721176545392 139748973039351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
/proc/11510/statm: 3520735 10071 3198 1 0 3483012 0
[pid=11510/tid=11511] ppid=11508 vsize=14082940 memory=5854518564242424225 CPUtime=0.19 cores=1,3,5,7
/proc/11510/task/11511/stat : 11511 (java) R 11508 11508 5155 0 -1 4202560 5365 0 0 0 18 1 0 0 20 0 15 0 105299599 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748977277536 139748957119838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11512] ppid=11508 vsize=14082940 memory=3472468540783469776 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299600 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748910639504 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11513] ppid=11508 vsize=14082940 memory=140411888318080 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105299600 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748909586704 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11514] ppid=11508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299600 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748566375056 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11515] ppid=11508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105299600 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748565322256 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11516] ppid=11508 vsize=14082940 memory=140411888318080 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105299601 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748514466416 139748973050498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11517] ppid=11508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105299602 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748513412384 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11518] ppid=11508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105299602 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748512360048 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11519] ppid=11508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299604 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748511308368 139748973057947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11520] ppid=11508 vsize=14082940 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 5155 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 105299604 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748510255216 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11521] ppid=11508 vsize=14082940 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 5155 0 -1 1077944384 300 0 0 0 3 0 0 0 20 0 15 0 105299604 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748509202416 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11522] ppid=11508 vsize=14082940 memory=140411888318080 CPUtime=0.07 cores=1,3,5,7
/proc/11510/task/11522/stat : 11522 (java) R 11508 11508 5155 0 -1 4202560 783 0 0 0 7 0 0 0 20 0 15 0 105299604 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748508150128 139748954624282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11523] ppid=11508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299605 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748507097568 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11524] ppid=11508 vsize=14082940 memory=140411888318080 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299606 14420930560 10071 33554432000 4194304 4196468 140721176562848 139748437912496 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41740 KiB
[startup+0.310712 s]*
/proc/loadavg: 2.08 2.01 1.88 4/221 11524
/proc/meminfo: memFree=27143232/32770624 swapFree=67108856/67108860
[pid=11508] ppid=11505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105299599 115843072 364 33554432000 4194304 5098028 140725188810080 140725188808184 140081342366332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14663680 140725188813888 140725188814089 140725188814089 140725188816842 0
/proc/11508/statm: 28282 364 306 221 0 87 0
[pid=11510] ppid=11508 vsize=14087196 memory=47020 CPUtime=0.5 cores=1,3,5,7
/proc/11510/stat : 11510 (java) S 11508 11508 5155 0 -1 1077944320 8921 0 0 0 48 2 0 0 20 0 15 0 105299599 14425288704 11755 33554432000 4194304 4196468 140721176562848 140721176545392 139748973039351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
/proc/11510/statm: 3521799 11755 3245 1 0 3483012 0
[pid=11510/tid=11511] ppid=11508 vsize=14087196 memory=8514701219881125278 CPUtime=0.28 cores=1,3,5,7
/proc/11510/task/11511/stat : 11511 (java) R 11508 11508 5155 0 -1 4202560 5947 0 0 0 27 1 0 0 20 0 15 0 105299599 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748977270464 139748965717365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11512] ppid=11508 vsize=14087196 memory=3472468540783469776 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299600 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748910639504 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11513] ppid=11508 vsize=14087196 memory=140411888318080 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105299600 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748909586704 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11514] ppid=11508 vsize=14087196 memory=18 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299600 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748566375056 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11515] ppid=11508 vsize=14087196 memory=140411742070815 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105299600 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748565322256 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11516] ppid=11508 vsize=14087196 memory=280823484120864 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105299601 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748514466416 139748973050498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11517] ppid=11508 vsize=14087196 memory=140411742047759 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105299602 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748513412384 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11518] ppid=11508 vsize=14087196 memory=280823630375008 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105299602 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748512360048 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11519] ppid=11508 vsize=14087196 memory=140411742052367 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299604 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748511308368 139748973057947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11520] ppid=11508 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11510/task/11520/stat : 11520 (java) R 11508 11508 5155 0 -1 4202560 419 0 0 0 3 0 0 0 20 0 15 0 105299604 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748510255216 139748959102576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11521] ppid=11508 vsize=14087196 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 5155 0 -1 1077944384 306 0 0 0 5 0 0 0 20 0 15 0 105299604 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748509202416 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11522] ppid=11508 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11510/task/11522/stat : 11522 (java) R 11508 11508 5155 0 -1 1077944384 944 0 0 0 12 0 0 0 20 0 15 0 105299604 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748508150128 139748973050498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11523] ppid=11508 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299605 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748507097568 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11524] ppid=11508 vsize=14087196 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299606 14425288704 11755 33554432000 4194304 4196468 140721176562848 139748437912496 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48476 KiB
[startup+0.703653 s]
/proc/loadavg: 2.08 2.01 1.88 4/221 11524
/proc/meminfo: memFree=27120840/32770624 swapFree=67108856/67108860
[pid=11508] ppid=11505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105299599 115843072 364 33554432000 4194304 5098028 140725188810080 140725188808184 140081342366332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14663680 140725188813888 140725188814089 140725188814089 140725188816842 0
/proc/11508/statm: 28282 364 306 221 0 87 0
[pid=11510] ppid=11508 vsize=14089320 memory=95156 CPUtime=1.71 cores=1,3,5,7
/proc/11510/stat : 11510 (java) S 11508 11508 5155 0 -1 1077944320 12744 0 0 0 167 4 0 0 20 0 15 0 105299599 14427463680 23789 33554432000 4194304 4196468 140721176562848 140721176545392 139748973039351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
/proc/11510/statm: 3522330 23789 3351 1 0 3483524 0
[pid=11510/tid=11511] ppid=11508 vsize=14089320 memory=5795117241467496816 CPUtime=0.66 cores=1,3,5,7
/proc/11510/task/11511/stat : 11511 (java) R 11508 11508 5155 0 -1 4202560 6665 0 0 0 63 3 0 0 20 0 15 0 105299599 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748977276304 139748590045272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11512] ppid=11508 vsize=14089320 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299600 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748910639504 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11513] ppid=11508 vsize=14089320 memory=4638778428397932880 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105299600 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748909586704 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11514] ppid=11508 vsize=14089320 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299600 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748566375056 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11515] ppid=11508 vsize=14089320 memory=-7395679465411340910 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105299600 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748565322256 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11516] ppid=11508 vsize=14089320 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105299601 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748514466416 139748973050498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11517] ppid=11508 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105299602 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748513412384 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11518] ppid=11508 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105299602 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748512360048 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11519] ppid=11508 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299604 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748511308368 139748973057947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11520] ppid=11508 vsize=14089320 memory=30504 CPUtime=0.33 cores=1,3,5,7
/proc/11510/task/11520/stat : 11520 (java) R 11508 11508 5155 0 -1 4202560 1393 0 0 0 33 0 0 0 20 0 15 0 105299604 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748510242416 139748952694576 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11521] ppid=11508 vsize=14089320 memory=1244 CPUtime=0.33 cores=1,3,5,7
/proc/11510/task/11521/stat : 11521 (java) R 11508 11508 5155 0 -1 4202560 1425 0 0 0 33 0 0 0 20 0 15 0 105299604 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748509183432 139748956536135 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11522] ppid=11508 vsize=14089320 memory=2268 CPUtime=0.36 cores=1,3,5,7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 5155 0 -1 1077944384 1952 0 0 0 36 0 0 0 20 0 15 0 105299604 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748508150128 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11523] ppid=11508 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299605 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748507097568 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11524] ppid=11508 vsize=14089320 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105299606 14427463680 23789 33554432000 4194304 4196468 140721176562848 139748437912496 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 96612 KiB
[startup+1.5017 s]
/proc/loadavg: 2.08 2.01 1.88 7/221 11524
/proc/meminfo: memFree=27054096/32770624 swapFree=67108856/67108860
[pid=11508] ppid=11505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105299599 115843072 364 33554432000 4194304 5098028 140725188810080 140725188808184 140081342366332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14663680 140725188813888 140725188814089 140725188814089 140725188816842 0
/proc/11508/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 5155 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 105299602 14429560832 70650 33554432000 4194304 4196468 140721176562848 139748512360048 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11519] ppid=11508 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299604 14429560832 70650 33554432000 4194304 4196468 140721176562848 139748511308368 139748973057947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11520] ppid=11508 vsize=14091368 memory=282572 CPUtime=4.05 cores=1,3,5,7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 5155 0 -1 1077944384 17466 0 0 0 403 2 0 0 20 0 15 0 105299604 14429560832 70650 33554432000 4194304 4196468 140721176562848 139748510255216 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11521] ppid=11508 vsize=14091368 memory=1 CPUtime=3.92 cores=1,3,5,7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 5155 0 -1 1077944384 15519 0 0 0 389 3 0 0 20 0 15 0 105299604 14429560832 70650 33554432000 4194304 4196468 140721176562848 139748509202416 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11522] ppid=11508 vsize=14091368 memory=1 CPUtime=0.99 cores=1,3,5,7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 5155 0 -1 1077944384 9103 0 0 0 97 2 0 0 20 0 15 0 105299604 14429560832 70650 33554432000 4194304 4196468 140721176562848 139748508150128 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11523] ppid=11508 vsize=14091368 memory=140411742521048 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299605 14429560832 70650 33554432000 4194304 4196468 140721176562848 139748507097568 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11524] ppid=11508 vsize=14091368 memory=9169 CPUtime=0.01 cores=1,3,5,7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 5155 0 -1 1077944384 602 0 0 0 0 1 0 0 20 0 15 0 105299606 14429560832 70650 33554432000 4194304 4196468 140721176562848 139748437912496 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
Current children cumulated CPU time: 111.41 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 284056 KiB
[startup+162.301 s]
/proc/loadavg: 2.06 2.04 1.91 3/222 11606
/proc/meminfo: memFree=26837980/32770624 swapFree=67108856/67108860
[pid=11508] ppid=11505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105299599 115843072 364 33554432000 4194304 5098028 140725188810080 140725188808184 140081342366332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14663680 140725188813888 140725188814089 140725188814089 140725188816842 0
/proc/11508/statm: 28282 364 306 221 0 87 0
[pid=11510] ppid=11508 vsize=14091368 memory=282628 CPUtime=171.48 cores=1,3,5,7
/proc/11510/stat : 11510 (java) S 11508 11508 5155 0 -1 1077944320 64036 0 0 0 17126 22 0 0 20 0 15 0 105299599 14429560832 70657 33554432000 4194304 4196468 140721176562848 140721176545392 139748973039351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
/proc/11510/statm: 3522842 70657 3420 1 0 3484036 0
[pid=11510/tid=11511] ppid=11508 vsize=14091368 memory=282628 CPUtime=162.19 cores=1,3,5,7
/proc/11510/task/11511/stat : 11511 (java) R 11508 11508 5155 0 -1 4202560 13629 0 0 0 16214 5 0 0 20 0 15 0 105299599 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748977276176 139748596767936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11512] ppid=11508 vsize=14091368 memory=282628 CPUtime=0.03 cores=1,3,5,7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 5155 0 -1 1077944384 489 0 0 0 2 1 0 0 20 0 15 0 105299600 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748910639504 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11513] ppid=11508 vsize=14091368 memory=282628 CPUtime=0.04 cores=1,3,5,7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 5155 0 -1 1077944384 415 0 0 0 3 1 0 0 20 0 15 0 105299600 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748909586704 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11514] ppid=11508 vsize=14091368 memory=4616 CPUtime=0.04 cores=1,3,5,7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 5155 0 -1 1077944384 219 0 0 0 3 1 0 0 20 0 15 0 105299600 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748566375056 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11515] ppid=11508 vsize=14091368 memory=1388 CPUtime=0.04 cores=1,3,5,7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 5155 0 -1 1077944384 1687 0 0 0 3 1 0 0 20 0 15 0 105299600 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748565322256 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11516] ppid=11508 vsize=14091368 memory=248928 CPUtime=0.01 cores=1,3,5,7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 5155 0 -1 1077944384 1029 0 0 0 1 0 0 0 20 0 15 0 105299601 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748514466416 139748973050498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11517] ppid=11508 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 5155 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105299602 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748513412384 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11518] ppid=11508 vsize=14091368 memory=2268 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 5155 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 105299602 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748512360048 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11519] ppid=11508 vsize=14091368 memory=282628 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299604 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748511308368 139748973057947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11520] ppid=11508 vsize=14091368 memory=1456 CPUtime=4.07 cores=1,3,5,7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 5155 0 -1 1077944384 18735 0 0 0 405 2 0 0 20 0 15 0 105299604 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748510255216 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11521] ppid=11508 vsize=14091368 memory=282628 CPUtime=3.94 cores=1,3,5,7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 5155 0 -1 1077944384 15946 0 0 0 391 3 0 0 20 0 15 0 105299604 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748509202416 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11522] ppid=11508 vsize=14091368 memory=1232 CPUtime=0.99 cores=1,3,5,7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 5155 0 -1 1077944384 9907 0 0 0 97 2 0 0 20 0 15 0 105299604 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748508150128 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11523] ppid=11508 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299605 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748507097568 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11524] ppid=11508 vsize=14091368 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 5155 0 -1 1077944384 636 0 0 0 0 2 0 0 20 0 15 0 105299606 14429560832 70657 33554432000 4194304 4196468 140721176562848 139748437912496 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
Current children cumulated CPU time: 171.48 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 284084 KiB
[startup+222.301 s]
/proc/loadavg: 2.02 2.03 1.91 3/222 11607
/proc/meminfo: memFree=26751996/32770624 swapFree=67108856/67108860
[pid=11508] ppid=11505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105299599 115843072 364 33554432000 4194304 5098028 140725188810080 140725188808184 140081342366332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14663680 140725188813888 140725188814089 140725188814089 140725188816842 0
/proc/11508/statm: 28282 364 306 221 0 87 0
[pid=11510] ppid=11508 vsize=14091368 memory=333828 CPUtime=231.5 cores=1,3,5,7
/proc/11510/stat : 11510 (java) S 11508 11508 5155 0 -1 1077944320 65000 0 0 0 23127 23 0 0 20 0 15 0 105299599 14429560832 83457 33554432000 4194304 4196468 140721176562848 140721176545392 139748973039351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
/proc/11510/statm: 3522842 83457 3420 1 0 3484036 0
[pid=11510/tid=11511] ppid=11508 vsize=14091368 memory=303108 CPUtime=222.19 cores=1,3,5,7
/proc/11510/task/11511/stat : 11511 (java) R 11508 11508 5155 0 -1 4202560 14210 0 0 0 22213 6 0 0 20 0 15 0 105299599 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748977276840 139748957611652 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11512] ppid=11508 vsize=14091368 memory=282628 CPUtime=0.03 cores=1,3,5,7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 5155 0 -1 1077944384 489 0 0 0 2 1 0 0 20 0 15 0 105299600 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748910639504 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11513] ppid=11508 vsize=14091368 memory=301060 CPUtime=0.04 cores=1,3,5,7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 5155 0 -1 1077944384 415 0 0 0 3 1 0 0 20 0 15 0 105299600 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748909586704 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11514] ppid=11508 vsize=14091368 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 5155 0 -1 1077944384 219 0 0 0 3 1 0 0 20 0 15 0 105299600 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748566375056 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11515] ppid=11508 vsize=14091368 memory=329732 CPUtime=0.04 cores=1,3,5,7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 5155 0 -1 1077944384 1687 0 0 0 3 1 0 0 20 0 15 0 105299600 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748565322256 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11516] ppid=11508 vsize=14091368 memory=333828 CPUtime=0.01 cores=1,3,5,7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 5155 0 -1 1077944384 1029 0 0 0 1 0 0 0 20 0 15 0 105299601 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748514466416 139748973050498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11517] ppid=11508 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 5155 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105299602 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748513412384 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11518] ppid=11508 vsize=14091368 memory=333828 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 5155 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 105299602 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748512360048 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11519] ppid=11508 vsize=14091368 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299604 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748511308368 139748973057947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11520] ppid=11508 vsize=14091368 memory=331780 CPUtime=4.07 cores=1,3,5,7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 5155 0 -1 1077944384 18840 0 0 0 405 2 0 0 20 0 15 0 105299604 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748510255216 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11521] ppid=11508 vsize=14091368 memory=1456 CPUtime=3.94 cores=1,3,5,7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 5155 0 -1 1077944384 16197 0 0 0 391 3 0 0 20 0 15 0 105299604 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748509202416 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11522] ppid=11508 vsize=14091368 memory=16244 CPUtime=0.99 cores=1,3,5,7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 5155 0 -1 1077944384 9907 0 0 0 97 2 0 0 20 0 15 0 105299604 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748508150128 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11523] ppid=11508 vsize=14091368 memory=333828 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299605 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748507097568 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11524] ppid=11508 vsize=14091368 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 5155 0 -1 1077944384 663 0 0 0 1 3 0 0 20 0 15 0 105299606 14429560832 83457 33554432000 4194304 4196468 140721176562848 139748437912496 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
Current children cumulated CPU time: 231.5 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 335284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+242.801 s]
/proc/loadavg: 2.02 2.03 1.91 3/222 11614
/proc/meminfo: memFree=26701104/32770624 swapFree=67108856/67108860
[pid=11508] ppid=11505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105299599 115843072 364 33554432000 4194304 5098028 140725188810080 140725188808184 140081342366332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14663680 140725188813888 140725188814089 140725188814089 140725188816842 0
/proc/11508/statm: 28282 364 306 221 0 87 0
[pid=11510] ppid=11508 vsize=14091368 memory=382980 CPUtime=252.01 cores=1,3,5,7
/proc/11510/stat : 11510 (java) S 11508 11508 5155 0 -1 1077944320 66518 0 0 0 25177 24 0 0 20 0 15 0 105299599 14429560832 95745 33554432000 4194304 4196468 140721176562848 140721176545392 139748973039351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
/proc/11510/statm: 3522842 95745 3420 1 0 3484036 0
[pid=11510/tid=11511] ppid=11508 vsize=14091368 memory=13565981461055742 CPUtime=242.69 cores=1,3,5,7
/proc/11510/task/11511/stat : 11511 (java) R 11508 11508 5155 0 -1 4202560 14501 0 0 0 24262 7 0 0 20 0 15 0 105299599 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748977278296 139748596335182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11512] ppid=11508 vsize=14091368 memory=4312 CPUtime=0.03 cores=1,3,5,7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 5155 0 -1 1077944384 489 0 0 0 2 1 0 0 20 0 15 0 105299600 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748910639504 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11513] ppid=11508 vsize=14091368 memory=2092 CPUtime=0.04 cores=1,3,5,7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 5155 0 -1 1077944384 415 0 0 0 3 1 0 0 20 0 15 0 105299600 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748909586704 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11514] ppid=11508 vsize=14091368 memory=7380 CPUtime=0.04 cores=1,3,5,7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 5155 0 -1 1077944384 219 0 0 0 3 1 0 0 20 0 15 0 105299600 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748566375056 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11515] ppid=11508 vsize=14091368 memory=836 CPUtime=0.04 cores=1,3,5,7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 5155 0 -1 1077944384 1687 0 0 0 3 1 0 0 20 0 15 0 105299600 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748565322256 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11516] ppid=11508 vsize=14091368 memory=1796 CPUtime=0.01 cores=1,3,5,7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 5155 0 -1 1077944384 1076 0 0 0 1 0 0 0 20 0 15 0 105299601 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748514466416 139748973050498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11517] ppid=11508 vsize=14091368 memory=916 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 5155 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105299602 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748513412384 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11518] ppid=11508 vsize=14091368 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 5155 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 105299602 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748512360048 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11519] ppid=11508 vsize=14091368 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299604 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748511308368 139748973057947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11520] ppid=11508 vsize=14091368 memory=2700 CPUtime=4.07 cores=1,3,5,7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 5155 0 -1 1077944384 18843 0 0 0 405 2 0 0 20 0 15 0 105299604 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748510255216 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11521] ppid=11508 vsize=14091368 memory=2580 CPUtime=3.94 cores=1,3,5,7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 5155 0 -1 1077944384 17043 0 0 0 391 3 0 0 20 0 15 0 105299604 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748509202416 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11522] ppid=11508 vsize=14091368 memory=1404 CPUtime=0.99 cores=1,3,5,7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 5155 0 -1 1077944384 10234 0 0 0 97 2 0 0 20 0 15 0 105299604 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748508150128 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11523] ppid=11508 vsize=14091368 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105299605 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748507097568 139748973049557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
[pid=11510/tid=11524] ppid=11508 vsize=14091368 memory=312437431163158841 CPUtime=0.05 cores=1,3,5,7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 5155 0 -1 1077944384 667 0 0 0 2 3 0 0 20 0 15 0 105299606 14429560832 95745 33554432000 4194304 4196468 140721176562848 139748437912496 139748973050498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 23130112 140721176568972 140721176569142 140721176569142 140721176571855 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 384436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+242.81 s]
# the end of solver process 11508 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001132 s, system=0.001132 s
[startup+242.817 s]
# the end of solver process 11510 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.782 s, system=0.254304 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): 242.817
CPU time (s): 252.036
CPU user time (s): 251.782
CPU system time (s): 0.254304
CPU usage (%): 103.797
Max. virtual memory (cumulated for all children) (KiB): 14207572
Max. memory (cumulated for all children) (KiB): 384436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.782
system time used= 0.254304
maximum resident set size= 387628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8512
involuntary context switches= 172
# summary of solver processes directly reported to runsolver:
# pid: 11508,11510
# total CPU time (s): 252.036
# total CPU user time (s): 251.782
# total CPU system time (s): 0.254304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30241 second user time and 2.31793 second system time
The end