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 (10695 MiB free)
memory of node 1: 16384 MiB (12015 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302167-1532889259/watcher-4302167-1532889259 -o /tmp/evaluation-result-4302167-1532889259/solver-4302167-1532889259 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6427 --watchdog 312 HOME/xcsp3-exec -seed 840785725 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302167-1532889259.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
Current StackSize limit: 8192 KiB
solver pid=16214, runsolver pid=16211
[startup+0.100125 s]*
/proc/loadavg: 2.05 1.99 1.91 3/217 16230
/proc/meminfo: memFree=23239268/32770624 swapFree=67108860/67108860
[pid=16214] ppid=16211 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16214/stat : 16214 (xcsp3-exec) S 16211 16214 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106489111 115843072 364 33554432000 4194304 5098028 140732435281136 140732435279240 140552357556860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29855744 140732435289153 140732435289353 140732435289353 140732435292106 0
/proc/16214/statm: 28282 364 306 221 0 87 0
[pid=16216] ppid=16214 vsize=14082940 memory=28752 CPUtime=0.12 cores=0,2,4,6
/proc/16216/stat : 16216 (java) S 16214 16214 6396 0 -1 1077944320 5545 0 0 0 11 1 0 0 20 0 15 0 106489111 14420930560 7188 33554432000 4194304 4196468 140728615839216 140728615821760 140196215258871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
/proc/16216/statm: 3520735 7188 3020 1 0 3483012 0
[pid=16216/tid=16217] ppid=16214 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/16216/task/16217/stat : 16217 (java) R 16214 16214 6396 0 -1 4202560 3559 0 0 0 8 1 0 0 20 0 15 0 106489111 14420930560 7188 33554432000 4194304 4196468 140728615839216 140196219497776 140196215280797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16218] ppid=16214 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16218/stat : 16218 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14420930560 7188 33554432000 4194304 4196468 140728615839216 140196130327696 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16219] ppid=16214 vsize=14082940 memory=140634060113536 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16219/stat : 16219 (java) S 16214 16214 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106489112 14420930560 7188 33554432000 4194304 4196468 140728615839216 140196129274896 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16220] ppid=16214 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16220/stat : 16220 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14420930560 7188 33554432000 4194304 4196468 140728615839216 140196128222096 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16221] ppid=16214 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16221/stat : 16221 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14420930560 7188 33554432000 4194304 4196468 140728615839216 140196127169296 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16222] ppid=16214 vsize=14082940 memory=140634060113536 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16222/stat : 16222 (java) S 16214 16214 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106489113 14420930560 7188 33554432000 4194304 4196468 140728615839216 140195396139376 140196215270018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16223] ppid=16214 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16223/stat : 16223 (java) S 16214 16214 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106489114 14420930560 7188 33554432000 4194304 4196468 140728615839216 140195395085344 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16224] ppid=16214 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16224/stat : 16224 (java) S 16214 16214 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106489114 14420930560 7188 33554432000 4194304 4196468 140728615839216 140195394032496 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16225] ppid=16214 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16225/stat : 16225 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14420930560 7188 33554432000 4194304 4196468 140728615839216 140195392980816 140196215277467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16226] ppid=16214 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16226/stat : 16226 (java) S 16214 16214 6396 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 106489117 14420930560 7188 33554432000 4194304 4196468 140728615839216 140195391929200 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16227] ppid=16214 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16227/stat : 16227 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14420930560 7188 33554432000 4194304 4196468 140728615839216 140195390876400 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16228] ppid=16214 vsize=14082940 memory=140634060113536 CPUtime=0.01 cores=0,2,4,6
/proc/16216/task/16228/stat : 16228 (java) S 16214 16214 6396 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 106489117 14420930560 7188 33554432000 4194304 4196468 140728615839216 140195389823600 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16229] ppid=16214 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16229/stat : 16229 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14420930560 7188 33554432000 4194304 4196468 140728615839216 140195388771040 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16230] ppid=16214 vsize=14082940 memory=140634060113536 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16230/stat : 16230 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489117 14420930560 7188 33554432000 4194304 4196468 140728615839216 140195387718320 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30208 KiB
[startup+0.218335 s]*
/proc/loadavg: 2.05 1.99 1.91 3/217 16230
/proc/meminfo: memFree=23216352/32770624 swapFree=67108860/67108860
[pid=16214] ppid=16211 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16214/stat : 16214 (xcsp3-exec) S 16211 16214 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106489111 115843072 364 33554432000 4194304 5098028 140732435281136 140732435279240 140552357556860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29855744 140732435289153 140732435289353 140732435289353 140732435292106 0
/proc/16214/statm: 28282 364 306 221 0 87 0
[pid=16216] ppid=16214 vsize=14087196 memory=41380 CPUtime=0.35 cores=0,2,4,6
/proc/16216/stat : 16216 (java) S 16214 16214 6396 0 -1 1077944320 8362 0 0 0 32 3 0 0 20 0 15 0 106489111 14425288704 10345 33554432000 4194304 4196468 140728615839216 140728615821760 140196215258871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
/proc/16216/statm: 3521799 10345 3214 1 0 3483012 0
[pid=16216/tid=16217] ppid=16214 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16216/task/16217/stat : 16217 (java) R 16214 16214 6396 0 -1 4202560 5478 0 0 0 18 2 0 0 20 0 15 0 106489111 14425288704 10345 33554432000 4194304 4196468 140728615839216 140196219479864 140196199339358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16218] ppid=16214 vsize=14087196 memory=12591 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16218/stat : 16218 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14425288704 10345 33554432000 4194304 4196468 140728615839216 140196130327696 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16219] ppid=16214 vsize=14087196 memory=140634060750155 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16219/stat : 16219 (java) S 16214 16214 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106489112 14425288704 10345 33554432000 4194304 4196468 140728615839216 140196129274896 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16220] ppid=16214 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16220/stat : 16220 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14425288704 10345 33554432000 4194304 4196468 140728615839216 140196128222096 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16221] ppid=16214 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16221/stat : 16221 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14425288704 10345 33554432000 4194304 4196468 140728615839216 140196127169296 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16222] ppid=16214 vsize=14087196 memory=140634060113536 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16222/stat : 16222 (java) S 16214 16214 6396 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106489113 14425288704 10345 33554432000 4194304 4196468 140728615839216 140195396139376 140196215270018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16223] ppid=16214 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16223/stat : 16223 (java) S 16214 16214 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106489114 14425288704 10345 33554432000 4194304 4196468 140728615839216 140195395085344 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16224] ppid=16214 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16224/stat : 16224 (java) S 16214 16214 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106489114 14425288704 10345 33554432000 4194304 4196468 140728615839216 140195394032496 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16225] ppid=16214 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16225/stat : 16225 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14425288704 10345 33554432000 4194304 4196468 140728615839216 140195392980816 140196215277467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16226] ppid=16214 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16216/task/16226/stat : 16226 (java) S 16214 16214 6396 0 -1 1077944384 736 0 0 0 3 0 0 0 20 0 15 0 106489117 14425288704 10345 33554432000 4194304 4196468 140728615839216 140195391929200 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16227] ppid=16214 vsize=14087196 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16216/task/16227/stat : 16227 (java) S 16214 16214 6396 0 -1 1077944384 74 0 0 0 2 0 0 0 20 0 15 0 106489117 14425288704 10345 33554432000 4194304 4196468 140728615839216 140195390876400 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16228] ppid=16214 vsize=14087196 memory=140634060113536 CPUtime=0.08 cores=0,2,4,6
/proc/16216/task/16228/stat : 16228 (java) R 16214 16214 6396 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 15 0 106489117 14425288704 10345 33554432000 4194304 4196468 140728615839216 140195389823600 140196193363104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16229] ppid=16214 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16229/stat : 16229 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14425288704 10345 33554432000 4194304 4196468 140728615839216 140195388771040 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16230] ppid=16214 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16230/stat : 16230 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489117 14425288704 10345 33554432000 4194304 4196468 140728615839216 140195387718320 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42836 KiB
[startup+0.543988 s]*
/proc/loadavg: 2.05 1.99 1.91 5/217 16230
/proc/meminfo: memFree=23183348/32770624 swapFree=67108860/67108860
[pid=16214] ppid=16211 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16214/stat : 16214 (xcsp3-exec) S 16211 16214 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106489111 115843072 364 33554432000 4194304 5098028 140732435281136 140732435279240 140552357556860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29855744 140732435289153 140732435289353 140732435289353 140732435292106 0
/proc/16214/statm: 28282 364 306 221 0 87 0
[pid=16216] ppid=16214 vsize=14089320 memory=87512 CPUtime=1.27 cores=0,2,4,6
/proc/16216/stat : 16216 (java) S 16214 16214 6396 0 -1 1077944320 11822 0 0 0 122 5 0 0 20 0 15 0 106489111 14427463680 21878 33554432000 4194304 4196468 140728615839216 140728615821760 140196215258871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
/proc/16216/statm: 3522330 21878 3332 1 0 3483524 0
[pid=16216/tid=16217] ppid=16214 vsize=14089320 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/16216/task/16217/stat : 16217 (java) R 16214 16214 6396 0 -1 4202560 6528 0 0 0 49 3 0 0 20 0 15 0 106489111 14427463680 21878 33554432000 4194304 4196468 140728615839216 140196219495392 140195802502869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16218] ppid=16214 vsize=14089320 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16218/stat : 16218 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14427463680 21878 33554432000 4194304 4196468 140728615839216 140196130327696 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16219] ppid=16214 vsize=14089320 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16219/stat : 16219 (java) S 16214 16214 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106489112 14427463680 21878 33554432000 4194304 4196468 140728615839216 140196129274896 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16220] ppid=16214 vsize=14089320 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16220/stat : 16220 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14427463680 21878 33554432000 4194304 4196468 140728615839216 140196128222096 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16221] ppid=16214 vsize=14089320 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16221/stat : 16221 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14427463680 21878 33554432000 4194304 4196468 140728615839216 140196127169296 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16222] ppid=16214 vsize=14089320 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16222/stat : 16222 (java) S 16214 16214 6396 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106489113 14427463680 21878 33554432000 4194304 4196468 140728615839216 140195396139376 140196215270018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16223] ppid=16214 vsize=14089320 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16223/stat : 16223 (java) S 16214 16214 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106489114 14427463680 21878 33554432000 4194304 4196468 140728615839216 140195395085344 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16224] ppid=16214 vsize=14089320 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16224/stat : 16224 (java) S 16214 16214 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106489114 14427463680 21878 33554432000 4194304 4196468 140728615839216 140195394032496 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16225] ppid=16214 vsize=14089320 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16225/stat : 16225 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14427463680 21878 33554432000 4194304 4196468 140728615839216 140195392980816 140196215277467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16226] ppid=16214 vsize=14089320 memory=4628975386420216973 CPUtime=0.24 cores=0,2,4,6
/proc/16216/task/16226/stat : 16226 (java) R 16214 16214 6396 0 -1 1077944384 1692 0 0 0 24 0 0 0 20 0 15 0 106489117 14427463680 21878 33554432000 4194304 4196468 140728615839216 140195391929200 140196215270018 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16227] ppid=16214 vsize=14089320 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/16216/task/16227/stat : 16227 (java) R 16214 16214 6396 0 -1 4202560 892 0 0 0 24 0 0 0 20 0 15 0 106489117 14427463680 21878 33554432000 4194304 4196468 140728615839216 140195390866000 140196200188341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16228] ppid=16214 vsize=14089320 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/16216/task/16228/stat : 16228 (java) R 16214 16214 6396 0 -1 4202560 1405 0 0 0 23 0 0 0 20 0 15 0 106489117 14427463680 21878 33554432000 4194304 4196468 140728615839216 140195389819328 140196194276433 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16229] ppid=16214 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16229/stat : 16229 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14427463680 21878 33554432000 4194304 4196468 140728615839216 140195388771040 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16230] ppid=16214 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16230/stat : 16230 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489117 14427463680 21878 33554432000 4194304 4196468 140728615839216 140195387718320 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 88968 KiB
[startup+0.710468 s]*
/proc/loadavg: 2.05 1.99 1.91 5/217 16230
/proc/meminfo: memFree=23146896/32770624 swapFree=67108860/67108860
[pid=16214] ppid=16211 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16214/stat : 16214 (xcsp3-exec) S 16211 16214 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106489111 115843072 364 33554432000 4194304 5098028 140732435281136 140732435279240 140552357556860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29855744 140732435289153 140732435289353 140732435289353 140732435292106 0
/proc/16214/statm: 28282 364 306 221 0 87 0
[pid=16216] ppid=16214 vsize=14089320 memory=125672 CPUtime=1.82 cores=0,2,4,6
/proc/16216/stat : 16216 (java) S 16214 16214 6396 0 -1 1077944320 12198 0 0 0 176 6 0 0 20 0 15 0 106489111 14427463680 31418 33554432000 4194304 4196468 140728615839216 140728615821760 140196215258871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
/proc/16216/statm: 3522330 31418 3343 1 0 3483524 0
[pid=16216/tid=16217] ppid=16214 vsize=14089320 memory=6791534058613427641 CPUtime=0.69 cores=0,2,4,6
/proc/16216/task/16217/stat : 16217 (java) R 16214 16214 6396 0 -1 4202560 6567 0 0 0 65 4 0 0 20 0 15 0 106489111 14427463680 31418 33554432000 4194304 4196468 140728615839216 140196219492496 140195805994144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16218] ppid=16214 vsize=14089320 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16218/stat : 16218 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14427463680 31418 33554432000 4194304 4196468 140728615839216 140196130327696 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16219] ppid=16214 vsize=14089320 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16219/stat : 16219 (java) S 16214 16214 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106489112 14427463680 31418 33554432000 4194304 4196468 140728615839216 140196129274896 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16220] ppid=16214 vsize=14089320 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16220/stat : 16220 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14427463680 31418 33554432000 4194304 4196468 140728615839216 140196128222096 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16221] ppid=16214 vsize=14089320 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16221/stat : 16221 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489112 14427463680 31418 33554432000 4194304 4196468 140728615839216 140196127169296 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16222] ppid=16214 vsize=14089320 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16222/stat : 16222 (java) S 16214 16214 6396 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106489113 14427463680 31418 33554432000 4194304 4196468 140728615839216 140195396139376 140196215270018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16223] ppid=16214 vsize=14089320 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16223/stat : 16223 (java) S 16214 16214 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106489114 14427463680 31418 33554432000 4194304 4196468 140728615839216 140195395085344 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16224] ppid=16214 vsize=14089320 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16224/stat : 16224 (java) S 16214 16214 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106489114 14427463680 31418 33554432000 4194304 4196468 140728615839216 140195394032496 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16225] ppid=16214 vsize=14089320 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16225/stat : 16225 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14427463680 31418 33554432000 4194304 4196468 140728615839216 140195392980816 140196215277467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16226] ppid=16214 vsize=14089320 memory=4628975386420216973 CPUtime=0.39 cores=0,2,4,6
/proc/16216/task/16226/stat : 16226 (java) R 16214 16214 6396 0 -1 4202560 1724 0 0 0 39 0 0 0 20 0 15 0 106489117 14427463680 31418 33554432000 4194304 4196468 140728615839216 140195391916112 140196194559877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16227] ppid=16214 vsize=14089320 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/16216/task/16227/stat : 16227 (java) R 16214 16214 6396 0 -1 4202560 1052 0 0 0 40 0 0 0 20 0 15 0 106489117 14427463680 31418 33554432000 4194304 4196468 140728615839216 140195390869592 140196194957819 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16228] ppid=16214 vsize=14089320 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/16216/task/16228/stat : 16228 (java) R 16214 16214 6396 0 -1 1077944384 1546 0 0 0 30 0 0 0 20 0 15 0 106489117 14427463680 31418 33554432000 4194304 4196468 140728615839216 140195389823600 140196215270018 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16229] ppid=16214 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16229/stat : 16229 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14427463680 31418 33554432000 4194304 4196468 140728615839216 140195388771040 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16230] ppid=16214 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16230/stat : 16230 (java) S 16214 16214 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106489117 14427463680 31418 33554432000 4194304 4196468 140728615839216 140195387718320 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 127128 KiB
[startup+1.50114 s]
/proc/loadavg: 2.05 1.99 1.91 5/217 16230
/proc/meminfo: memFree=23060020/32770624 swapFree=67108860/67108860
[pid=16214] ppid=16211 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16214/stat : 16214 (xcsp3-exec) S 16211 16214 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106489111 115843072 364 33554432000 4194304 5098028 140732435281136 140732435279240 140552357556860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29855744 140732435289153 140732435289353 140732435289353 140732435292106 0
/proc/16214/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/16216/task/16224/stat : 16224 (java) S 16214 16214 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106489114 14429560832 203659 33554432000 4194304 4196468 140728615839216 140195394032512 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16225] ppid=16214 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16225/stat : 16225 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14429560832 203659 33554432000 4194304 4196468 140728615839216 140195392980816 140196215277467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16226] ppid=16214 vsize=14091368 memory=814628 CPUtime=2.95 cores=0,2,4,6
/proc/16216/task/16226/stat : 16226 (java) S 16214 16214 6396 0 -1 1077944384 6962 0 0 0 293 2 0 0 20 0 15 0 106489117 14429560832 203659 33554432000 4194304 4196468 140728615839216 140195391929200 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16227] ppid=16214 vsize=14091368 memory=7528 CPUtime=3.2 cores=0,2,4,6
/proc/16216/task/16227/stat : 16227 (java) S 16214 16214 6396 0 -1 1077944384 12755 0 0 0 318 2 0 0 20 0 15 0 106489117 14429560832 203659 33554432000 4194304 4196468 140728615839216 140195390876400 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16228] ppid=16214 vsize=14091368 memory=840 CPUtime=0.88 cores=0,2,4,6
/proc/16216/task/16228/stat : 16228 (java) S 16214 16214 6396 0 -1 1077944384 8010 0 0 0 86 2 0 0 20 0 15 0 106489117 14429560832 203659 33554432000 4194304 4196468 140728615839216 140195389823600 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16229] ppid=16214 vsize=14091368 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16229/stat : 16229 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14429560832 203659 33554432000 4194304 4196468 140728615839216 140195388771040 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16230] ppid=16214 vsize=14091368 memory=16412 CPUtime=0.05 cores=0,2,4,6
/proc/16216/task/16230/stat : 16230 (java) S 16214 16214 6396 0 -1 1077944384 257 0 0 0 3 2 0 0 20 0 15 0 106489117 14429560832 203659 33554432000 4194304 4196468 140728615839216 140195387718320 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
Current children cumulated CPU time: 110.17 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 816092 KiB
[startup+162.31 s]
/proc/loadavg: 2.01 2.01 1.93 3/217 16310
/proc/meminfo: memFree=22309904/32770624 swapFree=67108860/67108860
[pid=16214] ppid=16211 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16214/stat : 16214 (xcsp3-exec) S 16211 16214 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106489111 115843072 364 33554432000 4194304 5098028 140732435281136 140732435279240 140552357556860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29855744 140732435289153 140732435289353 140732435289353 140732435292106 0
/proc/16214/statm: 28282 364 306 221 0 87 0
[pid=16216] ppid=16214 vsize=14091368 memory=814640 CPUtime=170.27 cores=0,2,4,6
/proc/16216/stat : 16216 (java) S 16214 16214 6396 0 -1 1077944320 46091 0 0 0 16974 53 0 0 20 0 15 0 106489111 14429560832 203660 33554432000 4194304 4196468 140728615839216 140728615821760 140196215258871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
/proc/16216/statm: 3522842 203660 3416 1 0 3484036 0
[pid=16216/tid=16217] ppid=16214 vsize=14091368 memory=814640 CPUtime=161.93 cores=0,2,4,6
/proc/16216/task/16217/stat : 16217 (java) R 16214 16214 6396 0 -1 4202560 11877 0 0 0 16182 11 0 0 20 0 15 0 106489111 14429560832 203660 33554432000 4194304 4196468 140728615839216 140196219494496 140195806588635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16218] ppid=16214 vsize=14091368 memory=814640 CPUtime=0.26 cores=0,2,4,6
/proc/16216/task/16218/stat : 16218 (java) S 16214 16214 6396 0 -1 1077944384 314 0 0 0 19 7 0 0 20 0 15 0 106489112 14429560832 203660 33554432000 4194304 4196468 140728615839216 140196130327696 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16219] ppid=16214 vsize=14091368 memory=814640 CPUtime=0.25 cores=0,2,4,6
/proc/16216/task/16219/stat : 16219 (java) S 16214 16214 6396 0 -1 1077944384 267 0 0 0 18 7 0 0 20 0 15 0 106489112 14429560832 203660 33554432000 4194304 4196468 140728615839216 140196129274896 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16220] ppid=16214 vsize=14091368 memory=1456 CPUtime=0.27 cores=0,2,4,6
/proc/16216/task/16220/stat : 16220 (java) S 16214 16214 6396 0 -1 1077944384 262 0 0 0 20 7 0 0 20 0 15 0 106489112 14429560832 203660 33554432000 4194304 4196468 140728615839216 140196128222096 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16221] ppid=16214 vsize=14091368 memory=1456 CPUtime=0.28 cores=0,2,4,6
/proc/16216/task/16221/stat : 16221 (java) S 16214 16214 6396 0 -1 1077944384 245 0 0 0 21 7 0 0 20 0 15 0 106489112 14429560832 203660 33554432000 4194304 4196468 140728615839216 140196127169296 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16222] ppid=16214 vsize=14091368 memory=814640 CPUtime=0.01 cores=0,2,4,6
/proc/16216/task/16222/stat : 16222 (java) S 16214 16214 6396 0 -1 1077944384 810 0 0 0 1 0 0 0 20 0 15 0 106489113 14429560832 203660 33554432000 4194304 4196468 140728615839216 140195396139376 140196215270018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16223] ppid=16214 vsize=14091368 memory=814636 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16223/stat : 16223 (java) S 16214 16214 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106489114 14429560832 203660 33554432000 4194304 4196468 140728615839216 140195395085408 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16224] ppid=16214 vsize=14091368 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16224/stat : 16224 (java) S 16214 16214 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106489114 14429560832 203660 33554432000 4194304 4196468 140728615839216 140195394032512 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16225] ppid=16214 vsize=14091368 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16225/stat : 16225 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14429560832 203660 33554432000 4194304 4196468 140728615839216 140195392980816 140196215277467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16226] ppid=16214 vsize=14091368 memory=1728 CPUtime=2.99 cores=0,2,4,6
/proc/16216/task/16226/stat : 16226 (java) S 16214 16214 6396 0 -1 1077944384 8868 0 0 0 297 2 0 0 20 0 15 0 106489117 14429560832 203660 33554432000 4194304 4196468 140728615839216 140195391929200 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16227] ppid=16214 vsize=14091368 memory=4128 CPUtime=3.21 cores=0,2,4,6
/proc/16216/task/16227/stat : 16227 (java) S 16214 16214 6396 0 -1 1077944384 13454 0 0 0 319 2 0 0 20 0 15 0 106489117 14429560832 203660 33554432000 4194304 4196468 140728615839216 140195390876400 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16228] ppid=16214 vsize=14091368 memory=30292 CPUtime=0.89 cores=0,2,4,6
/proc/16216/task/16228/stat : 16228 (java) S 16214 16214 6396 0 -1 1077944384 8298 0 0 0 86 3 0 0 20 0 15 0 106489117 14429560832 203660 33554432000 4194304 4196468 140728615839216 140195389823600 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16229] ppid=16214 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16229/stat : 16229 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14429560832 203660 33554432000 4194304 4196468 140728615839216 140195388771040 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16230] ppid=16214 vsize=14091368 memory=814640 CPUtime=0.09 cores=0,2,4,6
/proc/16216/task/16230/stat : 16230 (java) S 16214 16214 6396 0 -1 1077944384 399 0 0 0 5 4 0 0 20 0 15 0 106489117 14429560832 203660 33554432000 4194304 4196468 140728615839216 140195387718320 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
Current children cumulated CPU time: 170.27 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 816096 KiB
[startup+222.31 s]
/proc/loadavg: 2.00 2.01 1.94 3/217 16311
/proc/meminfo: memFree=22308988/32770624 swapFree=67108860/67108860
[pid=16214] ppid=16211 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16214/stat : 16214 (xcsp3-exec) S 16211 16214 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106489111 115843072 364 33554432000 4194304 5098028 140732435281136 140732435279240 140552357556860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29855744 140732435289153 140732435289353 140732435289353 140732435292106 0
/proc/16214/statm: 28282 364 306 221 0 87 0
[pid=16216] ppid=16214 vsize=14091368 memory=814644 CPUtime=230.33 cores=0,2,4,6
/proc/16216/stat : 16216 (java) S 16214 16214 6396 0 -1 1077944320 49027 0 0 0 22979 54 0 0 20 0 15 0 106489111 14429560832 203661 33554432000 4194304 4196468 140728615839216 140728615821760 140196215258871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
/proc/16216/statm: 3522842 203661 3417 1 0 3484036 0
[pid=16216/tid=16217] ppid=16214 vsize=14091368 memory=814644 CPUtime=221.93 cores=0,2,4,6
/proc/16216/task/16217/stat : 16217 (java) R 16214 16214 6396 0 -1 4202560 12455 0 0 0 22182 11 0 0 20 0 15 0 106489111 14429560832 203661 33554432000 4194304 4196468 140728615839216 140196219496648 140195804034836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16218] ppid=16214 vsize=14091368 memory=814644 CPUtime=0.26 cores=0,2,4,6
/proc/16216/task/16218/stat : 16218 (java) S 16214 16214 6396 0 -1 1077944384 314 0 0 0 19 7 0 0 20 0 15 0 106489112 14429560832 203661 33554432000 4194304 4196468 140728615839216 140196130327696 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16219] ppid=16214 vsize=14091368 memory=814644 CPUtime=0.25 cores=0,2,4,6
/proc/16216/task/16219/stat : 16219 (java) S 16214 16214 6396 0 -1 1077944384 267 0 0 0 18 7 0 0 20 0 15 0 106489112 14429560832 203661 33554432000 4194304 4196468 140728615839216 140196129274896 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16220] ppid=16214 vsize=14091368 memory=814644 CPUtime=0.27 cores=0,2,4,6
/proc/16216/task/16220/stat : 16220 (java) S 16214 16214 6396 0 -1 1077944384 262 0 0 0 20 7 0 0 20 0 15 0 106489112 14429560832 203661 33554432000 4194304 4196468 140728615839216 140196128222096 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16221] ppid=16214 vsize=14091368 memory=814644 CPUtime=0.28 cores=0,2,4,6
/proc/16216/task/16221/stat : 16221 (java) S 16214 16214 6396 0 -1 1077944384 245 0 0 0 21 7 0 0 20 0 15 0 106489112 14429560832 203661 33554432000 4194304 4196468 140728615839216 140196127169296 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16222] ppid=16214 vsize=14091368 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/16216/task/16222/stat : 16222 (java) S 16214 16214 6396 0 -1 1077944384 864 0 0 0 1 0 0 0 20 0 15 0 106489113 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195396139376 140196215270018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16223] ppid=16214 vsize=14091368 memory=814640 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16223/stat : 16223 (java) S 16214 16214 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106489114 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195395085408 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16224] ppid=16214 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16224/stat : 16224 (java) S 16214 16214 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106489114 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195394032512 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16225] ppid=16214 vsize=14091368 memory=814644 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16225/stat : 16225 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195392980816 140196215277467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16226] ppid=16214 vsize=14091368 memory=1456 CPUtime=3 cores=0,2,4,6
/proc/16216/task/16226/stat : 16226 (java) S 16214 16214 6396 0 -1 1077944384 9665 0 0 0 298 2 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195391929200 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16227] ppid=16214 vsize=14091368 memory=1456 CPUtime=3.22 cores=0,2,4,6
/proc/16216/task/16227/stat : 16227 (java) S 16214 16214 6396 0 -1 1077944384 14849 0 0 0 320 2 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195390876400 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16228] ppid=16214 vsize=14091368 memory=4128 CPUtime=0.9 cores=0,2,4,6
/proc/16216/task/16228/stat : 16228 (java) S 16214 16214 6396 0 -1 1077944384 8366 0 0 0 87 3 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195389823600 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16229] ppid=16214 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16229/stat : 16229 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195388771040 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16230] ppid=16214 vsize=14091368 memory=1456 CPUtime=0.12 cores=0,2,4,6
/proc/16216/task/16230/stat : 16230 (java) S 16214 16214 6396 0 -1 1077944384 443 0 0 0 7 5 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195387718320 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
Current children cumulated CPU time: 230.33 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 816100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+244.001 s]
/proc/loadavg: 2.00 2.01 1.94 3/217 16311
/proc/meminfo: memFree=22309112/32770624 swapFree=67108860/67108860
[pid=16214] ppid=16211 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16214/stat : 16214 (xcsp3-exec) S 16211 16214 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106489111 115843072 364 33554432000 4194304 5098028 140732435281136 140732435279240 140552357556860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29855744 140732435289153 140732435289353 140732435289353 140732435292106 0
/proc/16214/statm: 28282 364 306 221 0 87 0
[pid=16216] ppid=16214 vsize=14091368 memory=814644 CPUtime=252.06 cores=0,2,4,6
/proc/16216/stat : 16216 (java) S 16214 16214 6396 0 -1 1077944320 50045 0 0 0 25151 55 0 0 20 0 15 0 106489111 14429560832 203661 33554432000 4194304 4196468 140728615839216 140728615821760 140196215258871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
/proc/16216/statm: 3522842 203661 3417 1 0 3484036 0
[pid=16216/tid=16217] ppid=16214 vsize=14091368 memory=6791534058613427641 CPUtime=243.62 cores=0,2,4,6
/proc/16216/task/16217/stat : 16217 (java) R 16214 16214 6396 0 -1 4202560 12623 0 0 0 24351 11 0 0 20 0 15 0 106489111 14429560832 203661 33554432000 4194304 4196468 140728615839216 140196219496344 140195811495163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16218] ppid=16214 vsize=14091368 memory=2344 CPUtime=0.26 cores=0,2,4,6
/proc/16216/task/16218/stat : 16218 (java) S 16214 16214 6396 0 -1 1077944384 314 0 0 0 19 7 0 0 20 0 15 0 106489112 14429560832 203661 33554432000 4194304 4196468 140728615839216 140196130327696 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16219] ppid=16214 vsize=14091368 memory=932 CPUtime=0.25 cores=0,2,4,6
/proc/16216/task/16219/stat : 16219 (java) S 16214 16214 6396 0 -1 1077944384 267 0 0 0 18 7 0 0 20 0 15 0 106489112 14429560832 203661 33554432000 4194304 4196468 140728615839216 140196129274896 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16220] ppid=16214 vsize=14091368 memory=1580 CPUtime=0.27 cores=0,2,4,6
/proc/16216/task/16220/stat : 16220 (java) S 16214 16214 6396 0 -1 1077944384 262 0 0 0 20 7 0 0 20 0 15 0 106489112 14429560832 203661 33554432000 4194304 4196468 140728615839216 140196128222096 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16221] ppid=16214 vsize=14091368 memory=2240 CPUtime=0.28 cores=0,2,4,6
/proc/16216/task/16221/stat : 16221 (java) S 16214 16214 6396 0 -1 1077944384 245 0 0 0 21 7 0 0 20 0 15 0 106489112 14429560832 203661 33554432000 4194304 4196468 140728615839216 140196127169296 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16222] ppid=16214 vsize=14091368 memory=2240 CPUtime=0.01 cores=0,2,4,6
/proc/16216/task/16222/stat : 16222 (java) S 16214 16214 6396 0 -1 1077944384 865 0 0 0 1 0 0 0 20 0 15 0 106489113 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195396139376 140196215270018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16223] ppid=16214 vsize=14091368 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16223/stat : 16223 (java) S 16214 16214 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106489114 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195395085408 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16224] ppid=16214 vsize=14091368 memory=2200 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16224/stat : 16224 (java) S 16214 16214 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106489114 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195394032512 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16225] ppid=16214 vsize=14091368 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16225/stat : 16225 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195392980816 140196215277467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16226] ppid=16214 vsize=14091368 memory=840 CPUtime=3.01 cores=0,2,4,6
/proc/16216/task/16226/stat : 16226 (java) S 16214 16214 6396 0 -1 1077944384 9852 0 0 0 299 2 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195391929200 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16227] ppid=16214 vsize=14091368 memory=322 CPUtime=3.24 cores=0,2,4,6
/proc/16216/task/16227/stat : 16227 (java) S 16214 16214 6396 0 -1 1077944384 15507 0 0 0 322 2 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195390876400 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16228] ppid=16214 vsize=14091368 memory=90 CPUtime=0.9 cores=0,2,4,6
/proc/16216/task/16228/stat : 16228 (java) S 16214 16214 6396 0 -1 1077944384 8366 0 0 0 87 3 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195389823600 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16229] ppid=16214 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16216/task/16229/stat : 16229 (java) S 16214 16214 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195388771040 140196215269077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
[pid=16216/tid=16230] ppid=16214 vsize=14091368 memory=13 CPUtime=0.14 cores=0,2,4,6
/proc/16216/task/16230/stat : 16230 (java) S 16214 16214 6396 0 -1 1077944384 447 0 0 0 8 6 0 0 20 0 15 0 106489117 14429560832 203661 33554432000 4194304 4196468 140728615839216 140195387718320 140196215270018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21856256 140728615842956 140728615843126 140728615843126 140728615845839 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 816100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+244.011 s]
# the end of solver process 16214 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002312 s, system=0 s
[startup+244.019 s]
# the end of solver process 16216 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.529 s, system=0.567285 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): 244.019
CPU time (s): 252.096
CPU user time (s): 251.529
CPU system time (s): 0.567285
CPU usage (%): 103.31
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 825496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.529
system time used= 0.567285
maximum resident set size= 824236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8446
involuntary context switches= 128
# summary of solver processes directly reported to runsolver:
# pid: 16214,16216
# total CPU time (s): 252.096
# total CPU user time (s): 251.529
# total CPU system time (s): 0.567285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44432 second user time and 2.50911 second system time
The end