runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3736578-1339248197/watcher-3736578-1339248197 -o /tmp/evaluation-result-3736578-1339248197/solver-3736578-1339248197 -C 1800 -W 1900 -M 15500 run HOME/instance-3736578-1339248197.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.10 7.06 5.53 3/184 20268
/proc/meminfo: memFree=28123580/32873648 swapFree=7628/7628
[pid=20268] ppid=20266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20268/stat : 20268 (run) S 20266 20268 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390945664 9367552 270 33554432000 4194304 5064252 140735370254512 140735370253424 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20268/statm: 2287 270 229 213 0 72 0
[startup+0.091999 s]
/proc/loadavg: 8.10 7.06 5.53 3/184 20268
/proc/meminfo: memFree=28123580/32873648 swapFree=7628/7628
[pid=20268] ppid=20266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20268/stat : 20268 (run) S 20266 20268 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390945664 9367552 270 33554432000 4194304 5064252 140735370254512 140735370253424 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20268/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100272 s]
/proc/loadavg: 8.10 7.06 5.53 3/184 20268
/proc/meminfo: memFree=28123580/32873648 swapFree=7628/7628
[pid=20268] ppid=20266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20268/stat : 20268 (run) S 20266 20268 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390945664 9367552 270 33554432000 4194304 5064252 140735370254512 140735370253424 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20268/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300166 s]
/proc/loadavg: 8.10 7.06 5.53 3/184 20268
/proc/meminfo: memFree=28123580/32873648 swapFree=7628/7628
[pid=20268] ppid=20266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20268/stat : 20268 (run) S 20266 20268 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390945664 9367552 270 33554432000 4194304 5064252 140735370254512 140735370253424 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20268/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700173 s]
/proc/loadavg: 8.10 7.06 5.53 3/184 20268
/proc/meminfo: memFree=28123580/32873648 swapFree=7628/7628
[pid=20268] ppid=20266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20268/stat : 20268 (run) S 20266 20268 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390945664 9367552 270 33554432000 4194304 5064252 140735370254512 140735370253424 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20268/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 7.61 6.98 5.51 6/193 20305
/proc/meminfo: memFree=28091752/32873648 swapFree=7628/7628
[pid=20268] ppid=20266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20268/stat : 20268 (run) S 20266 20268 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390945664 9367552 270 33554432000 4194304 5064252 140735370254512 140735370253424 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20268/statm: 2287 270 229 213 0 72 0
[pid=20269] ppid=20268 vsize=121736 CPUtime=4.09 cores=1,3,5,7
/proc/20269/stat : 20269 (pb_cplex) R 20268 20268 19841 0 -1 4202496 28267 0 0 0 389 20 0 0 20 0 8 0 390945664 124657664 9805 33554432000 134512640 146736320 4286695520 4286690544 137371964 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20269/statm: 30434 9805 987 2985 0 27368 0
[pid=20269/tid=20299] ppid=20268 vsize=121736 CPUtime=0.46 cores=1,3,5,7
/proc/20269/task/20299/stat : 20299 (pb_cplex) R 20268 20268 19841 0 -1 4202560 2584 0 0 0 44 2 0 0 20 0 8 0 390945678 124657664 9805 33554432000 134512640 146736320 4286695520 4074760496 137371959 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20269/tid=20300] ppid=20268 vsize=121736 CPUtime=0.43 cores=1,3,5,7
/proc/20269/task/20300/stat : 20300 (pb_cplex) R 20268 20268 19841 0 -1 4202560 1715 0 0 0 41 2 0 0 20 0 8 0 390945678 124657664 9805 33554432000 134512640 146736320 4286695520 4138721452 135454093 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20269/tid=20301] ppid=20268 vsize=121736 CPUtime=0.43 cores=1,3,5,7
/proc/20269/task/20301/stat : 20301 (pb_cplex) R 20268 20268 19841 0 -1 4202560 1957 0 0 0 41 2 0 0 20 0 8 0 390945678 124657664 9805 33554432000 134512640 146736320 4286695520 4149206952 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20269/tid=20302] ppid=20268 vsize=121736 CPUtime=0.43 cores=1,3,5,7
/proc/20269/task/20302/stat : 20302 (pb_cplex) R 20268 20268 19841 0 -1 4202560 3460 0 0 0 42 1 0 0 20 0 8 0 390945678 124657664 9805 33554432000 134512640 146736320 4286695520 4120695224 136015579 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20269/tid=20303] ppid=20268 vsize=121736 CPUtime=0.41 cores=1,3,5,7
/proc/20269/task/20303/stat : 20303 (pb_cplex) R 20268 20268 19841 0 -1 4202560 3645 0 0 0 39 2 0 0 20 0 8 0 390945678 124657664 9805 33554432000 134512640 146736320 4286695520 4110209464 136015681 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20269/tid=20304] ppid=20268 vsize=121736 CPUtime=0.5 cores=1,3,5,7
/proc/20269/task/20304/stat : 20304 (pb_cplex) R 20268 20268 19841 0 -1 4202560 3544 0 0 0 48 2 0 0 20 0 8 0 390945678 124657664 9805 33554432000 134512640 146736320 4286695520 4099726992 144580073 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20269/tid=20305] ppid=20268 vsize=121736 CPUtime=0.52 cores=1,3,5,7
/proc/20269/task/20305/stat : 20305 (pb_cplex) S 20268 20268 19841 0 -1 4202560 3884 0 0 0 51 1 0 0 20 0 8 0 390945678 124657664 9805 33554432000 134512640 146736320 4286695520 4089241232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 130884
Solver just ended. Dumping a history of the last processes samples
[startup+2.30041 s]
/proc/loadavg: 7.61 6.98 5.51 3/193 20305
/proc/meminfo: memFree=28086544/32873648 swapFree=7628/7628
[pid=20268] ppid=20266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20268/stat : 20268 (run) S 20266 20268 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390945664 9367552 270 33554432000 4194304 5064252 140735370254512 140735370253424 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20268/statm: 2287 270 229 213 0 72 0
[pid=20269] ppid=20268 vsize=122808 CPUtime=6.5 cores=1,3,5,7
/proc/20269/stat : 20269 (pb_cplex) S 20268 20268 19841 0 -1 4202496 30965 0 0 0 624 26 0 0 20 0 8 0 390945664 125755392 9933 33554432000 134512640 146736320 4286695520 4286691920 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20269/statm: 30702 9933 987 2985 0 27636 0
[pid=20269/tid=20299] ppid=20268 vsize=122808 CPUtime=0.75 cores=1,3,5,7
/proc/20269/task/20299/stat : 20299 (pb_cplex) S 20268 20268 19841 0 -1 4202560 2886 0 0 0 73 2 0 0 20 0 8 0 390945678 125755392 9933 33554432000 134512640 146736320 4286695520 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20269/tid=20300] ppid=20268 vsize=122808 CPUtime=0.73 cores=1,3,5,7
/proc/20269/task/20300/stat : 20300 (pb_cplex) S 20268 20268 19841 0 -1 4202560 2134 0 0 0 70 3 0 0 20 0 8 0 390945678 125755392 9933 33554432000 134512640 146736320 4286695520 4138725008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20269/tid=20301] ppid=20268 vsize=122808 CPUtime=0.72 cores=1,3,5,7
/proc/20269/task/20301/stat : 20301 (pb_cplex) S 20268 20268 19841 0 -1 4202560 2107 0 0 0 69 3 0 0 20 0 8 0 390945678 125755392 9933 33554432000 134512640 146736320 4286695520 4149210768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20269/tid=20302] ppid=20268 vsize=122808 CPUtime=0.72 cores=1,3,5,7
/proc/20269/task/20302/stat : 20302 (pb_cplex) S 20268 20268 19841 0 -1 4202560 4458 0 0 0 70 2 0 0 20 0 8 0 390945678 125755392 9933 33554432000 134512640 146736320 4286695520 4120698512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20269/tid=20303] ppid=20268 vsize=122808 CPUtime=0.68 cores=1,3,5,7
/proc/20269/task/20303/stat : 20303 (pb_cplex) S 20268 20268 19841 0 -1 4202560 3868 0 0 0 66 2 0 0 20 0 8 0 390945678 125755392 9933 33554432000 134512640 146736320 4286695520 4110212752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20269/tid=20304] ppid=20268 vsize=122808 CPUtime=0.81 cores=1,3,5,7
/proc/20269/task/20304/stat : 20304 (pb_cplex) S 20268 20268 19841 0 -1 4202560 3706 0 0 0 78 3 0 0 20 0 8 0 390945678 125755392 9933 33554432000 134512640 146736320 4286695520 4099726992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20269/tid=20305] ppid=20268 vsize=122808 CPUtime=0.83 cores=1,3,5,7
/proc/20269/task/20305/stat : 20305 (pb_cplex) R 20268 20268 19841 0 -1 4202560 4304 0 0 0 82 1 0 0 20 0 8 0 390945678 125755392 9933 33554432000 134512640 146736320 4286695520 4089238504 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 131956
[startup+2.70039 s]
/proc/loadavg: 7.61 6.98 5.51 3/193 20305
/proc/meminfo: memFree=28086544/32873648 swapFree=7628/7628
[pid=20268] ppid=20266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20268/stat : 20268 (run) S 20266 20268 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390945664 9367552 270 33554432000 4194304 5064252 140735370254512 140735370253424 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20268/statm: 2287 270 229 213 0 72 0
[pid=20269] ppid=20268 vsize=122844 CPUtime=7.76 cores=1,3,5,7
/proc/20269/stat : 20269 (pb_cplex) R 20268 20268 19841 0 -1 4202496 31491 0 0 0 745 31 0 0 20 0 8 0 390945664 125792256 9942 33554432000 134512640 146736320 4286695520 4286688624 136901162 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20269/statm: 30712 9942 989 2985 0 27646 0
[pid=20269/tid=20299] ppid=20268 vsize=122848 CPUtime=0.91 cores=1,3,5,7
/proc/20269/task/20299/stat : 20299 (pb_cplex) D 20268 20268 19841 0 -1 4202560 2908 0 0 0 88 3 0 0 20 0 8 0 390945678 125796352 9942 33554432000 134512640 146736320 4286695520 4074750644 144797795 0 2 4096 16387 18446744071581355491 0 0 -1 1 0 0 0 0 0
[pid=20269/tid=20300] ppid=20268 vsize=122848 CPUtime=0.9 cores=1,3,5,7
/proc/20269/task/20300/stat : 20300 (pb_cplex) R 20268 20268 19841 0 -1 4202560 2333 0 0 0 86 4 0 0 20 0 8 0 390945678 125796352 9942 33554432000 134512640 146736320 4286695520 4138713956 144580846 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20269/tid=20301] ppid=20268 vsize=122848 CPUtime=0.88 cores=1,3,5,7
/proc/20269/task/20301/stat : 20301 (pb_cplex) R 20268 20268 19841 0 -1 4202560 2196 0 0 0 85 3 0 0 20 0 8 0 390945678 125796352 9942 33554432000 134512640 146736320 4286695520 4149208232 137117174 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20269/tid=20302] ppid=20268 vsize=122848 CPUtime=0.86 cores=1,3,5,7
/proc/20269/task/20302/stat : 20302 (pb_cplex) R 20268 20268 19841 0 -1 4202560 4595 0 0 0 84 2 0 0 20 0 8 0 390945678 125796352 9942 33554432000 134512640 146736320 4286695520 4120687460 144580846 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20269/tid=20303] ppid=20268 vsize=122848 CPUtime=0.85 cores=1,3,5,7
/proc/20269/task/20303/stat : 20303 (pb_cplex) D 20268 20268 19841 0 -1 4202560 3910 0 0 0 83 2 0 0 20 0 8 0 390945678 125796352 9942 33554432000 134512640 146736320 4286695520 4110201772 144797937 0 2 4096 16387 18446744071581355491 0 0 -1 7 0 0 0 0 0
[pid=20269/tid=20304] ppid=20268 vsize=122848 CPUtime=0.96 cores=1,3,5,7
/proc/20269/task/20304/stat : 20304 (pb_cplex) D 20268 20268 19841 0 -1 4202560 3717 0 0 0 93 3 0 0 20 0 8 0 390945678 125796352 9942 33554432000 134512640 146736320 4286695520 4099715940 144580846 0 2 4096 16387 18446744071581355444 0 0 -1 1 0 0 0 0 0
[pid=20269/tid=20305] ppid=20268 vsize=122848 CPUtime=0.98 cores=1,3,5,7
/proc/20269/task/20305/stat : 20305 (pb_cplex) R 20268 20268 19841 0 -1 4202560 4316 0 0 0 96 2 0 0 20 0 8 0 390945678 125796352 9943 33554432000 134512640 146736320 4286695520 4089238696 137117092 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 131992
[startup+2.90037 s]
/proc/loadavg: 7.61 6.98 5.51 3/193 20305
/proc/meminfo: memFree=28086544/32873648 swapFree=7628/7628
[pid=20268] ppid=20266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20268/stat : 20268 (run) S 20266 20268 19841 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390945664 9367552 270 33554432000 4194304 5064252 140735370254512 140735370253424 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20268/statm: 2287 270 229 213 0 72 0
[pid=20269] ppid=20268 vsize=125148 CPUtime=8.35 cores=1,3,5,7
/proc/20269/stat : 20269 (pb_cplex) R 20268 20268 19841 0 -1 4202496 32598 0 0 0 790 45 0 0 20 0 8 0 390945664 128151552 10246 33554432000 134512640 146736320 4286695520 4286689384 137118616 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20269/statm: 31287 10246 989 2985 0 28221 0
[pid=20269/tid=20299] ppid=20268 vsize=125148 CPUtime=0.98 cores=1,3,5,7
/proc/20269/task/20299/stat : 20299 (pb_cplex) D 20268 20268 19841 0 -1 4202560 3120 0 0 0 93 5 0 0 20 0 8 0 390945678 128151552 10246 33554432000 134512640 146736320 4286695520 4074750644 144797795 0 2 4096 16387 18446744071581355491 0 0 -1 7 0 0 0 0 0
[pid=20269/tid=20300] ppid=20268 vsize=125148 CPUtime=0.97 cores=1,3,5,7
/proc/20269/task/20300/stat : 20300 (pb_cplex) D 20268 20268 19841 0 -1 4202560 2417 0 0 0 92 5 0 0 20 0 8 0 390945678 128151552 10246 33554432000 134512640 146736320 4286695520 4138713780 144797795 0 2 4096 16387 18446744071581355491 0 0 -1 1 0 0 0 0 0
[pid=20269/tid=20301] ppid=20268 vsize=125148 CPUtime=0.95 cores=1,3,5,7
/proc/20269/task/20301/stat : 20301 (pb_cplex) R 20268 20268 19841 0 -1 4202560 2381 0 0 0 90 5 0 0 20 0 8 0 390945678 128151552 10246 33554432000 134512640 146736320 4286695520 4149199692 144581438 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20269/tid=20302] ppid=20268 vsize=125144 CPUtime=0.94 cores=1,3,5,7
/proc/20269/task/20302/stat : 20302 (pb_cplex) R 20268 20268 19841 0 -1 4202560 4692 0 0 0 90 4 0 0 20 0 8 0 390945678 128147456 10245 33554432000 134512640 146736320 4286695520 4120695976 137117095 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20269/tid=20303] ppid=20268 vsize=125144 CPUtime=0.92 cores=1,3,5,7
/proc/20269/task/20303/stat : 20303 (pb_cplex) R 20268 20268 19841 0 -1 4202560 4177 0 0 0 89 3 0 0 20 0 8 0 390945678 128147456 10245 33554432000 134512640 146736320 4286695520 4110201772 144797937 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20269/tid=20304] ppid=20268 vsize=125144 CPUtime=1.04 cores=1,3,5,7
/proc/20269/task/20304/stat : 20304 (pb_cplex) D 20268 20268 19841 0 -1 4202560 3804 0 0 0 99 5 0 0 20 0 8 0 390945678 128147456 10245 33554432000 134512640 146736320 4286695520 4099715940 144580846 0 2 4096 16387 18446744071581355444 0 0 -1 3 0 0 0 0 0
[pid=20269/tid=20305] ppid=20268 vsize=125144 CPUtime=1.06 cores=1,3,5,7
/proc/20269/task/20305/stat : 20305 (pb_cplex) R 20268 20268 19841 0 -1 4202560 4405 0 0 0 102 4 0 0 20 0 8 0 390945678 128147456 10245 33554432000 134512640 146736320 4286695520 4089238872 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 134296
Child status: 0
Real time (s): 2.96304
CPU time (s): 8.5367
CPU user time (s): 7.99678
CPU system time (s): 0.539917
CPU usage (%): 288.106
Max. virtual memory (cumulated for all children) (KiB): 134296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.99678
system time used= 0.539917
maximum resident set size= 41264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33155
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15352
involuntary context switches= 1683
runsolver used 0.002999 second user time and 0.022996 second system time
The end