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-3741526-1339250495/watcher-3741526-1339250495 -o /tmp/evaluation-result-3741526-1339250495/solver-3741526-1339250495 -C 1800 -W 1900 -M 15500 run HOME/instance-3741526-1339250495.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: 3.70 2.46 2.51 3/176 29509
/proc/meminfo: memFree=29627228/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[startup+0.0826731 s]
/proc/loadavg: 3.70 2.46 2.51 3/176 29509
/proc/meminfo: memFree=29627228/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100299 s]
/proc/loadavg: 3.70 2.46 2.51 3/176 29509
/proc/meminfo: memFree=29627228/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 3.70 2.46 2.51 3/176 29509
/proc/meminfo: memFree=29627228/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700139 s]
/proc/loadavg: 3.70 2.46 2.51 3/176 29509
/proc/meminfo: memFree=29627228/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 3.70 2.46 2.51 10/185 29518
/proc/meminfo: memFree=29585500/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=140512 CPUtime=3.81 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) R 29509 29509 26837 0 -1 4202496 18047 0 0 0 352 29 0 0 20 0 8 0 391178094 143884288 13027 33554432000 134512640 146736320 4293927968 4293920792 136007627 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29510/statm: 35128 13027 949 2985 0 32062 0
[pid=29510/tid=29512] ppid=29509 vsize=140512 CPUtime=0.39 cores=1,3,5,7
/proc/29510/task/29512/stat : 29512 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1015 0 0 0 35 4 0 0 20 0 8 0 391178144 143884288 13027 33554432000 134512640 146736320 4293927968 4148658632 136000315 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29513] ppid=29509 vsize=140512 CPUtime=0.4 cores=1,3,5,7
/proc/29510/task/29513/stat : 29513 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1195 0 0 0 36 4 0 0 20 0 8 0 391178144 143884288 13027 33554432000 134512640 146736320 4293927968 4138173416 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29514] ppid=29509 vsize=140512 CPUtime=0.41 cores=1,3,5,7
/proc/29510/task/29514/stat : 29514 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1216 0 0 0 38 3 0 0 20 0 8 0 391178144 143884288 13027 33554432000 134512640 146736320 4293927968 4127687656 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29515] ppid=29509 vsize=140512 CPUtime=0.41 cores=1,3,5,7
/proc/29510/task/29515/stat : 29515 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1701 0 0 0 34 7 0 0 20 0 8 0 391178144 143884288 13027 33554432000 134512640 146736320 4293927968 4117201064 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29510/tid=29516] ppid=29509 vsize=140512 CPUtime=0.37 cores=1,3,5,7
/proc/29510/task/29516/stat : 29516 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1530 0 0 0 35 2 0 0 20 0 8 0 391178144 143884288 13027 33554432000 134512640 146736320 4293927968 4106716136 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29510/tid=29517] ppid=29509 vsize=140512 CPUtime=0.43 cores=1,3,5,7
/proc/29510/task/29517/stat : 29517 (pb_cplex) R 29509 29509 26837 0 -1 4202560 918 0 0 0 43 0 0 0 20 0 8 0 391178144 143884288 13027 33554432000 134512640 146736320 4293927968 4096230376 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29518] ppid=29509 vsize=140512 CPUtime=0.35 cores=1,3,5,7
/proc/29510/task/29518/stat : 29518 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1693 0 0 0 35 0 0 0 20 0 8 0 391178144 143884288 13027 33554432000 134512640 146736320 4293927968 4085745728 136687446 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 149660
[startup+3.10028 s]
/proc/loadavg: 4.04 2.55 2.54 3/178 29518
/proc/meminfo: memFree=29599388/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=85108 CPUtime=6.28 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) R 29509 29509 26837 0 -1 4202496 19581 0 0 0 582 46 0 0 20 0 1 0 391178094 87150592 7699 33554432000 134512640 146736320 4293927968 4293922264 144757825 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29510/statm: 21277 7699 970 2985 0 18211 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 94256
[startup+6.30045 s]
/proc/loadavg: 4.04 2.55 2.54 10/185 29532
/proc/meminfo: memFree=29575052/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=144520 CPUtime=15.59 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) R 29509 29509 26837 0 -1 4202496 36800 0 0 0 1466 93 0 0 20 0 8 0 391178094 147988480 14410 33554432000 134512640 146736320 4293927968 4293921640 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29510/statm: 36130 14410 981 2985 0 33064 0
[pid=29510/tid=29526] ppid=29509 vsize=144520 CPUtime=1.38 cores=1,3,5,7
/proc/29510/task/29526/stat : 29526 (pb_cplex) S 29509 29509 26837 0 -1 4202560 726 0 0 0 136 2 0 0 20 0 8 0 391178447 147988480 14410 33554432000 134512640 146736320 4293927968 4129898128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29527] ppid=29509 vsize=144520 CPUtime=1.38 cores=1,3,5,7
/proc/29510/task/29527/stat : 29527 (pb_cplex) S 29509 29509 26837 0 -1 4202560 2464 0 0 0 134 4 0 0 20 0 8 0 391178447 147988480 14410 33554432000 134512640 146736320 4293927968 4140383888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29528] ppid=29509 vsize=144520 CPUtime=0.65 cores=1,3,5,7
/proc/29510/task/29528/stat : 29528 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1789 0 0 0 62 3 0 0 20 0 8 0 391178447 147988480 14410 33554432000 134512640 146736320 4293927968 4150866920 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29529] ppid=29509 vsize=144520 CPUtime=1.19 cores=1,3,5,7
/proc/29510/task/29529/stat : 29529 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1512 0 0 0 108 11 0 0 20 0 8 0 391178447 147988480 14410 33554432000 134512640 146736320 4293927968 4117201896 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29530] ppid=29509 vsize=144520 CPUtime=0.81 cores=1,3,5,7
/proc/29510/task/29530/stat : 29530 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1615 0 0 0 78 3 0 0 20 0 8 0 391178447 147988480 14410 33554432000 134512640 146736320 4293927968 4106714976 136390100 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29531] ppid=29509 vsize=144520 CPUtime=0.86 cores=1,3,5,7
/proc/29510/task/29531/stat : 29531 (pb_cplex) S 29509 29509 26837 0 -1 4202560 916 0 0 0 83 3 0 0 20 0 8 0 391178447 147988480 14410 33554432000 134512640 146736320 4293927968 4096233104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29532] ppid=29509 vsize=144520 CPUtime=0.73 cores=1,3,5,7
/proc/29510/task/29532/stat : 29532 (pb_cplex) S 29509 29509 26837 0 -1 4202560 1574 0 0 0 61 12 0 0 20 0 8 0 391178447 147988480 14410 33554432000 134512640 146736320 4293927968 4085747344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 15.59
Current children cumulated vsize (KiB) 153668
[startup+12.7004 s]
/proc/loadavg: 4.17 2.63 2.57 3/185 29532
/proc/meminfo: memFree=29572464/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=144956 CPUtime=38.66 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) R 29509 29509 26837 0 -1 4202496 37385 0 0 0 3573 293 0 0 20 0 8 0 391178094 148434944 14589 33554432000 134512640 146736320 4293927968 4293921640 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29510/statm: 36239 14589 981 2985 0 33173 0
[pid=29510/tid=29526] ppid=29509 vsize=144956 CPUtime=4.28 cores=1,3,5,7
/proc/29510/task/29526/stat : 29526 (pb_cplex) R 29509 29509 26837 0 -1 4202560 796 0 0 0 397 31 0 0 20 0 8 0 391178447 148434944 14589 33554432000 134512640 146736320 4293927968 4129895416 136363967 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29527] ppid=29509 vsize=144956 CPUtime=4.29 cores=1,3,5,7
/proc/29510/task/29527/stat : 29527 (pb_cplex) R 29509 29509 26837 0 -1 4202560 2635 0 0 0 400 29 0 0 20 0 8 0 391178447 148434944 14589 33554432000 134512640 146736320 4293927968 4140381160 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29528] ppid=29509 vsize=144956 CPUtime=3.52 cores=1,3,5,7
/proc/29510/task/29528/stat : 29528 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1811 0 0 0 329 23 0 0 20 0 8 0 391178447 148434944 14589 33554432000 134512640 146736320 4293927968 4150866200 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29529] ppid=29509 vsize=144956 CPUtime=4.06 cores=1,3,5,7
/proc/29510/task/29529/stat : 29529 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1520 0 0 0 373 33 0 0 20 0 8 0 391178447 148434944 14589 33554432000 134512640 146736320 4293927968 4117201896 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29530] ppid=29509 vsize=144956 CPUtime=3.66 cores=1,3,5,7
/proc/29510/task/29530/stat : 29530 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1693 0 0 0 326 40 0 0 20 0 8 0 391178447 148434944 14589 33554432000 134512640 146736320 4293927968 4106718864 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29531] ppid=29509 vsize=144956 CPUtime=3.76 cores=1,3,5,7
/proc/29510/task/29531/stat : 29531 (pb_cplex) S 29509 29509 26837 0 -1 4202560 1081 0 0 0 347 29 0 0 20 0 8 0 391178447 148434944 14589 33554432000 134512640 146736320 4293927968 4096233104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29532] ppid=29509 vsize=144956 CPUtime=3.56 cores=1,3,5,7
/proc/29510/task/29532/stat : 29532 (pb_cplex) S 29509 29509 26837 0 -1 4202560 1592 0 0 0 321 35 0 0 20 0 8 0 391178447 148434944 14589 33554432000 134512640 146736320 4293927968 4085747344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 38.66
Current children cumulated vsize (KiB) 154104
[startup+25.5005 s]
/proc/loadavg: 4.36 2.72 2.60 9/185 29539
/proc/meminfo: memFree=29552616/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=164520 CPUtime=83.62 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) R 29509 29509 26837 0 -1 4202496 57091 0 0 0 7688 674 0 0 20 0 8 0 391178094 168468480 19588 33554432000 134512640 146736320 4293927968 4293921640 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29510/statm: 41130 19588 994 2985 0 38064 0
[pid=29510/tid=29533] ppid=29509 vsize=164520 CPUtime=2.47 cores=1,3,5,7
/proc/29510/task/29533/stat : 29533 (pb_cplex) R 29509 29509 26837 0 -1 4202560 75 0 0 0 226 21 0 0 20 0 8 0 391180084 168468480 19588 33554432000 134512640 146736320 4293927968 4085744616 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29534] ppid=29509 vsize=164520 CPUtime=2.54 cores=1,3,5,7
/proc/29510/task/29534/stat : 29534 (pb_cplex) R 29509 29509 26837 0 -1 4202560 318 0 0 0 221 33 0 0 20 0 8 0 391180084 168468480 19588 33554432000 134512640 146736320 4293927968 4096230936 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29510/tid=29535] ppid=29509 vsize=164520 CPUtime=2.45 cores=1,3,5,7
/proc/29510/task/29535/stat : 29535 (pb_cplex) R 29509 29509 26837 0 -1 4202560 459 0 0 0 234 11 0 0 20 0 8 0 391180084 168468480 19588 33554432000 134512640 146736320 4293927968 4106715132 135526863 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29536] ppid=29509 vsize=164520 CPUtime=2.4 cores=1,3,5,7
/proc/29510/task/29536/stat : 29536 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1661 0 0 0 222 18 0 0 20 0 8 0 391180084 168468480 19588 33554432000 134512640 146736320 4293927968 4117201488 136403116 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29537] ppid=29509 vsize=164520 CPUtime=2.4 cores=1,3,5,7
/proc/29510/task/29537/stat : 29537 (pb_cplex) R 29509 29509 26837 0 -1 4202560 91 0 0 0 223 17 0 0 20 0 8 0 391180084 168468480 19588 33554432000 134512640 146736320 4293927968 4140818412 135454093 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29510/tid=29538] ppid=29509 vsize=164520 CPUtime=2.44 cores=1,3,5,7
/proc/29510/task/29538/stat : 29538 (pb_cplex) R 29509 29509 26837 0 -1 4202560 560 0 0 0 224 20 0 0 20 0 8 0 391180084 168468480 19588 33554432000 134512640 146736320 4293927968 4130333264 136403112 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29539] ppid=29509 vsize=164520 CPUtime=2.39 cores=1,3,5,7
/proc/29510/task/29539/stat : 29539 (pb_cplex) R 29509 29509 26837 0 -1 4202560 998 0 0 0 217 22 0 0 20 0 8 0 391180084 168468480 19588 33554432000 134512640 146736320 4293927968 4043301076 135846304 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 83.62
Current children cumulated vsize (KiB) 173668
Solver just ended. Dumping a history of the last processes samples
[startup+38.3004 s]
/proc/loadavg: 4.90 2.93 2.67 8/185 29546
/proc/meminfo: memFree=29550400/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=165544 CPUtime=128.9 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) S 29509 29509 26837 0 -1 4202496 62205 0 0 0 11804 1086 0 0 20 0 8 0 391178094 169517056 20286 33554432000 134512640 146736320 4293927968 4293924368 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29510/statm: 41386 20286 994 2985 0 38320 0
[pid=29510/tid=29540] ppid=29509 vsize=165544 CPUtime=2.46 cores=1,3,5,7
/proc/29510/task/29540/stat : 29540 (pb_cplex) R 29509 29509 26837 0 -1 4202560 2 0 0 0 222 24 0 0 20 0 8 0 391181352 169517056 20286 33554432000 134512640 146736320 4293927968 4043302656 135655993 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29541] ppid=29509 vsize=165544 CPUtime=2.4 cores=1,3,5,7
/proc/29510/task/29541/stat : 29541 (pb_cplex) R 29509 29509 26837 0 -1 4202560 399 0 0 0 219 21 0 0 20 0 8 0 391181352 169517056 20286 33554432000 134512640 146736320 4293927968 4130333672 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29510/tid=29542] ppid=29509 vsize=165544 CPUtime=2.55 cores=1,3,5,7
/proc/29510/task/29542/stat : 29542 (pb_cplex) R 29509 29509 26837 0 -1 4202560 2 0 0 0 229 26 0 0 20 0 8 0 391181352 169517056 20286 33554432000 134512640 146736320 4293927968 4140819432 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29543] ppid=29509 vsize=165544 CPUtime=2.58 cores=1,3,5,7
/proc/29510/task/29543/stat : 29543 (pb_cplex) R 29509 29509 26837 0 -1 4202560 100 0 0 0 239 19 0 0 20 0 8 0 391181352 169517056 20286 33554432000 134512640 146736320 4293927968 4117201568 139023034 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29544] ppid=29509 vsize=165544 CPUtime=2.49 cores=1,3,5,7
/proc/29510/task/29544/stat : 29544 (pb_cplex) R 29509 29509 26837 0 -1 4202560 109 0 0 0 224 25 0 0 20 0 8 0 391181352 169517056 20286 33554432000 134512640 146736320 4293927968 4106714504 135999693 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29545] ppid=29509 vsize=165544 CPUtime=2.57 cores=1,3,5,7
/proc/29510/task/29545/stat : 29545 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1377 0 0 0 231 26 0 0 20 0 8 0 391181352 169517056 20286 33554432000 134512640 146736320 4293927968 4096230376 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29546] ppid=29509 vsize=165544 CPUtime=2.53 cores=1,3,5,7
/proc/29510/task/29546/stat : 29546 (pb_cplex) R 29509 29509 26837 0 -1 4202560 39 0 0 0 222 31 0 0 20 0 8 0 391181352 169517056 20286 33554432000 134512640 146736320 4293927968 4085744616 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 128.9
Current children cumulated vsize (KiB) 174692
[startup+44.7005 s]
/proc/loadavg: 4.91 2.97 2.68 4/185 29546
/proc/meminfo: memFree=29551888/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=164520 CPUtime=151.25 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) R 29509 29509 26837 0 -1 4202496 65033 0 0 0 13813 1312 0 0 20 0 8 0 391178094 168468480 19944 33554432000 134512640 146736320 4293927968 4293921640 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29510/statm: 41130 19944 994 2985 0 38064 0
[pid=29510/tid=29540] ppid=29509 vsize=164520 CPUtime=5.28 cores=1,3,5,7
/proc/29510/task/29540/stat : 29540 (pb_cplex) S 29509 29509 26837 0 -1 4202560 2 0 0 0 482 46 0 0 20 0 8 0 391181352 168468480 19944 33554432000 134512640 146736320 4293927968 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29541] ppid=29509 vsize=164520 CPUtime=5.18 cores=1,3,5,7
/proc/29510/task/29541/stat : 29541 (pb_cplex) R 29509 29509 26837 0 -1 4202560 464 0 0 0 463 55 0 0 20 0 8 0 391181352 168468480 19944 33554432000 134512640 146736320 4293927968 4130333252 136382496 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29542] ppid=29509 vsize=164520 CPUtime=5.41 cores=1,3,5,7
/proc/29510/task/29542/stat : 29542 (pb_cplex) R 29509 29509 26837 0 -1 4202560 366 0 0 0 481 60 0 0 20 0 8 0 391181352 168468480 19944 33554432000 134512640 146736320 4293927968 4140819024 136403117 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29543] ppid=29509 vsize=164520 CPUtime=5.33 cores=1,3,5,7
/proc/29510/task/29543/stat : 29543 (pb_cplex) R 29509 29509 26837 0 -1 4202560 558 0 0 0 490 43 0 0 20 0 8 0 391181352 168468480 19944 33554432000 134512640 146736320 4293927968 4117201896 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29544] ppid=29509 vsize=164520 CPUtime=5.25 cores=1,3,5,7
/proc/29510/task/29544/stat : 29544 (pb_cplex) R 29509 29509 26837 0 -1 4202560 793 0 0 0 471 54 0 0 20 0 8 0 391181352 168468480 19944 33554432000 134512640 146736320 4293927968 4106714952 135526367 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29545] ppid=29509 vsize=164520 CPUtime=5.34 cores=1,3,5,7
/proc/29510/task/29545/stat : 29545 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1377 0 0 0 479 55 0 0 20 0 8 0 391181352 168468480 19944 33554432000 134512640 146736320 4293927968 4096230376 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29546] ppid=29509 vsize=164520 CPUtime=5.4 cores=1,3,5,7
/proc/29510/task/29546/stat : 29546 (pb_cplex) R 29509 29509 26837 0 -1 4202560 39 0 0 0 493 47 0 0 20 0 8 0 391181352 168468480 19944 33554432000 134512640 146736320 4293927968 4085744208 136403116 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 151.25
Current children cumulated vsize (KiB) 173668
[startup+46.3005 s]
/proc/loadavg: 4.91 2.97 2.68 7/185 29546
/proc/meminfo: memFree=29550028/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=165544 CPUtime=156.9 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) R 29509 29509 26837 0 -1 4202496 66674 0 0 0 14326 1364 0 0 20 0 8 0 391178094 169517056 20422 33554432000 134512640 146736320 4293927968 4293920848 136008065 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29510/statm: 41386 20422 994 2985 0 38320 0
[pid=29510/tid=29540] ppid=29509 vsize=165544 CPUtime=5.94 cores=1,3,5,7
/proc/29510/task/29540/stat : 29540 (pb_cplex) R 29509 29509 26837 0 -1 4202560 3 0 0 0 541 53 0 0 20 0 8 0 391181352 169517056 20422 33554432000 134512640 146736320 4293927968 4043301864 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29510/tid=29541] ppid=29509 vsize=165544 CPUtime=5.88 cores=1,3,5,7
/proc/29510/task/29541/stat : 29541 (pb_cplex) R 29509 29509 26837 0 -1 4202560 922 0 0 0 529 59 0 0 20 0 8 0 391181352 169517056 20422 33554432000 134512640 146736320 4293927968 4130333264 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29542] ppid=29509 vsize=165544 CPUtime=6.16 cores=1,3,5,7
/proc/29510/task/29542/stat : 29542 (pb_cplex) R 29509 29509 26837 0 -1 4202560 366 0 0 0 551 65 0 0 20 0 8 0 391181352 169517056 20422 33554432000 134512640 146736320 4293927968 4140818584 136007303 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29543] ppid=29509 vsize=165544 CPUtime=5.99 cores=1,3,5,7
/proc/29510/task/29543/stat : 29543 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1372 0 0 0 552 47 0 0 20 0 8 0 391181352 169517056 20422 33554432000 134512640 146736320 4293927968 4117201896 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29544] ppid=29509 vsize=165544 CPUtime=5.93 cores=1,3,5,7
/proc/29510/task/29544/stat : 29544 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1109 0 0 0 537 56 0 0 20 0 8 0 391181352 169517056 20422 33554432000 134512640 146736320 4293927968 4106716136 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29545] ppid=29509 vsize=165544 CPUtime=6.09 cores=1,3,5,7
/proc/29510/task/29545/stat : 29545 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1397 0 0 0 545 64 0 0 20 0 8 0 391181352 169517056 20422 33554432000 134512640 146736320 4293927968 4096233104 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29546] ppid=29509 vsize=165544 CPUtime=6.11 cores=1,3,5,7
/proc/29510/task/29546/stat : 29546 (pb_cplex) S 29509 29509 26837 0 -1 4202560 71 0 0 0 557 54 0 0 20 0 8 0 391181352 169517056 20422 33554432000 134512640 146736320 4293927968 4085747344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 156.9
Current children cumulated vsize (KiB) 174692
[startup+47.9045 s]
/proc/loadavg: 4.67 2.95 2.68 8/185 29546
/proc/meminfo: memFree=29550152/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=163496 CPUtime=162.4 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) R 29509 29509 26837 0 -1 4202496 66792 0 0 0 14827 1413 0 0 20 0 8 0 391178094 167419904 19832 33554432000 134512640 146736320 4293927968 4293921640 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29510/statm: 40874 19832 994 2985 0 37808 0
[pid=29510/tid=29540] ppid=29509 vsize=163496 CPUtime=6.62 cores=1,3,5,7
/proc/29510/task/29540/stat : 29540 (pb_cplex) R 29509 29509 26837 0 -1 4202560 3 0 0 0 597 65 0 0 20 0 8 0 391181352 167419904 19832 33554432000 134512640 146736320 4293927968 4043304620 144580332 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29510/tid=29541] ppid=29509 vsize=163496 CPUtime=6.58 cores=1,3,5,7
/proc/29510/task/29541/stat : 29541 (pb_cplex) R 29509 29509 26837 0 -1 4202560 925 0 0 0 595 63 0 0 20 0 8 0 391181352 167419904 19832 33554432000 134512640 146736320 4293927968 4130334360 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29510/tid=29542] ppid=29509 vsize=163496 CPUtime=6.84 cores=1,3,5,7
/proc/29510/task/29542/stat : 29542 (pb_cplex) R 29509 29509 26837 0 -1 4202560 366 0 0 0 617 67 0 0 20 0 8 0 391181352 167419904 19832 33554432000 134512640 146736320 4293927968 4140818432 135468544 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29543] ppid=29509 vsize=163496 CPUtime=6.69 cores=1,3,5,7
/proc/29510/task/29543/stat : 29543 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1373 0 0 0 618 51 0 0 20 0 8 0 391181352 167419904 19832 33554432000 134512640 146736320 4293927968 4117202584 139023666 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29544] ppid=29509 vsize=163496 CPUtime=6.63 cores=1,3,5,7
/proc/29510/task/29544/stat : 29544 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1223 0 0 0 601 62 0 0 20 0 8 0 391181352 167419904 19832 33554432000 134512640 146736320 4293927968 4106716136 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29545] ppid=29509 vsize=163496 CPUtime=6.75 cores=1,3,5,7
/proc/29510/task/29545/stat : 29545 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1397 0 0 0 608 67 0 0 20 0 8 0 391181352 167419904 19832 33554432000 134512640 146736320 4293927968 4096233132 144580332 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29546] ppid=29509 vsize=163496 CPUtime=6.8 cores=1,3,5,7
/proc/29510/task/29546/stat : 29546 (pb_cplex) R 29509 29509 26837 0 -1 4202560 71 0 0 0 618 62 0 0 20 0 8 0 391181352 167419904 19832 33554432000 134512640 146736320 4293927968 4085745348 135850466 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 162.4
Current children cumulated vsize (KiB) 172644
[startup+48.7095 s]
/proc/loadavg: 4.67 2.95 2.68 9/185 29546
/proc/meminfo: memFree=29551268/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=164520 CPUtime=164.97 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) R 29509 29509 26837 0 -1 4202496 67664 0 0 0 15057 1440 0 0 20 0 8 0 391178094 168468480 20027 33554432000 134512640 146736320 4293927968 4293922200 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29510/statm: 41130 20027 994 2985 0 38064 0
[pid=29510/tid=29540] ppid=29509 vsize=164520 CPUtime=6.93 cores=1,3,5,7
/proc/29510/task/29540/stat : 29540 (pb_cplex) R 29509 29509 26837 0 -1 4202560 3 0 0 0 623 70 0 0 20 0 8 0 391181352 168468480 20027 33554432000 134512640 146736320 4293927968 4043303320 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29510/tid=29541] ppid=29509 vsize=164520 CPUtime=6.92 cores=1,3,5,7
/proc/29510/task/29541/stat : 29541 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1392 0 0 0 628 64 0 0 20 0 8 0 391181352 168468480 20027 33554432000 134512640 146736320 4293927968 4130332796 135526870 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29510/tid=29542] ppid=29509 vsize=164520 CPUtime=7.15 cores=1,3,5,7
/proc/29510/task/29542/stat : 29542 (pb_cplex) R 29509 29509 26837 0 -1 4202560 366 0 0 0 644 71 0 0 20 0 8 0 391181352 168468480 20027 33554432000 134512640 146736320 4293927968 4140819992 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29510/tid=29543] ppid=29509 vsize=164520 CPUtime=7.04 cores=1,3,5,7
/proc/29510/task/29543/stat : 29543 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1373 0 0 0 652 52 0 0 20 0 8 0 391181352 168468480 20027 33554432000 134512640 146736320 4293927968 4117201488 136403103 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29510/tid=29544] ppid=29509 vsize=164520 CPUtime=6.92 cores=1,3,5,7
/proc/29510/task/29544/stat : 29544 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1628 0 0 0 624 68 0 0 20 0 8 0 391181352 168468480 20027 33554432000 134512640 146736320 4293927968 4106718892 144580332 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29545] ppid=29509 vsize=164520 CPUtime=7.08 cores=1,3,5,7
/proc/29510/task/29545/stat : 29545 (pb_cplex) R 29509 29509 26837 0 -1 4202560 1397 0 0 0 634 74 0 0 20 0 8 0 391181352 168468480 20027 33554432000 134512640 146736320 4293927968 4096229600 139028313 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29510/tid=29546] ppid=29509 vsize=164520 CPUtime=7.16 cores=1,3,5,7
/proc/29510/task/29546/stat : 29546 (pb_cplex) R 29509 29509 26837 0 -1 4202560 71 0 0 0 653 63 0 0 20 0 8 0 391181352 168468480 20027 33554432000 134512640 146736320 4293927968 4085744616 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 164.97
Current children cumulated vsize (KiB) 173668
[startup+48.9006 s]
/proc/loadavg: 4.67 2.95 2.68 9/185 29546
/proc/meminfo: memFree=29551268/32873844 swapFree=7120/7120
[pid=29509] ppid=29507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29509/stat : 29509 (run) S 29507 29509 26837 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391178094 9367552 270 33554432000 4194304 5064252 140733430358192 140733430357104 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29509/statm: 2287 270 229 213 0 72 0
[pid=29510] ppid=29509 vsize=97152 CPUtime=165.77 cores=1,3,5,7
/proc/29510/stat : 29510 (pb_cplex) R 29509 29509 26837 0 -1 4202496 67688 0 0 0 15123 1454 0 0 20 0 1 0 391178094 99483648 10916 33554432000 134512640 146736320 4293927968 4293926856 136765704 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/29510/statm: 24288 10916 1000 2985 0 21222 0
Current children cumulated CPU time (s) 165.77
Current children cumulated vsize (KiB) 106300
Child status: 0
Real time (s): 48.9104
CPU time (s): 165.794
CPU user time (s): 151.247
CPU system time (s): 14.5468
CPU usage (%): 338.974
Max. virtual memory (cumulated for all children) (KiB): 177764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.247
system time used= 14.5468
maximum resident set size= 83104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68069
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= 54817
involuntary context switches= 12505
runsolver used 0.093985 second user time and 0.382941 second system time
The end