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 (13879 MiB free)
memory of node 1: 16384 MiB (14259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270427-1502624386/watcher-4270427-1502624386 -o /tmp/evaluation-result-4270427-1502624386/solver-4270427-1502624386 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8347 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 377876775 HOME/instance-4270427-1502624386.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12025, runsolver pid=12022
[startup+0.100134 s]*
/proc/loadavg: 1.87 2.00 1.96 3/217 12041
/proc/meminfo: memFree=28797200/32770624 swapFree=67108860/67108860
[pid=12025] ppid=12022 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12025/stat : 12025 (xcsp3-exec) S 12022 12025 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519661 9740288 346 33554432000 4194304 5098028 140726204682736 140726204680840 139640864461436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37191680 140726204687477 140726204687680 140726204687680 140726204690411 0
/proc/12025/statm: 2378 346 289 221 0 87 0
[pid=12027] ppid=12025 vsize=13978596 memory=28328 CPUtime=0.12 cores=1,3,5,7
/proc/12027/stat : 12027 (java) S 12025 12025 6338 0 -1 1077944320 5463 0 0 0 11 1 0 0 20 0 15 0 95519661 14314082304 7082 33554432000 4194304 4196468 140723607487984 140723607470528 140061085351671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
/proc/12027/statm: 3494649 7082 2867 1 0 3482966 0
[pid=12027/tid=12028] ppid=12025 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/12027/task/12028/stat : 12028 (java) R 12025 12025 6338 0 -1 4202560 3394 0 0 0 8 1 0 0 20 0 15 0 95519661 14314082304 7082 33554432000 4194304 4196468 140723607487984 140061089584944 140061085373597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12029] ppid=12025 vsize=13978596 memory=3472467939500528848 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12029/stat : 12029 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14314082304 7082 33554432000 4194304 4196468 140723607487984 140061037972240 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12030] ppid=12025 vsize=13978596 memory=139810605377152 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12030/stat : 12030 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14314082304 7082 33554432000 4194304 4196468 140723607487984 140061036919696 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12031] ppid=12025 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12031/stat : 12031 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14314082304 7082 33554432000 4194304 4196468 140723607487984 140061035867152 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12032] ppid=12025 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12032/stat : 12032 (java) S 12025 12025 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519662 14314082304 7082 33554432000 4194304 4196468 140723607487984 140061034814608 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12033] ppid=12025 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12033/stat : 12033 (java) S 12025 12025 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519663 14314082304 7082 33554432000 4194304 4196468 140723607487984 140060559132656 140061085362818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12034] ppid=12025 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12034/stat : 12034 (java) S 12025 12025 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519664 14314082304 7082 33554432000 4194304 4196468 140723607487984 140060558078880 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12035] ppid=12025 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12035/stat : 12035 (java) S 12025 12025 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519664 14314082304 7082 33554432000 4194304 4196468 140723607487984 140060557026288 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12036] ppid=12025 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12036/stat : 12036 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519666 14314082304 7082 33554432000 4194304 4196468 140723607487984 140060555974864 140061085370267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12037] ppid=12025 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12037/stat : 12037 (java) S 12025 12025 6338 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 95519666 14314082304 7082 33554432000 4194304 4196468 140723607487984 140060554922480 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12038] ppid=12025 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12038/stat : 12038 (java) S 12025 12025 6338 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 95519666 14314082304 7082 33554432000 4194304 4196468 140723607487984 140060553869936 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12039] ppid=12025 vsize=13978596 memory=139810605377152 CPUtime=0.01 cores=1,3,5,7
/proc/12027/task/12039/stat : 12039 (java) S 12025 12025 6338 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 15 0 95519666 14314082304 7082 33554432000 4194304 4196468 140723607487984 140060552817392 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12040] ppid=12025 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12040/stat : 12040 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519667 14314082304 7082 33554432000 4194304 4196468 140723607487984 140060551765088 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12041] ppid=12025 vsize=13978596 memory=139810605377152 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12041/stat : 12041 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519667 14314082304 7082 33554432000 4194304 4196468 140723607487984 140060550711600 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29712 KiB
[startup+0.21069 s]*
/proc/loadavg: 1.87 2.00 1.96 4/217 12041
/proc/meminfo: memFree=28785540/32770624 swapFree=67108860/67108860
[pid=12025] ppid=12022 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12025/stat : 12025 (xcsp3-exec) S 12022 12025 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519661 9740288 346 33554432000 4194304 5098028 140726204682736 140726204680840 139640864461436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37191680 140726204687477 140726204687680 140726204687680 140726204690411 0
/proc/12025/statm: 2378 346 289 221 0 87 0
[pid=12027] ppid=12025 vsize=13982852 memory=40340 CPUtime=0.34 cores=1,3,5,7
/proc/12027/stat : 12027 (java) S 12025 12025 6338 0 -1 1077944320 8271 0 0 0 31 3 0 0 20 0 15 0 95519661 14318440448 10085 33554432000 4194304 4196468 140723607487984 140723607470528 140061085351671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
/proc/12027/statm: 3495713 10085 3052 1 0 3482966 0
[pid=12027/tid=12028] ppid=12025 vsize=13982852 memory=5855082630820233377 CPUtime=0.2 cores=1,3,5,7
/proc/12027/task/12028/stat : 12028 (java) R 12025 12025 6338 0 -1 4202560 5385 0 0 0 18 2 0 0 20 0 15 0 95519661 14318440448 10085 33554432000 4194304 4196468 140723607487984 140061089573696 140061069432188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12029] ppid=12025 vsize=13982852 memory=3472467939500528848 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12029/stat : 12029 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14318440448 10085 33554432000 4194304 4196468 140723607487984 140061037972240 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12030] ppid=12025 vsize=13982852 memory=139810605377152 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12030/stat : 12030 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14318440448 10085 33554432000 4194304 4196468 140723607487984 140061036919696 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12031] ppid=12025 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12031/stat : 12031 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14318440448 10085 33554432000 4194304 4196468 140723607487984 140061035867152 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12032] ppid=12025 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12032/stat : 12032 (java) S 12025 12025 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519662 14318440448 10085 33554432000 4194304 4196468 140723607487984 140061034814608 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12033] ppid=12025 vsize=13982852 memory=139810605377152 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12033/stat : 12033 (java) S 12025 12025 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519663 14318440448 10085 33554432000 4194304 4196468 140723607487984 140060559132656 140061085362818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12034] ppid=12025 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12034/stat : 12034 (java) S 12025 12025 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519664 14318440448 10085 33554432000 4194304 4196468 140723607487984 140060558078880 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12035] ppid=12025 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12035/stat : 12035 (java) S 12025 12025 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519664 14318440448 10085 33554432000 4194304 4196468 140723607487984 140060557026288 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12036] ppid=12025 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12036/stat : 12036 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519666 14318440448 10085 33554432000 4194304 4196468 140723607487984 140060555974864 140061085370267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12037] ppid=12025 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12027/task/12037/stat : 12037 (java) S 12025 12025 6338 0 -1 1077944384 628 0 0 0 2 0 0 0 20 0 15 0 95519666 14318440448 10085 33554432000 4194304 4196468 140723607487984 140060554922480 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12038] ppid=12025 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/12027/task/12038/stat : 12038 (java) S 12025 12025 6338 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 95519666 14318440448 10085 33554432000 4194304 4196468 140723607487984 140060553869936 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12039] ppid=12025 vsize=13982852 memory=139810605377152 CPUtime=0.08 cores=1,3,5,7
/proc/12027/task/12039/stat : 12039 (java) S 12025 12025 6338 0 -1 1077944384 765 0 0 0 8 0 0 0 20 0 15 0 95519666 14318440448 10085 33554432000 4194304 4196468 140723607487984 140060552817392 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12040] ppid=12025 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12040/stat : 12040 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519667 14318440448 10085 33554432000 4194304 4196468 140723607487984 140060551765088 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12041] ppid=12025 vsize=13982852 memory=139810605377152 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12041/stat : 12041 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519667 14318440448 10085 33554432000 4194304 4196468 140723607487984 140060550711600 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41724 KiB
[startup+0.311339 s]*
/proc/loadavg: 1.87 2.00 1.96 5/217 12041
/proc/meminfo: memFree=28778840/32770624 swapFree=67108860/67108860
[pid=12025] ppid=12022 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12025/stat : 12025 (xcsp3-exec) S 12022 12025 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519661 9740288 346 33554432000 4194304 5098028 140726204682736 140726204680840 139640864461436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37191680 140726204687477 140726204687680 140726204687680 140726204690411 0
/proc/12025/statm: 2378 346 289 221 0 87 0
[pid=12027] ppid=12025 vsize=13982852 memory=47464 CPUtime=0.51 cores=1,3,5,7
/proc/12027/stat : 12027 (java) S 12025 12025 6338 0 -1 1077944320 9086 0 0 0 48 3 0 0 20 0 15 0 95519661 14318440448 11866 33554432000 4194304 4196468 140723607487984 140723607470528 140061085351671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
/proc/12027/statm: 3495713 11866 3112 1 0 3482966 0
[pid=12027/tid=12028] ppid=12025 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=1,3,5,7
/proc/12027/task/12028/stat : 12028 (java) R 12025 12025 6338 0 -1 4202560 5914 0 0 0 27 2 0 0 20 0 15 0 95519661 14318440448 11866 33554432000 4194304 4196468 140723607487984 140061089589056 140061085373693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12029] ppid=12025 vsize=13982852 memory=3472467939500528848 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12029/stat : 12029 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14318440448 11866 33554432000 4194304 4196468 140723607487984 140061037972240 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12030] ppid=12025 vsize=13982852 memory=139810605377152 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12030/stat : 12030 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14318440448 11866 33554432000 4194304 4196468 140723607487984 140061036919696 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12031] ppid=12025 vsize=13982852 memory=8 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12031/stat : 12031 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14318440448 11866 33554432000 4194304 4196468 140723607487984 140061035867152 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12032] ppid=12025 vsize=13982852 memory=139810446649375 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12032/stat : 12032 (java) S 12025 12025 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519662 14318440448 11866 33554432000 4194304 4196468 140723607487984 140061034814608 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12033] ppid=12025 vsize=13982852 memory=279620893259520 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12033/stat : 12033 (java) S 12025 12025 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519663 14318440448 11866 33554432000 4194304 4196468 140723607487984 140060559132656 140061085362818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12034] ppid=12025 vsize=13982852 memory=139810446626319 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12034/stat : 12034 (java) S 12025 12025 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519664 14318440448 11866 33554432000 4194304 4196468 140723607487984 140060558078880 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12035] ppid=12025 vsize=13982852 memory=279621052012640 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12035/stat : 12035 (java) S 12025 12025 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519664 14318440448 11866 33554432000 4194304 4196468 140723607487984 140060557026288 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12036] ppid=12025 vsize=13982852 memory=139810446630927 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12036/stat : 12036 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519666 14318440448 11866 33554432000 4194304 4196468 140723607487984 140060555974864 140061085370267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12037] ppid=12025 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12027/task/12037/stat : 12037 (java) R 12025 12025 6338 0 -1 1077944384 717 0 0 0 4 0 0 0 20 0 15 0 95519666 14318440448 11866 33554432000 4194304 4196468 140723607487984 140060554922480 140061085362818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12038] ppid=12025 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12027/task/12038/stat : 12038 (java) R 12025 12025 6338 0 -1 4202560 245 0 0 0 3 0 0 0 20 0 15 0 95519666 14318440448 11866 33554432000 4194304 4196468 140723607487984 140060553869936 140061062575824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12039] ppid=12025 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12027/task/12039/stat : 12039 (java) R 12025 12025 6338 0 -1 4202560 908 0 0 0 13 0 0 0 20 0 15 0 95519666 14318440448 11866 33554432000 4194304 4196468 140723607487984 140060552817392 140061069432158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12040] ppid=12025 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12040/stat : 12040 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519667 14318440448 11866 33554432000 4194304 4196468 140723607487984 140060551765088 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12041] ppid=12025 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12041/stat : 12041 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519667 14318440448 11866 33554432000 4194304 4196468 140723607487984 140060550711600 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48848 KiB
[startup+0.700907 s]
/proc/loadavg: 1.87 2.00 1.96 6/217 12041
/proc/meminfo: memFree=28751608/32770624 swapFree=67108860/67108860
[pid=12025] ppid=12022 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12025/stat : 12025 (xcsp3-exec) S 12022 12025 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519661 9740288 346 33554432000 4194304 5098028 140726204682736 140726204680840 139640864461436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37191680 140726204687477 140726204687680 140726204687680 140726204690411 0
/proc/12025/statm: 2378 346 289 221 0 87 0
[pid=12027] ppid=12025 vsize=13984976 memory=91696 CPUtime=1.69 cores=1,3,5,7
/proc/12027/stat : 12027 (java) S 12025 12025 6338 0 -1 1077944320 13016 0 0 0 164 5 0 0 20 0 15 0 95519661 14320615424 22924 33554432000 4194304 4196468 140723607487984 140723607470528 140061085351671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
/proc/12027/statm: 3496244 22924 3192 1 0 3483478 0
[pid=12027/tid=12028] ppid=12025 vsize=13984976 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/12027/task/12028/stat : 12028 (java) R 12025 12025 6338 0 -1 4202560 6613 0 0 0 64 3 0 0 20 0 15 0 95519661 14320615424 22924 33554432000 4194304 4196468 140723607487984 140061089588544 140060712597956 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12029] ppid=12025 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12029/stat : 12029 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 22924 33554432000 4194304 4196468 140723607487984 140061037972240 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12030] ppid=12025 vsize=13984976 memory=7588935152971043413 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12030/stat : 12030 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 22924 33554432000 4194304 4196468 140723607487984 140061036919696 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12031] ppid=12025 vsize=13984976 memory=8041645962788481611 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12031/stat : 12031 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 22924 33554432000 4194304 4196468 140723607487984 140061035867152 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12032] ppid=12025 vsize=13984976 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12032/stat : 12032 (java) S 12025 12025 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 22924 33554432000 4194304 4196468 140723607487984 140061034814608 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12033] ppid=12025 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12033/stat : 12033 (java) S 12025 12025 6338 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95519663 14320615424 22924 33554432000 4194304 4196468 140723607487984 140060559132656 140061085362818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12034] ppid=12025 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12034/stat : 12034 (java) S 12025 12025 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519664 14320615424 22924 33554432000 4194304 4196468 140723607487984 140060558078880 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12035] ppid=12025 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12035/stat : 12035 (java) S 12025 12025 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519664 14320615424 22924 33554432000 4194304 4196468 140723607487984 140060557026288 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12036] ppid=12025 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12036/stat : 12036 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519666 14320615424 22924 33554432000 4194304 4196468 140723607487984 140060555974864 140061085370267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12037] ppid=12025 vsize=13984976 memory=28096 CPUtime=0.31 cores=1,3,5,7
/proc/12027/task/12037/stat : 12037 (java) R 12025 12025 6338 0 -1 4202560 1516 0 0 0 31 0 0 0 20 0 15 0 95519666 14320615424 22924 33554432000 4194304 4196468 140723607487984 140060554922480 140061068851058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12038] ppid=12025 vsize=13984976 memory=2428 CPUtime=0.29 cores=1,3,5,7
/proc/12027/task/12038/stat : 12038 (java) S 12025 12025 6338 0 -1 1077944384 1283 0 0 0 29 0 0 0 20 0 15 0 95519666 14320615424 22924 33554432000 4194304 4196468 140723607487984 140060553869936 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12039] ppid=12025 vsize=13984976 memory=1292 CPUtime=0.38 cores=1,3,5,7
/proc/12027/task/12039/stat : 12039 (java) S 12025 12025 6338 0 -1 1077944384 2297 0 0 0 38 0 0 0 20 0 15 0 95519666 14320615424 22924 33554432000 4194304 4196468 140723607487984 140060552817392 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12040] ppid=12025 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12040/stat : 12040 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519667 14320615424 22924 33554432000 4194304 4196468 140723607487984 140060551765088 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12041] ppid=12025 vsize=13984976 memory=7453282923511834215 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12041/stat : 12041 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519667 14320615424 22924 33554432000 4194304 4196468 140723607487984 140060550711600 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 93080 KiB
[startup+1.50082 s]
/proc/loadavg: 1.87 2.00 1.96 3/217 12041
/proc/meminfo: memFree=28734172/32770624 swapFree=67108860/67108860
[pid=12025] ppid=12022 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12025/stat : 12025 (xcsp3-exec) S 12022 12025 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519661 9740288 346 33554432000 4194304 5098028 140726204682736 140726204680840 139640864461436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37191680 140726204687477 140726204687680 140726204687680 140726204690411 0
/proc/12025/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/12027/task/12035/stat : 12035 (java) S 12025 12025 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519664 14320615424 33182 33554432000 4194304 4196468 140723607487984 140060557026288 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12036] ppid=12025 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12036/stat : 12036 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519666 14320615424 33182 33554432000 4194304 4196468 140723607487984 140060555974864 140061085370267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12037] ppid=12025 vsize=13984976 memory=1204 CPUtime=2.16 cores=1,3,5,7
/proc/12027/task/12037/stat : 12037 (java) S 12025 12025 6338 0 -1 1077944384 17516 0 0 0 213 3 0 0 20 0 15 0 95519666 14320615424 33182 33554432000 4194304 4196468 140723607487984 140060554922480 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12038] ppid=12025 vsize=13984976 memory=1384 CPUtime=1.84 cores=1,3,5,7
/proc/12027/task/12038/stat : 12038 (java) S 12025 12025 6338 0 -1 1077944384 17294 0 0 0 183 1 0 0 20 0 15 0 95519666 14320615424 33182 33554432000 4194304 4196468 140723607487984 140060553869936 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12039] ppid=12025 vsize=13984976 memory=130648 CPUtime=0.57 cores=1,3,5,7
/proc/12027/task/12039/stat : 12039 (java) S 12025 12025 6338 0 -1 1077944384 5439 0 0 0 57 0 0 0 20 0 15 0 95519666 14320615424 33182 33554432000 4194304 4196468 140723607487984 140060552817392 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12040] ppid=12025 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12040/stat : 12040 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519667 14320615424 33182 33554432000 4194304 4196468 140723607487984 140060551765088 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12041] ppid=12025 vsize=13984976 memory=1716 CPUtime=0.01 cores=1,3,5,7
/proc/12027/task/12041/stat : 12041 (java) S 12025 12025 6338 0 -1 1077944384 1092 0 0 0 0 1 0 0 20 0 15 0 95519667 14320615424 33182 33554432000 4194304 4196468 140723607487984 140060550711600 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
Current children cumulated CPU time: 106.91 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 134112 KiB
[startup+162.301 s]
/proc/loadavg: 2.08 2.06 1.99 3/217 12202
/proc/meminfo: memFree=28552916/32770624 swapFree=67108860/67108860
[pid=12025] ppid=12022 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12025/stat : 12025 (xcsp3-exec) S 12022 12025 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519661 9740288 346 33554432000 4194304 5098028 140726204682736 140726204680840 139640864461436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37191680 140726204687477 140726204687680 140726204687680 140726204690411 0
/proc/12025/statm: 2378 346 289 221 0 87 0
[pid=12027] ppid=12025 vsize=13984976 memory=149580 CPUtime=166.99 cores=1,3,5,7
/proc/12027/stat : 12027 (java) S 12025 12025 6338 0 -1 1077944320 55744 0 0 0 16689 10 0 0 20 0 15 0 95519661 14320615424 37395 33554432000 4194304 4196468 140723607487984 140723607470528 140061085351671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
/proc/12027/statm: 3496244 37395 3224 1 0 3483478 0
[pid=12027/tid=12028] ppid=12025 vsize=13984976 memory=149580 CPUtime=162.28 cores=1,3,5,7
/proc/12027/task/12028/stat : 12028 (java) R 12025 12025 6338 0 -1 4202560 12266 0 0 0 16225 3 0 0 20 0 15 0 95519661 14320615424 37395 33554432000 4194304 4196468 140723607487984 140061089590024 140060717023338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12029] ppid=12025 vsize=13984976 memory=149580 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12029/stat : 12029 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 37395 33554432000 4194304 4196468 140723607487984 140061037972240 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12030] ppid=12025 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12030/stat : 12030 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 37395 33554432000 4194304 4196468 140723607487984 140061036919696 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12031] ppid=12025 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12031/stat : 12031 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 37395 33554432000 4194304 4196468 140723607487984 140061035867152 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12032] ppid=12025 vsize=13984976 memory=149580 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12032/stat : 12032 (java) S 12025 12025 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 37395 33554432000 4194304 4196468 140723607487984 140061034814608 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12033] ppid=12025 vsize=13984976 memory=149580 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12033/stat : 12033 (java) S 12025 12025 6338 0 -1 1077944384 531 0 0 0 0 0 0 0 20 0 15 0 95519663 14320615424 37395 33554432000 4194304 4196468 140723607487984 140060559132656 140061085362818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12034] ppid=12025 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12034/stat : 12034 (java) S 12025 12025 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519664 14320615424 37395 33554432000 4194304 4196468 140723607487984 140060558078880 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12035] ppid=12025 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12035/stat : 12035 (java) S 12025 12025 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519664 14320615424 37395 33554432000 4194304 4196468 140723607487984 140060557026288 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12036] ppid=12025 vsize=13984976 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12036/stat : 12036 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519666 14320615424 37395 33554432000 4194304 4196468 140723607487984 140060555974864 140061085370267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12037] ppid=12025 vsize=13984976 memory=1952 CPUtime=2.19 cores=1,3,5,7
/proc/12027/task/12037/stat : 12037 (java) S 12025 12025 6338 0 -1 1077944384 17603 0 0 0 216 3 0 0 20 0 15 0 95519666 14320615424 37395 33554432000 4194304 4196468 140723607487984 140060554922480 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12038] ppid=12025 vsize=13984976 memory=5796 CPUtime=1.87 cores=1,3,5,7
/proc/12027/task/12038/stat : 12038 (java) S 12025 12025 6338 0 -1 1077944384 17349 0 0 0 186 1 0 0 20 0 15 0 95519666 14320615424 37395 33554432000 4194304 4196468 140723607487984 140060553869936 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12039] ppid=12025 vsize=13984976 memory=1384 CPUtime=0.57 cores=1,3,5,7
/proc/12027/task/12039/stat : 12039 (java) S 12025 12025 6338 0 -1 1077944384 5570 0 0 0 57 0 0 0 20 0 15 0 95519666 14320615424 37395 33554432000 4194304 4196468 140723607487984 140060552817392 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12040] ppid=12025 vsize=13984976 memory=149580 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12040/stat : 12040 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519667 14320615424 37395 33554432000 4194304 4196468 140723607487984 140060551765088 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12041] ppid=12025 vsize=13984976 memory=16099256251451951 CPUtime=0.03 cores=1,3,5,7
/proc/12027/task/12041/stat : 12041 (java) S 12025 12025 6338 0 -1 1077944384 1125 0 0 0 1 2 0 0 20 0 15 0 95519667 14320615424 37395 33554432000 4194304 4196468 140723607487984 140060550711600 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
Current children cumulated CPU time: 166.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 150964 KiB
[startup+222.301 s]
/proc/loadavg: 1.92 2.02 1.98 3/217 12203
/proc/meminfo: memFree=28540184/32770624 swapFree=67108860/67108860
[pid=12025] ppid=12022 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12025/stat : 12025 (xcsp3-exec) S 12022 12025 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519661 9740288 346 33554432000 4194304 5098028 140726204682736 140726204680840 139640864461436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37191680 140726204687477 140726204687680 140726204687680 140726204690411 0
/proc/12025/statm: 2378 346 289 221 0 87 0
[pid=12027] ppid=12025 vsize=13984976 memory=166124 CPUtime=227.08 cores=1,3,5,7
/proc/12027/stat : 12027 (java) S 12025 12025 6338 0 -1 1077944320 56737 0 0 0 22697 11 0 0 20 0 15 0 95519661 14320615424 41531 33554432000 4194304 4196468 140723607487984 140723607470528 140061085351671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
/proc/12027/statm: 3496244 41531 3224 1 0 3483478 0
[pid=12027/tid=12028] ppid=12025 vsize=13984976 memory=166124 CPUtime=222.29 cores=1,3,5,7
/proc/12027/task/12028/stat : 12028 (java) R 12025 12025 6338 0 -1 4202560 12810 0 0 0 22225 4 0 0 20 0 15 0 95519661 14320615424 41531 33554432000 4194304 4196468 140723607487984 140061089590152 140060717865193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12029] ppid=12025 vsize=13984976 memory=164076 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12029/stat : 12029 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 41531 33554432000 4194304 4196468 140723607487984 140061037972240 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12030] ppid=12025 vsize=13984976 memory=166124 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12030/stat : 12030 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 41531 33554432000 4194304 4196468 140723607487984 140061036919696 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12031] ppid=12025 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12031/stat : 12031 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 41531 33554432000 4194304 4196468 140723607487984 140061035867152 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12032] ppid=12025 vsize=13984976 memory=164076 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12032/stat : 12032 (java) S 12025 12025 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 41531 33554432000 4194304 4196468 140723607487984 140061034814608 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12033] ppid=12025 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12033/stat : 12033 (java) S 12025 12025 6338 0 -1 1077944384 554 0 0 0 0 0 0 0 20 0 15 0 95519663 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060559132656 140061085362818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12034] ppid=12025 vsize=13984976 memory=166124 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12034/stat : 12034 (java) S 12025 12025 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519664 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060558078880 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12035] ppid=12025 vsize=13984976 memory=166124 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12035/stat : 12035 (java) S 12025 12025 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519664 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060557026288 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12036] ppid=12025 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12036/stat : 12036 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519666 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060555974864 140061085370267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12037] ppid=12025 vsize=13984976 memory=1384 CPUtime=2.23 cores=1,3,5,7
/proc/12027/task/12037/stat : 12037 (java) S 12025 12025 6338 0 -1 1077944384 17758 0 0 0 220 3 0 0 20 0 15 0 95519666 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060554922480 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12038] ppid=12025 vsize=13984976 memory=166124 CPUtime=1.89 cores=1,3,5,7
/proc/12027/task/12038/stat : 12038 (java) S 12025 12025 6338 0 -1 1077944384 17447 0 0 0 188 1 0 0 20 0 15 0 95519666 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060553869936 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12039] ppid=12025 vsize=13984976 memory=28100 CPUtime=0.59 cores=1,3,5,7
/proc/12027/task/12039/stat : 12039 (java) S 12025 12025 6338 0 -1 1077944384 5734 0 0 0 59 0 0 0 20 0 15 0 95519666 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060552817392 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12040] ppid=12025 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12040/stat : 12040 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519667 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060551765088 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12041] ppid=12025 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/12027/task/12041/stat : 12041 (java) S 12025 12025 6338 0 -1 1077944384 1134 0 0 0 2 2 0 0 20 0 15 0 95519667 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060550711600 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
Current children cumulated CPU time: 227.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 167508 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.94 2.02 1.98 3/217 12203
/proc/meminfo: memFree=28542788/32770624 swapFree=67108860/67108860
[pid=12025] ppid=12022 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12025/stat : 12025 (xcsp3-exec) S 12022 12025 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95519661 9740288 346 33554432000 4194304 5098028 140726204682736 140726204680840 139640864461436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37191680 140726204687477 140726204687680 140726204687680 140726204690411 0
/proc/12025/statm: 2378 346 289 221 0 87 0
[pid=12027] ppid=12025 vsize=13984976 memory=166124 CPUtime=244.8 cores=1,3,5,7
/proc/12027/stat : 12027 (java) S 12025 12025 6338 0 -1 1077944320 56737 0 0 0 24468 12 0 0 20 0 15 0 95519661 14320615424 41531 33554432000 4194304 4196468 140723607487984 140723607470528 140061085351671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
/proc/12027/statm: 3496244 41531 3224 1 0 3483478 0
[pid=12027/tid=12028] ppid=12025 vsize=13984976 memory=6791534058613427641 CPUtime=240 cores=1,3,5,7
/proc/12027/task/12028/stat : 12028 (java) R 12025 12025 6338 0 -1 4202560 12810 0 0 0 23996 4 0 0 20 0 15 0 95519661 14320615424 41531 33554432000 4194304 4196468 140723607487984 140061089590152 140060717022851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12029] ppid=12025 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12029/stat : 12029 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 41531 33554432000 4194304 4196468 140723607487984 140061037972240 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12030] ppid=12025 vsize=13984976 memory=16608 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12030/stat : 12030 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 41531 33554432000 4194304 4196468 140723607487984 140061036919696 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12031] ppid=12025 vsize=13984976 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12031/stat : 12031 (java) S 12025 12025 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 41531 33554432000 4194304 4196468 140723607487984 140061035867152 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12032] ppid=12025 vsize=13984976 memory=166124 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12032/stat : 12032 (java) S 12025 12025 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95519662 14320615424 41531 33554432000 4194304 4196468 140723607487984 140061034814608 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12033] ppid=12025 vsize=13984976 memory=6508 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12033/stat : 12033 (java) S 12025 12025 6338 0 -1 1077944384 554 0 0 0 0 0 0 0 20 0 15 0 95519663 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060559132656 140061085362818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12034] ppid=12025 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12034/stat : 12034 (java) S 12025 12025 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95519664 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060558078880 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12035] ppid=12025 vsize=13984976 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12035/stat : 12035 (java) S 12025 12025 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95519664 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060557026288 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12036] ppid=12025 vsize=13984976 memory=916 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12036/stat : 12036 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519666 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060555974864 140061085370267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12037] ppid=12025 vsize=13984976 memory=2340 CPUtime=2.23 cores=1,3,5,7
/proc/12027/task/12037/stat : 12037 (java) S 12025 12025 6338 0 -1 1077944384 17758 0 0 0 220 3 0 0 20 0 15 0 95519666 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060554922480 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12038] ppid=12025 vsize=13984976 memory=4080 CPUtime=1.89 cores=1,3,5,7
/proc/12027/task/12038/stat : 12038 (java) S 12025 12025 6338 0 -1 1077944384 17447 0 0 0 188 1 0 0 20 0 15 0 95519666 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060553869936 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12039] ppid=12025 vsize=13984976 memory=932 CPUtime=0.6 cores=1,3,5,7
/proc/12027/task/12039/stat : 12039 (java) S 12025 12025 6338 0 -1 1077944384 5734 0 0 0 59 1 0 0 20 0 15 0 95519666 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060552817392 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12040] ppid=12025 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12027/task/12040/stat : 12040 (java) S 12025 12025 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95519667 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060551765088 140061085361877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
[pid=12027/tid=12041] ppid=12025 vsize=13984976 memory=166124 CPUtime=0.05 cores=1,3,5,7
/proc/12027/task/12041/stat : 12041 (java) S 12025 12025 6338 0 -1 1077944384 1134 0 0 0 2 3 0 0 20 0 15 0 95519667 14320615424 41531 33554432000 4194304 4196468 140723607487984 140060550711600 140061085362818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9531392 140723607495837 140723607496012 140723607496012 140723607498703 0
Current children cumulated CPU time: 244.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 167508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 12025 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000922 s, system=0.000922 s
[startup+240.02 s]
# the end of solver process 12027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.698 s, system=0.127989 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.02
CPU time (s): 244.826
CPU user time (s): 244.698
CPU system time (s): 0.127989
CPU usage (%): 102.002
Max. virtual memory (cumulated for all children) (KiB): 13998028
Max. memory (cumulated for all children) (KiB): 167508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.698
system time used= 0.127989
maximum resident set size= 170876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57474
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8003
involuntary context switches= 216
# summary of solver processes directly reported to runsolver:
# pid: 12025,12027
# total CPU time (s): 244.826
# total CPU user time (s): 244.698
# total CPU system time (s): 0.127989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32087 second user time and 2.21847 second system time
The end