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 (4148 MiB free)
memory of node 1: 16384 MiB (11722 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290036-1532208388/watcher-4290036-1532208388 -o /tmp/evaluation-result-4290036-1532208388/solver-4290036-1532208388 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532208388-24576 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290036-1532208388.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=24607, runsolver pid=24604
[startup+0.100163 s]*
/proc/loadavg: 1.17 1.77 2.00 3/216 24635
/proc/meminfo: memFree=16221924/32770624 swapFree=67108860/67108860
[pid=24607] ppid=24604 vsize=10659012 memory=26736 CPUtime=0.09 cores=1,3,5,7
/proc/24607/stat : 24607 (java) S 24604 24607 22446 0 -1 1077944320 5134 0 0 0 8 1 0 0 20 0 15 0 38401996 10914828288 6684 33554432000 4194304 4196468 140724646391584 140724646374128 140644163002103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
/proc/24607/statm: 2664753 6684 2838 1 0 2627263 0
[pid=24607/tid=24609] ppid=24604 vsize=10659012 memory=-8341684059579126396 CPUtime=0.07 cores=1,3,5,7
/proc/24607/task/24609/stat : 24609 (java) R 24604 24607 22446 0 -1 4202560 3011 0 0 0 6 1 0 0 20 0 15 0 38401996 10914828288 6684 33554432000 4194304 4196468 140724646391584 140644167227984 140644163024029 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24614] ppid=24604 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24614/stat : 24614 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38401997 10914828288 6684 33554432000 4194304 4196468 140724646391584 140644089075984 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24615] ppid=24604 vsize=10659012 memory=139837749958272 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24615/stat : 24615 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38401997 10914828288 6684 33554432000 4194304 4196468 140724646391584 140644088023440 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24616] ppid=24604 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24616/stat : 24616 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38401997 10914828288 6684 33554432000 4194304 4196468 140724646391584 140644086970896 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24617] ppid=24604 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24617/stat : 24617 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38401997 10914828288 6684 33554432000 4194304 4196468 140724646391584 140644085918352 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24620] ppid=24604 vsize=10659012 memory=139837749958272 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24620/stat : 24620 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38401998 10914828288 6684 33554432000 4194304 4196468 140724646391584 140643520150000 140644163013250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24622] ppid=24604 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24622/stat : 24622 (java) S 24604 24607 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38401999 10914828288 6684 33554432000 4194304 4196468 140724646391584 140643519096224 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24623] ppid=24604 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24623/stat : 24623 (java) S 24604 24607 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38401999 10914828288 6684 33554432000 4194304 4196468 140724646391584 140643518043632 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24630] ppid=24604 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24630/stat : 24630 (java) S 24604 24607 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38402001 10914828288 6684 33554432000 4194304 4196468 140724646391584 140643516992208 140644163020699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24631] ppid=24604 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24631/stat : 24631 (java) R 24604 24607 22446 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 38402001 10914828288 6684 33554432000 4194304 4196468 140724646391584 140643515938800 140644163013250 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24632] ppid=24604 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24632/stat : 24632 (java) R 24604 24607 22446 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 38402001 10914828288 6684 33554432000 4194304 4196468 140724646391584 140643514886256 140644163013250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24633] ppid=24604 vsize=10659012 memory=139837749958272 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24633/stat : 24633 (java) R 24604 24607 22446 0 -1 4202560 296 0 0 0 0 0 0 0 20 0 15 0 38402001 10914828288 6684 33554432000 4194304 4196468 140724646391584 140643513833712 140644163013250 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24634] ppid=24604 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24634/stat : 24634 (java) S 24604 24607 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38402001 10914828288 6684 33554432000 4194304 4196468 140724646391584 140643512781408 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24635] ppid=24604 vsize=10659012 memory=139837749958272 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24635/stat : 24635 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38402002 10914828288 6684 33554432000 4194304 4196468 140724646391584 140643511728944 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 26736 KiB
[startup+0.210093 s]*
/proc/loadavg: 1.17 1.77 2.00 4/216 24635
/proc/meminfo: memFree=16203752/32770624 swapFree=67108860/67108860
[pid=24607] ppid=24604 vsize=10659012 memory=36224 CPUtime=0.23 cores=1,3,5,7
/proc/24607/stat : 24607 (java) S 24604 24607 22446 0 -1 1077944320 7219 0 0 0 21 2 0 0 20 0 15 0 38401996 10914828288 9056 33554432000 4194304 4196468 140724646391584 140724646374128 140644163002103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
/proc/24607/statm: 2664753 9056 2910 1 0 2627263 0
[pid=24607/tid=24609] ppid=24604 vsize=10659012 memory=7022364594140610616 CPUtime=0.16 cores=1,3,5,7
/proc/24607/task/24609/stat : 24609 (java) R 24604 24607 22446 0 -1 4202560 4872 0 0 0 14 2 0 0 20 0 15 0 38401996 10914828288 9056 33554432000 4194304 4196468 140724646391584 140644167230368 140644163014038 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24614] ppid=24604 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24614/stat : 24614 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38401997 10914828288 9056 33554432000 4194304 4196468 140724646391584 140644089075984 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24615] ppid=24604 vsize=10659012 memory=139837750151907 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24615/stat : 24615 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38401997 10914828288 9056 33554432000 4194304 4196468 140724646391584 140644088023440 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24616] ppid=24604 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24616/stat : 24616 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38401997 10914828288 9056 33554432000 4194304 4196468 140724646391584 140644086970896 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24617] ppid=24604 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24617/stat : 24617 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38401997 10914828288 9056 33554432000 4194304 4196468 140724646391584 140644085918352 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24620] ppid=24604 vsize=10659012 memory=139837749958272 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24620/stat : 24620 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38401998 10914828288 9056 33554432000 4194304 4196468 140724646391584 140643520150000 140644163013250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24622] ppid=24604 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24622/stat : 24622 (java) S 24604 24607 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38401999 10914828288 9056 33554432000 4194304 4196468 140724646391584 140643519096224 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24623] ppid=24604 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24623/stat : 24623 (java) S 24604 24607 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38401999 10914828288 9056 33554432000 4194304 4196468 140724646391584 140643518043632 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24630] ppid=24604 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24630/stat : 24630 (java) S 24604 24607 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38402001 10914828288 9056 33554432000 4194304 4196468 140724646391584 140643516992208 140644163020699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24631] ppid=24604 vsize=10659012 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24607/task/24631/stat : 24631 (java) S 24604 24607 22446 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 15 0 38402001 10914828288 9056 33554432000 4194304 4196468 140724646391584 140643515938800 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24632] ppid=24604 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24632/stat : 24632 (java) S 24604 24607 22446 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 15 0 38402001 10914828288 9056 33554432000 4194304 4196468 140724646391584 140643514886256 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24633] ppid=24604 vsize=10659012 memory=139837749958272 CPUtime=0.04 cores=1,3,5,7
/proc/24607/task/24633/stat : 24633 (java) R 24604 24607 22446 0 -1 4202560 393 0 0 0 4 0 0 0 20 0 15 0 38402001 10914828288 9056 33554432000 4194304 4196468 140724646391584 140643513833712 140644142137945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24634] ppid=24604 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24634/stat : 24634 (java) S 24604 24607 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38402001 10914828288 9056 33554432000 4194304 4196468 140724646391584 140643512781408 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24635] ppid=24604 vsize=10659012 memory=139837749958272 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24635/stat : 24635 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38402002 10914828288 9056 33554432000 4194304 4196468 140724646391584 140643511728944 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 36224 KiB
[startup+0.310158 s]*
/proc/loadavg: 1.17 1.77 2.00 4/216 24635
/proc/meminfo: memFree=16190412/32770624 swapFree=67108860/67108860
[pid=24607] ppid=24604 vsize=10659088 memory=44136 CPUtime=0.41 cores=1,3,5,7
/proc/24607/stat : 24607 (java) S 24604 24607 22446 0 -1 1077944320 8778 0 0 0 38 3 0 0 20 0 15 0 38401996 10914906112 11034 33554432000 4194304 4196468 140724646391584 140724646374128 140644163002103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
/proc/24607/statm: 2664772 11034 3026 1 0 2627263 0
[pid=24607/tid=24609] ppid=24604 vsize=10659088 memory=7311146985107750967 CPUtime=0.25 cores=1,3,5,7
/proc/24607/task/24609/stat : 24609 (java) R 24604 24607 22446 0 -1 4202560 5637 0 0 0 23 2 0 0 20 0 15 0 38401996 10914906112 11034 33554432000 4194304 4196468 140724646391584 140644167235392 140644149074209 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24614] ppid=24604 vsize=10659088 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24614/stat : 24614 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38401997 10914906112 11034 33554432000 4194304 4196468 140724646391584 140644089075984 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24615] ppid=24604 vsize=10659088 memory=139837750137141 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24615/stat : 24615 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38401997 10914906112 11034 33554432000 4194304 4196468 140724646391584 140644088023440 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24616] ppid=24604 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24616/stat : 24616 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38401997 10914906112 11034 33554432000 4194304 4196468 140724646391584 140644086970896 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24617] ppid=24604 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24617/stat : 24617 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38401997 10914906112 11034 33554432000 4194304 4196468 140724646391584 140644085918352 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24620] ppid=24604 vsize=10659088 memory=139837749958272 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24620/stat : 24620 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38401998 10914906112 11034 33554432000 4194304 4196468 140724646391584 140643520150000 140644163013250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24622] ppid=24604 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24622/stat : 24622 (java) S 24604 24607 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38401999 10914906112 11034 33554432000 4194304 4196468 140724646391584 140643519096224 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24623] ppid=24604 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24623/stat : 24623 (java) S 24604 24607 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38401999 10914906112 11034 33554432000 4194304 4196468 140724646391584 140643518043632 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24630] ppid=24604 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24630/stat : 24630 (java) S 24604 24607 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38402001 10914906112 11034 33554432000 4194304 4196468 140724646391584 140643516992208 140644163020699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24631] ppid=24604 vsize=10659088 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24607/task/24631/stat : 24631 (java) S 24604 24607 22446 0 -1 1077944384 590 0 0 0 2 0 0 0 20 0 15 0 38402001 10914906112 11034 33554432000 4194304 4196468 140724646391584 140643515938800 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24632] ppid=24604 vsize=10659088 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24607/task/24632/stat : 24632 (java) S 24604 24607 22446 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 38402001 10914906112 11034 33554432000 4194304 4196468 140724646391584 140643514886256 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24633] ppid=24604 vsize=10659088 memory=139837749958272 CPUtime=0.08 cores=1,3,5,7
/proc/24607/task/24633/stat : 24633 (java) S 24604 24607 22446 0 -1 1077944384 683 0 0 0 8 0 0 0 20 0 15 0 38402001 10914906112 11034 33554432000 4194304 4196468 140724646391584 140643513833712 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24634] ppid=24604 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24634/stat : 24634 (java) S 24604 24607 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38402001 10914906112 11034 33554432000 4194304 4196468 140724646391584 140643512781408 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24635] ppid=24604 vsize=10659088 memory=139837749958272 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24635/stat : 24635 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38402002 10914906112 11034 33554432000 4194304 4196468 140724646391584 140643511728944 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 44136 KiB
[startup+0.606243 s]
# the end of solver process 24607 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.546247 s, system=0.043152 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410205 s]*
/proc/loadavg: 1.17 1.77 2.00 4/217 24638
/proc/meminfo: memFree=16174824/32770624 swapFree=67108860/67108860
[pid=24607] ppid=24604 vsize=10858780 memory=51984 CPUtime=0.57 cores=1,3,5,7
/proc/24607/stat : 24607 (java) S 24604 24607 22446 0 -1 1077944320 9279 0 0 0 54 3 0 0 20 0 16 0 38401996 11119390720 12996 33554432000 4194304 4196468 140724646391584 140724646374128 140644163002103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
/proc/24607/statm: 2714695 12996 3043 1 0 2677186 0
[pid=24607/tid=24609] ppid=24604 vsize=10858780 memory=7022364594140610616 CPUtime=0.32 cores=1,3,5,7
/proc/24607/task/24609/stat : 24609 (java) S 24604 24607 22446 0 -1 1077944384 5876 0 0 0 30 2 0 0 20 0 16 0 38401996 11119390720 12996 33554432000 4194304 4196468 140724646391584 140644167242784 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24614] ppid=24604 vsize=10858780 memory=342 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24614/stat : 24614 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38401997 11119390720 12996 33554432000 4194304 4196468 140724646391584 140644089075984 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24615] ppid=24604 vsize=10858780 memory=139837750151907 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24615/stat : 24615 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38401997 11119390720 12996 33554432000 4194304 4196468 140724646391584 140644088023440 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24616] ppid=24604 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24616/stat : 24616 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38401997 11119390720 12996 33554432000 4194304 4196468 140724646391584 140644086970896 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24617] ppid=24604 vsize=10858780 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24617/stat : 24617 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38401997 11119390720 12996 33554432000 4194304 4196468 140724646391584 140644085918352 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24620] ppid=24604 vsize=10858780 memory=139837749958272 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24620/stat : 24620 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38401998 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643520150000 140644163013250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24622] ppid=24604 vsize=10858780 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24622/stat : 24622 (java) S 24604 24607 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38401999 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643519096224 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24623] ppid=24604 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24623/stat : 24623 (java) S 24604 24607 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38401999 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643518043632 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24630] ppid=24604 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24630/stat : 24630 (java) S 24604 24607 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38402001 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643516992208 140644163020699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24631] ppid=24604 vsize=10858780 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/24607/task/24631/stat : 24631 (java) S 24604 24607 22446 0 -1 1077944384 693 0 0 0 5 0 0 0 20 0 16 0 38402001 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643515938800 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24632] ppid=24604 vsize=10858780 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/24607/task/24632/stat : 24632 (java) S 24604 24607 22446 0 -1 1077944384 524 0 0 0 4 0 0 0 20 0 16 0 38402001 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643514886256 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24633] ppid=24604 vsize=10858780 memory=139837749958272 CPUtime=0.13 cores=1,3,5,7
/proc/24607/task/24633/stat : 24633 (java) S 24604 24607 22446 0 -1 1077944384 750 0 0 0 13 0 0 0 20 0 16 0 38402001 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643513833712 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24634] ppid=24604 vsize=10858780 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24634/stat : 24634 (java) S 24604 24607 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38402001 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643512781408 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24635] ppid=24604 vsize=10858780 memory=139837749958272 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24635/stat : 24635 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38402002 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643511728944 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24637] ppid=24604 vsize=10858780 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24637/stat : 24637 (java) S 24604 24607 22446 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 38402035 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643509622416 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 51984 KiB
[startup+0.509876 s]*
/proc/loadavg: 1.17 1.77 2.00 6/218 24639
/proc/meminfo: memFree=16164080/32770624 swapFree=67108860/67108860
[pid=24607] ppid=24604 vsize=10858780 memory=51984 CPUtime=0.57 cores=1,3,5,7
/proc/24607/stat : 24607 (java) S 24604 24607 22446 0 -1 1077944320 9279 0 0 0 54 3 0 0 20 0 16 0 38401996 11119390720 12996 33554432000 4194304 4196468 140724646391584 140724646374128 140644163002103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
/proc/24607/statm: 2714695 12996 3043 1 0 2677186 0
[pid=24607/tid=24609] ppid=24604 vsize=10858780 memory=6791534058613427641 CPUtime=0.32 cores=1,3,5,7
/proc/24607/task/24609/stat : 24609 (java) S 24604 24607 22446 0 -1 1077944384 5876 0 0 0 30 2 0 0 20 0 16 0 38401996 11119390720 12996 33554432000 4194304 4196468 140724646391584 140644167242784 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24614] ppid=24604 vsize=10858780 memory=844 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24614/stat : 24614 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38401997 11119390720 12996 33554432000 4194304 4196468 140724646391584 140644089075984 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24615] ppid=24604 vsize=10858780 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24615/stat : 24615 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38401997 11119390720 12996 33554432000 4194304 4196468 140724646391584 140644088023440 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24616] ppid=24604 vsize=10858780 memory=916 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24616/stat : 24616 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38401997 11119390720 12996 33554432000 4194304 4196468 140724646391584 140644086970896 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24617] ppid=24604 vsize=10858780 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24617/stat : 24617 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38401997 11119390720 12996 33554432000 4194304 4196468 140724646391584 140644085918352 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24620] ppid=24604 vsize=10858780 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24620/stat : 24620 (java) S 24604 24607 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38401998 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643520150000 140644163013250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24622] ppid=24604 vsize=10858780 memory=2292 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24622/stat : 24622 (java) S 24604 24607 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38401999 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643519096224 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24623] ppid=24604 vsize=10858780 memory=2292 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24623/stat : 24623 (java) S 24604 24607 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38401999 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643518043632 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24630] ppid=24604 vsize=10858780 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24630/stat : 24630 (java) S 24604 24607 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38402001 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643516992208 140644163020699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24631] ppid=24604 vsize=10858780 memory=2268 CPUtime=0.05 cores=1,3,5,7
/proc/24607/task/24631/stat : 24631 (java) S 24604 24607 22446 0 -1 1077944384 693 0 0 0 5 0 0 0 20 0 16 0 38402001 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643515938800 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24632] ppid=24604 vsize=10858780 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24607/task/24632/stat : 24632 (java) S 24604 24607 22446 0 -1 1077944384 524 0 0 0 4 0 0 0 20 0 16 0 38402001 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643514886256 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24633] ppid=24604 vsize=10858780 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/24607/task/24633/stat : 24633 (java) S 24604 24607 22446 0 -1 1077944384 750 0 0 0 13 0 0 0 20 0 16 0 38402001 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643513833712 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24634] ppid=24604 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24634/stat : 24634 (java) S 24604 24607 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38402001 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643512781408 140644163012309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24635] ppid=24604 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24635/stat : 24635 (java) S 24604 24607 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38402002 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643511728944 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
[pid=24607/tid=24637] ppid=24604 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24607/task/24637/stat : 24637 (java) S 24604 24607 22446 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 38402035 11119390720 12996 33554432000 4194304 4196468 140724646391584 140643509622416 140644163013250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7032832 140724646397041 140724646397193 140724646397193 140724646399951 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 51984 KiB
Child status: 0
Real time (s): 0.60629
CPU time (s): 0.589399
CPU user time (s): 0.546247
CPU system time (s): 0.043152
CPU usage (%): 97.214
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 51984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.546247
system time used= 0.043152
maximum resident set size= 54844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9315
page faults= 0
swaps= 0
block input operations= 144
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1186
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 24607
# total CPU time (s): 0.589399
# total CPU user time (s): 0.546247
# total CPU system time (s): 0.043152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027236 second user time and 0.04464 second system time
The end