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-3742575-1339251274/watcher-3742575-1339251274 -o /tmp/evaluation-result-3742575-1339251274/solver-3742575-1339251274 -C 1800 -W 1900 -M 15500 run HOME/instance-3742575-1339251274.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: 12.47 9.41 5.44 10/182 12422
/proc/meminfo: memFree=31371412/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[startup+0.0918101 s]
/proc/loadavg: 12.47 9.41 5.44 10/182 12422
/proc/meminfo: memFree=31371412/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100215 s]
/proc/loadavg: 12.47 9.41 5.44 10/182 12422
/proc/meminfo: memFree=31371412/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300179 s]
/proc/loadavg: 12.47 9.41 5.44 10/182 12422
/proc/meminfo: memFree=31371412/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700187 s]
/proc/loadavg: 12.47 9.41 5.44 10/182 12422
/proc/meminfo: memFree=31371412/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 12.47 9.41 5.44 10/184 12424
/proc/meminfo: memFree=31350284/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=70904 CPUtime=1.48 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 16748 0 0 0 146 2 0 0 20 0 1 0 391252410 72605696 10156 33554432000 134512640 146736320 4293002976 4292996992 135969387 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/12423/statm: 17726 10156 726 2985 0 14660 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 80052
[startup+3.1003 s]
/proc/loadavg: 12.47 9.41 5.44 10/184 12424
/proc/meminfo: memFree=31331560/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=71692 CPUtime=3.09 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 19478 0 0 0 306 3 0 0 20 0 1 0 391252410 73412608 10387 33554432000 134512640 146736320 4293002976 4292997624 136475800 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/12423/statm: 17923 10387 726 2985 0 14857 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80840
[startup+6.30024 s]
/proc/loadavg: 12.19 9.40 5.46 10/184 12424
/proc/meminfo: memFree=31331064/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=71840 CPUtime=6.28 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 23406 0 0 0 625 3 0 0 20 0 1 0 391252410 73564160 10493 33554432000 134512640 146736320 4293002976 4292998024 136001971 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/12423/statm: 17960 10493 726 2985 0 14894 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 80988
[startup+12.7002 s]
/proc/loadavg: 11.94 9.39 5.48 10/184 12424
/proc/meminfo: memFree=31329488/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=72676 CPUtime=12.69 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 29812 0 0 0 1264 5 0 0 20 0 1 0 391252410 74420224 10724 33554432000 134512640 146736320 4293002976 4292997624 136475800 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/12423/statm: 18169 10724 726 2985 0 15103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81824
[startup+25.5003 s]
/proc/loadavg: 11.29 9.37 5.54 10/184 12424
/proc/meminfo: memFree=31325568/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=72844 CPUtime=25.48 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 39854 0 0 0 2541 7 0 0 20 0 1 0 391252410 74592256 10770 33554432000 134512640 146736320 4293002976 4292997384 135525285 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/12423/statm: 18211 10770 726 2985 0 15145 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81992
[startup+51.1003 s]
/proc/loadavg: 10.51 9.34 5.63 10/184 12424
/proc/meminfo: memFree=31321756/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=72988 CPUtime=51.08 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 57827 0 0 0 5096 12 0 0 20 0 1 0 391252410 74739712 10809 33554432000 134512640 146736320 4293002976 4292997660 135855174 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/12423/statm: 18247 10809 726 2985 0 15181 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 82136
[startup+102.307 s]
/proc/loadavg: 9.65 9.29 5.80 10/184 12424
/proc/meminfo: memFree=31316028/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=72628 CPUtime=102.27 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 95590 0 0 0 10208 19 0 0 20 0 1 0 391252410 74371072 10913 33554432000 134512640 146736320 4293002976 4292997632 139046528 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/12423/statm: 18157 10913 781 2985 0 15091 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 81776
[startup+162.3 s]
/proc/loadavg: 7.71 8.86 5.88 10/184 12425
/proc/meminfo: memFree=31301424/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=72640 CPUtime=162.25 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 135000 0 0 0 16198 27 0 0 20 0 1 0 391252410 74383360 14151 33554432000 134512640 146736320 4293002976 4292997048 136475775 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/12423/statm: 18160 14151 781 2985 0 15094 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 81788
[startup+222.3 s]
/proc/loadavg: 4.10 7.61 5.63 3/184 12482
/proc/meminfo: memFree=31371476/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=72712 CPUtime=222.24 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 173828 0 0 0 22189 35 0 0 20 0 1 0 391252410 74457088 14171 33554432000 134512640 146736320 4293002976 4292997064 139043581 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 18178 14171 781 2985 0 15112 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 81860
[startup+282.3 s]
/proc/loadavg: 6.20 7.58 5.74 10/184 12482
/proc/meminfo: memFree=31337772/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=72748 CPUtime=282.23 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 212209 0 0 0 28179 44 0 0 20 0 1 0 391252410 74493952 14185 33554432000 134512640 146736320 4293002976 4292997084 135855174 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 18187 14185 781 2985 0 15121 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 81896
[startup+342.3 s]
/proc/loadavg: 7.60 7.72 5.91 10/185 12485
/proc/meminfo: memFree=31335844/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=72756 CPUtime=342.22 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 250579 0 0 0 34169 53 0 0 20 0 1 0 391252410 74502144 14188 33554432000 134512640 146736320 4293002976 4292997448 136000795 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 18189 14188 781 2985 0 15123 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 81904
[startup+402.3 s]
/proc/loadavg: 8.20 7.85 6.06 5/184 12485
/proc/meminfo: memFree=31334796/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 1.00 1.79 3.68 2/170 12591
/proc/meminfo: memFree=31399296/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=105432 CPUtime=1422.06 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 956914 0 0 0 141995 211 0 0 20 0 1 0 391252410 107962368 21712 33554432000 134512640 146736320 4293002976 4292996936 139043579 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 26358 21712 841 2985 0 23292 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 114580
[startup+1482.3 s]
/proc/loadavg: 1.00 1.64 3.51 2/170 12591
/proc/meminfo: memFree=31397928/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=106888 CPUtime=1482.04 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 991423 0 0 0 147986 218 0 0 20 0 1 0 391252410 109453312 22186 33554432000 134512640 146736320 4293002976 4292996700 139028313 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 26722 22186 841 2985 0 23656 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 116036
[startup+1542.3 s]
/proc/loadavg: 1.00 1.52 3.35 2/171 12594
/proc/meminfo: memFree=31397296/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=106056 CPUtime=1542.03 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1023193 0 0 0 153979 224 0 0 20 0 1 0 391252410 108601344 22196 33554432000 134512640 146736320 4293002976 4292996444 136406493 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 26514 22196 841 2985 0 23448 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 115204
[startup+1602.3 s]
/proc/loadavg: 1.00 1.42 3.20 2/170 12594
/proc/meminfo: memFree=31392828/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=110804 CPUtime=1602.03 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1063544 0 0 0 159969 234 0 0 20 0 1 0 391252410 113463296 23342 33554432000 134512640 146736320 4293002976 4292996776 136480343 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27701 23342 842 2985 0 24635 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 119952
[startup+1662.3 s]
/proc/loadavg: 1.00 1.34 3.06 2/170 12595
/proc/meminfo: memFree=31393752/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=110148 CPUtime=1662.01 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1118010 0 0 0 165955 246 0 0 20 0 1 0 391252410 112791552 23100 33554432000 134512640 146736320 4293002976 4292997256 136461520 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27537 23100 842 2985 0 24471 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 119296
[startup+1722.3 s]
/proc/loadavg: 1.00 1.28 2.93 2/171 12596
/proc/meminfo: memFree=31393620/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=110160 CPUtime=1722 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1166041 0 0 0 171944 256 0 0 20 0 1 0 391252410 112803840 23126 33554432000 134512640 146736320 4293002976 4292997456 136403106 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27540 23126 842 2985 0 24474 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 119308
[startup+1782.3 s]
/proc/loadavg: 1.04 1.24 2.81 2/170 12596
/proc/meminfo: memFree=31392448/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=111260 CPUtime=1782 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1177796 0 0 0 177941 259 0 0 20 0 1 0 391252410 113930240 23508 33554432000 134512640 146736320 4293002976 4292996856 138769305 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27815 23508 842 2985 0 24749 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 120408
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.04 1.23 2.79 2/170 12596
/proc/meminfo: memFree=31392696/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=111260 CPUtime=1791.6 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1177796 0 0 0 178901 259 0 0 20 0 1 0 391252410 113930240 23508 33554432000 134512640 146736320 4293002976 4292995968 135468687 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27815 23508 842 2985 0 24749 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 120408
[startup+1795.1 s]
/proc/loadavg: 1.03 1.23 2.78 2/170 12596
/proc/meminfo: memFree=31392572/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=111260 CPUtime=1794.8 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1177796 0 0 0 179221 259 0 0 20 0 1 0 391252410 113930240 23508 33554432000 134512640 146736320 4293002976 4292996856 138768493 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27815 23508 842 2985 0 24749 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 120408
[startup+1796.7 s]
/proc/loadavg: 1.03 1.23 2.78 2/170 12596
/proc/meminfo: memFree=31392572/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=111260 CPUtime=1796.4 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1177796 0 0 0 179381 259 0 0 20 0 1 0 391252410 113930240 23508 33554432000 134512640 146736320 4293002976 4292997256 136461573 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27815 23508 842 2985 0 24749 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 120408
[startup+1798.3 s]
/proc/loadavg: 1.03 1.23 2.78 2/170 12596
/proc/meminfo: memFree=31392572/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=111260 CPUtime=1798 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1177796 0 0 0 179541 259 0 0 20 0 1 0 391252410 113930240 23508 33554432000 134512640 146736320 4293002976 4292995148 135465431 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27815 23508 842 2985 0 24749 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 120408
[startup+1798.7 s]
/proc/loadavg: 1.03 1.23 2.78 2/170 12596
/proc/meminfo: memFree=31392572/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=111260 CPUtime=1798.4 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1177796 0 0 0 179581 259 0 0 20 0 1 0 391252410 113930240 23508 33554432000 134512640 146736320 4293002976 4292997552 136402275 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27815 23508 842 2985 0 24749 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 120408
[startup+1798.9 s]
/proc/loadavg: 1.03 1.23 2.78 2/170 12596
/proc/meminfo: memFree=31392572/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=111260 CPUtime=1798.6 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1177796 0 0 0 179601 259 0 0 20 0 1 0 391252410 113930240 23508 33554432000 134512640 146736320 4293002976 4292996856 138768450 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27815 23508 842 2985 0 24749 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 120408
[startup+1799 s]
/proc/loadavg: 1.03 1.23 2.78 2/170 12596
/proc/meminfo: memFree=31392572/32873852 swapFree=7632/7632
[pid=12422] ppid=12420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12422/stat : 12422 (run) S 12420 12422 11452 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391252410 9367552 270 33554432000 4194304 5064252 140736565138960 140736565137872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12422/statm: 2287 270 229 213 0 72 0
[pid=12423] ppid=12422 vsize=111260 CPUtime=1798.69 cores=1,3,5,7
/proc/12423/stat : 12423 (pb_cplex) R 12422 12422 11452 0 -1 4202496 1177796 0 0 0 179610 259 0 0 20 0 1 0 391252410 113930240 23508 33554432000 134512640 146736320 4293002976 4292996856 138768354 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12423/statm: 27815 23508 842 2985 0 24749 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 120408
Child status: 0
Real time (s): 1799.09
CPU time (s): 1798.79
CPU user time (s): 1796.19
CPU system time (s): 2.5966
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 123232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.19
system time used= 2.5966
maximum resident set size= 96792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1178181
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= 34
involuntary context switches= 2007
runsolver used 3.36849 second user time and 7.78182 second system time
The end