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 (11982 MiB free)
memory of node 1: 16384 MiB (13673 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282732-1503214708/watcher-4282732-1503214708 -o /tmp/evaluation-result-4282732-1503214708/solver-4282732-1503214708 -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 670612248 HOME/instance-4282732-1503214708.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
solver pid=25604, runsolver pid=25601
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.89 1.88 1.83 4/218 25620
/proc/meminfo: memFree=26253980/32770624 swapFree=67108860/67108860
[pid=25604] ppid=25601 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25604/stat : 25604 (xcsp3-exec) S 25601 25604 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154558361 9740288 345 33554432000 4194304 5098028 140720923983584 140720923981688 140433425367676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11628544 140720923985013 140720923985216 140720923985216 140720923987947 0
/proc/25604/statm: 2378 345 289 221 0 87 0
[pid=25606] ppid=25604 vsize=13978596 memory=28056 CPUtime=0.11 cores=1,3,5,7
/proc/25606/stat : 25606 (java) S 25604 25604 21109 0 -1 1077944320 5369 0 0 0 10 1 0 0 20 0 15 0 154558362 14314082304 7014 33554432000 4194304 4196468 140730854786544 140730854769088 140051385609975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
/proc/25606/statm: 3494649 7014 2868 1 0 3482966 0
[pid=25606/tid=25607] ppid=25604 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25606/task/25607/stat : 25607 (java) R 25604 25604 21109 0 -1 4202560 3378 0 0 0 8 1 0 0 20 0 15 0 154558362 14314082304 7014 33554432000 4194304 4196468 140730854786544 140051389843248 140051385631322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25608] ppid=25604 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25608/stat : 25608 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050981448080 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25609] ppid=25604 vsize=13978596 memory=139990285850240 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25609/stat : 25609 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050980395280 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25610] ppid=25604 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25610/stat : 25610 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050979342992 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25611] ppid=25604 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25611/stat : 25611 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050978290192 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25612] ppid=25604 vsize=13978596 memory=139990285850240 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25612/stat : 25612 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558364 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050566560368 140051385621122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25613] ppid=25604 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25613/stat : 25613 (java) S 25604 25604 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154558365 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050565506336 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25614] ppid=25604 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25614/stat : 25614 (java) S 25604 25604 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154558365 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050564454000 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25615] ppid=25604 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25615/stat : 25615 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558367 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050563402320 140051385628571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25616] ppid=25604 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25616/stat : 25616 (java) R 25604 25604 21109 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 154558367 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050494908528 140051385621122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25617] ppid=25604 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25617/stat : 25617 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558367 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050493855728 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25618] ppid=25604 vsize=13978596 memory=139990285850240 CPUtime=0.01 cores=1,3,5,7
/proc/25606/task/25618/stat : 25618 (java) S 25604 25604 21109 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 15 0 154558367 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050492803440 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25619] ppid=25604 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25619/stat : 25619 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558368 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050491750880 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25620] ppid=25604 vsize=13978596 memory=139990285850240 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25620/stat : 25620 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558368 14314082304 7014 33554432000 4194304 4196468 140730854786544 140050490698672 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29436 KiB
[startup+0.210714 s]*
/proc/loadavg: 1.89 1.88 1.83 4/218 25620
/proc/meminfo: memFree=26242664/32770624 swapFree=67108860/67108860
[pid=25604] ppid=25601 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25604/stat : 25604 (xcsp3-exec) S 25601 25604 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154558361 9740288 345 33554432000 4194304 5098028 140720923983584 140720923981688 140433425367676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11628544 140720923985013 140720923985216 140720923985216 140720923987947 0
/proc/25604/statm: 2378 345 289 221 0 87 0
[pid=25606] ppid=25604 vsize=13982852 memory=40336 CPUtime=0.33 cores=1,3,5,7
/proc/25606/stat : 25606 (java) S 25604 25604 21109 0 -1 1077944320 8127 0 0 0 30 3 0 0 20 0 15 0 154558362 14318440448 10084 33554432000 4194304 4196468 140730854786544 140730854769088 140051385609975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
/proc/25606/statm: 3495713 10084 3063 1 0 3482966 0
[pid=25606/tid=25607] ppid=25604 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/25606/task/25607/stat : 25607 (java) R 25604 25604 21109 0 -1 4202560 5254 0 0 0 17 2 0 0 20 0 15 0 154558362 14318440448 10084 33554432000 4194304 4196468 140730854786544 140051389830968 140051369690462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25608] ppid=25604 vsize=13982852 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25608/stat : 25608 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050981448080 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25609] ppid=25604 vsize=13982852 memory=139990286593211 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25609/stat : 25609 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050980395280 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25610] ppid=25604 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25610/stat : 25610 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050979342992 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25611] ppid=25604 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25611/stat : 25611 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050978290192 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25612] ppid=25604 vsize=13982852 memory=139990285850240 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25612/stat : 25612 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558364 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050566560368 140051385621122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25613] ppid=25604 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25613/stat : 25613 (java) S 25604 25604 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154558365 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050565506336 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25614] ppid=25604 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25614/stat : 25614 (java) S 25604 25604 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154558365 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050564454000 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25615] ppid=25604 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25615/stat : 25615 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558367 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050563402320 140051385628571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25616] ppid=25604 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25606/task/25616/stat : 25616 (java) S 25604 25604 21109 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 154558367 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050494908528 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25617] ppid=25604 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/25606/task/25617/stat : 25617 (java) S 25604 25604 21109 0 -1 1077944384 299 0 0 0 3 0 0 0 20 0 15 0 154558367 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050493855728 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25618] ppid=25604 vsize=13982852 memory=139990285850240 CPUtime=0.07 cores=1,3,5,7
/proc/25606/task/25618/stat : 25618 (java) R 25604 25604 21109 0 -1 4202560 771 0 0 0 7 0 0 0 20 0 15 0 154558367 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050492803440 140051385631322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25619] ppid=25604 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25619/stat : 25619 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558368 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050491750880 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25620] ppid=25604 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25620/stat : 25620 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558368 14318440448 10084 33554432000 4194304 4196468 140730854786544 140050490698672 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41716 KiB
[startup+0.310219 s]*
/proc/loadavg: 1.89 1.88 1.83 5/218 25620
/proc/meminfo: memFree=26235716/32770624 swapFree=67108860/67108860
[pid=25604] ppid=25601 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25604/stat : 25604 (xcsp3-exec) S 25601 25604 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154558361 9740288 345 33554432000 4194304 5098028 140720923983584 140720923981688 140433425367676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11628544 140720923985013 140720923985216 140720923985216 140720923987947 0
/proc/25604/statm: 2378 345 289 221 0 87 0
[pid=25606] ppid=25604 vsize=13982852 memory=47244 CPUtime=0.49 cores=1,3,5,7
/proc/25606/stat : 25606 (java) S 25604 25604 21109 0 -1 1077944320 8955 0 0 0 45 4 0 0 20 0 15 0 154558362 14318440448 11811 33554432000 4194304 4196468 140730854786544 140730854769088 140051385609975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
/proc/25606/statm: 3495713 11811 3109 1 0 3482966 0
[pid=25606/tid=25607] ppid=25604 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25606/task/25607/stat : 25607 (java) R 25604 25604 21109 0 -1 4202560 5917 0 0 0 26 3 0 0 20 0 15 0 154558362 14318440448 11811 33554432000 4194304 4196468 140730854786544 140051389848048 140051385631901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25608] ppid=25604 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25608/stat : 25608 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050981448080 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25609] ppid=25604 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25609/stat : 25609 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050980395280 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25610] ppid=25604 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25610/stat : 25610 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050979342992 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25611] ppid=25604 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25611/stat : 25611 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050978290192 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25612] ppid=25604 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25612/stat : 25612 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558364 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050566560368 140051385621122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25613] ppid=25604 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25613/stat : 25613 (java) S 25604 25604 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154558365 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050565506336 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25614] ppid=25604 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25614/stat : 25614 (java) S 25604 25604 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154558365 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050564454000 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25615] ppid=25604 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25615/stat : 25615 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558367 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050563402320 140051385628571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25616] ppid=25604 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/25606/task/25616/stat : 25616 (java) R 25604 25604 21109 0 -1 1077944384 508 0 0 0 3 0 0 0 20 0 15 0 154558367 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050494908528 140051385621122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25617] ppid=25604 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25606/task/25617/stat : 25617 (java) R 25604 25604 21109 0 -1 4202560 375 0 0 0 4 0 0 0 20 0 15 0 154558367 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050493855728 140051369999584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25618] ppid=25604 vsize=13982852 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/25606/task/25618/stat : 25618 (java) R 25604 25604 21109 0 -1 4202560 877 0 0 0 11 0 0 0 20 0 15 0 154558367 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050492799808 140051370136344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25619] ppid=25604 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25619/stat : 25619 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558368 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050491750880 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25620] ppid=25604 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25620/stat : 25620 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558368 14318440448 11811 33554432000 4194304 4196468 140730854786544 140050490698672 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48624 KiB
[startup+0.700766 s]
/proc/loadavg: 1.98 1.90 1.84 4/218 25620
/proc/meminfo: memFree=26218532/32770624 swapFree=67108860/67108860
[pid=25604] ppid=25601 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25604/stat : 25604 (xcsp3-exec) S 25601 25604 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154558361 9740288 345 33554432000 4194304 5098028 140720923983584 140720923981688 140433425367676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11628544 140720923985013 140720923985216 140720923985216 140720923987947 0
/proc/25604/statm: 2378 345 289 221 0 87 0
[pid=25606] ppid=25604 vsize=13984976 memory=71952 CPUtime=1.57 cores=1,3,5,7
/proc/25606/stat : 25606 (java) S 25604 25604 21109 0 -1 1077944320 11521 0 0 0 151 6 0 0 20 0 15 0 154558362 14320615424 17988 33554432000 4194304 4196468 140730854786544 140730854769088 140051385609975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
/proc/25606/statm: 3496244 17988 3205 1 0 3483478 0
[pid=25606/tid=25607] ppid=25604 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/25606/task/25607/stat : 25607 (java) R 25604 25604 21109 0 -1 4202560 6518 0 0 0 63 4 0 0 20 0 15 0 154558362 14320615424 17988 33554432000 4194304 4196468 140730854786544 140051389847344 140050985346440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25608] ppid=25604 vsize=13984976 memory=288230587427463936 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25608/stat : 25608 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050981448080 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25609] ppid=25604 vsize=13984976 memory=16106957111054841 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25609/stat : 25609 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050980395280 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25610] ppid=25604 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25610/stat : 25610 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050979342992 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25611] ppid=25604 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25611/stat : 25611 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050978290192 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25612] ppid=25604 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25612/stat : 25612 (java) S 25604 25604 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154558364 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050566560368 140051385621122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25613] ppid=25604 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25613/stat : 25613 (java) S 25604 25604 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154558365 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050565506336 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25614] ppid=25604 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25614/stat : 25614 (java) S 25604 25604 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154558365 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050564454000 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25615] ppid=25604 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25615/stat : 25615 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558367 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050563402320 140051385628571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25616] ppid=25604 vsize=13984976 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/25606/task/25616/stat : 25616 (java) R 25604 25604 21109 0 -1 4202560 1135 0 0 0 29 0 0 0 20 0 15 0 154558367 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050494894848 140051369110324 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25617] ppid=25604 vsize=13984976 memory=4125689051684955502 CPUtime=0.28 cores=1,3,5,7
/proc/25606/task/25617/stat : 25617 (java) R 25604 25604 21109 0 -1 4202560 1065 0 0 0 28 0 0 0 20 0 15 0 154558367 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050493855728 140051367155274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25618] ppid=25604 vsize=13984976 memory=7018122604819606885 CPUtime=0.3 cores=1,3,5,7
/proc/25606/task/25618/stat : 25618 (java) S 25604 25604 21109 0 -1 1077944384 1496 0 0 0 30 0 0 0 20 0 15 0 154558367 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050492803440 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25619] ppid=25604 vsize=13984976 memory=7378986813909975148 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25619/stat : 25619 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558368 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050491750880 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25620] ppid=25604 vsize=13984976 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25620/stat : 25620 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558368 14320615424 17988 33554432000 4194304 4196468 140730854786544 140050490698672 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73332 KiB
[startup+1.5008 s]
/proc/loadavg: 1.98 1.90 1.84 3/218 25620
/proc/meminfo: memFree=26208792/32770624 swapFree=67108860/67108860
[pid=25604] ppid=25601 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25604/stat : 25604 (xcsp3-exec) S 25601 25604 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154558361 9740288 345 33554432000 4194304 5098028 140720923983584 140720923981688 140433425367676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11628544 140720923985013 140720923985216 140720923985216 140720923987947 0
/proc/25604/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/25606/task/25614/stat : 25614 (java) S 25604 25604 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154558365 14320615424 35739 33554432000 4194304 4196468 140730854786544 140050564454000 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25615] ppid=25604 vsize=13984976 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25615/stat : 25615 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558367 14320615424 35739 33554432000 4194304 4196468 140730854786544 140050563402320 140051385628571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25616] ppid=25604 vsize=13984976 memory=142956 CPUtime=1.55 cores=1,3,5,7
/proc/25606/task/25616/stat : 25616 (java) S 25604 25604 21109 0 -1 1077944384 11107 0 0 0 154 1 0 0 20 0 15 0 154558367 14320615424 35739 33554432000 4194304 4196468 140730854786544 140050494908528 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25617] ppid=25604 vsize=13984976 memory=1380 CPUtime=1.14 cores=1,3,5,7
/proc/25606/task/25617/stat : 25617 (java) S 25604 25604 21109 0 -1 1077944384 9675 0 0 0 114 0 0 0 20 0 15 0 154558367 14320615424 35739 33554432000 4194304 4196468 140730854786544 140050493855728 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25618] ppid=25604 vsize=13984976 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/25606/task/25618/stat : 25618 (java) S 25604 25604 21109 0 -1 1077944384 4902 0 0 0 44 1 0 0 20 0 15 0 154558367 14320615424 35739 33554432000 4194304 4196468 140730854786544 140050492803440 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25619] ppid=25604 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25619/stat : 25619 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558368 14320615424 35739 33554432000 4194304 4196468 140730854786544 140050491750880 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25620] ppid=25604 vsize=13984976 memory=56 CPUtime=0.02 cores=1,3,5,7
/proc/25606/task/25620/stat : 25620 (java) S 25604 25604 21109 0 -1 1077944384 637 0 0 0 1 1 0 0 20 0 15 0 154558368 14320615424 35739 33554432000 4194304 4196468 140730854786544 140050490698672 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
Current children cumulated CPU time: 105.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 144336 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 1.94 1.87 3/217 25623
/proc/meminfo: memFree=25835612/32770624 swapFree=67108860/67108860
[pid=25604] ppid=25601 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25604/stat : 25604 (xcsp3-exec) S 25601 25604 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154558361 9740288 345 33554432000 4194304 5098028 140720923983584 140720923981688 140433425367676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11628544 140720923985013 140720923985216 140720923985216 140720923987947 0
/proc/25604/statm: 2378 345 289 221 0 87 0
[pid=25606] ppid=25604 vsize=13984976 memory=159420 CPUtime=165.68 cores=1,3,5,7
/proc/25606/stat : 25606 (java) S 25604 25604 21109 0 -1 1077944320 41907 0 0 0 16557 11 0 0 20 0 15 0 154558362 14320615424 39855 33554432000 4194304 4196468 140730854786544 140730854769088 140051385609975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
/proc/25606/statm: 3496244 39855 3222 1 0 3483478 0
[pid=25606/tid=25607] ppid=25604 vsize=13984976 memory=159388 CPUtime=162.26 cores=1,3,5,7
/proc/25606/task/25607/stat : 25607 (java) R 25604 25604 21109 0 -1 4202560 10780 0 0 0 16221 5 0 0 20 0 15 0 154558362 14320615424 39855 33554432000 4194304 4196468 140730854786544 140051389846680 140050986134781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25608] ppid=25604 vsize=13984976 memory=157300 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25608/stat : 25608 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050981448080 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25609] ppid=25604 vsize=13984976 memory=159420 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25609/stat : 25609 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050980395280 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25610] ppid=25604 vsize=13984976 memory=159420 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25610/stat : 25610 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050979342992 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25611] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25611/stat : 25611 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050978290192 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25612] ppid=25604 vsize=13984976 memory=159420 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25612/stat : 25612 (java) S 25604 25604 21109 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 15 0 154558364 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050566560368 140051385621122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25613] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25613/stat : 25613 (java) S 25604 25604 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154558365 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050565506336 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25614] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25614/stat : 25614 (java) S 25604 25604 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154558365 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050564454000 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25615] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25615/stat : 25615 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558367 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050563402320 140051385628571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25616] ppid=25604 vsize=13984976 memory=157300 CPUtime=1.67 cores=1,3,5,7
/proc/25606/task/25616/stat : 25616 (java) S 25604 25604 21109 0 -1 1077944384 12322 0 0 0 165 2 0 0 20 0 15 0 154558367 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050494908528 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25617] ppid=25604 vsize=13984976 memory=1296 CPUtime=1.22 cores=1,3,5,7
/proc/25606/task/25617/stat : 25617 (java) S 25604 25604 21109 0 -1 1077944384 10770 0 0 0 122 0 0 0 20 0 15 0 154558367 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050493855728 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25618] ppid=25604 vsize=13984976 memory=2408 CPUtime=0.45 cores=1,3,5,7
/proc/25606/task/25618/stat : 25618 (java) S 25604 25604 21109 0 -1 1077944384 5569 0 0 0 44 1 0 0 20 0 15 0 154558367 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050492803440 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25619] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25619/stat : 25619 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558368 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050491750880 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25620] ppid=25604 vsize=13984976 memory=157312 CPUtime=0.02 cores=1,3,5,7
/proc/25606/task/25620/stat : 25620 (java) S 25604 25604 21109 0 -1 1077944384 671 0 0 0 1 1 0 0 20 0 15 0 154558368 14320615424 39855 33554432000 4194304 4196468 140730854786544 140050490698672 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
Current children cumulated CPU time: 165.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 160800 KiB
[startup+222.301 s]
/proc/loadavg: 2.45 2.05 1.91 4/217 25860
/proc/meminfo: memFree=26423028/32770624 swapFree=67108860/67108860
[pid=25604] ppid=25601 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25604/stat : 25604 (xcsp3-exec) S 25601 25604 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154558361 9740288 345 33554432000 4194304 5098028 140720923983584 140720923981688 140433425367676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11628544 140720923985013 140720923985216 140720923985216 140720923987947 0
/proc/25604/statm: 2378 345 289 221 0 87 0
[pid=25606] ppid=25604 vsize=13984976 memory=184120 CPUtime=225.79 cores=1,3,5,7
/proc/25606/stat : 25606 (java) S 25604 25604 21109 0 -1 1077944320 43095 0 0 0 22567 12 0 0 20 0 15 0 154558362 14320615424 46030 33554432000 4194304 4196468 140730854786544 140730854769088 140051385609975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
/proc/25606/statm: 3496244 46030 3225 1 0 3483478 0
[pid=25606/tid=25607] ppid=25604 vsize=13984976 memory=180024 CPUtime=222.26 cores=1,3,5,7
/proc/25606/task/25607/stat : 25607 (java) R 25604 25604 21109 0 -1 4202560 11112 0 0 0 22221 5 0 0 20 0 15 0 154558362 14320615424 46030 33554432000 4194304 4196468 140730854786544 140051389846472 140050985398333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25608] ppid=25604 vsize=13984976 memory=184120 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25608/stat : 25608 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050981448080 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25609] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25609/stat : 25609 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050980395280 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25610] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25610/stat : 25610 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050979342992 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25611] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25611/stat : 25611 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050978290192 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25612] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25612/stat : 25612 (java) S 25604 25604 21109 0 -1 1077944384 521 0 0 0 0 0 0 0 20 0 15 0 154558364 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050566560368 140051385621122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25613] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25613/stat : 25613 (java) S 25604 25604 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154558365 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050565506336 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25614] ppid=25604 vsize=13984976 memory=182072 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25614/stat : 25614 (java) S 25604 25604 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154558365 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050564454000 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25615] ppid=25604 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25615/stat : 25615 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558367 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050563402320 140051385628571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25616] ppid=25604 vsize=13984976 memory=4468 CPUtime=1.71 cores=1,3,5,7
/proc/25606/task/25616/stat : 25616 (java) S 25604 25604 21109 0 -1 1077944384 12527 0 0 0 169 2 0 0 20 0 15 0 154558367 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050494908528 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25617] ppid=25604 vsize=13984976 memory=932 CPUtime=1.27 cores=1,3,5,7
/proc/25606/task/25617/stat : 25617 (java) S 25604 25604 21109 0 -1 1077944384 11269 0 0 0 127 0 0 0 20 0 15 0 154558367 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050493855728 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25618] ppid=25604 vsize=13984976 memory=184120 CPUtime=0.46 cores=1,3,5,7
/proc/25606/task/25618/stat : 25618 (java) S 25604 25604 21109 0 -1 1077944384 5667 0 0 0 45 1 0 0 20 0 15 0 154558367 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050492803440 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25619] ppid=25604 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25619/stat : 25619 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558368 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050491750880 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25620] ppid=25604 vsize=13984976 memory=1928 CPUtime=0.04 cores=1,3,5,7
/proc/25606/task/25620/stat : 25620 (java) S 25604 25604 21109 0 -1 1077944384 698 0 0 0 2 2 0 0 20 0 15 0 154558368 14320615424 46030 33554432000 4194304 4196468 140730854786544 140050490698672 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
Current children cumulated CPU time: 225.79 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 185500 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.41 2.06 1.91 3/217 25940
/proc/meminfo: memFree=26030608/32770624 swapFree=67108860/67108860
[pid=25604] ppid=25601 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25604/stat : 25604 (xcsp3-exec) S 25601 25604 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154558361 9740288 345 33554432000 4194304 5098028 140720923983584 140720923981688 140433425367676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11628544 140720923985013 140720923985216 140720923985216 140720923987947 0
/proc/25604/statm: 2378 345 289 221 0 87 0
[pid=25606] ppid=25604 vsize=13984976 memory=192324 CPUtime=243.5 cores=1,3,5,7
/proc/25606/stat : 25606 (java) S 25604 25604 21109 0 -1 1077944320 43343 0 0 0 24338 12 0 0 20 0 15 0 154558362 14320615424 48081 33554432000 4194304 4196468 140730854786544 140730854769088 140051385609975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
/proc/25606/statm: 3496244 48081 3225 1 0 3483478 0
[pid=25606/tid=25607] ppid=25604 vsize=13984976 memory=8664 CPUtime=239.96 cores=1,3,5,7
/proc/25606/task/25607/stat : 25607 (java) R 25604 25604 21109 0 -1 4202560 11233 0 0 0 23991 5 0 0 20 0 15 0 154558362 14320615424 48081 33554432000 4194304 4196468 140730854786544 140051389846984 140050986134836 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25608] ppid=25604 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25608/stat : 25608 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050981448080 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25609] ppid=25604 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25609/stat : 25609 (java) S 25604 25604 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050980395280 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25610] ppid=25604 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25610/stat : 25610 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050979342992 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25611] ppid=25604 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25611/stat : 25611 (java) S 25604 25604 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154558363 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050978290192 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25612] ppid=25604 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25612/stat : 25612 (java) S 25604 25604 21109 0 -1 1077944384 523 0 0 0 0 0 0 0 20 0 15 0 154558364 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050566560368 140051385621122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25613] ppid=25604 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25613/stat : 25613 (java) S 25604 25604 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154558365 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050565506336 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25614] ppid=25604 vsize=13984976 memory=11108 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25614/stat : 25614 (java) S 25604 25604 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154558365 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050564454000 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25615] ppid=25604 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25615/stat : 25615 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558367 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050563402320 140051385628571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25616] ppid=25604 vsize=13984976 memory=1424 CPUtime=1.71 cores=1,3,5,7
/proc/25606/task/25616/stat : 25616 (java) S 25604 25604 21109 0 -1 1077944384 12530 0 0 0 169 2 0 0 20 0 15 0 154558367 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050494908528 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25617] ppid=25604 vsize=13984976 memory=6791534058613427641 CPUtime=1.28 cores=1,3,5,7
/proc/25606/task/25617/stat : 25617 (java) S 25604 25604 21109 0 -1 1077944384 11387 0 0 0 128 0 0 0 20 0 15 0 154558367 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050493855728 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25618] ppid=25604 vsize=13984976 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/25606/task/25618/stat : 25618 (java) S 25604 25604 21109 0 -1 1077944384 5669 0 0 0 45 1 0 0 20 0 15 0 154558367 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050492803440 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25619] ppid=25604 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25606/task/25619/stat : 25619 (java) S 25604 25604 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154558368 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050491750880 140051385620181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
[pid=25606/tid=25620] ppid=25604 vsize=13984976 memory=171 CPUtime=0.04 cores=1,3,5,7
/proc/25606/task/25620/stat : 25620 (java) S 25604 25604 21109 0 -1 1077944384 700 0 0 0 2 2 0 0 20 0 15 0 154558368 14320615424 48081 33554432000 4194304 4196468 140730854786544 140050490698672 140051385621122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 30113792 140730854794397 140730854794572 140730854794572 140730854797263 0
Current children cumulated CPU time: 243.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 193704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.025 s]
# the end of solver process 25604 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000977 s, system=0.000977 s
[startup+240.033 s]
# the end of solver process 25606 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.423 s, system=0.141037 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.033
CPU time (s): 243.564
CPU user time (s): 243.423
CPU system time (s): 0.141037
CPU usage (%): 101.471
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 193704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.423
system time used= 0.141037
maximum resident set size= 211476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7673
involuntary context switches= 164
# summary of solver processes directly reported to runsolver:
# pid: 25604,25606
# total CPU time (s): 243.564
# total CPU user time (s): 243.423
# total CPU system time (s): 0.141037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26395 second user time and 2.2518 second system time
The end