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-3743402-1339251955/watcher-3743402-1339251955 -o /tmp/evaluation-result-3743402-1339251955/solver-3743402-1339251955 -C 1800 -W 1900 -M 15500 run HOME/instance-3743402-1339251955.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: 6.98 5.65 4.73 8/184 28157
/proc/meminfo: memFree=31353776/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[startup+0.0303381 s]
/proc/loadavg: 6.98 5.65 4.73 8/184 28157
/proc/meminfo: memFree=31353776/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100214 s]
/proc/loadavg: 6.98 5.65 4.73 8/184 28157
/proc/meminfo: memFree=31353776/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300191 s]
/proc/loadavg: 6.98 5.65 4.73 8/184 28157
/proc/meminfo: memFree=31353776/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700279 s]
/proc/loadavg: 6.98 5.65 4.73 8/184 28157
/proc/meminfo: memFree=31353776/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 6.98 5.65 4.73 8/186 28159
/proc/meminfo: memFree=31330200/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=64744 CPUtime=1.49 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 7534 0 0 0 148 1 0 0 20 0 1 0 391322530 66297856 7140 33554432000 134512640 146736320 4293770544 4293768460 140647813 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 16186 7140 1090 2985 0 6227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73892
[startup+3.10022 s]
/proc/loadavg: 6.98 5.65 4.73 8/186 28159
/proc/meminfo: memFree=31324232/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=65668 CPUtime=3.08 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 7889 0 0 0 307 1 0 0 20 0 1 0 391322530 67244032 7495 33554432000 134512640 146736320 4293770544 4293768496 134542843 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 16417 7495 1232 2985 0 6458 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 74816
[startup+6.30038 s]
/proc/loadavg: 6.98 5.67 4.74 8/186 28159
/proc/meminfo: memFree=31264036/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=172536 CPUtime=6.29 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 36908 0 0 0 622 7 0 0 20 0 1 0 391322530 176676864 35343 33554432000 134512640 146736320 4293770544 4293768496 134543014 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 43134 35343 4212 2985 0 33175 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 181684
[startup+12.7002 s]
/proc/loadavg: 6.98 5.69 4.75 7/186 28159
/proc/meminfo: memFree=31179264/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=216000 CPUtime=12.69 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 48676 0 0 0 1259 10 0 0 20 0 1 0 391322530 221184000 48454 33554432000 134512640 146736320 4293770544 4293768456 134814118 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 54000 48454 5940 2985 0 44041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 225148
[startup+25.5002 s]
/proc/loadavg: 6.77 5.71 4.77 7/186 28159
/proc/meminfo: memFree=31170072/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=223868 CPUtime=25.49 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 51876 0 0 0 2538 11 0 0 20 0 1 0 391322530 229240832 51654 33554432000 134512640 146736320 4293770544 4293768496 140681194 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 55967 51654 7181 2985 0 46008 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 233016
[startup+51.1002 s]
/proc/loadavg: 6.43 5.71 4.79 6/186 28159
/proc/meminfo: memFree=31159936/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=224000 CPUtime=51.08 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 51908 0 0 0 5097 11 0 0 20 0 1 0 391322530 229376000 51686 33554432000 134512640 146736320 4293770544 4293768492 140653489 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 56000 51686 7181 2985 0 46041 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 233148
[startup+102.307 s]
/proc/loadavg: 5.62 5.60 4.80 6/186 28159
/proc/meminfo: memFree=31126668/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=224132 CPUtime=102.28 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 51943 0 0 0 10217 11 0 0 20 0 1 0 391322530 229511168 51721 33554432000 134512640 146736320 4293770544 4293768432 141028058 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 56033 51721 7181 2985 0 46074 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 233280
[startup+162.3 s]
/proc/loadavg: 4.48 5.30 4.75 4/186 28159
/proc/meminfo: memFree=31106592/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=224264 CPUtime=162.27 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 51971 0 0 0 16216 11 0 0 20 0 1 0 391322530 229646336 51749 33554432000 134512640 146736320 4293770544 4293768400 140528792 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 56066 51749 7181 2985 0 46107 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 233412
[startup+222.3 s]
/proc/loadavg: 6.04 5.48 4.84 10/186 28160
/proc/meminfo: memFree=31113356/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=224396 CPUtime=222.26 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 51993 0 0 0 22215 11 0 0 20 0 1 0 391322530 229781504 51771 33554432000 134512640 146736320 4293770544 4293768496 140681219 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 56099 51771 7181 2985 0 46140 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 233544
[startup+282.3 s]
/proc/loadavg: 3.68 5.00 4.72 2/173 28191
/proc/meminfo: memFree=31641688/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=224396 CPUtime=282.24 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 52020 0 0 0 28213 11 0 0 20 0 1 0 391322530 229781504 51790 33554432000 134512640 146736320 4293770544 4293768396 134814122 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 56099 51790 7181 2985 0 46140 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 233544
[startup+342.3 s]
/proc/loadavg: 1.98 4.27 4.48 2/172 28191
/proc/meminfo: memFree=31641060/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=224528 CPUtime=342.23 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 52039 0 0 0 34212 11 0 0 20 0 1 0 391322530 229916672 51917 33554432000 134512640 146736320 4293770544 4293768496 140681231 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 56132 51917 7181 2985 0 46173 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 233676
[startup+402.3 s]
/proc/loadavg: 1.36 3.67 4.26 2/172 28191
/proc/meminfo: memFree=31021864/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=1345412 CPUtime=942.12 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 520915 0 0 0 94017 195 0 0 20 0 1 0 391322530 1377701888 211621 33554432000 134512640 146736320 4293770544 4293764600 136475808 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 336353 211621 902 2985 0 333287 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 1354560
[startup+1002.3 s]
/proc/loadavg: 1.03 1.36 2.70 2/172 28197
/proc/meminfo: memFree=30984084/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=1337672 CPUtime=1002.12 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 641752 0 0 0 99966 246 0 0 20 0 1 0 391322530 1369776128 209492 33554432000 134512640 146736320 4293770544 4293764636 135854535 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 334418 209492 902 2985 0 331352 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1346820
[startup+1062.3 s]
/proc/loadavg: 1.04 1.31 2.59 2/172 28197
/proc/meminfo: memFree=30838420/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=1586168 CPUtime=1062.11 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 780996 0 0 0 105906 305 0 0 20 0 1 0 391322530 1624236032 246945 33554432000 134512640 146736320 4293770544 4293765952 137703343 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 396542 246945 902 2985 0 393476 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1595316
[startup+1122.3 s]
/proc/loadavg: 1.05 1.26 2.50 2/172 28198
/proc/meminfo: memFree=30944792/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=1366268 CPUtime=1122.09 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 1331737 0 0 0 111677 532 0 0 20 0 1 0 391322530 1399058432 219474 33554432000 134512640 146736320 4293770544 4293764800 139047011 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 341567 219474 905 2985 0 338501 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1375416
[startup+1182.3 s]
/proc/loadavg: 1.05 1.23 2.40 2/179 28205
/proc/meminfo: memFree=29331588/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=3901700 CPUtime=1182.16 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 1707112 0 0 0 117579 637 0 0 20 0 8 0 391322530 3995340800 621579 33554432000 134512640 146736320 4293770544 4293763352 136007277 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 975425 621579 944 2985 0 972359 0
[pid=28158/tid=28199] ppid=28157 vsize=3901700 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28199/stat : 28199 (pb_cplex) S 28157 28157 27040 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391438582 3995340800 621579 33554432000 134512640 146736320 4293770544 836652688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28158/tid=28200] ppid=28157 vsize=3901700 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28200/stat : 28200 (pb_cplex) S 28157 28157 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391438582 3995340800 621579 33554432000 134512640 146736320 4293770544 826166928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28158/tid=28201] ppid=28157 vsize=3901700 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28201/stat : 28201 (pb_cplex) S 28157 28157 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391438582 3995340800 621579 33554432000 134512640 146736320 4293770544 815681168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28158/tid=28202] ppid=28157 vsize=3901700 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28202/stat : 28202 (pb_cplex) S 28157 28157 27040 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391438582 3995340800 621579 33554432000 134512640 146736320 4293770544 805195408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28158/tid=28203] ppid=28157 vsize=3901700 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28203/stat : 28203 (pb_cplex) S 28157 28157 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391438582 3995340800 621579 33554432000 134512640 146736320 4293770544 794709648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28158/tid=28204] ppid=28157 vsize=3901700 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28204/stat : 28204 (pb_cplex) S 28157 28157 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391438582 3995340800 621579 33554432000 134512640 146736320 4293770544 784223888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28158/tid=28205] ppid=28157 vsize=3901700 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28205/stat : 28205 (pb_cplex) S 28157 28157 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391438582 3995340800 621579 33554432000 134512640 146736320 4293770544 773738128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1182.16
Current children cumulated vsize (KiB) 3910848
Solver just ended. Dumping a history of the last processes samples
[startup+1203.1 s]
/proc/loadavg: 1.10 1.23 2.38 2/179 28205
/proc/meminfo: memFree=29330152/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=3902804 CPUtime=1202.96 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) R 28157 28157 27040 0 -1 4202496 1717212 0 0 0 119654 642 0 0 20 0 8 0 391322530 3996471296 621839 33554432000 134512640 146736320 4293770544 4293763824 136385268 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28158/statm: 975701 621839 944 2985 0 972635 0
[pid=28158/tid=28199] ppid=28157 vsize=3902804 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28199/stat : 28199 (pb_cplex) S 28157 28157 27040 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391438582 3996471296 621839 33554432000 134512640 146736320 4293770544 836652688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28158/tid=28200] ppid=28157 vsize=3902804 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28200/stat : 28200 (pb_cplex) S 28157 28157 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391438582 3996471296 621839 33554432000 134512640 146736320 4293770544 826166928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28158/tid=28201] ppid=28157 vsize=3902804 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28201/stat : 28201 (pb_cplex) S 28157 28157 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391438582 3996471296 621839 33554432000 134512640 146736320 4293770544 815681168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28158/tid=28202] ppid=28157 vsize=3902804 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28202/stat : 28202 (pb_cplex) S 28157 28157 27040 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391438582 3996471296 621839 33554432000 134512640 146736320 4293770544 805195408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28158/tid=28203] ppid=28157 vsize=3902804 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28203/stat : 28203 (pb_cplex) S 28157 28157 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391438582 3996471296 621839 33554432000 134512640 146736320 4293770544 794709648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28158/tid=28204] ppid=28157 vsize=3902804 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28204/stat : 28204 (pb_cplex) S 28157 28157 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391438582 3996471296 621839 33554432000 134512640 146736320 4293770544 784223888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28158/tid=28205] ppid=28157 vsize=3902804 CPUtime=0 cores=1,3,5,7
/proc/28158/task/28205/stat : 28205 (pb_cplex) S 28157 28157 27040 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391438582 3996471296 621839 33554432000 134512640 146736320 4293770544 773738128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1202.96
Current children cumulated vsize (KiB) 3911952
[startup+1215.9 s]
/proc/loadavg: 1.08 1.22 2.36 2/173 28206
/proc/meminfo: memFree=30385088/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=985624 CPUtime=1213.33 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) S 28157 28157 27040 0 -1 4204032 1770900 0 0 0 120575 758 0 0 20 0 1 0 391322530 1009278976 151247 33554432000 134512640 146736320 4293770544 4293769036 144864592 0 0 4096 16387 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28158/statm: 246406 151247 1268 2985 0 243340 0
Current children cumulated CPU time (s) 1213.33
Current children cumulated vsize (KiB) 994772
[startup+1219.1 s]
/proc/loadavg: 1.23 1.25 2.36 1/173 28206
/proc/meminfo: memFree=30384840/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=985624 CPUtime=1213.33 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) S 28157 28157 27040 0 -1 4204032 1770900 0 0 0 120575 758 0 0 20 0 1 0 391322530 1009278976 151247 33554432000 134512640 146736320 4293770544 4293769036 144864592 0 0 4096 16387 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28158/statm: 246406 151247 1268 2985 0 243340 0
Current children cumulated CPU time (s) 1213.33
Current children cumulated vsize (KiB) 994772
[startup+1222.3 s]
/proc/loadavg: 1.23 1.25 2.36 1/173 28206
/proc/meminfo: memFree=30384840/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=985624 CPUtime=1213.33 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) S 28157 28157 27040 0 -1 4204032 1770900 0 0 0 120575 758 0 0 20 0 1 0 391322530 1009278976 151247 33554432000 134512640 146736320 4293770544 4293769036 144864592 0 0 4096 16387 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28158/statm: 246406 151247 1268 2985 0 243340 0
Current children cumulated CPU time (s) 1213.33
Current children cumulated vsize (KiB) 994772
[startup+1223.1 s]
/proc/loadavg: 1.45 1.29 2.37 1/174 28207
/proc/meminfo: memFree=30384956/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=985624 CPUtime=1213.33 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) S 28157 28157 27040 0 -1 4204032 1770900 0 0 0 120575 758 0 0 20 0 1 0 391322530 1009278976 151247 33554432000 134512640 146736320 4293770544 4293769036 144864592 0 0 4096 16387 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28158/statm: 246406 151247 1268 2985 0 243340 0
Current children cumulated CPU time (s) 1213.33
Current children cumulated vsize (KiB) 994772
[startup+1223.5 s]
/proc/loadavg: 1.45 1.29 2.37 1/174 28207
/proc/meminfo: memFree=30384956/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=985624 CPUtime=1213.33 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) S 28157 28157 27040 0 -1 4204032 1770900 0 0 0 120575 758 0 0 20 0 1 0 391322530 1009278976 151247 33554432000 134512640 146736320 4293770544 4293769036 144864592 0 0 4096 16387 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28158/statm: 246406 151247 1268 2985 0 243340 0
Current children cumulated CPU time (s) 1213.33
Current children cumulated vsize (KiB) 994772
[startup+1223.7 s]
/proc/loadavg: 1.45 1.29 2.37 1/174 28207
/proc/meminfo: memFree=30384956/32873844 swapFree=7116/7116
[pid=28157] ppid=28155 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (run) S 28155 28157 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391322530 9367552 270 33554432000 4194304 5064252 140736354449104 140736354448016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28157/statm: 2287 270 229 213 0 72 0
[pid=28158] ppid=28157 vsize=985624 CPUtime=1213.33 cores=1,3,5,7
/proc/28158/stat : 28158 (pb_cplex) S 28157 28157 27040 0 -1 4204032 1770900 0 0 0 120575 758 0 0 20 0 1 0 391322530 1009278976 151247 33554432000 134512640 146736320 4293770544 4293769036 144864592 0 0 4096 16387 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28158/statm: 246406 151247 1268 2985 0 243340 0
Current children cumulated CPU time (s) 1213.33
Current children cumulated vsize (KiB) 994772
Child status: 134
Real time (s): 1223.73
CPU time (s): 1213.36
CPU user time (s): 1205.76
CPU system time (s): 7.60184
CPU usage (%): 99.1521
Max. virtual memory (cumulated for all children) (KiB): 4129820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1205.76
system time used= 7.60184
maximum resident set size= 2719832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1771267
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= 162285
involuntary context switches= 1392
runsolver used 2.17167 second user time and 7.46486 second system time
The end