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 (12404 MiB free)
memory of node 1: 16384 MiB (13270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282767-1503213478/watcher-4282767-1503213478 -o /tmp/evaluation-result-4282767-1503213478/solver-4282767-1503213478 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503208459-21140 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1906687239 HOME/instance-4282767-1503213478.xml
running on 4 cores: 0,2,4,6
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=24706, runsolver pid=24703
[startup+0.107796 s]*
/proc/loadavg: 1.23 1.56 1.77 4/218 24722
/proc/meminfo: memFree=26274972/32770624 swapFree=67108860/67108860
[pid=24706] ppid=24703 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24706/stat : 24706 (xcsp3-exec) S 24703 24706 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154435318 9740288 346 33554432000 4194304 5098028 140733639593056 140733639591160 140686406718076 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16531456 140733639599220 140733639599424 140733639599424 140733639602155 0
/proc/24706/statm: 2378 346 289 221 0 87 0
[pid=24708] ppid=24706 vsize=13978596 memory=28500 CPUtime=0.13 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24706 21109 0 -1 1077944320 5446 0 0 0 12 1 0 0 20 0 15 0 154435318 14314082304 7125 33554432000 4194304 4196468 140725856795392 140725856777936 139788674830071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
/proc/24708/statm: 3494649 7125 2898 1 0 3482966 0
[pid=24708/tid=24709] ppid=24706 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/24708/task/24709/stat : 24709 (java) R 24706 24706 21109 0 -1 4202560 3367 0 0 0 9 0 0 0 20 0 15 0 154435319 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788679058320 139788657119616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24710] ppid=24706 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788637936272 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24711] ppid=24706 vsize=13978596 memory=139635089200768 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788269316624 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24712] ppid=24706 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788268263824 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24713] ppid=24706 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24706 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154435320 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788267211024 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24714] ppid=24706 vsize=13978596 memory=139635089200768 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24706 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154435321 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788148632432 139788674841218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24715] ppid=24706 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24706 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154435321 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788147578400 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24716] ppid=24706 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24706 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154435322 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788146525552 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24717] ppid=24706 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788145473872 139788674848667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24718] ppid=24706 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24706 21109 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 154435324 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788144421232 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24719] ppid=24706 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24706 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154435324 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788143368432 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24720] ppid=24706 vsize=13978596 memory=139635089200768 CPUtime=0.02 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) R 24706 24706 21109 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 154435324 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788142315632 139788658910558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24721] ppid=24706 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788141263072 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24722] ppid=24706 vsize=13978596 memory=139635089200768 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435325 14314082304 7125 33554432000 4194304 4196468 140725856795392 139788140211376 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29884 KiB
[startup+0.210758 s]*
/proc/loadavg: 1.23 1.56 1.77 4/218 24722
/proc/meminfo: memFree=26262976/32770624 swapFree=67108860/67108860
[pid=24706] ppid=24703 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24706/stat : 24706 (xcsp3-exec) S 24703 24706 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154435318 9740288 346 33554432000 4194304 5098028 140733639593056 140733639591160 140686406718076 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16531456 140733639599220 140733639599424 140733639599424 140733639602155 0
/proc/24706/statm: 2378 346 289 221 0 87 0
[pid=24708] ppid=24706 vsize=13982852 memory=40600 CPUtime=0.33 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24706 21109 0 -1 1077944320 8179 0 0 0 31 2 0 0 20 0 15 0 154435318 14318440448 10150 33554432000 4194304 4196468 140725856795392 140725856777936 139788674830071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
/proc/24708/statm: 3495713 10150 3043 1 0 3482966 0
[pid=24708/tid=24709] ppid=24706 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/24708/task/24709/stat : 24709 (java) R 24706 24706 21109 0 -1 4202560 5259 0 0 0 18 1 0 0 20 0 15 0 154435319 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788679051064 139788674851997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24710] ppid=24706 vsize=13982852 memory=9005 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788637936272 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24711] ppid=24706 vsize=13982852 memory=139635089943633 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788269316624 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24712] ppid=24706 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788268263824 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24713] ppid=24706 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24706 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154435320 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788267211024 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24714] ppid=24706 vsize=13982852 memory=139635089200768 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24706 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154435321 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788148632432 139788674841218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24715] ppid=24706 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24706 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154435321 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788147578400 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24716] ppid=24706 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24706 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154435322 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788146525552 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24717] ppid=24706 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788145473872 139788674848667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24718] ppid=24706 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24706 21109 0 -1 1077944384 584 0 0 0 2 0 0 0 20 0 15 0 154435324 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788144421232 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24719] ppid=24706 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24706 21109 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 154435324 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788143368432 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24720] ppid=24706 vsize=13982852 memory=139635089200768 CPUtime=0.07 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) R 24706 24706 21109 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 15 0 154435324 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788142315632 139788674842006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24721] ppid=24706 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788141263072 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24722] ppid=24706 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435325 14318440448 10150 33554432000 4194304 4196468 140725856795392 139788140211376 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41984 KiB
[startup+0.310588 s]*
/proc/loadavg: 1.23 1.56 1.77 4/218 24722
/proc/meminfo: memFree=26256764/32770624 swapFree=67108860/67108860
[pid=24706] ppid=24703 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24706/stat : 24706 (xcsp3-exec) S 24703 24706 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154435318 9740288 346 33554432000 4194304 5098028 140733639593056 140733639591160 140686406718076 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16531456 140733639599220 140733639599424 140733639599424 140733639602155 0
/proc/24706/statm: 2378 346 289 221 0 87 0
[pid=24708] ppid=24706 vsize=13982852 memory=48108 CPUtime=0.51 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24706 21109 0 -1 1077944320 9180 0 0 0 48 3 0 0 20 0 15 0 154435318 14318440448 12027 33554432000 4194304 4196468 140725856795392 140725856777936 139788674830071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
/proc/24708/statm: 3495713 12027 3101 1 0 3482966 0
[pid=24708/tid=24709] ppid=24706 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/24708/task/24709/stat : 24709 (java) R 24706 24706 21109 0 -1 4202560 5940 0 0 0 28 2 0 0 20 0 15 0 154435319 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788679067584 139788674851997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24710] ppid=24706 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788637936272 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24711] ppid=24706 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788269316624 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24712] ppid=24706 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788268263824 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24713] ppid=24706 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24706 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154435320 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788267211024 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24714] ppid=24706 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24706 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154435321 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788148632432 139788674841218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24715] ppid=24706 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24706 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154435321 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788147578400 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24716] ppid=24706 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24706 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154435322 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788146525552 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24717] ppid=24706 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788145473872 139788674848667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24718] ppid=24706 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) R 24706 24706 21109 0 -1 4202560 746 0 0 0 4 0 0 0 20 0 15 0 154435324 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788144402248 139788660248130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24719] ppid=24706 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) R 24706 24706 21109 0 -1 1077944384 299 0 0 0 3 0 0 0 20 0 15 0 154435324 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788143367616 139788674840277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24720] ppid=24706 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) R 24706 24706 21109 0 -1 4202560 895 0 0 0 12 0 0 0 20 0 15 0 154435324 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788142312376 139788653787756 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24721] ppid=24706 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788141263072 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24722] ppid=24706 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435325 14318440448 12027 33554432000 4194304 4196468 140725856795392 139788140211376 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49492 KiB
[startup+0.700794 s]
/proc/loadavg: 1.23 1.56 1.77 6/218 24722
/proc/meminfo: memFree=26236472/32770624 swapFree=67108860/67108860
[pid=24706] ppid=24703 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24706/stat : 24706 (xcsp3-exec) S 24703 24706 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154435318 9740288 346 33554432000 4194304 5098028 140733639593056 140733639591160 140686406718076 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16531456 140733639599220 140733639599424 140733639599424 140733639602155 0
/proc/24706/statm: 2378 346 289 221 0 87 0
[pid=24708] ppid=24706 vsize=13984976 memory=79884 CPUtime=1.67 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24706 21109 0 -1 1077944320 12074 0 0 0 162 5 0 0 20 0 15 0 154435318 14320615424 19971 33554432000 4194304 4196468 140725856795392 140725856777936 139788674830071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
/proc/24708/statm: 3496244 19971 3212 1 0 3483478 0
[pid=24708/tid=24709] ppid=24706 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/24708/task/24709/stat : 24709 (java) R 24706 24706 21109 0 -1 4202560 6603 0 0 0 64 3 0 0 20 0 15 0 154435319 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788679066176 139788314707552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24710] ppid=24706 vsize=13984976 memory=288230587427463936 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788637936272 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24711] ppid=24706 vsize=13984976 memory=16106957111054841 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788269316624 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24712] ppid=24706 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435320 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788268263824 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24713] ppid=24706 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24706 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154435320 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788267211024 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24714] ppid=24706 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24706 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154435321 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788148632432 139788674841218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24715] ppid=24706 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24706 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154435321 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788147578400 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24716] ppid=24706 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24706 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154435322 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788146525552 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24717] ppid=24706 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788145473872 139788674848667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24718] ppid=24706 vsize=13984976 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) R 24706 24706 21109 0 -1 4202560 1657 0 0 0 34 0 0 0 20 0 15 0 154435324 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788144407104 139788656352579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24719] ppid=24706 vsize=13984976 memory=3477454379444234599 CPUtime=0.31 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) R 24706 24706 21109 0 -1 4202560 932 0 0 0 31 0 0 0 20 0 15 0 154435324 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788143355280 139788660845859 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24720] ppid=24706 vsize=13984976 memory=7164214714801809507 CPUtime=0.3 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24706 21109 0 -1 1077944384 1576 0 0 0 30 0 0 0 20 0 15 0 154435324 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788142315632 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24721] ppid=24706 vsize=13984976 memory=7738993309122904172 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788141263072 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24722] ppid=24706 vsize=13984976 memory=7300704776819335744 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24706 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154435325 14320615424 19971 33554432000 4194304 4196468 140725856795392 139788140211376 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 81268 KiB
[startup+1.50072 s]
/proc/loadavg: 1.38 1.58 1.78 5/218 24722
/proc/meminfo: memFree=26209924/32770624 swapFree=67108860/67108860
[pid=24706] ppid=24703 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24706/stat : 24706 (xcsp3-exec) S 24703 24706 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154435318 9740288 346 33554432000 4194304 5098028 140733639593056 140733639591160 140686406718076 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16531456 140733639599220 140733639599424 140733639599424 140733639602155 0
/proc/24706/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/24708/task/24716/stat : 24716 (java) S 24706 24706 21109 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 154435322 14320615424 47306 33554432000 4194304 4196468 140725856795392 139788146525568 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24717] ppid=24706 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14320615424 47306 33554432000 4194304 4196468 140725856795392 139788145473872 139788674848667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24718] ppid=24706 vsize=13984976 memory=42720 CPUtime=1.61 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24706 21109 0 -1 1077944384 7705 0 0 0 160 1 0 0 20 0 15 0 154435324 14320615424 47306 33554432000 4194304 4196468 140725856795392 139788144421232 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24719] ppid=24706 vsize=13984976 memory=189224 CPUtime=1.65 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24706 21109 0 -1 1077944384 8241 0 0 0 163 2 0 0 20 0 15 0 154435324 14320615424 47306 33554432000 4194304 4196468 140725856795392 139788143368432 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24720] ppid=24706 vsize=13984976 memory=4132 CPUtime=0.48 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24706 21109 0 -1 1077944384 5207 0 0 0 47 1 0 0 20 0 15 0 154435324 14320615424 47306 33554432000 4194304 4196468 140725856795392 139788142315632 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24721] ppid=24706 vsize=13984976 memory=42720 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14320615424 47306 33554432000 4194304 4196468 140725856795392 139788141263072 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24722] ppid=24706 vsize=13984976 memory=1296 CPUtime=0.02 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24706 21109 0 -1 1077944384 434 0 0 0 1 1 0 0 20 0 15 0 154435325 14320615424 47306 33554432000 4194304 4196468 140725856795392 139788140211376 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
Current children cumulated CPU time: 106.18 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 190608 KiB
[startup+162.301 s]
/proc/loadavg: 1.80 1.67 1.78 3/217 24802
/proc/meminfo: memFree=26391588/32770624 swapFree=67108860/67108860
[pid=24706] ppid=24703 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24706/stat : 24706 (xcsp3-exec) S 24703 24706 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154435318 9740288 346 33554432000 4194304 5098028 140733639593056 140733639591160 140686406718076 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16531456 140733639599220 140733639599424 140733639599424 140733639602155 0
/proc/24706/statm: 2378 346 289 221 0 87 0
[pid=24708] ppid=24706 vsize=13984976 memory=158040 CPUtime=166.36 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24706 21109 0 -1 1077944320 45878 0 0 0 16619 17 0 0 20 0 15 0 154435318 14320615424 39510 33554432000 4194304 4196468 140725856795392 140725856777936 139788674830071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
/proc/24708/statm: 3496244 39510 3263 1 0 3483478 0
[pid=24708/tid=24709] ppid=24706 vsize=13984976 memory=160604 CPUtime=162.19 cores=0,2,4,6
/proc/24708/task/24709/stat : 24709 (java) R 24706 24706 21109 0 -1 4202560 11800 0 0 0 16214 5 0 0 20 0 15 0 154435319 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788679069712 139788314888658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24710] ppid=24706 vsize=13984976 memory=160604 CPUtime=0.03 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) S 24706 24706 21109 0 -1 1077944384 1606 0 0 0 2 1 0 0 20 0 15 0 154435320 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788637936272 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24711] ppid=24706 vsize=13984976 memory=158040 CPUtime=0.04 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24706 21109 0 -1 1077944384 896 0 0 0 3 1 0 0 20 0 15 0 154435320 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788269316624 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24712] ppid=24706 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24706 21109 0 -1 1077944384 794 0 0 0 3 1 0 0 20 0 15 0 154435320 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788268263824 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24713] ppid=24706 vsize=13984976 memory=56 CPUtime=0.03 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24706 21109 0 -1 1077944384 1429 0 0 0 3 0 0 0 20 0 15 0 154435320 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788267211024 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24714] ppid=24706 vsize=13984976 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24706 21109 0 -1 1077944384 1511 0 0 0 2 0 0 0 20 0 15 0 154435321 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788148632432 139788674841218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24715] ppid=24706 vsize=13984976 memory=16326 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24706 21109 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 154435321 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788147578464 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24716] ppid=24706 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24706 21109 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 154435322 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788146525568 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24717] ppid=24706 vsize=13984976 memory=158040 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788145473872 139788674848667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24718] ppid=24706 vsize=13984976 memory=1384 CPUtime=1.7 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24706 21109 0 -1 1077944384 9863 0 0 0 169 1 0 0 20 0 15 0 154435324 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788144421232 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24719] ppid=24706 vsize=13984976 memory=160604 CPUtime=1.69 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24706 21109 0 -1 1077944384 9228 0 0 0 167 2 0 0 20 0 15 0 154435324 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788143368432 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24720] ppid=24706 vsize=13984976 memory=164708 CPUtime=0.48 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24706 21109 0 -1 1077944384 6904 0 0 0 47 1 0 0 20 0 15 0 154435324 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788142315632 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24721] ppid=24706 vsize=13984976 memory=8664 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788141263072 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24722] ppid=24706 vsize=13984976 memory=160604 CPUtime=0.04 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24706 21109 0 -1 1077944384 462 0 0 0 2 2 0 0 20 0 15 0 154435325 14320615424 39510 33554432000 4194304 4196468 140725856795392 139788140211376 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
Current children cumulated CPU time: 166.36 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 159424 KiB
[startup+222.301 s]
/proc/loadavg: 1.67 1.67 1.77 3/217 24803
/proc/meminfo: memFree=26435892/32770624 swapFree=67108860/67108860
[pid=24706] ppid=24703 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24706/stat : 24706 (xcsp3-exec) S 24703 24706 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154435318 9740288 346 33554432000 4194304 5098028 140733639593056 140733639591160 140686406718076 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16531456 140733639599220 140733639599424 140733639599424 140733639602155 0
/proc/24706/statm: 2378 346 289 221 0 87 0
[pid=24708] ppid=24706 vsize=13984976 memory=138064 CPUtime=226.49 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24706 21109 0 -1 1077944320 47596 0 0 0 22631 18 0 0 20 0 15 0 154435318 14320615424 34516 33554432000 4194304 4196468 140725856795392 140725856777936 139788674830071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
/proc/24708/statm: 3496244 34516 3263 1 0 3483478 0
[pid=24708/tid=24709] ppid=24706 vsize=13984976 memory=1384 CPUtime=222.15 cores=0,2,4,6
/proc/24708/task/24709/stat : 24709 (java) R 24706 24706 21109 0 -1 4202560 12444 0 0 0 22210 5 0 0 20 0 15 0 154435319 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788679069600 139788315983770 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24710] ppid=24706 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) S 24706 24706 21109 0 -1 1077944384 1948 0 0 0 3 1 0 0 20 0 15 0 154435320 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788637936272 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24711] ppid=24706 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24706 21109 0 -1 1077944384 934 0 0 0 4 1 0 0 20 0 15 0 154435320 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788269316624 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24712] ppid=24706 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24706 21109 0 -1 1077944384 825 0 0 0 4 1 0 0 20 0 15 0 154435320 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788268263824 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24713] ppid=24706 vsize=13984976 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24706 21109 0 -1 1077944384 1472 0 0 0 4 1 0 0 20 0 15 0 154435320 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788267211024 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24714] ppid=24706 vsize=13984976 memory=143192 CPUtime=0.03 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24706 21109 0 -1 1077944384 1745 0 0 0 3 0 0 0 20 0 15 0 154435321 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788148632432 139788674841218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24715] ppid=24706 vsize=13984976 memory=138064 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24706 21109 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 154435321 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788147578464 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24716] ppid=24706 vsize=13984976 memory=56 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24706 21109 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 154435322 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788146525568 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24717] ppid=24706 vsize=13984976 memory=138064 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788145473872 139788674848667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24718] ppid=24706 vsize=13984976 memory=138064 CPUtime=1.75 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24706 21109 0 -1 1077944384 10075 0 0 0 174 1 0 0 20 0 15 0 154435324 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788144421232 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24719] ppid=24706 vsize=13984976 memory=4132 CPUtime=1.73 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24706 21109 0 -1 1077944384 9366 0 0 0 171 2 0 0 20 0 15 0 154435324 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788143368432 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24720] ppid=24706 vsize=13984976 memory=1384 CPUtime=0.48 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24706 21109 0 -1 1077944384 6917 0 0 0 47 1 0 0 20 0 15 0 154435324 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788142315632 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24721] ppid=24706 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788141263072 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24722] ppid=24706 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24706 21109 0 -1 1077944384 485 0 0 0 3 2 0 0 20 0 15 0 154435325 14320615424 34516 33554432000 4194304 4196468 140725856795392 139788140211376 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
Current children cumulated CPU time: 226.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 139448 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.74 1.69 1.77 3/217 24803
/proc/meminfo: memFree=26445936/32770624 swapFree=67108860/67108860
[pid=24706] ppid=24703 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24706/stat : 24706 (xcsp3-exec) S 24703 24706 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154435318 9740288 346 33554432000 4194304 5098028 140733639593056 140733639591160 140686406718076 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16531456 140733639599220 140733639599424 140733639599424 140733639602155 0
/proc/24706/statm: 2378 346 289 221 0 87 0
[pid=24708] ppid=24706 vsize=13984976 memory=135504 CPUtime=244.22 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24706 21109 0 -1 1077944320 47849 0 0 0 24404 18 0 0 20 0 15 0 154435318 14320615424 33876 33554432000 4194304 4196468 140725856795392 140725856777936 139788674830071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
/proc/24708/statm: 3496244 33876 3263 1 0 3483478 0
[pid=24708/tid=24709] ppid=24706 vsize=13984976 memory=1236 CPUtime=239.85 cores=0,2,4,6
/proc/24708/task/24709/stat : 24709 (java) R 24706 24706 21109 0 -1 4202560 12450 0 0 0 23980 5 0 0 20 0 15 0 154435319 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788679069600 139788316759588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24710] ppid=24706 vsize=13984976 memory=4468 CPUtime=0.05 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) S 24706 24706 21109 0 -1 1077944384 1949 0 0 0 4 1 0 0 20 0 15 0 154435320 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788637936272 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24711] ppid=24706 vsize=13984976 memory=6791534058613427641 CPUtime=0.05 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24706 21109 0 -1 1077944384 934 0 0 0 4 1 0 0 20 0 15 0 154435320 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788269316624 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24712] ppid=24706 vsize=13984976 memory=135504 CPUtime=0.05 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24706 21109 0 -1 1077944384 825 0 0 0 4 1 0 0 20 0 15 0 154435320 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788268263824 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24713] ppid=24706 vsize=13984976 memory=1720 CPUtime=0.05 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24706 21109 0 -1 1077944384 1473 0 0 0 4 1 0 0 20 0 15 0 154435320 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788267211024 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24714] ppid=24706 vsize=13984976 memory=1008 CPUtime=0.04 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24706 21109 0 -1 1077944384 1745 0 0 0 4 0 0 0 20 0 15 0 154435321 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788148632432 139788674841218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24715] ppid=24706 vsize=13984976 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24706 21109 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 154435321 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788147578464 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24716] ppid=24706 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24706 21109 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 154435322 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788146525568 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24717] ppid=24706 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788145473872 139788674848667 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24718] ppid=24706 vsize=13984976 memory=-3622645143214314312 CPUtime=1.75 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24706 21109 0 -1 1077944384 10075 0 0 0 174 1 0 0 20 0 15 0 154435324 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788144421232 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24719] ppid=24706 vsize=13984976 memory=1720 CPUtime=1.73 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24706 21109 0 -1 1077944384 9366 0 0 0 171 2 0 0 20 0 15 0 154435324 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788143368432 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24720] ppid=24706 vsize=13984976 memory=1008 CPUtime=0.48 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24706 21109 0 -1 1077944384 7162 0 0 0 47 1 0 0 20 0 15 0 154435324 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788142315632 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24721] ppid=24706 vsize=13984976 memory=139604 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24706 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154435324 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788141263072 139788674840277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
[pid=24708/tid=24722] ppid=24706 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24706 21109 0 -1 1077944384 485 0 0 0 4 3 0 0 20 0 15 0 154435325 14320615424 33876 33554432000 4194304 4196468 140725856795392 139788140211376 139788674841218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36831232 140725856797853 140725856798028 140725856798028 140725856800719 0
Current children cumulated CPU time: 244.22 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 136888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 24706 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000646 s, system=0.001293 s
[startup+240.023 s]
# the end of solver process 24708 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.055 s, system=0.191411 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.023
CPU time (s): 244.246
CPU user time (s): 244.055
CPU system time (s): 0.191411
CPU usage (%): 101.76
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 207968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.055
system time used= 0.191411
maximum resident set size= 212220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48940
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8294
involuntary context switches= 433
# summary of solver processes directly reported to runsolver:
# pid: 24706,24708
# total CPU time (s): 244.246
# total CPU user time (s): 244.055
# total CPU system time (s): 0.191411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.91845 second user time and 1.76674 second system time
The end