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 (5540 MiB free)
memory of node 1: 16384 MiB (9782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306841-1534055228/watcher-4306841-1534055228 -o /tmp/evaluation-result-4306841-1534055228/solver-4306841-1534055228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580 HOME/xcsp3-exec -seed 40275284 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306841-1534055228.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
solver pid=28586, runsolver pid=28583
Current StackSize limit: 8192 KiB
[startup+0.10013 s]*
/proc/loadavg: 1.63 1.43 1.42 4/217 28602
/proc/meminfo: memFree=15670360/32770624 swapFree=67108792/67108860
[pid=28586] ppid=28583 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28586/stat : 28586 (xcsp3-exec) S 28583 28586 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223086091 115843072 363 33554432000 4194304 5098028 140722010438624 140722010436728 140443866301052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19689472 140722010440764 140722010440964 140722010440964 140722010443722 0
/proc/28586/statm: 28282 363 306 221 0 87 0
[pid=28588] ppid=28586 vsize=14082940 memory=28824 CPUtime=0.12 cores=0,2,4,6
/proc/28588/stat : 28588 (java) S 28586 28586 24759 0 -1 1077944320 5641 0 0 0 11 1 0 0 20 0 15 0 223086091 14420930560 7206 33554432000 4194304 4196468 140723363722800 140723363705344 140624690331383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
/proc/28588/statm: 3520735 7206 2997 1 0 3483012 0
[pid=28588/tid=28589] ppid=28586 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/28588/task/28589/stat : 28589 (java) R 28586 28586 24759 0 -1 4202560 3650 0 0 0 8 1 0 0 20 0 15 0 223086092 14420930560 7206 33554432000 4194304 4196468 140723363722800 140624694560560 140624674411870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28590] ppid=28586 vsize=14082940 memory=3472467797989143760 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28590/stat : 28590 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14420930560 7206 33554432000 4194304 4196468 140723363722800 140624620419728 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28591] ppid=28586 vsize=14082940 memory=139669093992064 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28591/stat : 28591 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14420930560 7206 33554432000 4194304 4196468 140723363722800 140624619366928 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28592] ppid=28586 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28592/stat : 28592 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14420930560 7206 33554432000 4194304 4196468 140723363722800 140624618314128 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28593] ppid=28586 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28593/stat : 28593 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14420930560 7206 33554432000 4194304 4196468 140723363722800 140624617261328 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28594] ppid=28586 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28594/stat : 28594 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086094 14420930560 7206 33554432000 4194304 4196468 140723363722800 140623669611376 140624690342530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28595] ppid=28586 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28595/stat : 28595 (java) S 28586 28586 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223086094 14420930560 7206 33554432000 4194304 4196468 140723363722800 140623668557344 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28596] ppid=28586 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28596/stat : 28596 (java) S 28586 28586 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223086094 14420930560 7206 33554432000 4194304 4196468 140723363722800 140623667504496 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28597] ppid=28586 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28597/stat : 28597 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14420930560 7206 33554432000 4194304 4196468 140723363722800 140623666452816 140624690349979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28598] ppid=28586 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28598/stat : 28598 (java) S 28586 28586 24759 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 223086097 14420930560 7206 33554432000 4194304 4196468 140723363722800 140623665400176 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28599] ppid=28586 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28599/stat : 28599 (java) S 28586 28586 24759 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 223086097 14420930560 7206 33554432000 4194304 4196468 140723363722800 140623664347376 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28600] ppid=28586 vsize=14082940 memory=139669093992064 CPUtime=0.01 cores=0,2,4,6
/proc/28588/task/28600/stat : 28600 (java) R 28586 28586 24759 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 223086097 14420930560 7206 33554432000 4194304 4196468 140723363722800 140623663294576 140624690352730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28601] ppid=28586 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28601/stat : 28601 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14420930560 7206 33554432000 4194304 4196468 140723363722800 140623662242016 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28602] ppid=28586 vsize=14082940 memory=139669093992064 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28602/stat : 28602 (java) S 28586 28586 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223086097 14420930560 7206 33554432000 4194304 4196468 140723363722800 140623661190320 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30276 KiB
[startup+0.210522 s]*
/proc/loadavg: 1.58 1.42 1.42 4/217 28602
/proc/meminfo: memFree=15658740/32770624 swapFree=67108792/67108860
[pid=28586] ppid=28583 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28586/stat : 28586 (xcsp3-exec) S 28583 28586 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223086091 115843072 363 33554432000 4194304 5098028 140722010438624 140722010436728 140443866301052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19689472 140722010440764 140722010440964 140722010440964 140722010443722 0
/proc/28586/statm: 28282 363 306 221 0 87 0
[pid=28588] ppid=28586 vsize=14082940 memory=41252 CPUtime=0.34 cores=0,2,4,6
/proc/28588/stat : 28588 (java) S 28586 28586 24759 0 -1 1077944320 8345 0 0 0 32 2 0 0 20 0 15 0 223086091 14420930560 10313 33554432000 4194304 4196468 140723363722800 140723363705344 140624690331383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
/proc/28588/statm: 3520735 10313 3186 1 0 3483012 0
[pid=28588/tid=28589] ppid=28586 vsize=14082940 memory=5852833025768652961 CPUtime=0.19 cores=0,2,4,6
/proc/28588/task/28589/stat : 28589 (java) R 28586 28586 24759 0 -1 4202560 5442 0 0 0 18 1 0 0 20 0 15 0 223086092 14420930560 10313 33554432000 4194304 4196468 140723363722800 140624694566368 140624674411900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28590] ppid=28586 vsize=14082940 memory=3472467797989143760 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28590/stat : 28590 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14420930560 10313 33554432000 4194304 4196468 140723363722800 140624620419728 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28591] ppid=28586 vsize=14082940 memory=139669093992064 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28591/stat : 28591 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14420930560 10313 33554432000 4194304 4196468 140723363722800 140624619366928 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28592] ppid=28586 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28592/stat : 28592 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14420930560 10313 33554432000 4194304 4196468 140723363722800 140624618314128 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28593] ppid=28586 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28593/stat : 28593 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14420930560 10313 33554432000 4194304 4196468 140723363722800 140624617261328 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28594] ppid=28586 vsize=14082940 memory=139669093992064 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28594/stat : 28594 (java) S 28586 28586 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223086094 14420930560 10313 33554432000 4194304 4196468 140723363722800 140623669611376 140624690342530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28595] ppid=28586 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28595/stat : 28595 (java) S 28586 28586 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223086094 14420930560 10313 33554432000 4194304 4196468 140723363722800 140623668557344 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28596] ppid=28586 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28596/stat : 28596 (java) S 28586 28586 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223086094 14420930560 10313 33554432000 4194304 4196468 140723363722800 140623667504496 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28597] ppid=28586 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28597/stat : 28597 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14420930560 10313 33554432000 4194304 4196468 140723363722800 140623666452816 140624690349979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28598] ppid=28586 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28588/task/28598/stat : 28598 (java) S 28586 28586 24759 0 -1 1077944384 641 0 0 0 2 0 0 0 20 0 15 0 223086097 14420930560 10313 33554432000 4194304 4196468 140723363722800 140623665400176 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28599] ppid=28586 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28588/task/28599/stat : 28599 (java) S 28586 28586 24759 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 15 0 223086097 14420930560 10313 33554432000 4194304 4196468 140723363722800 140623664347376 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28600] ppid=28586 vsize=14082940 memory=139669093992064 CPUtime=0.08 cores=0,2,4,6
/proc/28588/task/28600/stat : 28600 (java) S 28586 28586 24759 0 -1 1077944384 727 0 0 0 8 0 0 0 20 0 15 0 223086097 14420930560 10313 33554432000 4194304 4196468 140723363722800 140623663294576 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28601] ppid=28586 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28601/stat : 28601 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14420930560 10313 33554432000 4194304 4196468 140723363722800 140623662242016 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28602] ppid=28586 vsize=14082940 memory=139669093992064 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28602/stat : 28602 (java) S 28586 28586 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223086097 14420930560 10313 33554432000 4194304 4196468 140723363722800 140623661190320 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42704 KiB
[startup+0.317415 s]*
/proc/loadavg: 1.58 1.42 1.42 4/217 28602
/proc/meminfo: memFree=15652040/32770624 swapFree=67108792/67108860
[pid=28586] ppid=28583 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28586/stat : 28586 (xcsp3-exec) S 28583 28586 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223086091 115843072 363 33554432000 4194304 5098028 140722010438624 140722010436728 140443866301052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19689472 140722010440764 140722010440964 140722010440964 140722010443722 0
/proc/28586/statm: 28282 363 306 221 0 87 0
[pid=28588] ppid=28586 vsize=14087196 memory=48320 CPUtime=0.53 cores=0,2,4,6
/proc/28588/stat : 28588 (java) S 28586 28586 24759 0 -1 1077944320 9297 0 0 0 50 3 0 0 20 0 15 0 223086091 14425288704 12080 33554432000 4194304 4196468 140723363722800 140723363705344 140624690331383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
/proc/28588/statm: 3521799 12080 3252 1 0 3483012 0
[pid=28588/tid=28589] ppid=28586 vsize=14087196 memory=8514701219881125278 CPUtime=0.3 cores=0,2,4,6
/proc/28588/task/28589/stat : 28589 (java) R 28586 28586 24759 0 -1 4202560 6238 0 0 0 27 3 0 0 20 0 15 0 223086092 14425288704 12080 33554432000 4194304 4196468 140723363722800 140624694562496 140624674411870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28590] ppid=28586 vsize=14087196 memory=3472467797989143760 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28590/stat : 28590 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14425288704 12080 33554432000 4194304 4196468 140723363722800 140624620419728 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28591] ppid=28586 vsize=14087196 memory=139669093992064 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28591/stat : 28591 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14425288704 12080 33554432000 4194304 4196468 140723363722800 140624619366928 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28592] ppid=28586 vsize=14087196 memory=14 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28592/stat : 28592 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14425288704 12080 33554432000 4194304 4196468 140723363722800 140624618314128 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28593] ppid=28586 vsize=14087196 memory=139668981164063 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28593/stat : 28593 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14425288704 12080 33554432000 4194304 4196468 140723363722800 140624617261328 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28594] ppid=28586 vsize=14087196 memory=279337962288896 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28594/stat : 28594 (java) S 28586 28586 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223086094 14425288704 12080 33554432000 4194304 4196468 140723363722800 140623669611376 140624690342530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28595] ppid=28586 vsize=14087196 memory=139668981141007 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28595/stat : 28595 (java) S 28586 28586 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223086094 14425288704 12080 33554432000 4194304 4196468 140723363722800 140623668557344 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28596] ppid=28586 vsize=14087196 memory=279338075142240 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28596/stat : 28596 (java) S 28586 28586 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223086094 14425288704 12080 33554432000 4194304 4196468 140723363722800 140623667504496 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28597] ppid=28586 vsize=14087196 memory=139668981145615 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28597/stat : 28597 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14425288704 12080 33554432000 4194304 4196468 140723363722800 140623666452816 140624690349979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28598] ppid=28586 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/28588/task/28598/stat : 28598 (java) S 28586 28586 24759 0 -1 1077944384 720 0 0 0 5 0 0 0 20 0 15 0 223086097 14425288704 12080 33554432000 4194304 4196468 140723363722800 140623665400176 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28599] ppid=28586 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/28588/task/28599/stat : 28599 (java) S 28586 28586 24759 0 -1 1077944384 240 0 0 0 4 0 0 0 20 0 15 0 223086097 14425288704 12080 33554432000 4194304 4196468 140723363722800 140623664347376 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28600] ppid=28586 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28588/task/28600/stat : 28600 (java) S 28586 28586 24759 0 -1 1077944384 795 0 0 0 12 0 0 0 20 0 15 0 223086097 14425288704 12080 33554432000 4194304 4196468 140723363722800 140623663294576 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28601] ppid=28586 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28601/stat : 28601 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14425288704 12080 33554432000 4194304 4196468 140723363722800 140623662242016 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28602] ppid=28586 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28602/stat : 28602 (java) S 28586 28586 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223086097 14425288704 12080 33554432000 4194304 4196468 140723363722800 140623661190320 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49772 KiB
[startup+0.701459 s]
/proc/loadavg: 1.58 1.42 1.42 3/217 28602
/proc/meminfo: memFree=15633060/32770624 swapFree=67108792/67108860
[pid=28586] ppid=28583 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28586/stat : 28586 (xcsp3-exec) S 28583 28586 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223086091 115843072 363 33554432000 4194304 5098028 140722010438624 140722010436728 140443866301052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19689472 140722010440764 140722010440964 140722010440964 140722010443722 0
/proc/28586/statm: 28282 363 306 221 0 87 0
[pid=28588] ppid=28586 vsize=14089320 memory=71192 CPUtime=1.59 cores=0,2,4,6
/proc/28588/stat : 28588 (java) S 28586 28586 24759 0 -1 1077944320 13016 0 0 0 155 4 0 0 20 0 15 0 223086091 14427463680 17798 33554432000 4194304 4196468 140723363722800 140723363705344 140624690331383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
/proc/28588/statm: 3522330 17798 3359 1 0 3483524 0
[pid=28588/tid=28589] ppid=28586 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=0,2,4,6
/proc/28588/task/28589/stat : 28589 (java) R 28586 28586 24759 0 -1 4202560 7039 0 0 0 64 3 0 0 20 0 15 0 223086092 14427463680 17798 33554432000 4194304 4196468 140723363722800 140624694568192 140624295732816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28590] ppid=28586 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28590/stat : 28590 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14427463680 17798 33554432000 4194304 4196468 140723363722800 140624620419728 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28591] ppid=28586 vsize=14089320 memory=5859271421084259688 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28591/stat : 28591 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14427463680 17798 33554432000 4194304 4196468 140723363722800 140624619366928 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28592] ppid=28586 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28592/stat : 28592 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14427463680 17798 33554432000 4194304 4196468 140723363722800 140624618314128 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28593] ppid=28586 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28593/stat : 28593 (java) S 28586 28586 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223086092 14427463680 17798 33554432000 4194304 4196468 140723363722800 140624617261328 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28594] ppid=28586 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28594/stat : 28594 (java) S 28586 28586 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223086094 14427463680 17798 33554432000 4194304 4196468 140723363722800 140623669611376 140624690342530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28595] ppid=28586 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28595/stat : 28595 (java) S 28586 28586 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223086094 14427463680 17798 33554432000 4194304 4196468 140723363722800 140623668557344 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28596] ppid=28586 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28596/stat : 28596 (java) S 28586 28586 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223086094 14427463680 17798 33554432000 4194304 4196468 140723363722800 140623667504496 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28597] ppid=28586 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28597/stat : 28597 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 17798 33554432000 4194304 4196468 140723363722800 140623666452816 140624690349979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28598] ppid=28586 vsize=14089320 memory=60692 CPUtime=0.29 cores=0,2,4,6
/proc/28588/task/28598/stat : 28598 (java) R 28586 28586 24759 0 -1 4202560 1629 0 0 0 29 0 0 0 20 0 15 0 223086097 14427463680 17798 33554432000 4194304 4196468 140723363722800 140623665381744 140624669579052 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28599] ppid=28586 vsize=14089320 memory=1220 CPUtime=0.28 cores=0,2,4,6
/proc/28588/task/28599/stat : 28599 (java) R 28586 28586 24759 0 -1 4202560 1176 0 0 0 28 0 0 0 20 0 15 0 223086097 14427463680 17798 33554432000 4194304 4196468 140723363722800 140623664336176 140624673718168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28600] ppid=28586 vsize=14089320 memory=2380 CPUtime=0.33 cores=0,2,4,6
/proc/28588/task/28600/stat : 28600 (java) R 28586 28586 24759 0 -1 4202560 1861 0 0 0 33 0 0 0 20 0 15 0 223086097 14427463680 17798 33554432000 4194304 4196468 140723363722800 140623663294576 140624690352730 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28601] ppid=28586 vsize=14089320 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28601/stat : 28601 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 17798 33554432000 4194304 4196468 140723363722800 140623662242016 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28602] ppid=28586 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28602/stat : 28602 (java) S 28586 28586 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 17798 33554432000 4194304 4196468 140723363722800 140623661190320 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 72644 KiB
[startup+1.50081 s]
/proc/loadavg: 1.58 1.42 1.42 5/217 28602
/proc/meminfo: memFree=15622520/32770624 swapFree=67108792/67108860
[pid=28586] ppid=28583 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28586/stat : 28586 (xcsp3-exec) S 28583 28586 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223086091 115843072 363 33554432000 4194304 5098028 140722010438624 140722010436728 140443866301052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19689472 140722010440764 140722010440964 140722010440964 140722010443722 0
/proc/28586/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/28588/task/28596/stat : 28596 (java) S 28586 28586 24759 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 223086094 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623667504496 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28597] ppid=28586 vsize=14089320 memory=963588 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28597/stat : 28597 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623666452816 140624690349979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28598] ppid=28586 vsize=14089320 memory=233832 CPUtime=1.93 cores=0,2,4,6
/proc/28588/task/28598/stat : 28598 (java) S 28586 28586 24759 0 -1 1077944384 13821 0 0 0 192 1 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623665400176 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28599] ppid=28586 vsize=14089320 memory=1452 CPUtime=1.83 cores=0,2,4,6
/proc/28588/task/28599/stat : 28599 (java) S 28586 28586 24759 0 -1 1077944384 9293 0 0 0 183 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623664347376 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28600] ppid=28586 vsize=14089320 memory=963588 CPUtime=0.53 cores=0,2,4,6
/proc/28588/task/28600/stat : 28600 (java) S 28586 28586 24759 0 -1 1077944384 7182 0 0 0 52 1 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623663294576 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28601] ppid=28586 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28601/stat : 28601 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623662242016 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28602] ppid=28586 vsize=14089320 memory=963588 CPUtime=0.66 cores=0,2,4,6
/proc/28588/task/28602/stat : 28602 (java) S 28586 28586 24759 0 -1 1077944384 1550 0 0 0 30 36 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623661190320 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
Current children cumulated CPU time: 2344.23 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 965040 KiB
[startup+2382.3 s]
/proc/loadavg: 1.49 1.53 1.49 3/217 28698
/proc/meminfo: memFree=14360592/32770624 swapFree=67108792/67108860
[pid=28586] ppid=28583 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28586/stat : 28586 (xcsp3-exec) S 28583 28586 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223086091 115843072 363 33554432000 4194304 5098028 140722010438624 140722010436728 140443866301052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19689472 140722010440764 140722010440964 140722010440964 140722010443722 0
/proc/28586/statm: 28282 363 306 221 0 87 0
[pid=28588] ppid=28586 vsize=14089320 memory=963588 CPUtime=2404.4 cores=0,2,4,6
/proc/28588/stat : 28588 (java) S 28586 28586 24759 0 -1 1077944320 193989 0 0 0 240094 346 0 0 20 0 15 0 223086091 14427463680 240897 33554432000 4194304 4196468 140723363722800 140723363705344 140624690331383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
/proc/28588/statm: 3522330 240897 3427 1 0 3483524 0
[pid=28588/tid=28589] ppid=28586 vsize=14089320 memory=963588 CPUtime=2373.3 cores=0,2,4,6
/proc/28588/task/28589/stat : 28589 (java) R 28586 28586 24759 0 -1 4202560 95683 0 0 0 237103 227 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624694571232 140624297473481 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28590] ppid=28586 vsize=14089320 memory=1452 CPUtime=6.07 cores=0,2,4,6
/proc/28588/task/28590/stat : 28590 (java) S 28586 28586 24759 0 -1 1077944384 9451 0 0 0 589 18 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624620419728 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28591] ppid=28586 vsize=14089320 memory=963588 CPUtime=6.05 cores=0,2,4,6
/proc/28588/task/28591/stat : 28591 (java) S 28586 28586 24759 0 -1 1077944384 11371 0 0 0 588 17 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624619366928 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28592] ppid=28586 vsize=14089320 memory=1452 CPUtime=6.06 cores=0,2,4,6
/proc/28588/task/28592/stat : 28592 (java) S 28586 28586 24759 0 -1 1077944384 11395 0 0 0 587 19 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624618314128 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28593] ppid=28586 vsize=14089320 memory=963588 CPUtime=6.08 cores=0,2,4,6
/proc/28588/task/28593/stat : 28593 (java) S 28586 28586 24759 0 -1 1077944384 11796 0 0 0 590 18 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624617261328 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28594] ppid=28586 vsize=14089320 memory=1452 CPUtime=1.78 cores=0,2,4,6
/proc/28588/task/28594/stat : 28594 (java) S 28586 28586 24759 0 -1 1077944384 21057 0 0 0 158 20 0 0 20 0 15 0 223086094 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623669611376 140624690342530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28595] ppid=28586 vsize=14089320 memory=33 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28595/stat : 28595 (java) S 28586 28586 24759 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 223086094 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623668557344 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28596] ppid=28586 vsize=14089320 memory=963588 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28596/stat : 28596 (java) S 28586 28586 24759 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 223086094 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623667504496 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28597] ppid=28586 vsize=14089320 memory=963588 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28597/stat : 28597 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623666452816 140624690349979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28598] ppid=28586 vsize=14089320 memory=963588 CPUtime=1.93 cores=0,2,4,6
/proc/28588/task/28598/stat : 28598 (java) S 28586 28586 24759 0 -1 1077944384 13823 0 0 0 192 1 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623665400176 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28599] ppid=28586 vsize=14089320 memory=1452 CPUtime=1.83 cores=0,2,4,6
/proc/28588/task/28599/stat : 28599 (java) S 28586 28586 24759 0 -1 1077944384 9295 0 0 0 183 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623664347376 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28600] ppid=28586 vsize=14089320 memory=963588 CPUtime=0.53 cores=0,2,4,6
/proc/28588/task/28600/stat : 28600 (java) S 28586 28586 24759 0 -1 1077944384 7184 0 0 0 52 1 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623663294576 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28601] ppid=28586 vsize=14089320 memory=139669093992064 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28601/stat : 28601 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623662242016 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28602] ppid=28586 vsize=14089320 memory=576461252103989788 CPUtime=0.68 cores=0,2,4,6
/proc/28588/task/28602/stat : 28602 (java) S 28586 28586 24759 0 -1 1077944384 1565 0 0 0 31 37 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623661190320 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
Current children cumulated CPU time: 2404.4 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 965040 KiB
[startup+2442.3 s]
/proc/loadavg: 1.55 1.52 1.48 3/217 28777
/proc/meminfo: memFree=14265068/32770624 swapFree=67108792/67108860
[pid=28586] ppid=28583 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28586/stat : 28586 (xcsp3-exec) S 28583 28586 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223086091 115843072 363 33554432000 4194304 5098028 140722010438624 140722010436728 140443866301052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19689472 140722010440764 140722010440964 140722010440964 140722010443722 0
/proc/28586/statm: 28282 363 306 221 0 87 0
[pid=28588] ppid=28586 vsize=14089320 memory=963588 CPUtime=2464.6 cores=0,2,4,6
/proc/28588/stat : 28588 (java) S 28586 28586 24759 0 -1 1077944320 195422 0 0 0 246112 348 0 0 20 0 15 0 223086091 14427463680 240897 33554432000 4194304 4196468 140723363722800 140723363705344 140624690331383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
/proc/28588/statm: 3522330 240897 3427 1 0 3483524 0
[pid=28588/tid=28589] ppid=28586 vsize=14089320 memory=1452 CPUtime=2433.15 cores=0,2,4,6
/proc/28588/task/28589/stat : 28589 (java) R 28586 28586 24759 0 -1 4202560 96084 0 0 0 243088 227 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624694571232 140624297096878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28590] ppid=28586 vsize=14089320 memory=1452 CPUtime=6.13 cores=0,2,4,6
/proc/28588/task/28590/stat : 28590 (java) S 28586 28586 24759 0 -1 1077944384 10099 0 0 0 595 18 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624620419728 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28591] ppid=28586 vsize=14089320 memory=963588 CPUtime=6.12 cores=0,2,4,6
/proc/28588/task/28591/stat : 28591 (java) S 28586 28586 24759 0 -1 1077944384 11444 0 0 0 595 17 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624619366928 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28592] ppid=28586 vsize=14089320 memory=963588 CPUtime=6.13 cores=0,2,4,6
/proc/28588/task/28592/stat : 28592 (java) S 28586 28586 24759 0 -1 1077944384 11466 0 0 0 594 19 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624618314128 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28593] ppid=28586 vsize=14089320 memory=963588 CPUtime=6.15 cores=0,2,4,6
/proc/28588/task/28593/stat : 28593 (java) S 28586 28586 24759 0 -1 1077944384 11818 0 0 0 597 18 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624617261328 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28594] ppid=28586 vsize=14089320 memory=963588 CPUtime=1.82 cores=0,2,4,6
/proc/28588/task/28594/stat : 28594 (java) S 28586 28586 24759 0 -1 1077944384 21246 0 0 0 162 20 0 0 20 0 15 0 223086094 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623669611376 140624690342530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28595] ppid=28586 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28595/stat : 28595 (java) S 28586 28586 24759 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 223086094 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623668557344 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28596] ppid=28586 vsize=14089320 memory=963588 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28596/stat : 28596 (java) S 28586 28586 24759 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 223086094 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623667504496 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28597] ppid=28586 vsize=14089320 memory=963588 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28597/stat : 28597 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623666452816 140624690349979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28598] ppid=28586 vsize=14089320 memory=1452 CPUtime=1.93 cores=0,2,4,6
/proc/28588/task/28598/stat : 28598 (java) S 28586 28586 24759 0 -1 1077944384 13827 0 0 0 192 1 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623665400176 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28599] ppid=28586 vsize=14089320 memory=963588 CPUtime=1.83 cores=0,2,4,6
/proc/28588/task/28599/stat : 28599 (java) S 28586 28586 24759 0 -1 1077944384 9299 0 0 0 183 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623664347376 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28600] ppid=28586 vsize=14089320 memory=1452 CPUtime=0.53 cores=0,2,4,6
/proc/28588/task/28600/stat : 28600 (java) S 28586 28586 24759 0 -1 1077944384 7188 0 0 0 52 1 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623663294576 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28601] ppid=28586 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28601/stat : 28601 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623662242016 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28602] ppid=28586 vsize=14089320 memory=963588 CPUtime=0.69 cores=0,2,4,6
/proc/28588/task/28602/stat : 28602 (java) S 28586 28586 24759 0 -1 1077944384 1582 0 0 0 31 38 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623661190320 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
Current children cumulated CPU time: 2464.6 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 965040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2497.6 s]
/proc/loadavg: 1.82 1.60 1.51 3/217 28778
/proc/meminfo: memFree=14261436/32770624 swapFree=67108792/67108860
[pid=28586] ppid=28583 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28586/stat : 28586 (xcsp3-exec) S 28583 28586 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223086091 115843072 363 33554432000 4194304 5098028 140722010438624 140722010436728 140443866301052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19689472 140722010440764 140722010440964 140722010440964 140722010443722 0
/proc/28586/statm: 28282 363 306 221 0 87 0
[pid=28588] ppid=28586 vsize=14089320 memory=963588 CPUtime=2520.08 cores=0,2,4,6
/proc/28588/stat : 28588 (java) S 28586 28586 24759 0 -1 1077944320 196702 0 0 0 251657 351 0 0 20 0 15 0 223086091 14427463680 240897 33554432000 4194304 4196468 140723363722800 140723363705344 140624690331383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
/proc/28588/statm: 3522330 240897 3427 1 0 3483524 0
[pid=28588/tid=28589] ppid=28586 vsize=14089320 memory=6791534058613427641 CPUtime=2488.33 cores=0,2,4,6
/proc/28588/task/28589/stat : 28589 (java) R 28586 28586 24759 0 -1 4202560 96534 0 0 0 248606 227 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624694571232 140624297427746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28590] ppid=28586 vsize=14089320 memory=963588 CPUtime=6.19 cores=0,2,4,6
/proc/28588/task/28590/stat : 28590 (java) S 28586 28586 24759 0 -1 1077944384 10440 0 0 0 600 19 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624620419728 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28591] ppid=28586 vsize=14089320 memory=15840 CPUtime=6.18 cores=0,2,4,6
/proc/28588/task/28591/stat : 28591 (java) S 28586 28586 24759 0 -1 1077944384 11505 0 0 0 600 18 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624619366928 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28592] ppid=28586 vsize=14089320 memory=34208 CPUtime=6.19 cores=0,2,4,6
/proc/28588/task/28592/stat : 28592 (java) S 28586 28586 24759 0 -1 1077944384 11498 0 0 0 600 19 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624618314128 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28593] ppid=28586 vsize=14089320 memory=3304 CPUtime=6.21 cores=0,2,4,6
/proc/28588/task/28593/stat : 28593 (java) S 28586 28586 24759 0 -1 1077944384 11855 0 0 0 603 18 0 0 20 0 15 0 223086092 14427463680 240897 33554432000 4194304 4196468 140723363722800 140624617261328 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28594] ppid=28586 vsize=14089320 memory=6791534058613427641 CPUtime=1.87 cores=0,2,4,6
/proc/28588/task/28594/stat : 28594 (java) S 28586 28586 24759 0 -1 1077944384 21569 0 0 0 166 21 0 0 20 0 15 0 223086094 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623669611376 140624690342530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28595] ppid=28586 vsize=14089320 memory=3888 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28595/stat : 28595 (java) S 28586 28586 24759 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 223086094 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623668557344 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28596] ppid=28586 vsize=14089320 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28596/stat : 28596 (java) S 28586 28586 24759 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 223086094 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623667504496 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28597] ppid=28586 vsize=14089320 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28597/stat : 28597 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623666452816 140624690349979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28598] ppid=28586 vsize=14089320 memory=1264 CPUtime=1.93 cores=0,2,4,6
/proc/28588/task/28598/stat : 28598 (java) S 28586 28586 24759 0 -1 1077944384 13829 0 0 0 192 1 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623665400176 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28599] ppid=28586 vsize=14089320 memory=4744 CPUtime=1.83 cores=0,2,4,6
/proc/28588/task/28599/stat : 28599 (java) S 28586 28586 24759 0 -1 1077944384 9301 0 0 0 183 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623664347376 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28600] ppid=28586 vsize=14089320 memory=3888 CPUtime=0.53 cores=0,2,4,6
/proc/28588/task/28600/stat : 28600 (java) S 28586 28586 24759 0 -1 1077944384 7192 0 0 0 52 1 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623663294576 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28601] ppid=28586 vsize=14089320 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/28588/task/28601/stat : 28601 (java) S 28586 28586 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623662242016 140624690341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
[pid=28588/tid=28602] ppid=28586 vsize=14089320 memory=1800 CPUtime=0.71 cores=0,2,4,6
/proc/28588/task/28602/stat : 28602 (java) S 28586 28586 24759 0 -1 1077944384 1610 0 0 0 32 39 0 0 20 0 15 0 223086097 14427463680 240897 33554432000 4194304 4196468 140723363722800 140623661190320 140624690342530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26566656 140723363726470 140723363726641 140723363726641 140723363729359 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 965040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2497.61 s]
# the end of solver process 28586 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002411 s, system=0 s
[startup+2497.61 s]
# the end of solver process 28588 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.58 s, system=3.51721 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): 2497.61
CPU time (s): 2520.1
CPU user time (s): 2516.58
CPU system time (s): 3.51721
CPU usage (%): 100.9
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 4822932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.58
system time used= 3.51721
maximum resident set size= 4852272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197474
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100443
involuntary context switches= 4608
# summary of solver processes directly reported to runsolver:
# pid: 28586,28588
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.58
# total CPU system time (s): 3.51721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7772 second user time and 23.1581 second system time
The end