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-3732588-1339247359/watcher-3732588-1339247359 -o /tmp/evaluation-result-3732588-1339247359/solver-3732588-1339247359 -C 1800 -W 1900 -M 15500 run HOME/instance-3732588-1339247359.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: 13.52 10.28 5.21 3/184 18164
/proc/meminfo: memFree=26630032/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
[startup+0.016258 s]
/proc/loadavg: 13.52 10.28 5.21 3/184 18164
/proc/meminfo: memFree=26630032/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100255 s]
/proc/loadavg: 13.52 10.28 5.21 3/184 18164
/proc/meminfo: memFree=26630032/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300226 s]
/proc/loadavg: 13.52 10.28 5.21 3/184 18164
/proc/meminfo: memFree=26630032/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700174 s]
/proc/loadavg: 13.52 10.28 5.21 3/184 18164
/proc/meminfo: memFree=26630032/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 13.52 10.28 5.21 16/193 18173
/proc/meminfo: memFree=26615708/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
[pid=18165] ppid=18164 vsize=105172 CPUtime=2.86 cores=1,3,5,7
/proc/18165/stat : 18165 (pb_cplex) S 18164 18164 17869 0 -1 4202496 6088 0 0 0 283 3 0 0 20 0 8 0 390860443 107696128 4804 33554432000 134512640 146736320 4291427600 4291423952 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18165/statm: 26293 4804 939 2985 0 23227 0
[pid=18165/tid=18167] ppid=18164 vsize=105172 CPUtime=0.23 cores=1,3,5,7
/proc/18165/task/18167/stat : 18167 (pb_cplex) S 18164 18164 17869 0 -1 4202560 224 0 0 0 23 0 0 0 20 0 8 0 390860510 107696128 4804 33554432000 134512640 146736320 4291427600 4151152272 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18168] ppid=18164 vsize=105172 CPUtime=0.35 cores=1,3,5,7
/proc/18165/task/18168/stat : 18168 (pb_cplex) S 18164 18164 17869 0 -1 4202560 229 0 0 0 35 0 0 0 20 0 8 0 390860510 107696128 4804 33554432000 134512640 146736320 4291427600 4140666512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18169] ppid=18164 vsize=105172 CPUtime=0.14 cores=1,3,5,7
/proc/18165/task/18169/stat : 18169 (pb_cplex) S 18164 18164 17869 0 -1 4202560 260 0 0 0 14 0 0 0 20 0 8 0 390860510 107696128 4804 33554432000 134512640 146736320 4291427600 4130180752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18170] ppid=18164 vsize=105172 CPUtime=0.39 cores=1,3,5,7
/proc/18165/task/18170/stat : 18170 (pb_cplex) R 18164 18164 17869 0 -1 4202560 244 0 0 0 39 0 0 0 20 0 8 0 390860510 107696128 4804 33554432000 134512640 146736320 4291427600 4119692264 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18171] ppid=18164 vsize=105172 CPUtime=0.19 cores=1,3,5,7
/proc/18165/task/18171/stat : 18171 (pb_cplex) S 18164 18164 17869 0 -1 4202560 204 0 0 0 19 0 0 0 20 0 8 0 390860510 107696128 4804 33554432000 134512640 146736320 4291427600 4109209232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18172] ppid=18164 vsize=105172 CPUtime=0.22 cores=1,3,5,7
/proc/18165/task/18172/stat : 18172 (pb_cplex) S 18164 18164 17869 0 -1 4202560 272 0 0 0 22 0 0 0 20 0 8 0 390860510 107696128 4804 33554432000 134512640 146736320 4291427600 4098723472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18165/tid=18173] ppid=18164 vsize=105172 CPUtime=0.04 cores=1,3,5,7
/proc/18165/task/18173/stat : 18173 (pb_cplex) S 18164 18164 17869 0 -1 4202560 201 0 0 0 4 0 0 0 20 0 8 0 390860510 107696128 4804 33554432000 134512640 146736320 4291427600 4088237712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 114320
[startup+3.10027 s]
/proc/loadavg: 13.52 10.28 5.21 14/193 18173
/proc/meminfo: memFree=26611244/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
[pid=18165] ppid=18164 vsize=70536 CPUtime=7.38 cores=1,3,5,7
/proc/18165/stat : 18165 (pb_cplex) R 18164 18164 17869 0 -1 4202496 8729 0 0 0 730 8 0 0 20 0 1 0 390860443 72228864 3862 33554432000 134512640 146736320 4291427600 4291421832 137707910 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18165/statm: 17634 3862 949 2985 0 14568 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 79684
[startup+6.30041 s]
/proc/loadavg: 13.24 10.28 5.24 16/193 18187
/proc/meminfo: memFree=26600060/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
[pid=18165] ppid=18164 vsize=122096 CPUtime=15.69 cores=1,3,5,7
/proc/18165/stat : 18165 (pb_cplex) S 18164 18164 17869 0 -1 4202496 17079 0 0 0 1548 21 0 0 20 0 8 0 390860443 125026304 8403 33554432000 134512640 146736320 4291427600 4291423952 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18165/statm: 30524 8403 961 2985 0 27458 0
[pid=18165/tid=18181] ppid=18164 vsize=122096 CPUtime=0.84 cores=1,3,5,7
/proc/18165/task/18181/stat : 18181 (pb_cplex) R 18164 18164 17869 0 -1 4202560 216 0 0 0 84 0 0 0 20 0 8 0 390860795 125026304 8403 33554432000 134512640 146736320 4291427600 4130816048 136384846 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18182] ppid=18164 vsize=122096 CPUtime=0.82 cores=1,3,5,7
/proc/18165/task/18182/stat : 18182 (pb_cplex) R 18164 18164 17869 0 -1 4202560 49 0 0 0 82 0 0 0 20 0 8 0 390860795 125026304 8403 33554432000 134512640 146736320 4291427600 4141301968 136008299 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18183] ppid=18164 vsize=122096 CPUtime=0.75 cores=1,3,5,7
/proc/18165/task/18183/stat : 18183 (pb_cplex) R 18164 18164 17869 0 -1 4202560 472 0 0 0 75 0 0 0 20 0 8 0 390860795 125026304 8403 33554432000 134512640 146736320 4291427600 4151787728 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18184] ppid=18164 vsize=122096 CPUtime=0.81 cores=1,3,5,7
/proc/18165/task/18184/stat : 18184 (pb_cplex) R 18164 18164 17869 0 -1 4202560 99 0 0 0 81 0 0 0 20 0 8 0 390860795 125026304 8403 33554432000 134512640 146736320 4291427600 4119692264 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18185] ppid=18164 vsize=122096 CPUtime=0.8 cores=1,3,5,7
/proc/18165/task/18185/stat : 18185 (pb_cplex) R 18164 18164 17869 0 -1 4202560 395 0 0 0 80 0 0 0 20 0 8 0 390860795 125026304 8403 33554432000 134512640 146736320 4291427600 4095819984 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18165/tid=18186] ppid=18164 vsize=122096 CPUtime=0.71 cores=1,3,5,7
/proc/18165/task/18186/stat : 18186 (pb_cplex) R 18164 18164 17869 0 -1 4202560 698 0 0 0 71 0 0 0 20 0 8 0 390860795 125026304 8403 33554432000 134512640 146736320 4291427600 4069516264 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18187] ppid=18164 vsize=122096 CPUtime=0.75 cores=1,3,5,7
/proc/18165/task/18187/stat : 18187 (pb_cplex) R 18164 18164 17869 0 -1 4202560 114 0 0 0 75 0 0 0 20 0 8 0 390860795 125026304 8403 33554432000 134512640 146736320 4291427600 4059029672 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 15.69
Current children cumulated vsize (KiB) 131244
[startup+12.7004 s]
/proc/loadavg: 13.38 10.36 5.29 17/193 18187
/proc/meminfo: memFree=26597156/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
[pid=18165] ppid=18164 vsize=125168 CPUtime=37.88 cores=1,3,5,7
/proc/18165/stat : 18165 (pb_cplex) R 18164 18164 17869 0 -1 4202496 18723 0 0 0 3755 33 0 0 20 0 8 0 390860443 128172032 8971 33554432000 134512640 146736320 4291427600 4291420432 136008050 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18165/statm: 31292 8971 961 2985 0 28226 0
[pid=18165/tid=18181] ppid=18164 vsize=125168 CPUtime=3.6 cores=1,3,5,7
/proc/18165/task/18181/stat : 18181 (pb_cplex) R 18164 18164 17869 0 -1 4202560 218 0 0 0 357 3 0 0 20 0 8 0 390860795 128172032 8971 33554432000 134512640 146736320 4291427600 4130816392 136388084 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18182] ppid=18164 vsize=125168 CPUtime=3.51 cores=1,3,5,7
/proc/18165/task/18182/stat : 18182 (pb_cplex) R 18164 18164 17869 0 -1 4202560 208 0 0 0 349 2 0 0 20 0 8 0 390860795 128172032 8971 33554432000 134512640 146736320 4291427600 4141301968 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18183] ppid=18164 vsize=125168 CPUtime=3.6 cores=1,3,5,7
/proc/18165/task/18183/stat : 18183 (pb_cplex) R 18164 18164 17869 0 -1 4202560 511 0 0 0 358 2 0 0 20 0 8 0 390860795 128172032 8971 33554432000 134512640 146736320 4291427600 4151787728 136008356 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18184] ppid=18164 vsize=125168 CPUtime=3.53 cores=1,3,5,7
/proc/18165/task/18184/stat : 18184 (pb_cplex) R 18164 18164 17869 0 -1 4202560 109 0 0 0 351 2 0 0 20 0 8 0 390860795 128172032 8971 33554432000 134512640 146736320 4291427600 4119691472 136007973 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18185] ppid=18164 vsize=125168 CPUtime=3.56 cores=1,3,5,7
/proc/18165/task/18185/stat : 18185 (pb_cplex) R 18164 18164 17869 0 -1 4202560 772 0 0 0 354 2 0 0 20 0 8 0 390860795 128172032 8971 33554432000 134512640 146736320 4291427600 4095820776 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18186] ppid=18164 vsize=125168 CPUtime=3.39 cores=1,3,5,7
/proc/18165/task/18186/stat : 18186 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1299 0 0 0 338 1 0 0 20 0 8 0 390860795 128172032 8971 33554432000 134512640 146736320 4291427600 4069515472 136008168 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18187] ppid=18164 vsize=125168 CPUtime=3.53 cores=1,3,5,7
/proc/18165/task/18187/stat : 18187 (pb_cplex) R 18164 18164 17869 0 -1 4202560 342 0 0 0 352 1 0 0 20 0 8 0 390860795 128172032 8971 33554432000 134512640 146736320 4291427600 4059029712 136008438 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 37.88
Current children cumulated vsize (KiB) 134316
[startup+25.5004 s]
/proc/loadavg: 13.15 10.45 5.40 10/193 18187
/proc/meminfo: memFree=26592732/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
[pid=18165] ppid=18164 vsize=128904 CPUtime=68.25 cores=1,3,5,7
/proc/18165/stat : 18165 (pb_cplex) R 18164 18164 17869 0 -1 4202496 25465 0 0 0 6780 45 0 0 20 0 8 0 390860443 131997696 9857 33554432000 134512640 146736320 4291427600 4291419392 135468528 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18165/statm: 32226 9857 964 2985 0 29160 0
[pid=18165/tid=18181] ppid=18164 vsize=128904 CPUtime=7.37 cores=1,3,5,7
/proc/18165/task/18181/stat : 18181 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1667 0 0 0 732 5 0 0 20 0 8 0 390860795 131997696 9857 33554432000 134512640 146736320 4291427600 4130816040 139044557 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18182] ppid=18164 vsize=128904 CPUtime=7.26 cores=1,3,5,7
/proc/18165/task/18182/stat : 18182 (pb_cplex) R 18164 18164 17869 0 -1 4202560 215 0 0 0 723 3 0 0 20 0 8 0 390860795 131997696 9857 33554432000 134512640 146736320 4291427600 4141302352 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18183] ppid=18164 vsize=128904 CPUtime=7.34 cores=1,3,5,7
/proc/18165/task/18183/stat : 18183 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1215 0 0 0 730 4 0 0 20 0 8 0 390860795 131997696 9857 33554432000 134512640 146736320 4291427600 4151788520 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18165/tid=18184] ppid=18164 vsize=128904 CPUtime=7.33 cores=1,3,5,7
/proc/18165/task/18184/stat : 18184 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1800 0 0 0 730 3 0 0 20 0 8 0 390860795 131997696 9857 33554432000 134512640 146736320 4291427600 4119691336 139042890 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18185] ppid=18164 vsize=128904 CPUtime=7.34 cores=1,3,5,7
/proc/18165/task/18185/stat : 18185 (pb_cplex) R 18164 18164 17869 0 -1 4202560 2540 0 0 0 731 3 0 0 20 0 8 0 390860795 131997696 9857 33554432000 134512640 146736320 4291427600 4095819992 136008647 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18165/tid=18186] ppid=18164 vsize=128904 CPUtime=7.21 cores=1,3,5,7
/proc/18165/task/18186/stat : 18186 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1666 0 0 0 718 3 0 0 20 0 8 0 390860795 131997696 9857 33554432000 134512640 146736320 4291427600 4069514364 135446502 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18187] ppid=18164 vsize=128904 CPUtime=7.29 cores=1,3,5,7
/proc/18165/task/18187/stat : 18187 (pb_cplex) R 18164 18164 17869 0 -1 4202560 890 0 0 0 726 3 0 0 20 0 8 0 390860795 131997696 9857 33554432000 134512640 146736320 4291427600 4059029960 136001705 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 68.25
Current children cumulated vsize (KiB) 138052
Solver just ended. Dumping a history of the last processes samples
[startup+28.7004 s]
/proc/loadavg: 12.82 10.43 5.42 16/193 18187
/proc/meminfo: memFree=26593600/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
[pid=18165] ppid=18164 vsize=126856 CPUtime=79.16 cores=1,3,5,7
/proc/18165/stat : 18165 (pb_cplex) S 18164 18164 17869 0 -1 4202496 25545 0 0 0 7864 52 0 0 20 0 8 0 390860443 129900544 9551 33554432000 134512640 146736320 4291427600 4291423952 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18165/statm: 31714 9551 964 2985 0 28648 0
[pid=18165/tid=18181] ppid=18164 vsize=126856 CPUtime=8.71 cores=1,3,5,7
/proc/18165/task/18181/stat : 18181 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1667 0 0 0 865 6 0 0 20 0 8 0 390860795 129900544 9551 33554432000 134512640 146736320 4291427600 4130816208 136008450 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18182] ppid=18164 vsize=126856 CPUtime=8.64 cores=1,3,5,7
/proc/18165/task/18182/stat : 18182 (pb_cplex) R 18164 18164 17869 0 -1 4202560 215 0 0 0 859 5 0 0 20 0 8 0 390860795 129900544 9551 33554432000 134512640 146736320 4291427600 4141302352 136403112 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18183] ppid=18164 vsize=126856 CPUtime=8.69 cores=1,3,5,7
/proc/18165/task/18183/stat : 18183 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1292 0 0 0 864 5 0 0 20 0 8 0 390860795 129900544 9551 33554432000 134512640 146736320 4291427600 4151788112 136403116 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18165/tid=18184] ppid=18164 vsize=126856 CPUtime=8.71 cores=1,3,5,7
/proc/18165/task/18184/stat : 18184 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1801 0 0 0 867 4 0 0 20 0 8 0 390860795 129900544 9551 33554432000 134512640 146736320 4291427600 4119691844 136382505 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18185] ppid=18164 vsize=126856 CPUtime=8.71 cores=1,3,5,7
/proc/18165/task/18185/stat : 18185 (pb_cplex) R 18164 18164 17869 0 -1 4202560 2540 0 0 0 867 4 0 0 20 0 8 0 390860795 129900544 9551 33554432000 134512640 146736320 4291427600 4095820368 136403103 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18186] ppid=18164 vsize=126856 CPUtime=8.53 cores=1,3,5,7
/proc/18165/task/18186/stat : 18186 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1666 0 0 0 850 3 0 0 20 0 8 0 390860795 129900544 9551 33554432000 134512640 146736320 4291427600 4069515856 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18165/tid=18187] ppid=18164 vsize=126856 CPUtime=8.63 cores=1,3,5,7
/proc/18165/task/18187/stat : 18187 (pb_cplex) R 18164 18164 17869 0 -1 4202560 890 0 0 0 859 4 0 0 20 0 8 0 390860795 129900544 9551 33554432000 134512640 146736320 4291427600 4059028596 135450621 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 79.16
Current children cumulated vsize (KiB) 136004
[startup+30.3004 s]
/proc/loadavg: 12.82 10.43 5.42 13/193 18187
/proc/meminfo: memFree=26593600/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
[pid=18165] ppid=18164 vsize=126856 CPUtime=84.87 cores=1,3,5,7
/proc/18165/stat : 18165 (pb_cplex) R 18164 18164 17869 0 -1 4202496 25547 0 0 0 8432 55 0 0 20 0 8 0 390860443 129900544 9553 33554432000 134512640 146736320 4291427600 4291420432 136007888 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18165/statm: 31714 9553 964 2985 0 28648 0
[pid=18165/tid=18181] ppid=18164 vsize=126856 CPUtime=9.49 cores=1,3,5,7
/proc/18165/task/18181/stat : 18181 (pb_cplex) S 18164 18164 17869 0 -1 4202560 1667 0 0 0 943 6 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4130819728 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18165/tid=18182] ppid=18164 vsize=126856 CPUtime=9.36 cores=1,3,5,7
/proc/18165/task/18182/stat : 18182 (pb_cplex) R 18164 18164 17869 0 -1 4202560 215 0 0 0 931 5 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4141302352 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18183] ppid=18164 vsize=126856 CPUtime=9.39 cores=1,3,5,7
/proc/18165/task/18183/stat : 18183 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1292 0 0 0 934 5 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4151787568 136384846 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18184] ppid=18164 vsize=126856 CPUtime=9.44 cores=1,3,5,7
/proc/18165/task/18184/stat : 18184 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1802 0 0 0 940 4 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4119691472 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18185] ppid=18164 vsize=126856 CPUtime=9.41 cores=1,3,5,7
/proc/18165/task/18185/stat : 18185 (pb_cplex) R 18164 18164 17869 0 -1 4202560 2540 0 0 0 937 4 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4095821336 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18186] ppid=18164 vsize=126856 CPUtime=9.22 cores=1,3,5,7
/proc/18165/task/18186/stat : 18186 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1666 0 0 0 919 3 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4069515904 139048121 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18187] ppid=18164 vsize=126856 CPUtime=9.32 cores=1,3,5,7
/proc/18165/task/18187/stat : 18187 (pb_cplex) R 18164 18164 17869 0 -1 4202560 890 0 0 0 927 5 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4059030504 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 84.87
Current children cumulated vsize (KiB) 136004
[startup+31.1004 s]
/proc/loadavg: 12.82 10.43 5.42 16/193 18187
/proc/meminfo: memFree=26593600/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
[pid=18165] ppid=18164 vsize=126856 CPUtime=87.55 cores=1,3,5,7
/proc/18165/stat : 18165 (pb_cplex) S 18164 18164 17869 0 -1 4202496 25547 0 0 0 8699 56 0 0 20 0 8 0 390860443 129900544 9553 33554432000 134512640 146736320 4291427600 4291423952 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18165/statm: 31714 9553 964 2985 0 28648 0
[pid=18165/tid=18181] ppid=18164 vsize=126856 CPUtime=9.75 cores=1,3,5,7
/proc/18165/task/18181/stat : 18181 (pb_cplex) S 18164 18164 17869 0 -1 4202560 1667 0 0 0 969 6 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4130819728 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18182] ppid=18164 vsize=126856 CPUtime=9.69 cores=1,3,5,7
/proc/18165/task/18182/stat : 18182 (pb_cplex) S 18164 18164 17869 0 -1 4202560 215 0 0 0 964 5 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4141305488 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18183] ppid=18164 vsize=126856 CPUtime=9.73 cores=1,3,5,7
/proc/18165/task/18183/stat : 18183 (pb_cplex) S 18164 18164 17869 0 -1 4202560 1292 0 0 0 968 5 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4151791248 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18184] ppid=18164 vsize=126856 CPUtime=9.79 cores=1,3,5,7
/proc/18165/task/18184/stat : 18184 (pb_cplex) S 18164 18164 17869 0 -1 4202560 1802 0 0 0 975 4 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4119694992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18185] ppid=18164 vsize=126856 CPUtime=9.75 cores=1,3,5,7
/proc/18165/task/18185/stat : 18185 (pb_cplex) S 18164 18164 17869 0 -1 4202560 2540 0 0 0 971 4 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4095823504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18186] ppid=18164 vsize=126856 CPUtime=9.54 cores=1,3,5,7
/proc/18165/task/18186/stat : 18186 (pb_cplex) S 18164 18164 17869 0 -1 4202560 1666 0 0 0 950 4 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18165/tid=18187] ppid=18164 vsize=126856 CPUtime=9.68 cores=1,3,5,7
/proc/18165/task/18187/stat : 18187 (pb_cplex) R 18164 18164 17869 0 -1 4202560 890 0 0 0 963 5 0 0 20 0 8 0 390860795 129900544 9553 33554432000 134512640 146736320 4291427600 4059029712 136008056 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 87.55
Current children cumulated vsize (KiB) 136004
[startup+31.5004 s]
/proc/loadavg: 12.82 10.43 5.42 16/193 18187
/proc/meminfo: memFree=26593600/32873648 swapFree=7388/7388
[pid=18164] ppid=18162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (run) S 18162 18164 17869 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390860443 9367552 270 33554432000 4194304 5064252 140736836543856 140736836542768 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 2287 270 229 213 0 72 0
[pid=18165] ppid=18164 vsize=126856 CPUtime=88.85 cores=1,3,5,7
/proc/18165/stat : 18165 (pb_cplex) R 18164 18164 17869 0 -1 4202496 25547 0 0 0 8828 57 0 0 20 0 8 0 390860443 129900544 9495 33554432000 134512640 146736320 4291427600 4291421224 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18165/statm: 31714 9495 964 2985 0 28648 0
[pid=18165/tid=18181] ppid=18164 vsize=126856 CPUtime=9.88 cores=1,3,5,7
/proc/18165/task/18181/stat : 18181 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1667 0 0 0 982 6 0 0 20 0 8 0 390860795 129900544 9495 33554432000 134512640 146736320 4291427600 4130819756 144580332 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18182] ppid=18164 vsize=126856 CPUtime=9.86 cores=1,3,5,7
/proc/18165/task/18182/stat : 18182 (pb_cplex) R 18164 18164 17869 0 -1 4202560 215 0 0 0 981 5 0 0 20 0 8 0 390860795 129900544 9495 33554432000 134512640 146736320 4291427600 4141302760 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18165/tid=18183] ppid=18164 vsize=126856 CPUtime=9.83 cores=1,3,5,7
/proc/18165/task/18183/stat : 18183 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1292 0 0 0 978 5 0 0 20 0 8 0 390860795 129900544 9495 33554432000 134512640 146736320 4291427600 4151789964 137015996 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18165/tid=18184] ppid=18164 vsize=126856 CPUtime=9.95 cores=1,3,5,7
/proc/18165/task/18184/stat : 18184 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1802 0 0 0 991 4 0 0 20 0 8 0 390860795 129900544 9495 33554432000 134512640 146736320 4291427600 4119691472 136008178 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18185] ppid=18164 vsize=126856 CPUtime=9.92 cores=1,3,5,7
/proc/18165/task/18185/stat : 18185 (pb_cplex) R 18164 18164 17869 0 -1 4202560 2540 0 0 0 987 5 0 0 20 0 8 0 390860795 129900544 9495 33554432000 134512640 146736320 4291427600 4095820400 136385265 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=18165/tid=18186] ppid=18164 vsize=126856 CPUtime=9.71 cores=1,3,5,7
/proc/18165/task/18186/stat : 18186 (pb_cplex) R 18164 18164 17869 0 -1 4202560 1666 0 0 0 967 4 0 0 20 0 8 0 390860795 129900544 9495 33554432000 134512640 146736320 4291427600 4069515472 136008044 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18165/tid=18187] ppid=18164 vsize=126856 CPUtime=9.87 cores=1,3,5,7
/proc/18165/task/18187/stat : 18187 (pb_cplex) R 18164 18164 17869 0 -1 4202560 890 0 0 0 982 5 0 0 20 0 8 0 390860795 129900544 9495 33554432000 134512640 146736320 4291427600 4059031064 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 88.85
Current children cumulated vsize (KiB) 136004
Child status: 0
Real time (s): 31.5662
CPU time (s): 88.9985
CPU user time (s): 88.3586
CPU system time (s): 0.639902
CPU usage (%): 281.942
Max. virtual memory (cumulated for all children) (KiB): 139904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.3586
system time used= 0.639902
maximum resident set size= 41356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25934
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= 12277
involuntary context switches= 5513
runsolver used 0.069989 second user time and 0.216967 second system time
The end