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 (7338 MiB free)
memory of node 1: 16384 MiB (4974 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290059-1532217517/watcher-4290059-1532217517 -o /tmp/evaluation-result-4290059-1532217517/solver-4290059-1532217517 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532209822-28265 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290059-1532217517.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=30559, runsolver pid=30556
Current StackSize limit: 8192 KiB
[startup+0.100936 s]*
/proc/loadavg: 3.90 4.00 2.97 2/215 30574
/proc/meminfo: memFree=12592252/32770624 swapFree=67108860/67108860
[pid=30559] ppid=30556 vsize=10659012 memory=30092 CPUtime=0.12 cores=0,2,4,6
/proc/30559/stat : 30559 (java) S 30556 30559 26014 0 -1 1077944320 6602 0 0 0 11 1 0 0 20 0 15 0 39314615 10914828288 7523 33554432000 4194304 4196468 140733142505584 140733142488128 140339316842231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
/proc/30559/statm: 2664753 7523 2819 1 0 2627263 0
[pid=30559/tid=30561] ppid=30556 vsize=10659012 memory=-8773748148830243971 CPUtime=0.09 cores=0,2,4,6
/proc/30559/task/30561/stat : 30561 (java) R 30556 30559 26014 0 -1 4202560 4426 0 0 0 8 1 0 0 20 0 15 0 39314616 10914828288 7523 33554432000 4194304 4196468 140733142505584 140339321056224 140339300922718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30562] ppid=30556 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314616 10914828288 7523 33554432000 4194304 4196468 140733142505584 140339269462288 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30563] ppid=30556 vsize=10659012 memory=139810550879872 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314616 10914828288 7523 33554432000 4194304 4196468 140733142505584 140339268409744 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30564] ppid=30556 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314616 10914828288 7523 33554432000 4194304 4196468 140733142505584 140339267357200 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30565] ppid=30556 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314616 10914828288 7523 33554432000 4194304 4196468 140733142505584 140339266304656 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30566] ppid=30556 vsize=10659012 memory=139810550879872 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314618 10914828288 7523 33554432000 4194304 4196468 140733142505584 140338876672496 140339316853378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30567] ppid=30556 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 26014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39314618 10914828288 7523 33554432000 4194304 4196468 140733142505584 140338875618720 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30568] ppid=30556 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 26014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39314619 10914828288 7523 33554432000 4194304 4196468 140733142505584 140338874566128 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30569] ppid=30556 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314621 10914828288 7523 33554432000 4194304 4196468 140733142505584 140338873514704 140339316860827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30570] ppid=30556 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 26014 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 39314621 10914828288 7523 33554432000 4194304 4196468 140733142505584 140338872461296 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30571] ppid=30556 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314621 10914828288 7523 33554432000 4194304 4196468 140733142505584 140338871408752 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30572] ppid=30556 vsize=10659012 memory=139810550879872 CPUtime=0.02 cores=0,2,4,6
/proc/30559/task/30572/stat : 30572 (java) R 30556 30559 26014 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 39314621 10914828288 7523 33554432000 4194304 4196468 140733142505584 140338870356208 140339316854166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30573] ppid=30556 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314621 10914828288 7523 33554432000 4194304 4196468 140733142505584 140338869303904 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30574] ppid=30556 vsize=10659012 memory=139810550879872 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314621 10914828288 7523 33554432000 4194304 4196468 140733142505584 140338868251440 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30092 KiB
[startup+0.210614 s]*
/proc/loadavg: 3.90 4.00 2.97 4/215 30574
/proc/meminfo: memFree=12581332/32770624 swapFree=67108860/67108860
[pid=30559] ppid=30556 vsize=10659012 memory=42056 CPUtime=0.32 cores=0,2,4,6
/proc/30559/stat : 30559 (java) S 30556 30559 26014 0 -1 1077944320 8085 0 0 0 30 2 0 0 20 0 15 0 39314615 10914828288 10514 33554432000 4194304 4196468 140733142505584 140733142488128 140339316842231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
/proc/30559/statm: 2664753 10514 3010 1 0 2627263 0
[pid=30559/tid=30561] ppid=30556 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30559/task/30561/stat : 30561 (java) R 30556 30559 26014 0 -1 4202560 5004 0 0 0 18 1 0 0 20 0 15 0 39314616 10914828288 10514 33554432000 4194304 4196468 140733142505584 140339321071584 140339300885861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30562] ppid=30556 vsize=10659012 memory=342 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314616 10914828288 10514 33554432000 4194304 4196468 140733142505584 140339269462288 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30563] ppid=30556 vsize=10659012 memory=139810551089148 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314616 10914828288 10514 33554432000 4194304 4196468 140733142505584 140339268409744 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30564] ppid=30556 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314616 10914828288 10514 33554432000 4194304 4196468 140733142505584 140339267357200 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30565] ppid=30556 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314616 10914828288 10514 33554432000 4194304 4196468 140733142505584 140339266304656 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30566] ppid=30556 vsize=10659012 memory=139810550879872 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314618 10914828288 10514 33554432000 4194304 4196468 140733142505584 140338876672496 140339316853378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30567] ppid=30556 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 26014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39314618 10914828288 10514 33554432000 4194304 4196468 140733142505584 140338875618720 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30568] ppid=30556 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 26014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39314619 10914828288 10514 33554432000 4194304 4196468 140733142505584 140338874566128 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30569] ppid=30556 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314621 10914828288 10514 33554432000 4194304 4196468 140733142505584 140338873514704 140339316860827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30570] ppid=30556 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 26014 0 -1 1077944384 661 0 0 0 2 0 0 0 20 0 15 0 39314621 10914828288 10514 33554432000 4194304 4196468 140733142505584 140338872461296 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30571] ppid=30556 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 26014 0 -1 1077944384 337 0 0 0 2 0 0 0 20 0 15 0 39314621 10914828288 10514 33554432000 4194304 4196468 140733142505584 140338871408752 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30572] ppid=30556 vsize=10659012 memory=139810550879872 CPUtime=0.07 cores=0,2,4,6
/proc/30559/task/30572/stat : 30572 (java) R 30556 30559 26014 0 -1 4202560 718 0 0 0 7 0 0 0 20 0 15 0 39314621 10914828288 10514 33554432000 4194304 4196468 140733142505584 140338870353744 140339316863578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30573] ppid=30556 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314621 10914828288 10514 33554432000 4194304 4196468 140733142505584 140338869303904 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30574] ppid=30556 vsize=10659012 memory=139810550879872 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314621 10914828288 10514 33554432000 4194304 4196468 140733142505584 140338868251440 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42056 KiB
[startup+0.310553 s]*
/proc/loadavg: 3.90 4.00 2.97 4/215 30574
/proc/meminfo: memFree=12574508/32770624 swapFree=67108860/67108860
[pid=30559] ppid=30556 vsize=10659088 memory=47292 CPUtime=0.5 cores=0,2,4,6
/proc/30559/stat : 30559 (java) S 30556 30559 26014 0 -1 1077944320 9089 0 0 0 47 3 0 0 20 0 15 0 39314615 10914906112 11823 33554432000 4194304 4196468 140733142505584 140733142488128 140339316842231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
/proc/30559/statm: 2664772 11823 3039 1 0 2627263 0
[pid=30559/tid=30561] ppid=30556 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/30559/task/30561/stat : 30561 (java) R 30556 30559 26014 0 -1 4202560 5806 0 0 0 27 2 0 0 20 0 15 0 39314616 10914906112 11823 33554432000 4194304 4196468 140733142505584 140339321076432 140339300885861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30562] ppid=30556 vsize=10659088 memory=4294979916 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314616 10914906112 11823 33554432000 4194304 4196468 140733142505584 140339269462288 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30563] ppid=30556 vsize=10659088 memory=139810551088970 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314616 10914906112 11823 33554432000 4194304 4196468 140733142505584 140339268409744 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30564] ppid=30556 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314616 10914906112 11823 33554432000 4194304 4196468 140733142505584 140339267357200 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30565] ppid=30556 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314616 10914906112 11823 33554432000 4194304 4196468 140733142505584 140339266304656 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30566] ppid=30556 vsize=10659088 memory=139810550879872 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314618 10914906112 11823 33554432000 4194304 4196468 140733142505584 140338876672496 140339316853378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30567] ppid=30556 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 26014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39314618 10914906112 11823 33554432000 4194304 4196468 140733142505584 140338875618720 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30568] ppid=30556 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 26014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39314619 10914906112 11823 33554432000 4194304 4196468 140733142505584 140338874566128 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30569] ppid=30556 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314621 10914906112 11823 33554432000 4194304 4196468 140733142505584 140338873514704 140339316860827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30570] ppid=30556 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 26014 0 -1 1077944384 780 0 0 0 4 0 0 0 20 0 15 0 39314621 10914906112 11823 33554432000 4194304 4196468 140733142505584 140338872461296 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30571] ppid=30556 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 26014 0 -1 1077944384 368 0 0 0 4 0 0 0 20 0 15 0 39314621 10914906112 11823 33554432000 4194304 4196468 140733142505584 140338871408752 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30572] ppid=30556 vsize=10659088 memory=139810550879872 CPUtime=0.11 cores=0,2,4,6
/proc/30559/task/30572/stat : 30572 (java) R 30556 30559 26014 0 -1 4202560 767 0 0 0 11 0 0 0 20 0 15 0 39314621 10914906112 11823 33554432000 4194304 4196468 140733142505584 140338870356208 140339309559383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30573] ppid=30556 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314621 10914906112 11823 33554432000 4194304 4196468 140733142505584 140338869303904 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30574] ppid=30556 vsize=10659088 memory=139810550879872 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314621 10914906112 11823 33554432000 4194304 4196468 140733142505584 140338868251440 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47292 KiB
[startup+0.700786 s]
/proc/loadavg: 3.90 4.00 2.97 4/216 30577
/proc/meminfo: memFree=12554636/32770624 swapFree=67108860/67108860
[pid=30559] ppid=30556 vsize=10858780 memory=67108 CPUtime=1.17 cores=0,2,4,6
/proc/30559/stat : 30559 (java) S 30556 30559 26014 0 -1 1077944320 11528 0 0 0 113 4 0 0 20 0 16 0 39314615 11119390720 16777 33554432000 4194304 4196468 140733142505584 140733142488128 140339316842231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
/proc/30559/statm: 2714695 16777 3107 1 0 2677186 0
[pid=30559/tid=30561] ppid=30556 vsize=10858780 memory=4008 CPUtime=0.48 cores=0,2,4,6
/proc/30559/task/30561/stat : 30561 (java) S 30556 30559 26014 0 -1 1077944384 5957 0 0 0 46 2 0 0 20 0 16 0 39314616 11119390720 16777 33554432000 4194304 4196468 140733142505584 140339321082912 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30562] ppid=30556 vsize=10858780 memory=18460 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314616 11119390720 16777 33554432000 4194304 4196468 140733142505584 140339269462288 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30563] ppid=30556 vsize=10858780 memory=9492 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39314616 11119390720 16777 33554432000 4194304 4196468 140733142505584 140339268409744 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30564] ppid=30556 vsize=10858780 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314616 11119390720 16777 33554432000 4194304 4196468 140733142505584 140339267357200 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30565] ppid=30556 vsize=10858780 memory=644 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39314616 11119390720 16777 33554432000 4194304 4196468 140733142505584 140339266304656 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30566] ppid=30556 vsize=10858780 memory=952 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 26014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 39314618 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338876672496 140339316853378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30567] ppid=30556 vsize=10858780 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 26014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 39314618 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338875618720 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30568] ppid=30556 vsize=10858780 memory=7305218370954093656 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 26014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39314619 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338874566128 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30569] ppid=30556 vsize=10858780 memory=7158867893270241624 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338873514704 140339316860827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30570] ppid=30556 vsize=10858780 memory=5787221554111795280 CPUtime=0.23 cores=0,2,4,6
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 26014 0 -1 1077944384 1820 0 0 0 23 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338872461296 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30571] ppid=30556 vsize=10858780 memory=5450909908396308010 CPUtime=0.21 cores=0,2,4,6
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 26014 0 -1 1077944384 1258 0 0 0 21 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338871408752 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30572] ppid=30556 vsize=10858780 memory=1404238533774450294 CPUtime=0.22 cores=0,2,4,6
/proc/30559/task/30572/stat : 30572 (java) S 30556 30559 26014 0 -1 1077944384 1055 0 0 0 22 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338870356208 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30573] ppid=30556 vsize=10858780 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338869303904 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30574] ppid=30556 vsize=10858780 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338868251440 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30576] ppid=30556 vsize=10858780 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30576/stat : 30576 (java) S 30556 30559 26014 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39314666 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338866144912 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 67108 KiB
[startup+0.713886 s]
# the end of solver process 30559 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.14201 s, system=0.047669 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.700786 s]
/proc/loadavg: 3.90 4.00 2.97 4/216 30577
/proc/meminfo: memFree=12554636/32770624 swapFree=67108860/67108860
[pid=30559] ppid=30556 vsize=10858780 memory=67108 CPUtime=1.17 cores=0,2,4,6
/proc/30559/stat : 30559 (java) S 30556 30559 26014 0 -1 1077944320 11528 0 0 0 113 4 0 0 20 0 16 0 39314615 11119390720 16777 33554432000 4194304 4196468 140733142505584 140733142488128 140339316842231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
/proc/30559/statm: 2714695 16777 3107 1 0 2677186 0
[pid=30559/tid=30561] ppid=30556 vsize=10858780 memory=4008 CPUtime=0.48 cores=0,2,4,6
/proc/30559/task/30561/stat : 30561 (java) S 30556 30559 26014 0 -1 1077944384 5957 0 0 0 46 2 0 0 20 0 16 0 39314616 11119390720 16777 33554432000 4194304 4196468 140733142505584 140339321082912 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30562] ppid=30556 vsize=10858780 memory=18460 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314616 11119390720 16777 33554432000 4194304 4196468 140733142505584 140339269462288 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30563] ppid=30556 vsize=10858780 memory=9492 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39314616 11119390720 16777 33554432000 4194304 4196468 140733142505584 140339268409744 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30564] ppid=30556 vsize=10858780 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314616 11119390720 16777 33554432000 4194304 4196468 140733142505584 140339267357200 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30565] ppid=30556 vsize=10858780 memory=644 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 26014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39314616 11119390720 16777 33554432000 4194304 4196468 140733142505584 140339266304656 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30566] ppid=30556 vsize=10858780 memory=952 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 26014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 39314618 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338876672496 140339316853378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30567] ppid=30556 vsize=10858780 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 26014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 39314618 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338875618720 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30568] ppid=30556 vsize=10858780 memory=7305218370954093656 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 26014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39314619 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338874566128 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30569] ppid=30556 vsize=10858780 memory=7158867893270241624 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338873514704 140339316860827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30570] ppid=30556 vsize=10858780 memory=5787221554111795280 CPUtime=0.23 cores=0,2,4,6
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 26014 0 -1 1077944384 1820 0 0 0 23 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338872461296 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30571] ppid=30556 vsize=10858780 memory=5450909908396308010 CPUtime=0.21 cores=0,2,4,6
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 26014 0 -1 1077944384 1258 0 0 0 21 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338871408752 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30572] ppid=30556 vsize=10858780 memory=1404238533774450294 CPUtime=0.22 cores=0,2,4,6
/proc/30559/task/30572/stat : 30572 (java) S 30556 30559 26014 0 -1 1077944384 1055 0 0 0 22 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338870356208 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30573] ppid=30556 vsize=10858780 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 26014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338869303904 140339316852437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30574] ppid=30556 vsize=10858780 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 26014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314621 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338868251440 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
[pid=30559/tid=30576] ppid=30556 vsize=10858780 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/30559/task/30576/stat : 30576 (java) S 30556 30559 26014 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39314666 11119390720 16777 33554432000 4194304 4196468 140733142505584 140338866144912 140339316853378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35266560 140733142512753 140733142512905 140733142512905 140733142515663 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 67108 KiB
Child status: 0
Real time (s): 0.713919
CPU time (s): 1.18968
CPU user time (s): 1.14201
CPU system time (s): 0.047669
CPU usage (%): 166.64
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 67108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.14201
system time used= 0.047669
maximum resident set size= 69852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11538
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= 1448
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 30559
# total CPU time (s): 1.18968
# total CPU user time (s): 1.14201
# total CPU system time (s): 0.047669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033883 second user time and 0.042167 second system time
The end