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 (13062 MiB free)
memory of node 1: 16384 MiB (13519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292575-1532355856/watcher-4292575-1532355856 -o /tmp/evaluation-result-4292575-1532355856/solver-4292575-1532355856 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14413 --watchdog 2560 HOME/xcsp3-exec -seed 582729639 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292575-1532355856.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19441, runsolver pid=19438
Current StackSize limit: 8192 KiB
[startup+0.100296 s]*
/proc/loadavg: 1.58 1.51 1.51 3/220 19457
/proc/meminfo: memFree=27204364/32770624 swapFree=67108860/67108860
[pid=19441] ppid=19438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19441/stat : 19441 (xcsp3-exec) S 19438 19441 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 53148839 115843072 363 33554432000 4194304 5098028 140724824445280 140724824443384 140122049528444 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24080384 140724824454203 140724824454404 140724824454404 140724824457162 0
/proc/19441/statm: 28282 363 305 221 0 87 0
[pid=19443] ppid=19441 vsize=14082840 memory=28668 CPUtime=0.12 cores=0,2,4,6
/proc/19443/stat : 19443 (java) S 19441 19441 14382 0 -1 1077944320 5472 0 0 0 11 1 0 0 20 0 15 0 53148839 14420828160 7167 33554432000 4194304 4196468 140727157958608 140727157941152 140063650258679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
/proc/19443/statm: 3520710 7167 3032 1 0 3483008 0
[pid=19443/tid=19444] ppid=19441 vsize=14082840 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/19443/task/19444/stat : 19444 (java) R 19441 19441 14382 0 -1 4202560 3480 0 0 0 8 0 0 0 20 0 15 0 53148839 14420828160 7167 33554432000 4194304 4196468 140727157958608 140063654490592 140063263430424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19445] ppid=19441 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19445/stat : 19445 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14420828160 7167 33554432000 4194304 4196468 140727157958608 140063587859216 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19446] ppid=19441 vsize=14082840 memory=140718495520384 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19446/stat : 19446 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14420828160 7167 33554432000 4194304 4196468 140727157958608 140063586806672 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19447] ppid=19441 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19447/stat : 19447 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14420828160 7167 33554432000 4194304 4196468 140727157958608 140063585754128 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19448] ppid=19441 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19448/stat : 19448 (java) S 19441 19441 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53148840 14420828160 7167 33554432000 4194304 4196468 140727157958608 140063584701584 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19449] ppid=19441 vsize=14082840 memory=140718495520384 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19449/stat : 19449 (java) S 19441 19441 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53148841 14420828160 7233 33554432000 4194304 4196468 140727157958608 140063191570416 140063650269826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19450] ppid=19441 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19450/stat : 19450 (java) S 19441 19441 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53148842 14420828160 7233 33554432000 4194304 4196468 140727157958608 140063190516640 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19451] ppid=19441 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19451/stat : 19451 (java) S 19441 19441 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53148842 14420828160 7233 33554432000 4194304 4196468 140727157958608 140063189464048 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19452] ppid=19441 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19452/stat : 19452 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148844 14420828160 7233 33554432000 4194304 4196468 140727157958608 140063188412624 140063650277275 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19453] ppid=19441 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19453/stat : 19453 (java) S 19441 19441 14382 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 53148844 14420828160 7233 33554432000 4194304 4196468 140727157958608 140063187360240 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19454] ppid=19441 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19454/stat : 19454 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148844 14420828160 7233 33554432000 4194304 4196468 140727157958608 140063186307696 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19455] ppid=19441 vsize=14082840 memory=140718495520384 CPUtime=0.01 cores=0,2,4,6
/proc/19443/task/19455/stat : 19455 (java) R 19441 19441 14382 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 15 0 53148844 14420828160 7233 33554432000 4194304 4196468 140727157958608 140063185255152 140063642495806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19456] ppid=19441 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19456/stat : 19456 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148845 14420828160 7233 33554432000 4194304 4196468 140727157958608 140063184202848 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19457] ppid=19441 vsize=14082840 memory=140718495520384 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19457/stat : 19457 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148845 14420828160 7233 33554432000 4194304 4196468 140727157958608 140063183149360 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30120 KiB
[startup+0.210775 s]*
/proc/loadavg: 1.58 1.51 1.51 5/220 19457
/proc/meminfo: memFree=27191852/32770624 swapFree=67108860/67108860
[pid=19441] ppid=19438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19441/stat : 19441 (xcsp3-exec) S 19438 19441 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 53148839 115843072 363 33554432000 4194304 5098028 140724824445280 140724824443384 140122049528444 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24080384 140724824454203 140724824454404 140724824454404 140724824457162 0
/proc/19441/statm: 28282 363 305 221 0 87 0
[pid=19443] ppid=19441 vsize=14087096 memory=40768 CPUtime=0.34 cores=0,2,4,6
/proc/19443/stat : 19443 (java) S 19441 19441 14382 0 -1 1077944320 8209 0 0 0 32 2 0 0 20 0 15 0 53148839 14425186304 10192 33554432000 4194304 4196468 140727157958608 140727157941152 140063650258679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
/proc/19443/statm: 3521774 10192 3184 1 0 3483008 0
[pid=19443/tid=19444] ppid=19441 vsize=14087096 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/19443/task/19444/stat : 19444 (java) R 19441 19441 14382 0 -1 4202560 5445 0 0 0 18 1 0 0 20 0 15 0 53148839 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063654479672 140063650280605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19445] ppid=19441 vsize=14087096 memory=13660 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19445/stat : 19445 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063587859216 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19446] ppid=19441 vsize=14087096 memory=288371094647232128 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19446/stat : 19446 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063586806672 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19447] ppid=19441 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19447/stat : 19447 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063585754128 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19448] ppid=19441 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19448/stat : 19448 (java) S 19441 19441 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53148840 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063584701584 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19449] ppid=19441 vsize=14087096 memory=140718495520384 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19449/stat : 19449 (java) S 19441 19441 14382 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53148841 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063191570416 140063650269826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19450] ppid=19441 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19450/stat : 19450 (java) S 19441 19441 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53148842 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063190516640 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19451] ppid=19441 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19451/stat : 19451 (java) S 19441 19441 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53148842 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063189464048 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19452] ppid=19441 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19452/stat : 19452 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148844 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063188412624 140063650277275 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19453] ppid=19441 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19443/task/19453/stat : 19453 (java) S 19441 19441 14382 0 -1 1077944384 616 0 0 0 3 0 0 0 20 0 15 0 53148844 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063187360240 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19454] ppid=19441 vsize=14087096 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19443/task/19454/stat : 19454 (java) S 19441 19441 14382 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 53148844 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063186307696 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19455] ppid=19441 vsize=14087096 memory=140718495520384 CPUtime=0.08 cores=0,2,4,6
/proc/19443/task/19455/stat : 19455 (java) S 19441 19441 14382 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 53148844 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063185255152 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19456] ppid=19441 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19456/stat : 19456 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148845 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063184202848 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19457] ppid=19441 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19457/stat : 19457 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148845 14425186304 10192 33554432000 4194304 4196468 140727157958608 140063183149360 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42220 KiB
[startup+0.31078 s]*
/proc/loadavg: 1.58 1.51 1.51 3/220 19457
/proc/meminfo: memFree=27185000/32770624 swapFree=67108860/67108860
[pid=19441] ppid=19438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19441/stat : 19441 (xcsp3-exec) S 19438 19441 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 53148839 115843072 363 33554432000 4194304 5098028 140724824445280 140724824443384 140122049528444 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24080384 140724824454203 140724824454404 140724824454404 140724824457162 0
/proc/19441/statm: 28282 363 305 221 0 87 0
[pid=19443] ppid=19441 vsize=14087096 memory=47728 CPUtime=0.51 cores=0,2,4,6
/proc/19443/stat : 19443 (java) S 19441 19441 14382 0 -1 1077944320 9070 0 0 0 49 2 0 0 20 0 15 0 53148839 14425186304 11932 33554432000 4194304 4196468 140727157958608 140727157941152 140063650258679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
/proc/19443/statm: 3521774 11932 3217 1 0 3483008 0
[pid=19443/tid=19444] ppid=19441 vsize=14087096 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/19443/task/19444/stat : 19444 (java) R 19441 19441 14382 0 -1 4202560 6147 0 0 0 28 2 0 0 20 0 15 0 53148839 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063654492440 140063650280605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19445] ppid=19441 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19445/stat : 19445 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063587859216 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19446] ppid=19441 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19446/stat : 19446 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063586806672 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19447] ppid=19441 vsize=14087096 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19447/stat : 19447 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063585754128 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19448] ppid=19441 vsize=14087096 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19448/stat : 19448 (java) S 19441 19441 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53148840 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063584701584 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19449] ppid=19441 vsize=14087096 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19449/stat : 19449 (java) S 19441 19441 14382 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53148841 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063191570416 140063650269826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19450] ppid=19441 vsize=14087096 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19450/stat : 19450 (java) S 19441 19441 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53148842 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063190516640 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19451] ppid=19441 vsize=14087096 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19451/stat : 19451 (java) S 19441 19441 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53148842 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063189464048 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19452] ppid=19441 vsize=14087096 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19452/stat : 19452 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148844 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063188412624 140063650277275 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19453] ppid=19441 vsize=14087096 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/19443/task/19453/stat : 19453 (java) S 19441 19441 14382 0 -1 1077944384 631 0 0 0 5 0 0 0 20 0 15 0 53148844 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063187360240 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19454] ppid=19441 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19443/task/19454/stat : 19454 (java) S 19441 19441 14382 0 -1 1077944384 97 0 0 0 3 0 0 0 20 0 15 0 53148844 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063186307696 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19455] ppid=19441 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19443/task/19455/stat : 19455 (java) S 19441 19441 14382 0 -1 1077944384 892 0 0 0 12 0 0 0 20 0 15 0 53148844 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063185255152 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19456] ppid=19441 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19456/stat : 19456 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148845 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063184202848 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19457] ppid=19441 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19457/stat : 19457 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148845 14425186304 11932 33554432000 4194304 4196468 140727157958608 140063183149360 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49180 KiB
[startup+0.70089 s]
/proc/loadavg: 1.58 1.51 1.51 6/220 19457
/proc/meminfo: memFree=27160000/32770624 swapFree=67108860/67108860
[pid=19441] ppid=19438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19441/stat : 19441 (xcsp3-exec) S 19438 19441 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 53148839 115843072 363 33554432000 4194304 5098028 140724824445280 140724824443384 140122049528444 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24080384 140724824454203 140724824454404 140724824454404 140724824457162 0
/proc/19441/statm: 28282 363 305 221 0 87 0
[pid=19443] ppid=19441 vsize=14089220 memory=145000 CPUtime=1.73 cores=0,2,4,6
/proc/19443/stat : 19443 (java) S 19441 19441 14382 0 -1 1077944320 12448 0 0 0 168 5 0 0 20 0 15 0 53148839 14427361280 36250 33554432000 4194304 4196468 140727157958608 140727157941152 140063650258679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
/proc/19443/statm: 3522305 36250 3334 1 0 3483520 0
[pid=19443/tid=19444] ppid=19441 vsize=14089220 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/19443/task/19444/stat : 19444 (java) R 19441 19441 14382 0 -1 4202560 6564 0 0 0 64 3 0 0 20 0 15 0 53148839 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063654495584 140063265993403 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19445] ppid=19441 vsize=14089220 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19445/stat : 19445 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063587859216 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19446] ppid=19441 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19446/stat : 19446 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063586806672 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19447] ppid=19441 vsize=14089220 memory=17232 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19447/stat : 19447 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148840 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063585754128 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19448] ppid=19441 vsize=14089220 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19448/stat : 19448 (java) S 19441 19441 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53148840 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063584701584 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19449] ppid=19441 vsize=14089220 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19449/stat : 19449 (java) S 19441 19441 14382 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53148841 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063191570416 140063650269826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19450] ppid=19441 vsize=14089220 memory=1844 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19450/stat : 19450 (java) S 19441 19441 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53148842 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063190516640 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19451] ppid=19441 vsize=14089220 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19451/stat : 19451 (java) S 19441 19441 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53148842 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063189464048 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19452] ppid=19441 vsize=14089220 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19452/stat : 19452 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148844 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063188412624 140063650277275 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19453] ppid=19441 vsize=14089220 memory=796 CPUtime=0.38 cores=0,2,4,6
/proc/19443/task/19453/stat : 19453 (java) R 19441 19441 14382 0 -1 4202560 1558 0 0 0 38 0 0 0 20 0 15 0 53148844 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063187350032 140063631607150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19454] ppid=19441 vsize=14089220 memory=4616 CPUtime=0.37 cores=0,2,4,6
/proc/19443/task/19454/stat : 19454 (java) R 19441 19441 14382 0 -1 4202560 1242 0 0 0 37 0 0 0 20 0 15 0 53148844 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063186288992 140063629504527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19455] ppid=19441 vsize=14089220 memory=1424 CPUtime=0.28 cores=0,2,4,6
/proc/19443/task/19455/stat : 19455 (java) S 19441 19441 14382 0 -1 1077944384 1776 0 0 0 28 0 0 0 20 0 15 0 53148844 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063185255152 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19456] ppid=19441 vsize=14089220 memory=10940 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19456/stat : 19456 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148845 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063184202848 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19457] ppid=19441 vsize=14089220 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19457/stat : 19457 (java) S 19441 19441 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53148845 14427361280 36250 33554432000 4194304 4196468 140727157958608 140063183149360 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 146452 KiB
[startup+1.50085 s]
/proc/loadavg: 1.58 1.51 1.51 6/220 19457
/proc/meminfo: memFree=27039476/32770624 swapFree=67108860/67108860
[pid=19441] ppid=19438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19441/stat : 19441 (xcsp3-exec) S 19438 19441 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 53148839 115843072 363 33554432000 4194304 5098028 140724824445280 140724824443384 140122049528444 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24080384 140724824454203 140724824454404 140724824454404 140724824457162 0
/proc/19441/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/19443/task/19451/stat : 19451 (java) S 19441 19441 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53148842 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063189464064 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19452] ppid=19441 vsize=14089220 memory=1140632 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19452/stat : 19452 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063188412624 140063650277275 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19453] ppid=19441 vsize=14089220 memory=1452 CPUtime=3.24 cores=0,2,4,6
/proc/19443/task/19453/stat : 19453 (java) S 19441 19441 14382 0 -1 1077944384 21318 0 0 0 321 3 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063187360240 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19454] ppid=19441 vsize=14089220 memory=1452 CPUtime=3.23 cores=0,2,4,6
/proc/19443/task/19454/stat : 19454 (java) S 19441 19441 14382 0 -1 1077944384 18979 0 0 0 321 2 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063186307696 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19455] ppid=19441 vsize=14089220 memory=1140632 CPUtime=0.75 cores=0,2,4,6
/proc/19443/task/19455/stat : 19455 (java) S 19441 19441 14382 0 -1 1077944384 7726 0 0 0 74 1 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063185255152 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19456] ppid=19441 vsize=14089220 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19456/stat : 19456 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148845 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063184202848 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19457] ppid=19441 vsize=14089220 memory=6791534058613427641 CPUtime=1.2 cores=0,2,4,6
/proc/19443/task/19457/stat : 19457 (java) S 19441 19441 14382 0 -1 1077944384 2501 0 0 0 57 63 0 0 20 0 15 0 53148845 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063183149360 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
Current children cumulated CPU time: 2276.51 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1142084 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 2.05 1.99 3/220 19712
/proc/meminfo: memFree=25498744/32770624 swapFree=67108860/67108860
[pid=19441] ppid=19438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19441/stat : 19441 (xcsp3-exec) S 19438 19441 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 53148839 115843072 363 33554432000 4194304 5098028 140724824445280 140724824443384 140122049528444 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24080384 140724824454203 140724824454404 140724824454404 140724824457162 0
/proc/19441/statm: 28282 363 305 221 0 87 0
[pid=19443] ppid=19441 vsize=14089220 memory=1140632 CPUtime=2336.54 cores=0,2,4,6
/proc/19443/stat : 19443 (java) S 19441 19441 14382 0 -1 1077944320 105151 0 0 0 233511 143 0 0 20 0 15 0 53148839 14427361280 285158 33554432000 4194304 4196468 140727157958608 140727157941152 140063650258679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
/proc/19443/statm: 3522305 285158 3422 1 0 3483520 0
[pid=19443/tid=19444] ppid=19441 vsize=14089220 memory=1140632 CPUtime=2320 cores=0,2,4,6
/proc/19443/task/19444/stat : 19444 (java) R 19441 19441 14382 0 -1 4202560 43064 0 0 0 231988 12 0 0 20 0 15 0 53148839 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063654495224 140063269767665 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19445] ppid=19441 vsize=14089220 memory=1140632 CPUtime=1.97 cores=0,2,4,6
/proc/19443/task/19445/stat : 19445 (java) S 19441 19441 14382 0 -1 1077944384 898 0 0 0 179 18 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063587859216 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19446] ppid=19441 vsize=14089220 memory=1452 CPUtime=1.97 cores=0,2,4,6
/proc/19443/task/19446/stat : 19446 (java) S 19441 19441 14382 0 -1 1077944384 1222 0 0 0 180 17 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063586806672 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19447] ppid=19441 vsize=14089220 memory=1452 CPUtime=1.97 cores=0,2,4,6
/proc/19443/task/19447/stat : 19447 (java) S 19441 19441 14382 0 -1 1077944384 679 0 0 0 180 17 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063585754128 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19448] ppid=19441 vsize=14089220 memory=1140632 CPUtime=1.98 cores=0,2,4,6
/proc/19443/task/19448/stat : 19448 (java) S 19441 19441 14382 0 -1 1077944384 1164 0 0 0 182 16 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063584701584 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19449] ppid=19441 vsize=14089220 memory=1452 CPUtime=0.1 cores=0,2,4,6
/proc/19443/task/19449/stat : 19449 (java) S 19441 19441 14382 0 -1 1077944384 6275 0 0 0 6 4 0 0 20 0 15 0 53148841 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063191570416 140063650269826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19450] ppid=19441 vsize=14089220 memory=813476 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19450/stat : 19450 (java) S 19441 19441 14382 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 53148842 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063190516704 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19451] ppid=19441 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19451/stat : 19451 (java) S 19441 19441 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53148842 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063189464064 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19452] ppid=19441 vsize=14089220 memory=1140632 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19452/stat : 19452 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063188412624 140063650277275 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19453] ppid=19441 vsize=14089220 memory=1140632 CPUtime=3.24 cores=0,2,4,6
/proc/19443/task/19453/stat : 19453 (java) S 19441 19441 14382 0 -1 1077944384 21320 0 0 0 321 3 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063187360240 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19454] ppid=19441 vsize=14089220 memory=1452 CPUtime=3.23 cores=0,2,4,6
/proc/19443/task/19454/stat : 19454 (java) S 19441 19441 14382 0 -1 1077944384 18981 0 0 0 321 2 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063186307696 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19455] ppid=19441 vsize=14089220 memory=1452 CPUtime=0.75 cores=0,2,4,6
/proc/19443/task/19455/stat : 19455 (java) S 19441 19441 14382 0 -1 1077944384 7729 0 0 0 74 1 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063185255152 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19456] ppid=19441 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19456/stat : 19456 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148845 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063184202848 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19457] ppid=19441 vsize=14089220 memory=1228 CPUtime=1.22 cores=0,2,4,6
/proc/19443/task/19457/stat : 19457 (java) S 19441 19441 14382 0 -1 1077944384 2522 0 0 0 58 64 0 0 20 0 15 0 53148845 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063183149360 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
Current children cumulated CPU time: 2336.54 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1142084 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.04 1.99 3/220 19713
/proc/meminfo: memFree=25498824/32770624 swapFree=67108860/67108860
[pid=19441] ppid=19438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19441/stat : 19441 (xcsp3-exec) S 19438 19441 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 53148839 115843072 363 33554432000 4194304 5098028 140724824445280 140724824443384 140122049528444 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24080384 140724824454203 140724824454404 140724824454404 140724824457162 0
/proc/19441/statm: 28282 363 305 221 0 87 0
[pid=19443] ppid=19441 vsize=14089220 memory=1140632 CPUtime=2396.57 cores=0,2,4,6
/proc/19443/stat : 19443 (java) S 19441 19441 14382 0 -1 1077944320 105940 0 0 0 239513 144 0 0 20 0 15 0 53148839 14427361280 285158 33554432000 4194304 4196468 140727157958608 140727157941152 140063650258679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
/proc/19443/statm: 3522305 285158 3422 1 0 3483520 0
[pid=19443/tid=19444] ppid=19441 vsize=14089220 memory=1140632 CPUtime=2380 cores=0,2,4,6
/proc/19443/task/19444/stat : 19444 (java) R 19441 19441 14382 0 -1 4202560 43820 0 0 0 237988 12 0 0 20 0 15 0 53148839 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063654495224 140063269767492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19445] ppid=19441 vsize=14089220 memory=1140632 CPUtime=1.97 cores=0,2,4,6
/proc/19443/task/19445/stat : 19445 (java) S 19441 19441 14382 0 -1 1077944384 898 0 0 0 179 18 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063587859216 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19446] ppid=19441 vsize=14089220 memory=1140632 CPUtime=1.97 cores=0,2,4,6
/proc/19443/task/19446/stat : 19446 (java) S 19441 19441 14382 0 -1 1077944384 1222 0 0 0 180 17 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063586806672 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19447] ppid=19441 vsize=14089220 memory=1140632 CPUtime=1.97 cores=0,2,4,6
/proc/19443/task/19447/stat : 19447 (java) S 19441 19441 14382 0 -1 1077944384 679 0 0 0 180 17 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063585754128 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19448] ppid=19441 vsize=14089220 memory=1452 CPUtime=1.98 cores=0,2,4,6
/proc/19443/task/19448/stat : 19448 (java) S 19441 19441 14382 0 -1 1077944384 1164 0 0 0 182 16 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063584701584 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19449] ppid=19441 vsize=14089220 memory=1140632 CPUtime=0.1 cores=0,2,4,6
/proc/19443/task/19449/stat : 19449 (java) S 19441 19441 14382 0 -1 1077944384 6280 0 0 0 6 4 0 0 20 0 15 0 53148841 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063191570416 140063650269826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19450] ppid=19441 vsize=14089220 memory=1140632 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19450/stat : 19450 (java) S 19441 19441 14382 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 53148842 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063190516704 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19451] ppid=19441 vsize=14089220 memory=1140632 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19451/stat : 19451 (java) S 19441 19441 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53148842 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063189464064 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19452] ppid=19441 vsize=14089220 memory=1140632 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19452/stat : 19452 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063188412624 140063650277275 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19453] ppid=19441 vsize=14089220 memory=0 CPUtime=3.24 cores=0,2,4,6
/proc/19443/task/19453/stat : 19453 (java) S 19441 19441 14382 0 -1 1077944384 21322 0 0 0 321 3 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063187360240 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19454] ppid=19441 vsize=14089220 memory=1140632 CPUtime=3.24 cores=0,2,4,6
/proc/19443/task/19454/stat : 19454 (java) S 19441 19441 14382 0 -1 1077944384 18983 0 0 0 321 3 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063186307696 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19455] ppid=19441 vsize=14089220 memory=1452 CPUtime=0.75 cores=0,2,4,6
/proc/19443/task/19455/stat : 19455 (java) S 19441 19441 14382 0 -1 1077944384 7732 0 0 0 74 1 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063185255152 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19456] ppid=19441 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19456/stat : 19456 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148845 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063184202848 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19457] ppid=19441 vsize=14089220 memory=644 CPUtime=1.26 cores=0,2,4,6
/proc/19443/task/19457/stat : 19457 (java) S 19441 19441 14382 0 -1 1077944384 2543 0 0 0 60 66 0 0 20 0 15 0 53148845 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063183149360 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
Current children cumulated CPU time: 2396.57 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1142084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2385.8 s]
/proc/loadavg: 2.02 2.04 1.99 3/220 19713
/proc/meminfo: memFree=25498824/32770624 swapFree=67108860/67108860
[pid=19441] ppid=19438 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19441/stat : 19441 (xcsp3-exec) S 19438 19441 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 53148839 115843072 363 33554432000 4194304 5098028 140724824445280 140724824443384 140122049528444 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24080384 140724824454203 140724824454404 140724824454404 140724824457162 0
/proc/19441/statm: 28282 363 305 221 0 87 0
[pid=19443] ppid=19441 vsize=14089220 memory=1140632 CPUtime=2400.07 cores=0,2,4,6
/proc/19443/stat : 19443 (java) S 19441 19441 14382 0 -1 1077944320 105942 0 0 0 239863 144 0 0 20 0 15 0 53148839 14427361280 285158 33554432000 4194304 4196468 140727157958608 140727157941152 140063650258679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
/proc/19443/statm: 3522305 285158 3422 1 0 3483520 0
[pid=19443/tid=19444] ppid=19441 vsize=14089220 memory=2396 CPUtime=2383.5 cores=0,2,4,6
/proc/19443/task/19444/stat : 19444 (java) R 19441 19441 14382 0 -1 4202560 43822 0 0 0 238338 12 0 0 20 0 15 0 53148839 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063654495224 140063269770387 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19445] ppid=19441 vsize=14089220 memory=1292 CPUtime=1.97 cores=0,2,4,6
/proc/19443/task/19445/stat : 19445 (java) S 19441 19441 14382 0 -1 1077944384 898 0 0 0 179 18 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063587859216 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19446] ppid=19441 vsize=14089220 memory=1452 CPUtime=1.97 cores=0,2,4,6
/proc/19443/task/19446/stat : 19446 (java) S 19441 19441 14382 0 -1 1077944384 1222 0 0 0 180 17 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063586806672 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19447] ppid=19441 vsize=14089220 memory=916 CPUtime=1.97 cores=0,2,4,6
/proc/19443/task/19447/stat : 19447 (java) S 19441 19441 14382 0 -1 1077944384 679 0 0 0 180 17 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063585754128 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19448] ppid=19441 vsize=14089220 memory=3852 CPUtime=1.98 cores=0,2,4,6
/proc/19443/task/19448/stat : 19448 (java) S 19441 19441 14382 0 -1 1077944384 1164 0 0 0 182 16 0 0 20 0 15 0 53148840 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063584701584 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19449] ppid=19441 vsize=14089220 memory=2588 CPUtime=0.1 cores=0,2,4,6
/proc/19443/task/19449/stat : 19449 (java) S 19441 19441 14382 0 -1 1077944384 6280 0 0 0 6 4 0 0 20 0 15 0 53148841 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063191570416 140063650269826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19450] ppid=19441 vsize=14089220 memory=2680 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19450/stat : 19450 (java) S 19441 19441 14382 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 53148842 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063190516704 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19451] ppid=19441 vsize=14089220 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19451/stat : 19451 (java) S 19441 19441 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53148842 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063189464064 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19452] ppid=19441 vsize=14089220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19452/stat : 19452 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063188412624 140063650277275 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19453] ppid=19441 vsize=14089220 memory=3268 CPUtime=3.24 cores=0,2,4,6
/proc/19443/task/19453/stat : 19453 (java) S 19441 19441 14382 0 -1 1077944384 21322 0 0 0 321 3 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063187360240 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19454] ppid=19441 vsize=14089220 memory=1452 CPUtime=3.24 cores=0,2,4,6
/proc/19443/task/19454/stat : 19454 (java) S 19441 19441 14382 0 -1 1077944384 18983 0 0 0 321 3 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063186307696 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19455] ppid=19441 vsize=14089220 memory=1140632 CPUtime=0.75 cores=0,2,4,6
/proc/19443/task/19455/stat : 19455 (java) S 19441 19441 14382 0 -1 1077944384 7732 0 0 0 74 1 0 0 20 0 15 0 53148844 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063185255152 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19456] ppid=19441 vsize=14089220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/19443/task/19456/stat : 19456 (java) S 19441 19441 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53148845 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063184202848 140063650268885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
[pid=19443/tid=19457] ppid=19441 vsize=14089220 memory=3284 CPUtime=1.26 cores=0,2,4,6
/proc/19443/task/19457/stat : 19457 (java) S 19441 19441 14382 0 -1 1077944384 2543 0 0 0 60 66 0 0 20 0 15 0 53148845 14427361280 285158 33554432000 4194304 4196468 140727157958608 140063183149360 140063650269826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 32661504 140727157965953 140727157966129 140727157966129 140727157968847 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1142084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2385.82 s]
# the end of solver process 19441 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002348 s, system=0 s
[startup+2385.86 s]
# the end of solver process 19443 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.77 s, system=1.52922 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): 2385.86
CPU time (s): 2400.3
CPU user time (s): 2398.77
CPU system time (s): 1.52922
CPU usage (%): 100.605
Max. virtual memory (cumulated for all children) (KiB): 14204132
Max. memory (cumulated for all children) (KiB): 1142084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.77
system time used= 1.52922
maximum resident set size= 1210992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54912
involuntary context switches= 904
# summary of solver processes directly reported to runsolver:
# pid: 19441,19443
# total CPU time (s): 2400.3
# total CPU user time (s): 2398.77
# total CPU system time (s): 1.52922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.29 second user time and 26.8956 second system time
The end