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 (12214 MiB free)
memory of node 1: 16384 MiB (13674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282769-1503213503/watcher-4282769-1503213503 -o /tmp/evaluation-result-4282769-1503213503/solver-4282769-1503213503 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503208459-21141 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2106922522 HOME/instance-4282769-1503213503.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24784, runsolver pid=24781
[startup+0.100139 s]*
/proc/loadavg: 1.59 1.61 1.78 3/218 24800
/proc/meminfo: memFree=26492608/32770624 swapFree=67108860/67108860
[pid=24784] ppid=24781 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24784/stat : 24784 (xcsp3-exec) S 24781 24784 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154437876 9740288 346 33554432000 4194304 5098028 140735676794208 140735676792312 139655855428220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17145856 140735676798068 140735676798272 140735676798272 140735676801003 0
/proc/24784/statm: 2378 346 289 221 0 87 0
[pid=24786] ppid=24784 vsize=13978596 memory=29352 CPUtime=0.12 cores=1,3,5,7
/proc/24786/stat : 24786 (java) S 24784 24784 21109 0 -1 1077944320 5127 0 0 0 11 1 0 0 20 0 15 0 154437876 14314082304 7338 33554432000 4194304 4196468 140733070874512 140733070857056 140424251002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
/proc/24786/statm: 3494649 7338 2904 1 0 3482966 0
[pid=24786/tid=24787] ppid=24784 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/24786/task/24787/stat : 24787 (java) R 24784 24784 21109 0 -1 4202560 3073 0 0 0 8 1 0 0 20 0 15 0 154437877 14314082304 7338 33554432000 4194304 4196468 140733070874512 140424255231792 140424229447360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24788] ppid=24784 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24788/stat : 24788 (java) S 24784 24784 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154437877 14314082304 7338 33554432000 4194304 4196468 140733070874512 140424166071184 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24789] ppid=24784 vsize=13978596 memory=139934810420864 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24789/stat : 24789 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14314082304 7338 33554432000 4194304 4196468 140733070874512 140424165018384 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24790] ppid=24784 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24790/stat : 24790 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14314082304 7338 33554432000 4194304 4196468 140733070874512 140424163966096 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24791] ppid=24784 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24791/stat : 24791 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14314082304 7338 33554432000 4194304 4196468 140733070874512 140424162913296 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24792] ppid=24784 vsize=13978596 memory=139934810420864 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24792/stat : 24792 (java) S 24784 24784 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154437879 14314082304 7338 33554432000 4194304 4196468 140733070874512 140423724513392 140424251013762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24793] ppid=24784 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24793/stat : 24793 (java) S 24784 24784 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154437879 14314082304 7338 33554432000 4194304 4196468 140733070874512 140423723459360 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24794] ppid=24784 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24794/stat : 24794 (java) S 24784 24784 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154437879 14314082304 7338 33554432000 4194304 4196468 140733070874512 140423722407024 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24795] ppid=24784 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24795/stat : 24795 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14314082304 7338 33554432000 4194304 4196468 140733070874512 140423721355344 140424251021211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24796] ppid=24784 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24796/stat : 24796 (java) S 24784 24784 21109 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 154437882 14314082304 7338 33554432000 4194304 4196468 140733070874512 140423720303216 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24797] ppid=24784 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24797/stat : 24797 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14314082304 7338 33554432000 4194304 4196468 140733070874512 140423719250416 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24798] ppid=24784 vsize=13978596 memory=139934810420864 CPUtime=0.01 cores=1,3,5,7
/proc/24786/task/24798/stat : 24798 (java) S 24784 24784 21109 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 15 0 154437882 14314082304 7338 33554432000 4194304 4196468 140733070874512 140423718198128 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24799] ppid=24784 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24799/stat : 24799 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14314082304 7338 33554432000 4194304 4196468 140733070874512 140423717145568 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24800] ppid=24784 vsize=13978596 memory=139934810420864 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24800/stat : 24800 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437882 14314082304 7338 33554432000 4194304 4196468 140733070874512 140423716092336 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30736 KiB
[startup+0.210766 s]*
/proc/loadavg: 1.59 1.61 1.78 3/218 24800
/proc/meminfo: memFree=26481940/32770624 swapFree=67108860/67108860
[pid=24784] ppid=24781 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24784/stat : 24784 (xcsp3-exec) S 24781 24784 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154437876 9740288 346 33554432000 4194304 5098028 140735676794208 140735676792312 139655855428220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17145856 140735676798068 140735676798272 140735676798272 140735676801003 0
/proc/24784/statm: 2378 346 289 221 0 87 0
[pid=24786] ppid=24784 vsize=13982852 memory=40100 CPUtime=0.34 cores=1,3,5,7
/proc/24786/stat : 24786 (java) S 24784 24784 21109 0 -1 1077944320 7701 0 0 0 31 3 0 0 20 0 15 0 154437876 14318440448 10025 33554432000 4194304 4196468 140733070874512 140733070857056 140424251002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
/proc/24786/statm: 3495713 10025 3046 1 0 3482966 0
[pid=24786/tid=24787] ppid=24784 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/24786/task/24787/stat : 24787 (java) R 24784 24784 21109 0 -1 4202560 4950 0 0 0 18 2 0 0 20 0 15 0 154437877 14318440448 10025 33554432000 4194304 4196468 140733070874512 140424255224672 140424251024541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24788] ppid=24784 vsize=13982852 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24788/stat : 24788 (java) S 24784 24784 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154437877 14318440448 10025 33554432000 4194304 4196468 140733070874512 140424166071184 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24789] ppid=24784 vsize=13982852 memory=139934811163729 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24789/stat : 24789 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14318440448 10025 33554432000 4194304 4196468 140733070874512 140424165018384 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24790] ppid=24784 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24790/stat : 24790 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14318440448 10025 33554432000 4194304 4196468 140733070874512 140424163966096 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24791] ppid=24784 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24791/stat : 24791 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14318440448 10025 33554432000 4194304 4196468 140733070874512 140424162913296 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24792] ppid=24784 vsize=13982852 memory=139934810420864 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24792/stat : 24792 (java) S 24784 24784 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154437879 14318440448 10025 33554432000 4194304 4196468 140733070874512 140423724513392 140424251013762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24793] ppid=24784 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24793/stat : 24793 (java) S 24784 24784 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154437879 14318440448 10025 33554432000 4194304 4196468 140733070874512 140423723459360 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24794] ppid=24784 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24794/stat : 24794 (java) S 24784 24784 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154437879 14318440448 10025 33554432000 4194304 4196468 140733070874512 140423722407024 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24795] ppid=24784 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24795/stat : 24795 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14318440448 10025 33554432000 4194304 4196468 140733070874512 140423721355344 140424251021211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24796] ppid=24784 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24786/task/24796/stat : 24796 (java) S 24784 24784 21109 0 -1 1077944384 586 0 0 0 2 0 0 0 20 0 15 0 154437882 14318440448 10025 33554432000 4194304 4196468 140733070874512 140423720303216 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24797] ppid=24784 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24786/task/24797/stat : 24797 (java) S 24784 24784 21109 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 15 0 154437882 14318440448 10025 33554432000 4194304 4196468 140733070874512 140423719250416 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24798] ppid=24784 vsize=13982852 memory=139934810420864 CPUtime=0.08 cores=1,3,5,7
/proc/24786/task/24798/stat : 24798 (java) S 24784 24784 21109 0 -1 1077944384 700 0 0 0 8 0 0 0 20 0 15 0 154437882 14318440448 10025 33554432000 4194304 4196468 140733070874512 140423718198128 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24799] ppid=24784 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24799/stat : 24799 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14318440448 10025 33554432000 4194304 4196468 140733070874512 140423717145568 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24800] ppid=24784 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24800/stat : 24800 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437882 14318440448 10025 33554432000 4194304 4196468 140733070874512 140423716092336 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41484 KiB
[startup+0.310442 s]*
/proc/loadavg: 1.59 1.61 1.78 8/218 24800
/proc/meminfo: memFree=26473628/32770624 swapFree=67108860/67108860
[pid=24784] ppid=24781 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24784/stat : 24784 (xcsp3-exec) S 24781 24784 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154437876 9740288 346 33554432000 4194304 5098028 140735676794208 140735676792312 139655855428220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17145856 140735676798068 140735676798272 140735676798272 140735676801003 0
/proc/24784/statm: 2378 346 289 221 0 87 0
[pid=24786] ppid=24784 vsize=13982852 memory=48784 CPUtime=0.53 cores=1,3,5,7
/proc/24786/stat : 24786 (java) S 24784 24784 21109 0 -1 1077944320 8816 0 0 0 50 3 0 0 20 0 15 0 154437876 14318440448 12196 33554432000 4194304 4196468 140733070874512 140733070857056 140424251002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
/proc/24786/statm: 3495713 12196 3128 1 0 3482966 0
[pid=24786/tid=24787] ppid=24784 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24786/task/24787/stat : 24787 (java) R 24784 24784 21109 0 -1 4202560 5527 0 0 0 27 2 0 0 20 0 15 0 154437877 14318440448 12196 33554432000 4194304 4196468 140733070874512 140424255227040 140424251024541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24788] ppid=24784 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24788/stat : 24788 (java) S 24784 24784 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154437877 14318440448 12196 33554432000 4194304 4196468 140733070874512 140424166071184 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24789] ppid=24784 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24789/stat : 24789 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14318440448 12196 33554432000 4194304 4196468 140733070874512 140424165018384 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24790] ppid=24784 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24790/stat : 24790 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14318440448 12196 33554432000 4194304 4196468 140733070874512 140424163966096 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24791] ppid=24784 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24791/stat : 24791 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14318440448 12196 33554432000 4194304 4196468 140733070874512 140424162913296 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24792] ppid=24784 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24792/stat : 24792 (java) S 24784 24784 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154437879 14318440448 12196 33554432000 4194304 4196468 140733070874512 140423724513392 140424251013762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24793] ppid=24784 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24793/stat : 24793 (java) S 24784 24784 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154437879 14318440448 12196 33554432000 4194304 4196468 140733070874512 140423723459360 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24794] ppid=24784 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24794/stat : 24794 (java) S 24784 24784 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154437879 14318440448 12196 33554432000 4194304 4196468 140733070874512 140423722407024 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24795] ppid=24784 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24795/stat : 24795 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14318440448 12196 33554432000 4194304 4196468 140733070874512 140423721355344 140424251021211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24796] ppid=24784 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24796/stat : 24796 (java) S 24784 24784 21109 0 -1 1077944384 811 0 0 0 4 0 0 0 20 0 15 0 154437882 14318440448 12196 33554432000 4194304 4196468 140733070874512 140423720303216 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24797] ppid=24784 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24797/stat : 24797 (java) R 24784 24784 21109 0 -1 4202560 276 0 0 0 4 0 0 0 20 0 15 0 154437882 14318440448 12196 33554432000 4194304 4196468 140733070874512 140423719250416 140424251023962 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24798] ppid=24784 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24786/task/24798/stat : 24798 (java) S 24784 24784 21109 0 -1 1077944384 899 0 0 0 12 0 0 0 20 0 15 0 154437882 14318440448 12196 33554432000 4194304 4196468 140733070874512 140423718198128 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24799] ppid=24784 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24799/stat : 24799 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14318440448 12196 33554432000 4194304 4196468 140733070874512 140423717145568 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24800] ppid=24784 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24800/stat : 24800 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437882 14318440448 12196 33554432000 4194304 4196468 140733070874512 140423716092336 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 50168 KiB
[startup+0.701135 s]
/proc/loadavg: 1.59 1.61 1.78 5/218 24800
/proc/meminfo: memFree=26452284/32770624 swapFree=67108860/67108860
[pid=24784] ppid=24781 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24784/stat : 24784 (xcsp3-exec) S 24781 24784 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154437876 9740288 346 33554432000 4194304 5098028 140735676794208 140735676792312 139655855428220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17145856 140735676798068 140735676798272 140735676798272 140735676801003 0
/proc/24784/statm: 2378 346 289 221 0 87 0
[pid=24786] ppid=24784 vsize=13984976 memory=79160 CPUtime=1.7 cores=1,3,5,7
/proc/24786/stat : 24786 (java) S 24784 24784 21109 0 -1 1077944320 10874 0 0 0 166 4 0 0 20 0 15 0 154437876 14320615424 19790 33554432000 4194304 4196468 140733070874512 140733070857056 140424251002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
/proc/24786/statm: 3496244 19790 3210 1 0 3483478 0
[pid=24786/tid=24787] ppid=24784 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/24786/task/24787/stat : 24787 (java) R 24784 24784 21109 0 -1 4202560 6122 0 0 0 65 2 0 0 20 0 15 0 154437877 14320615424 19790 33554432000 4194304 4196468 140733070874512 140424255237296 140423842132292 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24788] ppid=24784 vsize=13984976 memory=288230587427463936 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24788/stat : 24788 (java) S 24784 24784 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154437877 14320615424 19790 33554432000 4194304 4196468 140733070874512 140424166071184 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24789] ppid=24784 vsize=13984976 memory=16106957111054841 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24789/stat : 24789 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14320615424 19790 33554432000 4194304 4196468 140733070874512 140424165018384 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24790] ppid=24784 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24790/stat : 24790 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14320615424 19790 33554432000 4194304 4196468 140733070874512 140424163966096 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24791] ppid=24784 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24791/stat : 24791 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437877 14320615424 19790 33554432000 4194304 4196468 140733070874512 140424162913296 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24792] ppid=24784 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24792/stat : 24792 (java) S 24784 24784 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154437879 14320615424 19790 33554432000 4194304 4196468 140733070874512 140423724513392 140424251013762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24793] ppid=24784 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24793/stat : 24793 (java) S 24784 24784 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154437879 14320615424 19790 33554432000 4194304 4196468 140733070874512 140423723459360 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24794] ppid=24784 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24794/stat : 24794 (java) S 24784 24784 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154437879 14320615424 19790 33554432000 4194304 4196468 140733070874512 140423722407024 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24795] ppid=24784 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24795/stat : 24795 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 19790 33554432000 4194304 4196468 140733070874512 140423721355344 140424251021211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24796] ppid=24784 vsize=13984976 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/24786/task/24796/stat : 24796 (java) R 24784 24784 21109 0 -1 4202560 1285 0 0 0 35 0 0 0 20 0 15 0 154437882 14320615424 19790 33554432000 4194304 4196468 140733070874512 140423720293136 140424234529184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24797] ppid=24784 vsize=13984976 memory=4053908543066368875 CPUtime=0.34 cores=1,3,5,7
/proc/24786/task/24797/stat : 24797 (java) R 24784 24784 21109 0 -1 4202560 717 0 0 0 34 0 0 0 20 0 15 0 154437882 14320615424 19790 33554432000 4194304 4196468 140733070874512 140423719243608 140424230390384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24798] ppid=24784 vsize=13984976 memory=7596555872493398118 CPUtime=0.31 cores=1,3,5,7
/proc/24786/task/24798/stat : 24798 (java) S 24784 24784 21109 0 -1 1077944384 1444 0 0 0 31 0 0 0 20 0 15 0 154437882 14320615424 19790 33554432000 4194304 4196468 140733070874512 140423718198128 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24799] ppid=24784 vsize=13984976 memory=7594587674001172330 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24799/stat : 24799 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 19790 33554432000 4194304 4196468 140733070874512 140423717145568 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24800] ppid=24784 vsize=13984976 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24800/stat : 24800 (java) S 24784 24784 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 19790 33554432000 4194304 4196468 140733070874512 140423716092336 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80544 KiB
[startup+1.50076 s]
/proc/loadavg: 1.59 1.61 1.78 5/218 24800
/proc/meminfo: memFree=26430112/32770624 swapFree=67108860/67108860
[pid=24784] ppid=24781 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24784/stat : 24784 (xcsp3-exec) S 24781 24784 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154437876 9740288 346 33554432000 4194304 5098028 140735676794208 140735676792312 139655855428220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17145856 140735676798068 140735676798272 140735676798272 140735676801003 0
/proc/24784/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/24786/task/24794/stat : 24794 (java) S 24784 24784 21109 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154437879 14320615424 47529 33554432000 4194304 4196468 140733070874512 140423722407040 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24795] ppid=24784 vsize=13984976 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24795/stat : 24795 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 47529 33554432000 4194304 4196468 140733070874512 140423721355344 140424251021211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24796] ppid=24784 vsize=13984976 memory=42720 CPUtime=1.39 cores=1,3,5,7
/proc/24786/task/24796/stat : 24796 (java) S 24784 24784 21109 0 -1 1077944384 8008 0 0 0 138 1 0 0 20 0 15 0 154437882 14320615424 47529 33554432000 4194304 4196468 140733070874512 140423720303216 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24797] ppid=24784 vsize=13984976 memory=1384 CPUtime=1.36 cores=1,3,5,7
/proc/24786/task/24797/stat : 24797 (java) S 24784 24784 21109 0 -1 1077944384 7195 0 0 0 135 1 0 0 20 0 15 0 154437882 14320615424 47529 33554432000 4194304 4196468 140733070874512 140423719250416 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24798] ppid=24784 vsize=13984976 memory=190116 CPUtime=0.48 cores=1,3,5,7
/proc/24786/task/24798/stat : 24798 (java) S 24784 24784 21109 0 -1 1077944384 5419 0 0 0 47 1 0 0 20 0 15 0 154437882 14320615424 47529 33554432000 4194304 4196468 140733070874512 140423718198128 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24799] ppid=24784 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24799/stat : 24799 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 47529 33554432000 4194304 4196468 140733070874512 140423717145568 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24800] ppid=24784 vsize=13984976 memory=201824 CPUtime=0.01 cores=1,3,5,7
/proc/24786/task/24800/stat : 24800 (java) S 24784 24784 21109 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 15 0 154437882 14320615424 47529 33554432000 4194304 4196468 140733070874512 140423716092336 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
Current children cumulated CPU time: 105.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 191500 KiB
[startup+162.301 s]
/proc/loadavg: 1.81 1.68 1.78 3/217 24802
/proc/meminfo: memFree=26412328/32770624 swapFree=67108860/67108860
[pid=24784] ppid=24781 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24784/stat : 24784 (xcsp3-exec) S 24781 24784 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154437876 9740288 346 33554432000 4194304 5098028 140735676794208 140735676792312 139655855428220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17145856 140735676798068 140735676798272 140735676798272 140735676801003 0
/proc/24784/statm: 2378 346 289 221 0 87 0
[pid=24786] ppid=24784 vsize=13984976 memory=164492 CPUtime=165.8 cores=1,3,5,7
/proc/24786/stat : 24786 (java) S 24784 24784 21109 0 -1 1077944320 42294 0 0 0 16565 15 0 0 20 0 15 0 154437876 14320615424 41123 33554432000 4194304 4196468 140733070874512 140733070857056 140424251002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
/proc/24786/statm: 3496244 41123 3256 1 0 3483478 0
[pid=24786/tid=24787] ppid=24784 vsize=13984976 memory=167056 CPUtime=162.18 cores=1,3,5,7
/proc/24786/task/24787/stat : 24787 (java) R 24784 24784 21109 0 -1 4202560 11377 0 0 0 16213 5 0 0 20 0 15 0 154437877 14320615424 41123 33554432000 4194304 4196468 140733070874512 140424255239120 140423842329502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24788] ppid=24784 vsize=13984976 memory=164492 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24788/stat : 24788 (java) S 24784 24784 21109 0 -1 1077944384 1147 0 0 0 3 1 0 0 20 0 15 0 154437877 14320615424 41123 33554432000 4194304 4196468 140733070874512 140424166071184 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24789] ppid=24784 vsize=13984976 memory=164492 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24789/stat : 24789 (java) S 24784 24784 21109 0 -1 1077944384 921 0 0 0 3 1 0 0 20 0 15 0 154437877 14320615424 41123 33554432000 4194304 4196468 140733070874512 140424165018384 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24790] ppid=24784 vsize=13984976 memory=164492 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24790/stat : 24790 (java) S 24784 24784 21109 0 -1 1077944384 1365 0 0 0 3 1 0 0 20 0 15 0 154437877 14320615424 41123 33554432000 4194304 4196468 140733070874512 140424163966096 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24791] ppid=24784 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24791/stat : 24791 (java) S 24784 24784 21109 0 -1 1077944384 949 0 0 0 3 1 0 0 20 0 15 0 154437877 14320615424 41123 33554432000 4194304 4196468 140733070874512 140424162913296 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24792] ppid=24784 vsize=13984976 memory=202332 CPUtime=0.02 cores=1,3,5,7
/proc/24786/task/24792/stat : 24792 (java) S 24784 24784 21109 0 -1 1077944384 1368 0 0 0 2 0 0 0 20 0 15 0 154437879 14320615424 41123 33554432000 4194304 4196468 140733070874512 140423724513392 140424251013762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24793] ppid=24784 vsize=13984976 memory=169112 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24793/stat : 24793 (java) S 24784 24784 21109 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154437879 14320615424 41123 33554432000 4194304 4196468 140733070874512 140423723459424 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24794] ppid=24784 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24794/stat : 24794 (java) S 24784 24784 21109 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154437879 14320615424 41123 33554432000 4194304 4196468 140733070874512 140423722407040 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24795] ppid=24784 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24795/stat : 24795 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 41123 33554432000 4194304 4196468 140733070874512 140423721355344 140424251021211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24796] ppid=24784 vsize=13984976 memory=1384 CPUtime=1.44 cores=1,3,5,7
/proc/24786/task/24796/stat : 24796 (java) S 24784 24784 21109 0 -1 1077944384 9199 0 0 0 143 1 0 0 20 0 15 0 154437882 14320615424 41123 33554432000 4194304 4196468 140733070874512 140423720303216 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24797] ppid=24784 vsize=13984976 memory=1384 CPUtime=1.42 cores=1,3,5,7
/proc/24786/task/24797/stat : 24797 (java) S 24784 24784 21109 0 -1 1077944384 8539 0 0 0 141 1 0 0 20 0 15 0 154437882 14320615424 41123 33554432000 4194304 4196468 140733070874512 140423719250416 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24798] ppid=24784 vsize=13984976 memory=1384 CPUtime=0.49 cores=1,3,5,7
/proc/24786/task/24798/stat : 24798 (java) S 24784 24784 21109 0 -1 1077944384 5503 0 0 0 48 1 0 0 20 0 15 0 154437882 14320615424 41123 33554432000 4194304 4196468 140733070874512 140423718198128 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24799] ppid=24784 vsize=13984976 memory=164492 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24799/stat : 24799 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 41123 33554432000 4194304 4196468 140733070874512 140423717145568 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24800] ppid=24784 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/24786/task/24800/stat : 24800 (java) S 24784 24784 21109 0 -1 1077944384 585 0 0 0 2 1 0 0 20 0 15 0 154437882 14320615424 41123 33554432000 4194304 4196468 140733070874512 140423716092336 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
Current children cumulated CPU time: 165.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 165876 KiB
[startup+222.301 s]
/proc/loadavg: 1.78 1.70 1.77 3/217 24881
/proc/meminfo: memFree=26478908/32770624 swapFree=67108860/67108860
[pid=24784] ppid=24781 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24784/stat : 24784 (xcsp3-exec) S 24781 24784 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154437876 9740288 346 33554432000 4194304 5098028 140735676794208 140735676792312 139655855428220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17145856 140735676798068 140735676798272 140735676798272 140735676801003 0
/proc/24784/statm: 2378 346 289 221 0 87 0
[pid=24786] ppid=24784 vsize=13984976 memory=138844 CPUtime=225.86 cores=1,3,5,7
/proc/24786/stat : 24786 (java) S 24784 24784 21109 0 -1 1077944320 44676 0 0 0 22570 16 0 0 20 0 15 0 154437876 14320615424 34711 33554432000 4194304 4196468 140733070874512 140733070857056 140424251002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
/proc/24786/statm: 3496244 34711 3256 1 0 3483478 0
[pid=24786/tid=24787] ppid=24784 vsize=13984976 memory=138844 CPUtime=222.14 cores=1,3,5,7
/proc/24786/task/24787/stat : 24787 (java) R 24784 24784 21109 0 -1 4202560 11927 0 0 0 22209 5 0 0 20 0 15 0 154437877 14320615424 34711 33554432000 4194304 4196468 140733070874512 140424255242016 140423844120327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24788] ppid=24784 vsize=13984976 memory=138844 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24788/stat : 24788 (java) S 24784 24784 21109 0 -1 1077944384 1181 0 0 0 3 1 0 0 20 0 15 0 154437877 14320615424 34711 33554432000 4194304 4196468 140733070874512 140424166071184 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24789] ppid=24784 vsize=13984976 memory=140384 CPUtime=0.05 cores=1,3,5,7
/proc/24786/task/24789/stat : 24789 (java) S 24784 24784 21109 0 -1 1077944384 951 0 0 0 4 1 0 0 20 0 15 0 154437877 14320615424 34711 33554432000 4194304 4196468 140733070874512 140424165018384 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24790] ppid=24784 vsize=13984976 memory=140384 CPUtime=0.05 cores=1,3,5,7
/proc/24786/task/24790/stat : 24790 (java) S 24784 24784 21109 0 -1 1077944384 1624 0 0 0 4 1 0 0 20 0 15 0 154437877 14320615424 34711 33554432000 4194304 4196468 140733070874512 140424163966096 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24791] ppid=24784 vsize=13984976 memory=140384 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24791/stat : 24791 (java) S 24784 24784 21109 0 -1 1077944384 963 0 0 0 3 1 0 0 20 0 15 0 154437877 14320615424 34711 33554432000 4194304 4196468 140733070874512 140424162913296 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24792] ppid=24784 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24792/stat : 24792 (java) S 24784 24784 21109 0 -1 1077944384 1584 0 0 0 3 1 0 0 20 0 15 0 154437879 14320615424 34711 33554432000 4194304 4196468 140733070874512 140423724513392 140424251013762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24793] ppid=24784 vsize=13984976 memory=141412 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24793/stat : 24793 (java) S 24784 24784 21109 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154437879 14320615424 34711 33554432000 4194304 4196468 140733070874512 140423723459424 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24794] ppid=24784 vsize=13984976 memory=141412 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24794/stat : 24794 (java) S 24784 24784 21109 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154437879 14320615424 34711 33554432000 4194304 4196468 140733070874512 140423722407040 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24795] ppid=24784 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24795/stat : 24795 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 34711 33554432000 4194304 4196468 140733070874512 140423721355344 140424251021211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24796] ppid=24784 vsize=13984976 memory=138844 CPUtime=1.46 cores=1,3,5,7
/proc/24786/task/24796/stat : 24796 (java) S 24784 24784 21109 0 -1 1077944384 9220 0 0 0 145 1 0 0 20 0 15 0 154437882 14320615424 34711 33554432000 4194304 4196468 140733070874512 140423720303216 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24797] ppid=24784 vsize=13984976 memory=4132 CPUtime=1.42 cores=1,3,5,7
/proc/24786/task/24797/stat : 24797 (java) S 24784 24784 21109 0 -1 1077944384 8542 0 0 0 141 1 0 0 20 0 15 0 154437882 14320615424 34711 33554432000 4194304 4196468 140733070874512 140423719250416 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24798] ppid=24784 vsize=13984976 memory=42720 CPUtime=0.49 cores=1,3,5,7
/proc/24786/task/24798/stat : 24798 (java) S 24784 24784 21109 0 -1 1077944384 6714 0 0 0 48 1 0 0 20 0 15 0 154437882 14320615424 34711 33554432000 4194304 4196468 140733070874512 140423718198128 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24799] ppid=24784 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24799/stat : 24799 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 34711 33554432000 4194304 4196468 140733070874512 140423717145568 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24800] ppid=24784 vsize=13984976 memory=2408 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24800/stat : 24800 (java) S 24784 24784 21109 0 -1 1077944384 629 0 0 0 2 2 0 0 20 0 15 0 154437882 14320615424 34711 33554432000 4194304 4196468 140733070874512 140423716092336 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
Current children cumulated CPU time: 225.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 140228 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.68 1.68 1.77 3/217 24881
/proc/meminfo: memFree=26398384/32770624 swapFree=67108860/67108860
[pid=24784] ppid=24781 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24784/stat : 24784 (xcsp3-exec) S 24781 24784 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154437876 9740288 346 33554432000 4194304 5098028 140735676794208 140735676792312 139655855428220 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17145856 140735676798068 140735676798272 140735676798272 140735676801003 0
/proc/24784/statm: 2378 346 289 221 0 87 0
[pid=24786] ppid=24784 vsize=13984976 memory=135252 CPUtime=243.59 cores=1,3,5,7
/proc/24786/stat : 24786 (java) S 24784 24784 21109 0 -1 1077944320 44698 0 0 0 24342 17 0 0 20 0 15 0 154437876 14320615424 33813 33554432000 4194304 4196468 140733070874512 140733070857056 140424251002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
/proc/24786/statm: 3496244 33813 3256 1 0 3483478 0
[pid=24786/tid=24787] ppid=24784 vsize=13984976 memory=6791534058613427641 CPUtime=239.84 cores=1,3,5,7
/proc/24786/task/24787/stat : 24787 (java) R 24784 24784 21109 0 -1 4202560 11939 0 0 0 23979 5 0 0 20 0 15 0 154437877 14320615424 33813 33554432000 4194304 4196468 140733070874512 140424255242016 140423844120389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24788] ppid=24784 vsize=13984976 memory=6944656592387989600 CPUtime=0.05 cores=1,3,5,7
/proc/24786/task/24788/stat : 24788 (java) S 24784 24784 21109 0 -1 1077944384 1181 0 0 0 4 1 0 0 20 0 15 0 154437877 14320615424 33813 33554432000 4194304 4196468 140733070874512 140424166071184 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24789] ppid=24784 vsize=13984976 memory=-6935123839545469842 CPUtime=0.05 cores=1,3,5,7
/proc/24786/task/24789/stat : 24789 (java) S 24784 24784 21109 0 -1 1077944384 953 0 0 0 4 1 0 0 20 0 15 0 154437877 14320615424 33813 33554432000 4194304 4196468 140733070874512 140424165018384 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24790] ppid=24784 vsize=13984976 memory=-6948055166404804227 CPUtime=0.05 cores=1,3,5,7
/proc/24786/task/24790/stat : 24790 (java) S 24784 24784 21109 0 -1 1077944384 1629 0 0 0 4 1 0 0 20 0 15 0 154437877 14320615424 33813 33554432000 4194304 4196468 140733070874512 140424163966096 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24791] ppid=24784 vsize=13984976 memory=-6948055166404804227 CPUtime=0.05 cores=1,3,5,7
/proc/24786/task/24791/stat : 24791 (java) S 24784 24784 21109 0 -1 1077944384 966 0 0 0 4 1 0 0 20 0 15 0 154437877 14320615424 33813 33554432000 4194304 4196468 140733070874512 140424162913296 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24792] ppid=24784 vsize=13984976 memory=8258709421892450897 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24792/stat : 24792 (java) S 24784 24784 21109 0 -1 1077944384 1584 0 0 0 3 1 0 0 20 0 15 0 154437879 14320615424 33813 33554432000 4194304 4196468 140733070874512 140423724513392 140424251013762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24793] ppid=24784 vsize=13984976 memory=288241577966788318 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24793/stat : 24793 (java) S 24784 24784 21109 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154437879 14320615424 33813 33554432000 4194304 4196468 140733070874512 140423723459424 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24794] ppid=24784 vsize=13984976 memory=43757113503 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24794/stat : 24794 (java) S 24784 24784 21109 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154437879 14320615424 33813 33554432000 4194304 4196468 140733070874512 140423722407040 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24795] ppid=24784 vsize=13984976 memory=4468 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24795/stat : 24795 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 33813 33554432000 4194304 4196468 140733070874512 140423721355344 140424251021211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24796] ppid=24784 vsize=13984976 memory=932 CPUtime=1.46 cores=1,3,5,7
/proc/24786/task/24796/stat : 24796 (java) S 24784 24784 21109 0 -1 1077944384 9220 0 0 0 145 1 0 0 20 0 15 0 154437882 14320615424 33813 33554432000 4194304 4196468 140733070874512 140423720303216 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24797] ppid=24784 vsize=13984976 memory=1576 CPUtime=1.42 cores=1,3,5,7
/proc/24786/task/24797/stat : 24797 (java) S 24784 24784 21109 0 -1 1077944384 8542 0 0 0 141 1 0 0 20 0 15 0 154437882 14320615424 33813 33554432000 4194304 4196468 140733070874512 140423719250416 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24798] ppid=24784 vsize=13984976 memory=2240 CPUtime=0.49 cores=1,3,5,7
/proc/24786/task/24798/stat : 24798 (java) S 24784 24784 21109 0 -1 1077944384 6714 0 0 0 48 1 0 0 20 0 15 0 154437882 14320615424 33813 33554432000 4194304 4196468 140733070874512 140423718198128 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24799] ppid=24784 vsize=13984976 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/24786/task/24799/stat : 24799 (java) S 24784 24784 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154437882 14320615424 33813 33554432000 4194304 4196468 140733070874512 140423717145568 140424251012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
[pid=24786/tid=24800] ppid=24784 vsize=13984976 memory=2200 CPUtime=0.04 cores=1,3,5,7
/proc/24786/task/24800/stat : 24800 (java) S 24784 24784 21109 0 -1 1077944384 629 0 0 0 2 2 0 0 20 0 15 0 154437882 14320615424 33813 33554432000 4194304 4196468 140733070874512 140423716092336 140424251013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12894208 140733070881949 140733070882124 140733070882124 140733070884815 0
Current children cumulated CPU time: 243.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 136636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 24784 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001836 s
[startup+240.022 s]
# the end of solver process 24786 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.433 s, system=0.175909 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): 240.022
CPU time (s): 243.609
CPU user time (s): 243.433
CPU system time (s): 0.175909
CPU usage (%): 101.494
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 206292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.433
system time used= 0.175909
maximum resident set size= 211056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45563
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8310
involuntary context switches= 172
# summary of solver processes directly reported to runsolver:
# pid: 24784,24786
# total CPU time (s): 243.609
# total CPU user time (s): 243.433
# total CPU system time (s): 0.175909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5332 second user time and 2.08828 second system time
The end