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 (6629 MiB free)
memory of node 1: 16384 MiB (8868 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307044-1534052275/watcher-4307044-1534052275 -o /tmp/evaluation-result-4307044-1534052275/solver-4307044-1534052275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534039196-6271 --watchdog 2580 HOME/xcsp3-exec -seed 747796632 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307044-1534052275.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8291, runsolver pid=8288
[startup+0.105101 s]*
/proc/loadavg: 1.51 1.57 1.58 3/217 8307
/proc/meminfo: memFree=15854260/32770624 swapFree=67108504/67108860
[pid=8291] ppid=8288 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8291/stat : 8291 (xcsp3-exec) S 8288 8291 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222790668 115843072 363 33554432000 4194304 5098028 140722737009328 140722737007432 139784197739132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31617024 140722737017915 140722737018116 140722737018116 140722737020874 0
/proc/8291/statm: 28282 363 305 221 0 87 0
[pid=8293] ppid=8291 vsize=14082940 memory=27752 CPUtime=0.12 cores=0,2,4,6
/proc/8293/stat : 8293 (java) S 8291 8291 4813 0 -1 1077944320 5363 0 0 0 11 1 0 0 20 0 15 0 222790668 14420930560 6938 33554432000 4194304 4196468 140733717524976 140733717507520 140137362013943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
/proc/8293/statm: 3520735 6938 3006 1 0 3483012 0
[pid=8293/tid=8294] ppid=8291 vsize=14082940 memory=7828844531697292123 CPUtime=0.09 cores=0,2,4,6
/proc/8293/task/8294/stat : 8294 (java) R 8291 8291 4813 0 -1 4202560 3317 0 0 0 8 1 0 0 20 0 15 0 222790668 14420930560 6938 33554432000 4194304 4196468 140733717524976 140137366246272 140136999827549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8295] ppid=8291 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8295/stat : 8295 (java) S 8291 8291 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222790669 14420930560 6938 33554432000 4194304 4196468 140733717524976 140136958237200 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8296] ppid=8291 vsize=14082940 memory=140449157449344 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8296/stat : 8296 (java) S 8291 8291 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222790669 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136957184656 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8297] ppid=8291 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8297/stat : 8297 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790669 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136956131600 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8298] ppid=8291 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8298/stat : 8298 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790669 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136955079056 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8299] ppid=8291 vsize=14082940 memory=140449157449344 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8299/stat : 8299 (java) S 8291 8291 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222790671 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136836180720 140137362025090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8300] ppid=8291 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8300/stat : 8300 (java) S 8291 8291 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222790671 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136835126944 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8301] ppid=8291 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8301/stat : 8301 (java) S 8291 8291 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222790671 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136834073840 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8302] ppid=8291 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8302/stat : 8302 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136833022416 140137362032539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8303] ppid=8291 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8303/stat : 8303 (java) S 8291 8291 4813 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 222790674 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136831969520 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8304] ppid=8291 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8304/stat : 8304 (java) S 8291 8291 4813 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 222790674 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136830916976 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8305] ppid=8291 vsize=14082940 memory=140449157449344 CPUtime=0.01 cores=0,2,4,6
/proc/8293/task/8305/stat : 8305 (java) R 8291 8291 4813 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 15 0 222790674 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136829863920 140137340955480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8306] ppid=8291 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8306/stat : 8306 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136828811616 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8307] ppid=8291 vsize=14082940 memory=140449157449344 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8307/stat : 8307 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790674 14420930560 7004 33554432000 4194304 4196468 140733717524976 140136827759664 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29204 KiB
[startup+0.210638 s]*
/proc/loadavg: 1.51 1.57 1.58 3/217 8307
/proc/meminfo: memFree=15844088/32770624 swapFree=67108504/67108860
[pid=8291] ppid=8288 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8291/stat : 8291 (xcsp3-exec) S 8288 8291 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222790668 115843072 363 33554432000 4194304 5098028 140722737009328 140722737007432 139784197739132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31617024 140722737017915 140722737018116 140722737018116 140722737020874 0
/proc/8291/statm: 28282 363 305 221 0 87 0
[pid=8293] ppid=8291 vsize=14082940 memory=39876 CPUtime=0.34 cores=0,2,4,6
/proc/8293/stat : 8293 (java) S 8291 8291 4813 0 -1 1077944320 8032 0 0 0 31 3 0 0 20 0 15 0 222790668 14420930560 9969 33554432000 4194304 4196468 140733717524976 140733717507520 140137362013943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
/proc/8293/statm: 3520735 9969 3184 1 0 3483012 0
[pid=8293/tid=8294] ppid=8291 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8293/task/8294/stat : 8294 (java) R 8291 8291 4813 0 -1 4202560 5002 0 0 0 18 2 0 0 20 0 15 0 222790668 14420930560 9969 33554432000 4194304 4196468 140733717524976 140137366243376 140137362035869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8295] ppid=8291 vsize=14082940 memory=11619 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8295/stat : 8295 (java) S 8291 8291 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222790669 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136958237200 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8296] ppid=8291 vsize=14082940 memory=140449157478348 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8296/stat : 8296 (java) S 8291 8291 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222790669 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136957184656 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8297] ppid=8291 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8297/stat : 8297 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790669 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136956131600 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8298] ppid=8291 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8298/stat : 8298 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790669 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136955079056 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8299] ppid=8291 vsize=14082940 memory=140449157449344 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8299/stat : 8299 (java) S 8291 8291 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222790671 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136836180720 140137362025090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8300] ppid=8291 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8300/stat : 8300 (java) S 8291 8291 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222790671 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136835126944 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8301] ppid=8291 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8301/stat : 8301 (java) S 8291 8291 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222790671 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136834073840 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8302] ppid=8291 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8302/stat : 8302 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136833022416 140137362032539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8303] ppid=8291 vsize=14082940 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8293/task/8303/stat : 8303 (java) S 8291 8291 4813 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 15 0 222790674 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136831969520 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8304] ppid=8291 vsize=14082940 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8293/task/8304/stat : 8304 (java) S 8291 8291 4813 0 -1 1077944384 514 0 0 0 3 0 0 0 20 0 15 0 222790674 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136830916976 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8305] ppid=8291 vsize=14082940 memory=140449157449344 CPUtime=0.08 cores=0,2,4,6
/proc/8293/task/8305/stat : 8305 (java) S 8291 8291 4813 0 -1 1077944384 856 0 0 0 8 0 0 0 20 0 15 0 222790674 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136829863920 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8306] ppid=8291 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8306/stat : 8306 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136828811616 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8307] ppid=8291 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8307/stat : 8307 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790674 14420930560 9969 33554432000 4194304 4196468 140733717524976 140136827759664 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41328 KiB
[startup+0.310643 s]*
/proc/loadavg: 1.51 1.57 1.58 4/217 8307
/proc/meminfo: memFree=15837388/32770624 swapFree=67108504/67108860
[pid=8291] ppid=8288 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8291/stat : 8291 (xcsp3-exec) S 8288 8291 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222790668 115843072 363 33554432000 4194304 5098028 140722737009328 140722737007432 139784197739132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31617024 140722737017915 140722737018116 140722737018116 140722737020874 0
/proc/8291/statm: 28282 363 305 221 0 87 0
[pid=8293] ppid=8291 vsize=14087196 memory=47116 CPUtime=0.52 cores=0,2,4,6
/proc/8293/stat : 8293 (java) S 8291 8291 4813 0 -1 1077944320 8969 0 0 0 48 4 0 0 20 0 15 0 222790668 14425288704 11779 33554432000 4194304 4196468 140733717524976 140733717507520 140137362013943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
/proc/8293/statm: 3521799 11779 3273 1 0 3483012 0
[pid=8293/tid=8294] ppid=8291 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/8293/task/8294/stat : 8294 (java) R 8291 8291 4813 0 -1 4202560 5666 0 0 0 26 3 0 0 20 0 15 0 222790668 14425288704 11779 33554432000 4194304 4196468 140733717524976 140137366250720 140137355110779 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8295] ppid=8291 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8295/stat : 8295 (java) S 8291 8291 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222790669 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136958237200 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8296] ppid=8291 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8296/stat : 8296 (java) S 8291 8291 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222790669 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136957184656 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8297] ppid=8291 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8297/stat : 8297 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790669 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136956131600 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8298] ppid=8291 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8298/stat : 8298 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790669 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136955079056 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8299] ppid=8291 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8299/stat : 8299 (java) S 8291 8291 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222790671 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136836180720 140137362025090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8300] ppid=8291 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8300/stat : 8300 (java) S 8291 8291 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222790671 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136835126944 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8301] ppid=8291 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8301/stat : 8301 (java) S 8291 8291 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222790671 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136834073840 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8302] ppid=8291 vsize=14087196 memory=-8412660965215072671 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8302/stat : 8302 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136833022416 140137362032539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8303] ppid=8291 vsize=14087196 memory=-7384621950708166502 CPUtime=0.04 cores=0,2,4,6
/proc/8293/task/8303/stat : 8303 (java) R 8291 8291 4813 0 -1 4202560 484 0 0 0 4 0 0 0 20 0 15 0 222790674 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136831950536 140137343535169 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8304] ppid=8291 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8293/task/8304/stat : 8304 (java) S 8291 8291 4813 0 -1 1077944384 536 0 0 0 4 0 0 0 20 0 15 0 222790674 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136830916976 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8305] ppid=8291 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8293/task/8305/stat : 8305 (java) S 8291 8291 4813 0 -1 1077944384 989 0 0 0 12 0 0 0 20 0 15 0 222790674 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136829863920 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8306] ppid=8291 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8306/stat : 8306 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136828811616 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8307] ppid=8291 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8307/stat : 8307 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790674 14425288704 11779 33554432000 4194304 4196468 140733717524976 140136827759664 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48568 KiB
[startup+0.705094 s]
/proc/loadavg: 1.51 1.57 1.58 6/217 8307
/proc/meminfo: memFree=15812384/32770624 swapFree=67108504/67108860
[pid=8291] ppid=8288 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8291/stat : 8291 (xcsp3-exec) S 8288 8291 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222790668 115843072 363 33554432000 4194304 5098028 140722737009328 140722737007432 139784197739132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31617024 140722737017915 140722737018116 140722737018116 140722737020874 0
/proc/8291/statm: 28282 363 305 221 0 87 0
[pid=8293] ppid=8291 vsize=14089320 memory=83916 CPUtime=1.71 cores=0,2,4,6
/proc/8293/stat : 8293 (java) S 8291 8291 4813 0 -1 1077944320 12146 0 0 0 165 6 0 0 20 0 15 0 222790668 14427463680 20979 33554432000 4194304 4196468 140733717524976 140733717507520 140137362013943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
/proc/8293/statm: 3522330 20979 3365 1 0 3483524 0
[pid=8293/tid=8294] ppid=8291 vsize=14089320 memory=3472328296227679313 CPUtime=0.67 cores=0,2,4,6
/proc/8293/task/8294/stat : 8294 (java) R 8291 8291 4813 0 -1 4202560 6520 0 0 0 64 3 0 0 20 0 15 0 222790668 14427463680 20979 33554432000 4194304 4196468 140733717524976 140137366250000 140137003836927 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8295] ppid=8291 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8295/stat : 8295 (java) S 8291 8291 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222790669 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136958237200 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8296] ppid=8291 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8296/stat : 8296 (java) S 8291 8291 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222790669 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136957184656 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8297] ppid=8291 vsize=14089320 memory=60456 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8297/stat : 8297 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790669 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136956131600 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8298] ppid=8291 vsize=14089320 memory=1116 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8298/stat : 8298 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790669 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136955079056 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8299] ppid=8291 vsize=14089320 memory=2144 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8299/stat : 8299 (java) S 8291 8291 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222790671 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136836180720 140137362025090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8300] ppid=8291 vsize=14089320 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8300/stat : 8300 (java) S 8291 8291 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222790671 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136835126944 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8301] ppid=8291 vsize=14089320 memory=748 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8301/stat : 8301 (java) S 8291 8291 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222790671 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136834073840 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8302] ppid=8291 vsize=14089320 memory=1820 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8302/stat : 8302 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136833022416 140137362032539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8303] ppid=8291 vsize=14089320 memory=4552 CPUtime=0.34 cores=0,2,4,6
/proc/8293/task/8303/stat : 8303 (java) R 8291 8291 4813 0 -1 4202560 1182 0 0 0 34 0 0 0 20 0 15 0 222790674 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136831969648 140137345933826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8304] ppid=8291 vsize=14089320 memory=3732 CPUtime=0.32 cores=0,2,4,6
/proc/8293/task/8304/stat : 8304 (java) R 8291 8291 4813 0 -1 4202560 1310 0 0 0 32 0 0 0 20 0 15 0 222790674 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136830897992 140137341203392 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8305] ppid=8291 vsize=14089320 memory=1228 CPUtime=0.35 cores=0,2,4,6
/proc/8293/task/8305/stat : 8305 (java) S 8291 8291 4813 0 -1 1077944384 1825 0 0 0 34 1 0 0 20 0 15 0 222790674 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136829863920 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8306] ppid=8291 vsize=14089320 memory=10624 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8306/stat : 8306 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136828811616 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8307] ppid=8291 vsize=14089320 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8307/stat : 8307 (java) S 8291 8291 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 20979 33554432000 4194304 4196468 140733717524976 140136827759664 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 85368 KiB
[startup+1.50114 s]
/proc/loadavg: 1.51 1.57 1.58 3/217 8307
/proc/meminfo: memFree=15799916/32770624 swapFree=67108504/67108860
[pid=8291] ppid=8288 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8291/stat : 8291 (xcsp3-exec) S 8288 8291 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222790668 115843072 363 33554432000 4194304 5098028 140722737009328 140722737007432 139784197739132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31617024 140722737017915 140722737018116 140722737018116 140722737020874 0
/proc/8291/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/8293/task/8301/stat : 8301 (java) S 8291 8291 4813 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 222790671 14427463680 93278 33554432000 4194304 4196468 140733717524976 140136834073840 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8302] ppid=8291 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8302/stat : 8302 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 93278 33554432000 4194304 4196468 140733717524976 140136833022416 140137362032539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8303] ppid=8291 vsize=14089320 memory=924 CPUtime=2.11 cores=0,2,4,6
/proc/8293/task/8303/stat : 8303 (java) S 8291 8291 4813 0 -1 1077944384 10396 0 0 0 209 2 0 0 20 0 15 0 222790674 14427463680 93278 33554432000 4194304 4196468 140733717524976 140136831969520 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8304] ppid=8291 vsize=14089320 memory=391124 CPUtime=2.26 cores=0,2,4,6
/proc/8293/task/8304/stat : 8304 (java) S 8291 8291 4813 0 -1 1077944384 9977 0 0 0 225 1 0 0 20 0 15 0 222790674 14427463680 93278 33554432000 4194304 4196468 140733717524976 140136830916976 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8305] ppid=8291 vsize=14089320 memory=1452 CPUtime=0.57 cores=0,2,4,6
/proc/8293/task/8305/stat : 8305 (java) S 8291 8291 4813 0 -1 1077944384 9156 0 0 0 56 1 0 0 20 0 15 0 222790674 14427463680 93278 33554432000 4194304 4196468 140733717524976 140136829863920 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8306] ppid=8291 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8306/stat : 8306 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 93278 33554432000 4194304 4196468 140733717524976 140136828811616 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8307] ppid=8291 vsize=14089320 memory=3816 CPUtime=1.04 cores=0,2,4,6
/proc/8293/task/8307/stat : 8307 (java) S 8291 8291 4813 0 -1 1077944384 968 0 0 0 51 53 0 0 20 0 15 0 222790674 14427463680 93278 33554432000 4194304 4196468 140733717524976 140136827759664 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
Current children cumulated CPU time: 2345.4 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 374564 KiB
[startup+2382.3 s]
/proc/loadavg: 1.14 1.45 1.51 3/217 8480
/proc/meminfo: memFree=13654644/32770624 swapFree=67108504/67108860
[pid=8291] ppid=8288 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8291/stat : 8291 (xcsp3-exec) S 8288 8291 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222790668 115843072 363 33554432000 4194304 5098028 140722737009328 140722737007432 139784197739132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31617024 140722737017915 140722737018116 140722737018116 140722737020874 0
/proc/8291/statm: 28282 363 305 221 0 87 0
[pid=8293] ppid=8291 vsize=14089320 memory=710928 CPUtime=2406.54 cores=0,2,4,6
/proc/8293/stat : 8293 (java) S 8291 8291 4813 0 -1 1077944320 110146 0 0 0 240483 171 0 0 20 0 15 0 222790668 14427463680 177732 33554432000 4194304 4196468 140733717524976 140733717507520 140137362013943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
/proc/8293/statm: 3522330 177732 3427 1 0 3483524 0
[pid=8293/tid=8294] ppid=8291 vsize=14089320 memory=711936 CPUtime=2371.25 cores=0,2,4,6
/proc/8293/task/8294/stat : 8294 (java) R 8291 8291 4813 0 -1 4202560 40757 0 0 0 237097 28 0 0 20 0 15 0 222790668 14427463680 177732 33554432000 4194304 4196468 140733717524976 140137366253152 140137006609362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8295] ppid=8291 vsize=14089320 memory=682672 CPUtime=6.64 cores=0,2,4,6
/proc/8293/task/8295/stat : 8295 (java) S 8291 8291 4813 0 -1 1077944384 7419 0 0 0 642 22 0 0 20 0 15 0 222790669 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136958237200 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8296] ppid=8291 vsize=14089320 memory=704832 CPUtime=6.63 cores=0,2,4,6
/proc/8293/task/8296/stat : 8296 (java) S 8291 8291 4813 0 -1 1077944384 7843 0 0 0 642 21 0 0 20 0 15 0 222790669 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136957184656 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8297] ppid=8291 vsize=14089320 memory=1452 CPUtime=6.64 cores=0,2,4,6
/proc/8293/task/8297/stat : 8297 (java) S 8291 8291 4813 0 -1 1077944384 7609 0 0 0 642 22 0 0 20 0 15 0 222790669 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136956131600 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8298] ppid=8291 vsize=14089320 memory=710928 CPUtime=6.64 cores=0,2,4,6
/proc/8293/task/8298/stat : 8298 (java) S 8291 8291 4813 0 -1 1077944384 7677 0 0 0 642 22 0 0 20 0 15 0 222790669 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136955079056 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8299] ppid=8291 vsize=14089320 memory=1452 CPUtime=2.64 cores=0,2,4,6
/proc/8293/task/8299/stat : 8299 (java) S 8291 8291 4813 0 -1 1077944384 6979 0 0 0 244 20 0 0 20 0 15 0 222790671 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136836180720 140137362025090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8300] ppid=8291 vsize=14089320 memory=13689865 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8300/stat : 8300 (java) S 8291 8291 4813 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 222790671 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136835126944 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8301] ppid=8291 vsize=14089320 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8301/stat : 8301 (java) S 8291 8291 4813 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 222790671 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136834073840 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8302] ppid=8291 vsize=14089320 memory=60516 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8302/stat : 8302 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136833022416 140137362032539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8303] ppid=8291 vsize=14089320 memory=808 CPUtime=2.11 cores=0,2,4,6
/proc/8293/task/8303/stat : 8303 (java) S 8291 8291 4813 0 -1 1077944384 10398 0 0 0 209 2 0 0 20 0 15 0 222790674 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136831969520 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8304] ppid=8291 vsize=14089320 memory=1692 CPUtime=2.26 cores=0,2,4,6
/proc/8293/task/8304/stat : 8304 (java) S 8291 8291 4813 0 -1 1077944384 9979 0 0 0 225 1 0 0 20 0 15 0 222790674 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136830916976 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8305] ppid=8291 vsize=14089320 memory=4486604260213485459 CPUtime=0.57 cores=0,2,4,6
/proc/8293/task/8305/stat : 8305 (java) S 8291 8291 4813 0 -1 1077944384 9158 0 0 0 56 1 0 0 20 0 15 0 222790674 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136829863920 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8306] ppid=8291 vsize=14089320 memory=489 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8306/stat : 8306 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136828811616 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8307] ppid=8291 vsize=14089320 memory=1452 CPUtime=1.06 cores=0,2,4,6
/proc/8293/task/8307/stat : 8307 (java) S 8291 8291 4813 0 -1 1077944384 984 0 0 0 52 54 0 0 20 0 15 0 222790674 14427463680 177732 33554432000 4194304 4196468 140733717524976 140136827759664 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
Current children cumulated CPU time: 2406.54 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 712380 KiB
[startup+2442.3 s]
/proc/loadavg: 1.29 1.43 1.50 3/217 8481
/proc/meminfo: memFree=13527452/32770624 swapFree=67108504/67108860
[pid=8291] ppid=8288 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8291/stat : 8291 (xcsp3-exec) S 8288 8291 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222790668 115843072 363 33554432000 4194304 5098028 140722737009328 140722737007432 139784197739132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31617024 140722737017915 140722737018116 140722737018116 140722737020874 0
/proc/8291/statm: 28282 363 305 221 0 87 0
[pid=8293] ppid=8291 vsize=14089320 memory=820380 CPUtime=2467.39 cores=0,2,4,6
/proc/8293/stat : 8293 (java) S 8291 8291 4813 0 -1 1077944320 112409 0 0 0 246561 178 0 0 20 0 15 0 222790668 14427463680 205095 33554432000 4194304 4196468 140733717524976 140733717507520 140137362013943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
/proc/8293/statm: 3522330 205095 3427 1 0 3483524 0
[pid=8293/tid=8294] ppid=8291 vsize=14089320 memory=820892 CPUtime=2430.86 cores=0,2,4,6
/proc/8293/task/8294/stat : 8294 (java) R 8291 8291 4813 0 -1 4202560 42442 0 0 0 243056 30 0 0 20 0 15 0 222790668 14427463680 205095 33554432000 4194304 4196468 140733717524976 140137366253248 140137006606783 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8295] ppid=8291 vsize=14089320 memory=1452 CPUtime=6.92 cores=0,2,4,6
/proc/8293/task/8295/stat : 8295 (java) S 8291 8291 4813 0 -1 1077944384 7527 0 0 0 669 23 0 0 20 0 15 0 222790669 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136958237200 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8296] ppid=8291 vsize=14089320 memory=794732 CPUtime=6.93 cores=0,2,4,6
/proc/8293/task/8296/stat : 8296 (java) S 8291 8291 4813 0 -1 1077944384 8031 0 0 0 671 22 0 0 20 0 15 0 222790669 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136957184656 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8297] ppid=8291 vsize=14089320 memory=1452 CPUtime=6.94 cores=0,2,4,6
/proc/8293/task/8297/stat : 8297 (java) S 8291 8291 4813 0 -1 1077944384 7755 0 0 0 671 23 0 0 20 0 15 0 222790669 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136956131600 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8298] ppid=8291 vsize=14089320 memory=820892 CPUtime=6.93 cores=0,2,4,6
/proc/8293/task/8298/stat : 8298 (java) S 8291 8291 4813 0 -1 1077944384 7772 0 0 0 670 23 0 0 20 0 15 0 222790669 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136955079056 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8299] ppid=8291 vsize=14089320 memory=820892 CPUtime=2.69 cores=0,2,4,6
/proc/8293/task/8299/stat : 8299 (java) S 8291 8291 4813 0 -1 1077944384 7015 0 0 0 249 20 0 0 20 0 15 0 222790671 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136836180720 140137362025090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8300] ppid=8291 vsize=14089320 memory=820892 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8300/stat : 8300 (java) S 8291 8291 4813 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 222790671 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136835126944 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8301] ppid=8291 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8301/stat : 8301 (java) S 8291 8291 4813 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 222790671 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136834073840 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8302] ppid=8291 vsize=14089320 memory=820380 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8302/stat : 8302 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136833022416 140137362032539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8303] ppid=8291 vsize=14089320 memory=1452 CPUtime=2.11 cores=0,2,4,6
/proc/8293/task/8303/stat : 8303 (java) S 8291 8291 4813 0 -1 1077944384 10398 0 0 0 209 2 0 0 20 0 15 0 222790674 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136831969520 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8304] ppid=8291 vsize=14089320 memory=794732 CPUtime=2.26 cores=0,2,4,6
/proc/8293/task/8304/stat : 8304 (java) S 8291 8291 4813 0 -1 1077944384 9979 0 0 0 225 1 0 0 20 0 15 0 222790674 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136830916976 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8305] ppid=8291 vsize=14089320 memory=60516 CPUtime=0.57 cores=0,2,4,6
/proc/8293/task/8305/stat : 8305 (java) S 8291 8291 4813 0 -1 1077944384 9159 0 0 0 56 1 0 0 20 0 15 0 222790674 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136829863920 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8306] ppid=8291 vsize=14089320 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8306/stat : 8306 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136828811616 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8307] ppid=8291 vsize=14089320 memory=288230596050944315 CPUtime=1.09 cores=0,2,4,6
/proc/8293/task/8307/stat : 8307 (java) S 8291 8291 4813 0 -1 1077944384 988 0 0 0 53 56 0 0 20 0 15 0 222790674 14427463680 205095 33554432000 4194304 4196468 140733717524976 140136827759664 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
Current children cumulated CPU time: 2467.39 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 821832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.6 s]
/proc/loadavg: 1.23 1.39 1.48 3/217 8637
/proc/meminfo: memFree=15356012/32770624 swapFree=67108504/67108860
[pid=8291] ppid=8288 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8291/stat : 8291 (xcsp3-exec) S 8288 8291 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222790668 115843072 363 33554432000 4194304 5098028 140722737009328 140722737007432 139784197739132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31617024 140722737017915 140722737018116 140722737018116 140722737020874 0
/proc/8291/statm: 28282 363 305 221 0 87 0
[pid=8293] ppid=8291 vsize=14089320 memory=896912 CPUtime=2520.1 cores=0,2,4,6
/proc/8293/stat : 8293 (java) S 8291 8291 4813 0 -1 1077944320 116792 0 0 0 251829 181 0 0 20 0 15 0 222790668 14427463680 224228 33554432000 4194304 4196468 140733717524976 140733717507520 140137362013943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
/proc/8293/statm: 3522330 224228 3427 1 0 3483524 0
[pid=8293/tid=8294] ppid=8291 vsize=14089320 memory=1296 CPUtime=2482.98 cores=0,2,4,6
/proc/8293/task/8294/stat : 8294 (java) R 8291 8291 4813 0 -1 4202560 45501 0 0 0 248267 31 0 0 20 0 15 0 222790668 14427463680 224228 33554432000 4194304 4196468 140733717524976 140137366253152 140137005775798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8295] ppid=8291 vsize=14089320 memory=1068 CPUtime=7.06 cores=0,2,4,6
/proc/8293/task/8295/stat : 8295 (java) S 8291 8291 4813 0 -1 1077944384 7689 0 0 0 683 23 0 0 20 0 15 0 222790669 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136958237200 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8296] ppid=8291 vsize=14089320 memory=15084 CPUtime=7.07 cores=0,2,4,6
/proc/8293/task/8296/stat : 8296 (java) S 8291 8291 4813 0 -1 1077944384 8409 0 0 0 684 23 0 0 20 0 15 0 222790669 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136957184656 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8297] ppid=8291 vsize=14089320 memory=1168 CPUtime=7.07 cores=0,2,4,6
/proc/8293/task/8297/stat : 8297 (java) S 8291 8291 4813 0 -1 1077944384 7860 0 0 0 684 23 0 0 20 0 15 0 222790669 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136956131600 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8298] ppid=8291 vsize=14089320 memory=2344 CPUtime=7.07 cores=0,2,4,6
/proc/8293/task/8298/stat : 8298 (java) S 8291 8291 4813 0 -1 1077944384 8247 0 0 0 684 23 0 0 20 0 15 0 222790669 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136955079056 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8299] ppid=8291 vsize=14089320 memory=924 CPUtime=2.71 cores=0,2,4,6
/proc/8293/task/8299/stat : 8299 (java) S 8291 8291 4813 0 -1 1077944384 7194 0 0 0 250 21 0 0 20 0 15 0 222790671 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136836180720 140137362025090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8300] ppid=8291 vsize=14089320 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8300/stat : 8300 (java) S 8291 8291 4813 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 222790671 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136835126944 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8301] ppid=8291 vsize=14089320 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8301/stat : 8301 (java) S 8291 8291 4813 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 222790671 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136834073840 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8302] ppid=8291 vsize=14089320 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8302/stat : 8302 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136833022416 140137362032539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8303] ppid=8291 vsize=14089320 memory=60516 CPUtime=2.11 cores=0,2,4,6
/proc/8293/task/8303/stat : 8303 (java) S 8291 8291 4813 0 -1 1077944384 10400 0 0 0 209 2 0 0 20 0 15 0 222790674 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136831969520 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8304] ppid=8291 vsize=14089320 memory=1116 CPUtime=2.26 cores=0,2,4,6
/proc/8293/task/8304/stat : 8304 (java) S 8291 8291 4813 0 -1 1077944384 9981 0 0 0 225 1 0 0 20 0 15 0 222790674 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136830916976 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8305] ppid=8291 vsize=14089320 memory=2144 CPUtime=0.57 cores=0,2,4,6
/proc/8293/task/8305/stat : 8305 (java) S 8291 8291 4813 0 -1 1077944384 9161 0 0 0 56 1 0 0 20 0 15 0 222790674 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136829863920 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8306] ppid=8291 vsize=14089320 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8306/stat : 8306 (java) S 8291 8291 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222790674 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136828811616 140137362024149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
[pid=8293/tid=8307] ppid=8291 vsize=14089320 memory=748 CPUtime=1.11 cores=0,2,4,6
/proc/8293/task/8307/stat : 8307 (java) S 8291 8291 4813 0 -1 1077944384 1007 0 0 0 54 57 0 0 20 0 15 0 222790674 14427463680 224228 33554432000 4194304 4196468 140733717524976 140136827759664 140137362025090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 15278080 140733717533830 140733717534001 140733717534001 140733717536719 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 898364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.61 s]
# the end of solver process 8291 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002423 s, system=0 s
[startup+2494.61 s]
# the end of solver process 8293 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.3 s, system=1.82898 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): 2494.61
CPU time (s): 2520.13
CPU user time (s): 2518.3
CPU system time (s): 1.82898
CPU usage (%): 101.023
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 902468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.3
system time used= 1.82898
maximum resident set size= 901016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126506
involuntary context switches= 5671
# summary of solver processes directly reported to runsolver:
# pid: 8291,8293
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.3
# total CPU system time (s): 1.82898
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6364 second user time and 24.4865 second system time
The end