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 (5221 MiB free)
memory of node 1: 16384 MiB (13910 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263375-1502636176/watcher-4263375-1502636176 -o /tmp/evaluation-result-4263375-1502636176/solver-4263375-1502636176 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502620619-3502 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263375-1502636176.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6463, runsolver pid=6460
Current StackSize limit: 8192 KiB
[startup+0.106471 s]*
/proc/loadavg: 2.34 2.96 3.10 4/216 6478
/proc/meminfo: memFree=19570956/32770624 swapFree=67108860/67108860
[pid=6463] ppid=6460 vsize=10555400 memory=31100 CPUtime=0.13 cores=1,3,5,7
/proc/6463/stat : 6463 (java) S 6460 6463 3242 0 -1 1077944320 6401 0 0 0 12 1 0 0 20 0 15 0 96698503 10808729600 7775 33554432000 4194304 4196468 140728585717152 140728585699696 140513278095095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
/proc/6463/statm: 2638850 7775 2790 1 0 2627263 0
[pid=6463/tid=6465] ppid=6460 vsize=10555400 memory=-8970433204080964800 CPUtime=0.09 cores=1,3,5,7
/proc/6463/task/6465/stat : 6465 (java) R 6460 6463 3242 0 -1 4202560 4250 0 0 0 9 0 0 0 20 0 15 0 96698503 10808729600 7775 33554432000 4194304 4196468 140728585717152 140513282316864 140513278117021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6466] ppid=6460 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6466/stat : 6466 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808729600 7775 33554432000 4194304 4196468 140728585717152 140513214785808 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6467] ppid=6460 vsize=10555400 memory=140355548432000 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6467/stat : 6467 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808729600 7775 33554432000 4194304 4196468 140728585717152 140513213733264 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6468] ppid=6460 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6468/stat : 6468 (java) S 6460 6463 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96698504 10808729600 7775 33554432000 4194304 4196468 140728585717152 140513212680720 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6469] ppid=6460 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6469/stat : 6469 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808729600 7775 33554432000 4194304 4196468 140728585717152 140513211628176 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6470] ppid=6460 vsize=10555400 memory=140355548432000 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6470/stat : 6470 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698506 10808729600 7775 33554432000 4194304 4196468 140728585717152 140512515258864 140513278106242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6471] ppid=6460 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6471/stat : 6471 (java) S 6460 6463 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96698506 10808729600 7775 33554432000 4194304 4196468 140728585717152 140512514205088 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6472] ppid=6460 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6472/stat : 6472 (java) S 6460 6463 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96698506 10808729600 7775 33554432000 4194304 4196468 140728585717152 140512513152496 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6473] ppid=6460 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6473/stat : 6473 (java) S 6460 6463 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96698509 10808729600 7775 33554432000 4194304 4196468 140728585717152 140512512101072 140513278113691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6474] ppid=6460 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6474/stat : 6474 (java) S 6460 6463 3242 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 96698509 10808729600 7775 33554432000 4194304 4196468 140728585717152 140512511047664 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6475] ppid=6460 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6475/stat : 6475 (java) S 6460 6463 3242 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 96698509 10808729600 7775 33554432000 4194304 4196468 140728585717152 140512509995120 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6476] ppid=6460 vsize=10555400 memory=140355548432000 CPUtime=0.02 cores=1,3,5,7
/proc/6463/task/6476/stat : 6476 (java) S 6460 6463 3242 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 96698509 10808729600 7775 33554432000 4194304 4196468 140728585717152 140512508942576 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6477] ppid=6460 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6477/stat : 6477 (java) S 6460 6463 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96698509 10808729600 7775 33554432000 4194304 4196468 140728585717152 140512507890272 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6478] ppid=6460 vsize=10555400 memory=140355548432000 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6478/stat : 6478 (java) S 6460 6463 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96698509 10808729600 7775 33554432000 4194304 4196468 140728585717152 140512506837808 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31100 KiB
[startup+0.210882 s]*
/proc/loadavg: 2.34 2.96 3.10 4/216 6478
/proc/meminfo: memFree=19563280/32770624 swapFree=67108860/67108860
[pid=6463] ppid=6460 vsize=10555400 memory=39884 CPUtime=0.31 cores=1,3,5,7
/proc/6463/stat : 6463 (java) S 6460 6463 3242 0 -1 1077944320 7521 0 0 0 29 2 0 0 20 0 15 0 96698503 10808729600 9971 33554432000 4194304 4196468 140728585717152 140728585699696 140513278095095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
/proc/6463/statm: 2638850 9971 2959 1 0 2627263 0
[pid=6463/tid=6465] ppid=6460 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6463/task/6465/stat : 6465 (java) R 6460 6463 3242 0 -1 4202560 4633 0 0 0 19 1 0 0 20 0 15 0 96698503 10808729600 9976 33554432000 4194304 4196468 140728585717152 140513282329200 140513262175582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6466] ppid=6460 vsize=10555400 memory=342 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6466/stat : 6466 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808729600 9976 33554432000 4194304 4196468 140728585717152 140513214785808 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6467] ppid=6460 vsize=10555400 memory=140355548438466 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6467/stat : 6467 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808729600 9976 33554432000 4194304 4196468 140728585717152 140513213733264 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6468] ppid=6460 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6468/stat : 6468 (java) S 6460 6463 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96698504 10808729600 9976 33554432000 4194304 4196468 140728585717152 140513212680720 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6469] ppid=6460 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6469/stat : 6469 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808729600 9976 33554432000 4194304 4196468 140728585717152 140513211628176 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6470] ppid=6460 vsize=10555400 memory=140355548432000 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6470/stat : 6470 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698506 10808729600 9976 33554432000 4194304 4196468 140728585717152 140512515258864 140513278106242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6471] ppid=6460 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6471/stat : 6471 (java) S 6460 6463 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96698506 10808729600 9976 33554432000 4194304 4196468 140728585717152 140512514205088 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6472] ppid=6460 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6472/stat : 6472 (java) S 6460 6463 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96698506 10808729600 9976 33554432000 4194304 4196468 140728585717152 140512513152496 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6473] ppid=6460 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6473/stat : 6473 (java) S 6460 6463 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96698509 10808729600 9976 33554432000 4194304 4196468 140728585717152 140512512101072 140513278113691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6474] ppid=6460 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6463/task/6474/stat : 6474 (java) S 6460 6463 3242 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 15 0 96698509 10808729600 9976 33554432000 4194304 4196468 140728585717152 140512511047664 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6475] ppid=6460 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6463/task/6475/stat : 6475 (java) S 6460 6463 3242 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 15 0 96698509 10808729600 9976 33554432000 4194304 4196468 140728585717152 140512509995120 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6476] ppid=6460 vsize=10555400 memory=140355548432000 CPUtime=0.06 cores=1,3,5,7
/proc/6463/task/6476/stat : 6476 (java) R 6460 6463 3242 0 -1 4202560 800 0 0 0 6 0 0 0 20 0 15 0 96698509 10808729600 9976 33554432000 4194304 4196468 140728585717152 140512508940536 140513256698387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6477] ppid=6460 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6477/stat : 6477 (java) S 6460 6463 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96698509 10808729600 9976 33554432000 4194304 4196468 140728585717152 140512507890272 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6478] ppid=6460 vsize=10555400 memory=140355548432000 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6478/stat : 6478 (java) S 6460 6463 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96698509 10808729600 9976 33554432000 4194304 4196468 140728585717152 140512506837808 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39884 KiB
[startup+0.310549 s]*
/proc/loadavg: 2.34 2.96 3.10 5/216 6478
/proc/meminfo: memFree=19556456/32770624 swapFree=67108860/67108860
[pid=6463] ppid=6460 vsize=10555476 memory=46980 CPUtime=0.52 cores=1,3,5,7
/proc/6463/stat : 6463 (java) S 6460 6463 3242 0 -1 1077944320 8297 0 0 0 49 3 0 0 20 0 15 0 96698503 10808807424 11745 33554432000 4194304 4196468 140728585717152 140728585699696 140513278095095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
/proc/6463/statm: 2638869 11745 3037 1 0 2627263 0
[pid=6463/tid=6465] ppid=6460 vsize=10555476 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/6463/task/6465/stat : 6465 (java) R 6460 6463 3242 0 -1 4202560 5072 0 0 0 28 2 0 0 20 0 15 0 96698503 10808807424 11745 33554432000 4194304 4196468 140728585717152 140513282328576 140512891796112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6466] ppid=6460 vsize=10555476 memory=304556153357205527 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6466/stat : 6466 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808807424 11745 33554432000 4194304 4196468 140728585717152 140513214785808 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6467] ppid=6460 vsize=10555476 memory=15394113178257048 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6467/stat : 6467 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808807424 11745 33554432000 4194304 4196468 140728585717152 140513213733264 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6468] ppid=6460 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6468/stat : 6468 (java) S 6460 6463 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96698504 10808807424 11745 33554432000 4194304 4196468 140728585717152 140513212680720 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6469] ppid=6460 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6469/stat : 6469 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808807424 11745 33554432000 4194304 4196468 140728585717152 140513211628176 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6470] ppid=6460 vsize=10555476 memory=140355548432000 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6470/stat : 6470 (java) S 6460 6463 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96698506 10808807424 11745 33554432000 4194304 4196468 140728585717152 140512515258864 140513278106242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6471] ppid=6460 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6471/stat : 6471 (java) S 6460 6463 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96698506 10808807424 11745 33554432000 4194304 4196468 140728585717152 140512514205088 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6472] ppid=6460 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6472/stat : 6472 (java) S 6460 6463 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96698506 10808807424 11745 33554432000 4194304 4196468 140728585717152 140512513152496 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6473] ppid=6460 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6473/stat : 6473 (java) S 6460 6463 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96698509 10808807424 11745 33554432000 4194304 4196468 140728585717152 140512512101072 140513278113691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6474] ppid=6460 vsize=10555476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6463/task/6474/stat : 6474 (java) R 6460 6463 3242 0 -1 4202560 506 0 0 0 3 0 0 0 20 0 15 0 96698509 10808807424 11745 33554432000 4194304 4196468 140728585717152 140512511047664 140513258795392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6475] ppid=6460 vsize=10555476 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6463/task/6475/stat : 6475 (java) R 6460 6463 3242 0 -1 1077944384 421 0 0 0 3 0 0 0 20 0 15 0 96698509 10808807424 11745 33554432000 4194304 4196468 140728585717152 140512509995120 140513278106242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6476] ppid=6460 vsize=10555476 memory=140355548432000 CPUtime=0.13 cores=1,3,5,7
/proc/6463/task/6476/stat : 6476 (java) R 6460 6463 3242 0 -1 4202560 931 0 0 0 13 0 0 0 20 0 15 0 96698509 10808807424 11745 33554432000 4194304 4196468 140728585717152 140512508942576 140513259505103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6477] ppid=6460 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6477/stat : 6477 (java) S 6460 6463 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96698509 10808807424 11745 33554432000 4194304 4196468 140728585717152 140512507890272 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6478] ppid=6460 vsize=10555476 memory=140355548432000 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6478/stat : 6478 (java) S 6460 6463 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96698509 10808807424 11745 33554432000 4194304 4196468 140728585717152 140512506837808 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46980 KiB
[startup+0.659833 s]
# the end of solver process 6463 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.940756 s, system=0.040097 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410893 s]*
/proc/loadavg: 2.34 2.96 3.10 6/216 6478
/proc/meminfo: memFree=19546284/32770624 swapFree=67108860/67108860
[pid=6463] ppid=6460 vsize=10555476 memory=56528 CPUtime=0.84 cores=1,3,5,7
/proc/6463/stat : 6463 (java) S 6460 6463 3242 0 -1 1077944320 9697 0 0 0 81 3 0 0 20 0 15 0 96698503 10808807424 14132 33554432000 4194304 4196468 140728585717152 140728585699696 140513278095095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
/proc/6463/statm: 2638869 14132 3077 1 0 2627263 0
[pid=6463/tid=6465] ppid=6460 vsize=10555476 memory=7022364594140610616 CPUtime=0.4 cores=1,3,5,7
/proc/6463/task/6465/stat : 6465 (java) R 6460 6463 3242 0 -1 4202560 5158 0 0 0 38 2 0 0 20 0 15 0 96698503 10808807424 14132 33554432000 4194304 4196468 140728585717152 140513282333216 140512894519148 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6466] ppid=6460 vsize=10555476 memory=342 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6466/stat : 6466 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808807424 14132 33554432000 4194304 4196468 140728585717152 140513214785808 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6467] ppid=6460 vsize=10555476 memory=140355548438466 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6467/stat : 6467 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808807424 14132 33554432000 4194304 4196468 140728585717152 140513213733264 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6468] ppid=6460 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6468/stat : 6468 (java) S 6460 6463 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96698504 10808807424 14132 33554432000 4194304 4196468 140728585717152 140513212680720 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6469] ppid=6460 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6469/stat : 6469 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96698504 10808807424 14132 33554432000 4194304 4196468 140728585717152 140513211628176 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6470] ppid=6460 vsize=10555476 memory=140355548432000 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6470/stat : 6470 (java) S 6460 6463 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96698506 10808807424 14132 33554432000 4194304 4196468 140728585717152 140512515258864 140513278106242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6471] ppid=6460 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6471/stat : 6471 (java) S 6460 6463 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96698506 10808807424 14132 33554432000 4194304 4196468 140728585717152 140512514205088 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6472] ppid=6460 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6472/stat : 6472 (java) S 6460 6463 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96698506 10808807424 14132 33554432000 4194304 4196468 140728585717152 140512513152496 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6473] ppid=6460 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6473/stat : 6473 (java) S 6460 6463 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96698509 10808807424 14132 33554432000 4194304 4196468 140728585717152 140512512101072 140513278113691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6474] ppid=6460 vsize=10555476 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6463/task/6474/stat : 6474 (java) R 6460 6463 3242 0 -1 4202560 885 0 0 0 10 0 0 0 20 0 15 0 96698509 10808807424 14132 33554432000 4194304 4196468 140728585717152 140512511028568 140513257812231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6475] ppid=6460 vsize=10555476 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6463/task/6475/stat : 6475 (java) R 6460 6463 3242 0 -1 4202560 851 0 0 0 9 0 0 0 20 0 15 0 96698509 10808807424 14132 33554432000 4194304 4196468 140728585717152 140512509981144 140513259614780 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6476] ppid=6460 vsize=10555476 memory=140355548432000 CPUtime=0.23 cores=1,3,5,7
/proc/6463/task/6476/stat : 6476 (java) S 6460 6463 3242 0 -1 1077944384 1437 0 0 0 23 0 0 0 20 0 15 0 96698509 10808807424 14132 33554432000 4194304 4196468 140728585717152 140512508942576 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6477] ppid=6460 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6477/stat : 6477 (java) S 6460 6463 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96698509 10808807424 14132 33554432000 4194304 4196468 140728585717152 140512507890272 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6478] ppid=6460 vsize=10555476 memory=140355548432000 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6478/stat : 6478 (java) S 6460 6463 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96698509 10808807424 14132 33554432000 4194304 4196468 140728585717152 140512506837808 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 56528 KiB
[startup+0.609902 s]
/proc/loadavg: 2.34 2.96 3.10 2/217 6481
/proc/meminfo: memFree=19541072/32770624 swapFree=67108860/67108860
[pid=6463] ppid=6460 vsize=10755168 memory=61496 CPUtime=0.95 cores=1,3,5,7
/proc/6463/stat : 6463 (java) S 6460 6463 3242 0 -1 1077944320 9979 0 0 0 92 3 0 0 20 0 16 0 96698503 11013292032 15374 33554432000 4194304 4196468 140728585717152 140728585699696 140513278095095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
/proc/6463/statm: 2688792 15374 3081 1 0 2677186 0
[pid=6463/tid=6465] ppid=6460 vsize=10755168 memory=288230613264376541 CPUtime=0.43 cores=1,3,5,7
/proc/6463/task/6465/stat : 6465 (java) S 6460 6463 3242 0 -1 1077944384 5258 0 0 0 41 2 0 0 20 0 16 0 96698503 11013292032 15374 33554432000 4194304 4196468 140728585717152 140513282335776 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6466] ppid=6460 vsize=10755168 memory=13848573163200656 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6466/stat : 6466 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 96698504 11013292032 15374 33554432000 4194304 4196468 140728585717152 140513214785808 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6467] ppid=6460 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6467/stat : 6467 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 96698504 11013292032 15374 33554432000 4194304 4196468 140728585717152 140513213733264 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6468] ppid=6460 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6468/stat : 6468 (java) S 6460 6463 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96698504 11013292032 15374 33554432000 4194304 4196468 140728585717152 140513212680720 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6469] ppid=6460 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6469/stat : 6469 (java) S 6460 6463 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 96698504 11013292032 15374 33554432000 4194304 4196468 140728585717152 140513211628176 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6470] ppid=6460 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6470/stat : 6470 (java) S 6460 6463 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 96698506 11013292032 15374 33554432000 4194304 4196468 140728585717152 140512515258864 140513278106242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6471] ppid=6460 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6471/stat : 6471 (java) S 6460 6463 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 96698506 11013292032 15374 33554432000 4194304 4196468 140728585717152 140512514205088 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6472] ppid=6460 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6472/stat : 6472 (java) S 6460 6463 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96698506 11013292032 15374 33554432000 4194304 4196468 140728585717152 140512513152496 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6473] ppid=6460 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6473/stat : 6473 (java) S 6460 6463 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96698509 11013292032 15374 33554432000 4194304 4196468 140728585717152 140512512101072 140513278113691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6474] ppid=6460 vsize=10755168 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/6463/task/6474/stat : 6474 (java) S 6460 6463 3242 0 -1 1077944384 907 0 0 0 13 0 0 0 20 0 16 0 96698509 11013292032 15374 33554432000 4194304 4196468 140728585717152 140512511047664 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6475] ppid=6460 vsize=10755168 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6463/task/6475/stat : 6475 (java) S 6460 6463 3242 0 -1 1077944384 881 0 0 0 11 0 0 0 20 0 16 0 96698509 11013292032 15374 33554432000 4194304 4196468 140728585717152 140512509995120 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6476] ppid=6460 vsize=10755168 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/6463/task/6476/stat : 6476 (java) S 6460 6463 3242 0 -1 1077944384 1494 0 0 0 25 0 0 0 20 0 16 0 96698509 11013292032 15374 33554432000 4194304 4196468 140728585717152 140512508942576 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6477] ppid=6460 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6477/stat : 6477 (java) S 6460 6463 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96698509 11013292032 15374 33554432000 4194304 4196468 140728585717152 140512507890272 140513278105301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6478] ppid=6460 vsize=10755168 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6478/stat : 6478 (java) S 6460 6463 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96698509 11013292032 15374 33554432000 4194304 4196468 140728585717152 140512506837808 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
[pid=6463/tid=6480] ppid=6460 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6463/task/6480/stat : 6480 (java) S 6460 6463 3242 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96698548 11013292032 15374 33554432000 4194304 4196468 140728585717152 140512504731280 140513278106242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32968704 140728585720966 140728585721119 140728585721119 140728585723855 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 61496 KiB
Child status: 0
Real time (s): 0.659876
CPU time (s): 0.980853
CPU user time (s): 0.940756
CPU system time (s): 0.040097
CPU usage (%): 148.642
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 61496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.940756
system time used= 0.040097
maximum resident set size= 64204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10022
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1283
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 6463
# total CPU time (s): 0.980853
# total CPU user time (s): 0.940756
# total CPU system time (s): 0.040097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028706 second user time and 0.046524 second system time
The end