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-3741005-1339249742/watcher-3741005-1339249742 -o /tmp/evaluation-result-3741005-1339249742/solver-3741005-1339249742 -C 1800 -W 1900 -M 15500 run HOME/instance-3741005-1339249742.opb
running on 4 cores: 0,2,4,6
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.26 5.64 4.69 2/174 26981
/proc/meminfo: memFree=25333892/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[startup+0.017357 s]
/proc/loadavg: 8.26 5.64 4.69 2/174 26981
/proc/meminfo: memFree=25333892/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100247 s]
/proc/loadavg: 8.26 5.64 4.69 2/174 26981
/proc/meminfo: memFree=25333892/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300244 s]
/proc/loadavg: 8.26 5.64 4.69 2/174 26981
/proc/meminfo: memFree=25333892/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700241 s]
/proc/loadavg: 8.26 5.64 4.69 2/174 26981
/proc/meminfo: memFree=25333892/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 8.26 5.64 4.69 2/176 26983
/proc/meminfo: memFree=25296940/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=81536 CPUtime=1.49 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 17908 0 0 0 147 2 0 0 20 0 1 0 391099728 83492864 17378 33554432000 134512640 146736320 4289404400 4289402352 134543014 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 20384 17378 3110 2985 0 14342 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90684
[startup+3.10029 s]
/proc/loadavg: 8.26 5.64 4.69 3/175 27014
/proc/meminfo: memFree=25244688/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=174208 CPUtime=3.09 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 55280 0 0 0 300 9 0 0 20 0 1 0 391099728 178388992 39599 33554432000 134512640 146736320 4289404400 4289402576 138729980 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 43552 39599 593 2985 0 40486 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 183356
[startup+6.30031 s]
/proc/loadavg: 7.84 5.59 4.68 3/179 27032
/proc/meminfo: memFree=25028524/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=454812 CPUtime=6.29 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 104624 0 0 0 611 18 0 0 20 0 1 0 391099728 465727488 58654 33554432000 134512640 146736320 4289404400 4289399548 138665790 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 113703 58654 713 2985 0 110637 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 463960
[startup+12.7003 s]
/proc/loadavg: 7.37 5.53 4.67 3/179 27032
/proc/meminfo: memFree=24251920/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=775752 CPUtime=12.69 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 210970 0 0 0 1226 43 0 0 20 0 1 0 391099728 794370048 120849 33554432000 134512640 146736320 4289404400 4289398588 136017757 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 193938 120849 834 2985 0 190872 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 784900
[startup+25.5003 s]
/proc/loadavg: 6.18 5.36 4.62 3/179 27032
/proc/meminfo: memFree=24020536/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=775752 CPUtime=25.49 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 279956 0 0 0 2492 57 0 0 20 0 1 0 391099728 794370048 120852 33554432000 134512640 146736320 4289404400 4289398588 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 193938 120852 834 2985 0 190872 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 784900
[startup+51.1004 s]
/proc/loadavg: 4.75 5.09 4.55 3/179 27032
/proc/meminfo: memFree=23437740/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=777796 CPUtime=51.08 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 374895 0 0 0 5031 77 0 0 20 0 1 0 391099728 796463104 121299 33554432000 134512640 146736320 4289404400 4289398588 136017474 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 194449 121299 835 2985 0 191383 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 786944
[startup+102.307 s]
/proc/loadavg: 3.19 4.61 4.42 3/180 27035
/proc/meminfo: memFree=23767812/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=583312 CPUtime=102.28 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 554554 0 0 0 10109 119 0 0 20 0 1 0 391099728 597311488 83675 33554432000 134512640 146736320 4289404400 4289398604 136017748 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 145828 83675 840 2985 0 142762 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 592460
[startup+162.3 s]
/proc/loadavg: 2.44 4.13 4.26 3/179 27035
/proc/meminfo: memFree=23575716/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=791660 CPUtime=162.26 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 887924 0 0 0 16034 192 0 0 20 0 1 0 391099728 810659840 127399 33554432000 134512640 146736320 4289404400 4289398588 136017474 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 197915 127399 842 2985 0 194849 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 800808
[startup+222.3 s]
/proc/loadavg: 2.20 3.76 4.12 3/178 27035
/proc/meminfo: memFree=23710844/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=597504 CPUtime=222.25 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 918994 0 0 0 22024 201 0 0 20 0 1 0 391099728 611844096 88344 33554432000 134512640 146736320 4289404400 4289398608 136403116 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 149376 88344 844 2985 0 146310 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 606652
[startup+282.3 s]
/proc/loadavg: 2.07 3.43 3.99 3/179 27037
/proc/meminfo: memFree=23686884/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=601272 CPUtime=282.24 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 921586 0 0 0 28022 202 0 0 20 0 1 0 391099728 615702528 89908 33554432000 134512640 146736320 4289404400 4289397908 136017474 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 150318 89908 844 2985 0 147252 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 610420
[startup+342.3 s]
/proc/loadavg: 2.02 3.17 3.86 3/179 27037
/proc/meminfo: memFree=23674384/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=603396 CPUtime=342.23 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 923924 0 0 0 34019 204 0 0 20 0 1 0 391099728 617877504 92365 33554432000 134512640 146736320 4289404400 4289398220 136017748 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 150849 92365 844 2985 0 147783 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 612544
[startup+402.3 s]
/proc/loadavg: 2.05 2.97 3.75 3/179 27037
/proc/meminfo: memFree=23666240/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.60 3/179 27069
/proc/meminfo: memFree=23577296/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=615152 CPUtime=1362.07 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 974093 0 0 0 135978 229 0 0 20 0 1 0 391099728 629915648 95794 33554432000 134512640 146736320 4289404400 4289398088 139043573 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 153788 95794 844 2985 0 150722 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 624300
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.55 3/179 27069
/proc/meminfo: memFree=23576800/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=615336 CPUtime=1422.08 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 977406 0 0 0 141977 231 0 0 20 0 1 0 391099728 630104064 95858 33554432000 134512640 146736320 4289404400 4289398220 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 153834 95858 844 2985 0 150768 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 624484
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.52 3/179 27070
/proc/meminfo: memFree=23573636/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=615816 CPUtime=1482.06 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 980456 0 0 0 147974 232 0 0 20 0 1 0 391099728 630595584 95995 33554432000 134512640 146736320 4289404400 4289398128 136384892 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 153954 95995 844 2985 0 150888 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 624964
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.48 3/179 27070
/proc/meminfo: memFree=23570996/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=616044 CPUtime=1542.05 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 983470 0 0 0 153971 234 0 0 20 0 1 0 391099728 630829056 96090 33554432000 134512640 146736320 4289404400 4289397908 136017493 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 154011 96090 844 2985 0 150945 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 625192
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.45 3/179 27070
/proc/meminfo: memFree=23568064/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=616136 CPUtime=1602.04 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 986444 0 0 0 159969 235 0 0 20 0 1 0 391099728 630923264 96126 33554432000 134512640 146736320 4289404400 4289397908 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 154034 96126 844 2985 0 150968 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 625284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.42 3/179 27070
/proc/meminfo: memFree=23563024/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=616540 CPUtime=1662.03 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 989517 0 0 0 165967 236 0 0 20 0 1 0 391099728 631336960 96233 33554432000 134512640 146736320 4289404400 4289397908 136017519 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 154135 96233 844 2985 0 151069 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 625688
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.39 3/179 27070
/proc/meminfo: memFree=23561276/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=616672 CPUtime=1722.03 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 992121 0 0 0 171965 238 0 0 20 0 1 0 391099728 631472128 96311 33554432000 134512640 146736320 4289404400 4289397908 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 154168 96311 844 2985 0 151102 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 625820
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.36 3/179 27071
/proc/meminfo: memFree=23553680/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=616796 CPUtime=1782.01 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 995111 0 0 0 177962 239 0 0 20 0 1 0 391099728 631599104 97564 33554432000 134512640 146736320 4289404400 4289398608 136403112 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 154199 97564 844 2985 0 151133 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 625944
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.36 3/179 27071
/proc/meminfo: memFree=23553732/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=616796 CPUtime=1791.61 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 995540 0 0 0 178922 239 0 0 20 0 1 0 391099728 631599104 97564 33554432000 134512640 146736320 4289404400 4289398220 136017755 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 154199 97564 844 2985 0 151133 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 625944
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.36 3/179 27071
/proc/meminfo: memFree=23553732/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=616808 CPUtime=1794.81 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 995973 0 0 0 179242 239 0 0 20 0 1 0 391099728 631611392 97567 33554432000 134512640 146736320 4289404400 4289397908 136017769 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 154202 97567 844 2985 0 151136 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 625956
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.35 3/179 27071
/proc/meminfo: memFree=23553732/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=616808 CPUtime=1796.41 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 995973 0 0 0 179402 239 0 0 20 0 1 0 391099728 631611392 97567 33554432000 134512640 146736320 4289404400 4289397908 136017481 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 154202 97567 844 2985 0 151136 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 625956
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.35 3/179 27071
/proc/meminfo: memFree=23553356/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=616808 CPUtime=1798.01 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 995973 0 0 0 179562 239 0 0 20 0 1 0 391099728 631611392 97612 33554432000 134512640 146736320 4289404400 4289397908 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 154202 97612 844 2985 0 151136 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 625956
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.35 3/179 27071
/proc/meminfo: memFree=23553480/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=616808 CPUtime=1798.81 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 995973 0 0 0 179642 239 0 0 20 0 1 0 391099728 631611392 97612 33554432000 134512640 146736320 4289404400 4289398220 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 154202 97612 844 2985 0 151136 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 625956
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.35 3/179 27071
/proc/meminfo: memFree=23553480/32873844 swapFree=7896/7896
[pid=26981] ppid=26979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (run) S 26979 26981 25626 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391099728 9367552 270 33554432000 4194304 5064252 140736087919824 140736087918736 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26981/statm: 2287 270 229 213 0 72 0
[pid=26982] ppid=26981 vsize=525084 CPUtime=1799.22 cores=0,2,4,6
/proc/26982/stat : 26982 (pb_cplex) R 26981 26981 25626 0 -1 4202496 996408 0 0 0 179682 240 0 0 20 0 1 0 391099728 537686016 80909 33554432000 134512640 146736320 4289404400 4289402000 144797937 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26982/statm: 131040 80909 844 2985 0 127974 0
Current children cumulated CPU time (s) 1799.22
Current children cumulated vsize (KiB) 534232
Child status: 0
Real time (s): 1799.53
CPU time (s): 1799.25
CPU user time (s): 1796.84
CPU system time (s): 2.41563
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 852992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.84
system time used= 2.41563
maximum resident set size= 549920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 996791
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= 17
involuntary context switches= 1854
runsolver used 4.79327 second user time and 12.6321 second system time
The end