runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248763-1500742636/watcher-4248763-1500742636 -o /tmp/evaluation-result-4248763-1500742636/solver-4248763-1500742636 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500713972-15317 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4248763-1500742636.xml
pid=23635
running on 8 cores: 0,2,4,6,8,10,12,14
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.21 2.06 2.06 3/262 23638
/proc/meminfo: memFree=31587072/32770624 swapFree=6236/149348
[pid=23638] ppid=23635 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/stat : 23638 (java) S 23635 23638 15286 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 9532009 369864704 1935 33554432000 4194304 4196468 140732759538672 140732759521216 139677161234167 0 0 0 16784584 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
/proc/23638/statm: 90299 1935 1082 1 0 79210 0
[pid=23638/tid=23639] ppid=23635 vsize=8339376 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23639/stat : 23639 (java) R 23635 23638 15286 0 -1 4202560 473 0 0 0 0 0 0 0 20 0 2 0 9532009 8539521024 1999 33554432000 4194304 4196468 140732759538672 139677165476256 139677153523540 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[startup+0.101879 s]
/proc/loadavg: 2.21 2.06 2.06 3/262 23638
/proc/meminfo: memFree=31587072/32770624 swapFree=6236/149348
[pid=23638] ppid=23635 vsize=10900580 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/23638/stat : 23638 (java) S 23635 23638 15286 0 -1 1077944320 5025 0 0 0 9 1 0 0 20 0 20 0 9532009 11162193920 6609 33554432000 4194304 4196468 140732759538672 140732759521216 139677161234167 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
/proc/23638/statm: 2725145 6609 2615 1 0 2713552 0
[pid=23638/tid=23639] ppid=23635 vsize=10900580 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23639/stat : 23639 (java) R 23635 23638 15286 0 -1 4202560 3117 0 0 0 7 1 0 0 20 0 20 0 9532009 11162193920 6609 33554432000 4194304 4196468 140732759538672 139677165476448 139677161256093 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580
[startup+0.200398 s]
/proc/loadavg: 2.21 2.06 2.06 3/262 23638
/proc/meminfo: memFree=31587072/32770624 swapFree=6236/149348
[pid=23638] ppid=23635 vsize=10900580 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/23638/stat : 23638 (java) S 23635 23638 15286 0 -1 1077944320 7660 0 0 0 25 2 0 0 20 0 20 0 9532009 11162193920 9031 33554432000 4194304 4196468 140732759538672 140732759521216 139677161234167 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
/proc/23638/statm: 2725145 9031 2907 1 0 2713552 0
[pid=23638/tid=23639] ppid=23635 vsize=10900580 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23639/stat : 23639 (java) R 23635 23638 15286 0 -1 4202560 4852 0 0 0 16 1 0 0 20 0 20 0 9532009 11162193920 9031 33554432000 4194304 4196468 140732759538672 139677165466144 139677145277797 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10900580
[startup+0.300418 s]
/proc/loadavg: 2.21 2.06 2.06 3/262 23638
/proc/meminfo: memFree=31587072/32770624 swapFree=6236/149348
[pid=23638] ppid=23635 vsize=10969228 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/23638/stat : 23638 (java) S 23635 23638 15286 0 -1 1077944320 8461 0 0 0 45 3 0 0 20 0 21 0 9532009 11232489472 13255 33554432000 4194304 4196468 140732759538672 140732759521216 139677161234167 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
/proc/23638/statm: 2742307 13255 2973 1 0 2730193 0
[pid=23638/tid=23639] ppid=23635 vsize=10969228 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23639/stat : 23639 (java) S 23635 23638 15286 0 -1 1077944384 5185 0 0 0 23 2 0 0 20 0 21 0 9532009 11232489472 13255 33554432000 4194304 4196468 140732759538672 139677165477040 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228
[startup+0.700257 s]
/proc/loadavg: 2.21 2.06 2.06 3/262 23638
/proc/meminfo: memFree=31587072/32770624 swapFree=6236/149348
[pid=23638] ppid=23635 vsize=10971352 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/23638/stat : 23638 (java) S 23635 23638 15286 0 -1 1077944320 13798 0 0 0 148 5 0 0 20 0 21 0 9532009 11234664448 25087 33554432000 4194304 4196468 140732759538672 140732759521216 139677161234167 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
/proc/23638/statm: 2742838 25087 3113 1 0 2730705 0
[pid=23638/tid=23639] ppid=23635 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23639/stat : 23639 (java) S 23635 23638 15286 0 -1 1077944384 5185 0 0 0 23 2 0 0 20 0 21 0 9532009 11234664448 25087 33554432000 4194304 4196468 140732759538672 139677165477040 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10971352
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23638 sig 9
??? kill -23638 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800321 s]
/proc/loadavg: 2.21 2.06 2.06 3/262 23638
/proc/meminfo: memFree=31587072/32770624 swapFree=6236/149348
[pid=23638] ppid=23635 vsize=10973400 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/23638/stat : 23638 (java) S 23635 23638 15286 0 -1 1077944320 16073 0 0 0 194 6 0 0 20 0 21 0 9532009 11236761600 30993 33554432000 4194304 4196468 140732759538672 140732759521216 139677161234167 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
/proc/23638/statm: 2743350 30993 3116 1 0 2731217 0
[pid=23638/tid=23639] ppid=23635 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23639/stat : 23639 (java) S 23635 23638 15286 0 -1 1077944384 5185 0 0 0 23 2 0 0 20 0 21 0 9532009 11236761600 30993 33554432000 4194304 4196468 140732759538672 139677165477040 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10973400
[startup+1.00026 s]
/proc/loadavg: 2.21 2.06 2.06 3/262 23638
/proc/meminfo: memFree=31587072/32770624 swapFree=6236/149348
[pid=23638] ppid=23635 vsize=10973400 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/23638/stat : 23638 (java) S 23635 23638 15286 0 -1 1077944320 17777 0 0 0 280 6 0 0 20 0 21 0 9532009 11236761600 32659 33554432000 4194304 4196468 140732759538672 140732759521216 139677161234167 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
/proc/23638/statm: 2743350 32659 3122 1 0 2731217 0
[pid=23638/tid=23639] ppid=23635 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23639/stat : 23639 (java) S 23635 23638 15286 0 -1 1077944384 5185 0 0 0 23 2 0 0 20 0 21 0 9532009 11236761600 32659 33554432000 4194304 4196468 140732759538672 139677165477040 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 10973400
[startup+1.10026 s]
/proc/loadavg: 2.21 2.06 2.06 4/281 23660
/proc/meminfo: memFree=31466176/32770624 swapFree=6236/149136
[pid=23638] ppid=23635 vsize=10973400 CPUtime=3.16 cores=0,2,4,6,8,10,12,14
/proc/23638/stat : 23638 (java) S 23635 23638 15286 0 -1 1077944320 18218 0 0 0 309 7 0 0 20 0 19 0 9532009 11236761600 33504 33554432000 4194304 4196468 140732759538672 140732759521216 139677161234167 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
/proc/23638/statm: 2743350 33504 3124 1 0 2731217 0
[pid=23638/tid=23639] ppid=23635 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23639/stat : 23639 (java) S 23635 23638 15286 0 -1 1077944384 5319 0 0 0 23 2 0 0 20 0 19 0 9532009 11236761600 33504 33554432000 4194304 4196468 140732759538672 139677165477008 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23641] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23641/stat : 23641 (java) S 23635 23638 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 9532010 11236761600 33504 33554432000 4194304 4196468 140732759538672 139677103237520 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23642] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23642/stat : 23642 (java) S 23635 23638 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9532010 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676766492944 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23643] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23643/stat : 23643 (java) S 23635 23638 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9532010 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676765440656 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23644] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23644/stat : 23644 (java) S 23635 23638 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9532010 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676764387856 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23645] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23645/stat : 23645 (java) S 23635 23638 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9532010 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676763335568 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23646] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23646/stat : 23646 (java) S 23635 23638 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 9532010 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676762282768 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23647] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23647/stat : 23647 (java) S 23635 23638 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9532010 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676761230480 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23648] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23648/stat : 23648 (java) S 23635 23638 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 9532010 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676760177680 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23649] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23649/stat : 23649 (java) S 23635 23638 15286 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 9532013 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676704127296 139677161245314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23650] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23650/stat : 23650 (java) S 23635 23638 15286 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 9532013 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676703073056 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23651] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23651/stat : 23651 (java) S 23635 23638 15286 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 9532014 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676702020720 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23652] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23652/stat : 23652 (java) S 23635 23638 15286 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 9532017 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676700967808 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23653] ppid=23635 vsize=10973400 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23653/stat : 23653 (java) S 23635 23638 15286 0 -1 1077944384 2201 0 0 0 54 0 0 0 20 0 19 0 9532017 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676699901984 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23654] ppid=23635 vsize=10973400 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23654/stat : 23654 (java) R 23635 23638 15286 0 -1 4202560 1922 0 0 0 56 0 0 0 20 0 19 0 9532017 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676631408584 139677144730951 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23655] ppid=23635 vsize=10973400 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23655/stat : 23655 (java) S 23635 23638 15286 0 -1 1077944384 1926 0 0 0 48 0 0 0 20 0 19 0 9532017 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676630355760 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23656] ppid=23635 vsize=10973400 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23656/stat : 23656 (java) S 23635 23638 15286 0 -1 1077944384 3163 0 0 0 49 0 0 0 20 0 19 0 9532017 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676629322480 139677161245314 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
[pid=23638/tid=23657] ppid=23635 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23638/task/23657/stat : 23657 (java) S 23635 23638 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 9532018 11236761600 33504 33554432000 4194304 4196468 140732759538672 139676628269408 139677161244373 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23867392 140732759545027 140732759545156 140732759545156 140732759547855 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 1.13
CPU time (s): 3.18417
CPU user time (s): 3.10512
CPU system time (s): 0.079046
CPU usage (%): 281.785
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.10512
system time used= 0.079046
maximum resident set size= 134736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18222
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= 2622
involuntary context switches= 245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008701 second user time and 0.019336 second system time
The end