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-3733215-1339247406/watcher-3733215-1339247406 -o /tmp/evaluation-result-3733215-1339247406/solver-3733215-1339247406 -C 1800 -W 1900 -M 15500 run HOME/instance-3733215-1339247406.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.81 11.28 5.60 3/178 20168
/proc/meminfo: memFree=28386088/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[startup+0.0419259 s]
/proc/loadavg: 13.81 11.28 5.60 3/178 20168
/proc/meminfo: memFree=28386088/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100207 s]
/proc/loadavg: 13.81 11.28 5.60 3/178 20168
/proc/meminfo: memFree=28386088/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300201 s]
/proc/loadavg: 13.81 11.28 5.60 3/178 20168
/proc/meminfo: memFree=28386088/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700181 s]
/proc/loadavg: 13.81 11.28 5.60 3/178 20168
/proc/meminfo: memFree=28386088/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 12.86 11.12 5.58 3/180 20170
/proc/meminfo: memFree=28317848/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=104836 CPUtime=1.48 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 22550 0 0 0 145 3 0 0 20 0 1 0 390866629 107352064 13445 33554432000 134512640 146736320 4289825792 4289820904 136382214 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 26209 13445 783 2985 0 23143 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 113984
[startup+3.10022 s]
/proc/loadavg: 12.86 11.12 5.58 3/180 20170
/proc/meminfo: memFree=28286440/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=105120 CPUtime=3.08 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 22639 0 0 0 305 3 0 0 20 0 1 0 390866629 107642880 13534 33554432000 134512640 146736320 4289825792 4289820776 136015579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 26280 13534 783 2985 0 23214 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 114268
[startup+6.30017 s]
/proc/loadavg: 11.99 10.97 5.56 3/180 20170
/proc/meminfo: memFree=28285212/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=105120 CPUtime=6.28 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 22647 0 0 0 625 3 0 0 20 0 1 0 390866629 107642880 13542 33554432000 134512640 146736320 4289825792 4289821352 144757825 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 26280 13542 783 2985 0 23214 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 114268
[startup+12.7002 s]
/proc/loadavg: 11.19 10.82 5.54 3/180 20170
/proc/meminfo: memFree=28252668/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=155660 CPUtime=12.69 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 33158 0 0 0 1263 6 0 0 20 0 1 0 390866629 159395840 21987 33554432000 134512640 146736320 4289825792 4289821596 136405893 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 38915 21987 877 2985 0 35849 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 164808
[startup+25.5003 s]
/proc/loadavg: 9.78 10.53 5.51 3/180 20170
/proc/meminfo: memFree=28196840/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=152336 CPUtime=25.49 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 58269 0 0 0 2539 10 0 0 20 0 1 0 390866629 155992064 22451 33554432000 134512640 146736320 4289825792 4289819980 136017485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 38084 22451 903 2985 0 35018 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 161484
[startup+51.1002 s]
/proc/loadavg: 6.71 9.71 5.39 3/180 20171
/proc/meminfo: memFree=28205564/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=153800 CPUtime=51.08 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 72858 0 0 0 5096 12 0 0 20 0 1 0 390866629 157491200 22735 33554432000 134512640 146736320 4289825792 4289819980 136017845 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 38450 22735 903 2985 0 35384 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 162948
[startup+102.307 s]
/proc/loadavg: 4.09 8.54 5.22 3/179 20171
/proc/meminfo: memFree=28191684/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=153880 CPUtime=102.28 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 103546 0 0 0 10210 18 0 0 20 0 1 0 390866629 157573120 22754 33554432000 134512640 146736320 4289825792 4289819952 136400456 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 38470 22754 903 2985 0 35404 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 163028
[startup+162.3 s]
/proc/loadavg: 2.77 7.35 5.01 3/179 20171
/proc/meminfo: memFree=28181388/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=153880 CPUtime=162.26 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 138403 0 0 0 16201 25 0 0 20 0 1 0 390866629 157573120 25276 33554432000 134512640 146736320 4289825792 4289819980 136017766 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 38470 25276 903 2985 0 35404 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 163028
[startup+222.3 s]
/proc/loadavg: 2.28 6.37 4.82 3/179 20171
/proc/meminfo: memFree=28183740/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=142908 CPUtime=222.25 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 200150 0 0 0 22188 37 0 0 20 0 1 0 390866629 146337792 24141 33554432000 134512640 146736320 4289825792 4289820168 136388084 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 35727 24141 905 2985 0 32661 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 152056
[startup+282.3 s]
/proc/loadavg: 2.10 5.57 4.64 3/179 20171
/proc/meminfo: memFree=28200604/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=142524 CPUtime=282.24 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 272422 0 0 0 28173 51 0 0 20 0 1 0 390866629 145944576 23922 33554432000 134512640 146736320 4289825792 4289819596 136017787 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 35631 23922 905 2985 0 32565 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 151672
[startup+342.3 s]
/proc/loadavg: 2.04 4.92 4.47 3/186 20193
/proc/meminfo: memFree=28070788/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=390624 CPUtime=348.42 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 379711 0 0 0 34758 84 0 0 20 0 8 0 390866629 399998976 56375 33554432000 134512640 146736320 4289825792 4289818636 136017763 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 97656 56375 963 2985 0 94590 0
[pid=20169/tid=20186] ppid=20168 vsize=390624 CPUtime=0 cores=1,3,5,7
/proc/20169/task/20186/stat : 20186 (pb_cplex) S 20168 20168 19841 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390899027 399998976 56375 33554432000 134512640 146736320 4289825792 4048821904 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20187] ppid=20168 vsize=390624 CPUtime=0 cores=1,3,5,7
/proc/20169/task/20187/stat : 20187 (pb_cplex) S 20168 20168 19841 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390899027 399998976 56375 33554432000 134512640 146736320 4289825792 4059307664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20169/tid=20188] ppid=20168 vsize=390624 CPUtime=0 cores=1,3,5,7
/proc/20169/task/20188/stat : 20188 (pb_cplex) S 20168 20168 19841 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390899027 399998976 56375 33554432000 134512640 146736320 4289825792 4071607952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20169/tid=20189] ppid=20168 vsize=390624 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/20169/statm: 150279 99138 964 2985 0 147213 0
[pid=20169/tid=20186] ppid=20168 vsize=601116 CPUtime=35.06 cores=1,3,5,7
/proc/20169/task/20186/stat : 20186 (pb_cplex) R 20168 20168 19841 0 -1 4202560 18397 0 0 0 3501 5 0 0 20 0 8 0 390899027 615542784 99138 33554432000 134512640 146736320 4289825792 4048817340 135526856 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20187] ppid=20168 vsize=601116 CPUtime=35.06 cores=1,3,5,7
/proc/20169/task/20187/stat : 20187 (pb_cplex) R 20168 20168 19841 0 -1 4202560 15947 0 0 0 3500 6 0 0 20 0 8 0 390899027 615542784 99138 33554432000 134512640 146736320 4289825792 4059303976 139044578 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20169/tid=20188] ppid=20168 vsize=601116 CPUtime=35.05 cores=1,3,5,7
/proc/20169/task/20188/stat : 20188 (pb_cplex) R 20168 20168 19841 0 -1 4202560 18379 0 0 0 3498 7 0 0 20 0 8 0 390899027 615542784 99138 33554432000 134512640 146736320 4289825792 4071604484 136385265 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20169/tid=20189] ppid=20168 vsize=601116 CPUtime=35.59 cores=1,3,5,7
/proc/20169/task/20189/stat : 20189 (pb_cplex) R 20168 20168 19841 0 -1 4202560 18754 0 0 0 3553 6 0 0 20 0 8 0 390899027 615542784 99138 33554432000 134512640 146736320 4289825792 4038332488 139042883 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20169/tid=20190] ppid=20168 vsize=601116 CPUtime=35.64 cores=1,3,5,7
/proc/20169/task/20190/stat : 20190 (pb_cplex) R 20168 20168 19841 0 -1 4202560 17094 0 0 0 3558 6 0 0 20 0 8 0 390899027 615542784 99138 33554432000 134512640 146736320 4289825792 3880771400 135526137 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20169/tid=20191] ppid=20168 vsize=601116 CPUtime=34.43 cores=1,3,5,7
/proc/20169/task/20191/stat : 20191 (pb_cplex) R 20168 20168 19841 0 -1 4202560 18562 0 0 0 3437 6 0 0 20 0 8 0 390899027 615542784 99138 33554432000 134512640 146736320 4289825792 3870285976 136007030 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20192] ppid=20168 vsize=601116 CPUtime=35.85 cores=1,3,5,7
/proc/20169/task/20192/stat : 20192 (pb_cplex) R 20168 20168 19841 0 -1 4202560 18471 0 0 0 3579 6 0 0 20 0 8 0 390899027 615542784 99138 33554432000 134512640 146736320 4289825792 3859800216 136007083 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 739.75
Current children cumulated vsize (KiB) 610264
[startup+582.3 s]
/proc/loadavg: 8.20 5.77 4.81 10/186 20193
/proc/meminfo: memFree=27881128/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=600948 CPUtime=979.21 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 698517 0 0 0 97745 176 0 0 20 0 8 0 390866629 615370752 102947 33554432000 134512640 146736320 4289825792 4289818584 136007059 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20169/statm: 150237 102947 966 2985 0 147171 0
[pid=20169/tid=20186] ppid=20168 vsize=600948 CPUtime=65.25 cores=1,3,5,7
/proc/20169/task/20186/stat : 20186 (pb_cplex) R 20168 20168 19841 0 -1 4202560 29389 0 0 0 6517 8 0 0 20 0 8 0 390899027 615370752 102947 33554432000 134512640 146736320 4289825792 4048818068 136017690 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20169/tid=20187] ppid=20168 vsize=600948 CPUtime=65.39 cores=1,3,5,7
/proc/20169/task/20187/stat : 20187 (pb_cplex) R 20168 20168 19841 0 -1 4202560 26273 0 0 0 6530 9 0 0 20 0 8 0 390899027 615370752 102947 33554432000 134512640 146736320 4289825792 4059304008 139042885 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20169/tid=20188] ppid=20168 vsize=600948 CPUtime=65.08 cores=1,3,5,7
/proc/20169/task/20188/stat : 20188 (pb_cplex) R 20168 20168 19841 0 -1 4202560 29216 0 0 0 6499 9 0 0 20 0 8 0 390899027 615370752 102947 33554432000 134512640 146736320 4289825792 4071604376 136007640 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20169/tid=20189] ppid=20168 vsize=600948 CPUtime=65.14 cores=1,3,5,7
/proc/20169/task/20189/stat : 20189 (pb_cplex) R 20168 20168 19841 0 -1 4202560 29954 0 0 0 6505 9 0 0 20 0 8 0 390899027 615370752 102947 33554432000 134512640 146736320 4289825792 4038332308 136017755 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20169/tid=20190] ppid=20168 vsize=600948 CPUtime=65.43 cores=1,3,5,7
/proc/20169/task/20190/stat : 20190 (pb_cplex) R 20168 20168 19841 0 -1 4202560 29303 0 0 0 6533 10 0 0 20 0 8 0 390899027 615370752 102947 33554432000 134512640 146736320 4289825792 3880771624 139044505 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20191] ppid=20168 vsize=600948 CPUtime=64.5 cores=1,3,5,7
/proc/20169/task/20191/stat : 20191 (pb_cplex) R 20168 20168 19841 0 -1 4202560 30744 0 0 0 6440 10 0 0 20 0 8 0 390899027 615370752 102947 33554432000 134512640 146736320 4289825792 3870286416 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20192] ppid=20168 vsize=600948 CPUtime=65.54 cores=1,3,5,7
/proc/20169/task/20192/stat : 20192 (pb_cplex) R 20168 20168 19841 0 -1 4202560 29562 0 0 0 6544 10 0 0 20 0 8 0 390899027 615370752 102947 33554432000 134512640 146736320 4289825792 3859800136 139042888 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 979.21
Current children cumulated vsize (KiB) 610096
[startup+642.3 s]
/proc/loadavg: 9.09 6.45 5.11 9/194 20218
/proc/meminfo: memFree=27741184/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=601800 CPUtime=1218.71 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 788410 0 0 0 121670 201 0 0 20 0 8 0 390866629 616243200 103415 33554432000 134512640 146736320 4289825792 4289818584 136007053 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20169/statm: 150450 103415 966 2985 0 147384 0
[pid=20169/tid=20186] ppid=20168 vsize=601800 CPUtime=96.22 cores=1,3,5,7
/proc/20169/task/20186/stat : 20186 (pb_cplex) R 20168 20168 19841 0 -1 4202560 41381 0 0 0 9609 13 0 0 20 0 8 0 390899027 616243200 103415 33554432000 134512640 146736320 4289825792 4048818068 136017665 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20187] ppid=20168 vsize=601800 CPUtime=96.76 cores=1,3,5,7
/proc/20169/task/20187/stat : 20187 (pb_cplex) R 20168 20168 19841 0 -1 4202560 37027 0 0 0 9664 12 0 0 20 0 8 0 390899027 616243200 103415 33554432000 134512640 146736320 4289825792 4059304008 139042876 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20169/tid=20188] ppid=20168 vsize=601800 CPUtime=87.94 cores=1,3,5,7
/proc/20169/task/20188/stat : 20188 (pb_cplex) S 20168 20168 19841 0 -1 4202560 38659 0 0 0 8781 13 0 0 20 0 8 0 390899027 616243200 103415 33554432000 134512640 146736320 4289825792 4071607952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20169/tid=20189] ppid=20168 vsize=601800 CPUtime=96 cores=1,3,5,7
/proc/20169/task/20189/stat : 20189 (pb_cplex) R 20168 20168 19841 0 -1 4202560 42076 0 0 0 9587 13 0 0 20 0 8 0 390899027 616243200 103415 33554432000 134512640 146736320 4289825792 4038333008 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20169/tid=20190] ppid=20168 vsize=601800 CPUtime=96.14 cores=1,3,5,7
/proc/20169/task/20190/stat : 20190 (pb_cplex) R 20168 20168 19841 0 -1 4202560 40177 0 0 0 9602 12 0 0 20 0 8 0 390899027 616243200 103415 33554432000 134512640 146736320 4289825792 3880771736 136007602 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20169/tid=20191] ppid=20168 vsize=601800 CPUtime=95.2 cores=1,3,5,7
/proc/20169/task/20191/stat : 20191 (pb_cplex) R 20168 20168 19841 0 -1 4202560 41649 0 0 0 9506 14 0 0 20 0 8 0 390899027 616243200 103415 33554432000 134512640 146736320 4289825792 3870285936 136384857 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20169/tid=20192] ppid=20168 vsize=601800 CPUtime=96.59 cores=1,3,5,7
/proc/20169/task/20192/stat : 20192 (pb_cplex) R 20168 20168 19841 0 -1 4202560 41588 0 0 0 9645 14 0 0 20 0 8 0 390899027 616243200 103415 33554432000 134512640 146736320 4289825792 3859800104 139044564 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1218.71
Current children cumulated vsize (KiB) 610948
[startup+702.3 s]
/proc/loadavg: 8.50 6.76 5.29 9/193 20218
/proc/meminfo: memFree=27737840/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=604428 CPUtime=1458.13 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 875132 0 0 0 145591 222 0 0 20 0 8 0 390866629 618934272 104048 33554432000 134512640 146736320 4289825792 4289819024 136403109 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20169/statm: 151107 104048 966 2985 0 148041 0
[pid=20169/tid=20186] ppid=20168 vsize=604428 CPUtime=130.34 cores=1,3,5,7
/proc/20169/task/20186/stat : 20186 (pb_cplex) R 20168 20168 19841 0 -1 4202560 54458 0 0 0 13017 17 0 0 20 0 8 0 390899027 618934272 104048 33554432000 134512640 146736320 4289825792 4048818216 139044505 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20169/tid=20187] ppid=20168 vsize=604428 CPUtime=131.16 cores=1,3,5,7
/proc/20169/task/20187/stat : 20187 (pb_cplex) R 20168 20168 19841 0 -1 4202560 48479 0 0 0 13101 15 0 0 20 0 8 0 390899027 618934272 104048 33554432000 134512640 146736320 4289825792 4059303752 135526137 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20188] ppid=20168 vsize=604428 CPUtime=87.94 cores=1,3,5,7
/proc/20169/task/20188/stat : 20188 (pb_cplex) S 20168 20168 19841 0 -1 4202560 38659 0 0 0 8781 13 0 0 20 0 8 0 390899027 618934272 104048 33554432000 134512640 146736320 4289825792 4071607952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20169/tid=20189] ppid=20168 vsize=604428 CPUtime=130.16 cores=1,3,5,7
/proc/20169/task/20189/stat : 20189 (pb_cplex) R 20168 20168 19841 0 -1 4202560 54118 0 0 0 13000 16 0 0 20 0 8 0 390899027 618934272 104048 33554432000 134512640 146736320 4289825792 4038332456 139044505 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20169/tid=20190] ppid=20168 vsize=604428 CPUtime=130.08 cores=1,3,5,7
/proc/20169/task/20190/stat : 20190 (pb_cplex) R 20168 20168 19841 0 -1 4202560 52064 0 0 0 12993 15 0 0 20 0 8 0 390899027 618934272 104048 33554432000 134512640 146736320 4289825792 3880771736 136007674 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20169/tid=20191] ppid=20168 vsize=604428 CPUtime=129.37 cores=1,3,5,7
/proc/20169/task/20191/stat : 20191 (pb_cplex) R 20168 20168 19841 0 -1 4202560 55494 0 0 0 12919 18 0 0 20 0 8 0 390899027 618934272 104048 33554432000 134512640 146736320 4289825792 3870285976 136007674 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20169/tid=20192] ppid=20168 vsize=604428 CPUtime=130.45 cores=1,3,5,7
/proc/20169/task/20192/stat : 20192 (pb_cplex) R 20168 20168 19841 0 -1 4202560 52879 0 0 0 13028 17 0 0 20 0 8 0 390899027 618934272 104048 33554432000 134512640 146736320 4289825792 3859800216 136007065 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1458.13
Current children cumulated vsize (KiB) 613576
[startup+762.307 s]
/proc/loadavg: 8.16 6.98 5.46 9/193 20218
/proc/meminfo: memFree=27713152/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=604988 CPUtime=1697.63 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 962276 0 0 0 169515 248 0 0 20 0 8 0 390866629 619507712 104145 33554432000 134512640 146736320 4289825792 4289818584 136007027 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20169/statm: 151247 104145 966 2985 0 148181 0
[pid=20169/tid=20186] ppid=20168 vsize=604988 CPUtime=164.54 cores=1,3,5,7
/proc/20169/task/20186/stat : 20186 (pb_cplex) R 20168 20168 19841 0 -1 4202560 67424 0 0 0 16432 22 0 0 20 0 8 0 390899027 619507712 104145 33554432000 134512640 146736320 4289825792 4048818248 139042895 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20187] ppid=20168 vsize=604988 CPUtime=164.7 cores=1,3,5,7
/proc/20169/task/20187/stat : 20187 (pb_cplex) R 20168 20168 19841 0 -1 4202560 59503 0 0 0 16450 20 0 0 20 0 8 0 390899027 619507712 104145 33554432000 134512640 146736320 4289825792 4059304088 136007053 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20188] ppid=20168 vsize=604988 CPUtime=87.94 cores=1,3,5,7
/proc/20169/task/20188/stat : 20188 (pb_cplex) S 20168 20168 19841 0 -1 4202560 38659 0 0 0 8781 13 0 0 20 0 8 0 390899027 619507712 104145 33554432000 134512640 146736320 4289825792 4071607952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20169/tid=20189] ppid=20168 vsize=604988 CPUtime=164.56 cores=1,3,5,7
/proc/20169/task/20189/stat : 20189 (pb_cplex) R 20168 20168 19841 0 -1 4202560 65705 0 0 0 16436 20 0 0 20 0 8 0 390899027 619507712 104145 33554432000 134512640 146736320 4289825792 4038333416 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20169/tid=20190] ppid=20168 vsize=604988 CPUtime=163.44 cores=1,3,5,7
/proc/20169/task/20190/stat : 20190 (pb_cplex) R 20168 20168 19841 0 -1 4202560 63535 0 0 0 16324 20 0 0 20 0 8 0 390899027 619507712 104145 33554432000 134512640 146736320 4289825792 3880771696 136384892 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20169/tid=20191] ppid=20168 vsize=604988 CPUtime=164.24 cores=1,3,5,7
/proc/20169/task/20191/stat : 20191 (pb_cplex) R 20168 20168 19841 0 -1 4202560 69307 0 0 0 16402 22 0 0 20 0 8 0 390899027 619507712 104145 33554432000 134512640 146736320 4289825792 3870285936 136384883 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20169/tid=20192] ppid=20168 vsize=604988 CPUtime=164.26 cores=1,3,5,7
/proc/20169/task/20192/stat : 20192 (pb_cplex) R 20168 20168 19841 0 -1 4202560 65332 0 0 0 16405 21 0 0 20 0 8 0 390899027 619507712 104145 33554432000 134512640 146736320 4289825792 3859800216 136007674 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1697.63
Current children cumulated vsize (KiB) 614136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+788 s]
/proc/loadavg: 8.10 7.06 5.53 9/193 20218
/proc/meminfo: memFree=27707872/32873648 swapFree=7628/7628
[pid=20168] ppid=20166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20168/stat : 20168 (run) S 20166 20168 19841 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390866629 9367552 269 33554432000 4194304 5064252 140737268899360 140737268898272 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20168/statm: 2287 269 229 213 0 72 0
[pid=20169] ppid=20168 vsize=604988 CPUtime=1800.2 cores=1,3,5,7
/proc/20169/stat : 20169 (pb_cplex) R 20168 20168 19841 0 -1 4202496 999690 0 0 0 179761 259 0 0 20 0 8 0 390866629 619507712 104148 33554432000 134512640 146736320 4289825792 4289818584 136007616 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20169/statm: 151247 104148 966 2985 0 148181 0
[pid=20169/tid=20186] ppid=20168 vsize=604988 CPUtime=178.64 cores=1,3,5,7
/proc/20169/task/20186/stat : 20186 (pb_cplex) R 20168 20168 19841 0 -1 4202560 72895 0 0 0 17840 24 0 0 20 0 8 0 390899027 619507712 104148 33554432000 134512640 146736320 4289825792 4048818328 136007616 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20169/tid=20187] ppid=20168 vsize=604988 CPUtime=179.12 cores=1,3,5,7
/proc/20169/task/20187/stat : 20187 (pb_cplex) R 20168 20168 19841 0 -1 4202560 64120 0 0 0 17891 21 0 0 20 0 8 0 390899027 619507712 104148 33554432000 134512640 146736320 4289825792 4059304160 139028294 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20169/tid=20188] ppid=20168 vsize=604988 CPUtime=87.94 cores=1,3,5,7
/proc/20169/task/20188/stat : 20188 (pb_cplex) S 20168 20168 19841 0 -1 4202560 38659 0 0 0 8781 13 0 0 20 0 8 0 390899027 619507712 104148 33554432000 134512640 146736320 4289825792 4071607952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20169/tid=20189] ppid=20168 vsize=604988 CPUtime=179.28 cores=1,3,5,7
/proc/20169/task/20189/stat : 20189 (pb_cplex) R 20168 20168 19841 0 -1 4202560 71307 0 0 0 17907 21 0 0 20 0 8 0 390899027 619507712 104148 33554432000 134512640 146736320 4289825792 4038332568 136007626 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20169/tid=20190] ppid=20168 vsize=604988 CPUtime=178.26 cores=1,3,5,7
/proc/20169/task/20190/stat : 20190 (pb_cplex) R 20168 20168 19841 0 -1 4202560 68845 0 0 0 17805 21 0 0 20 0 8 0 390899027 619507712 104148 33554432000 134512640 146736320 4289825792 3880771656 139042885 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20191] ppid=20168 vsize=604988 CPUtime=178.46 cores=1,3,5,7
/proc/20169/task/20191/stat : 20191 (pb_cplex) R 20168 20168 19841 0 -1 4202560 74621 0 0 0 17823 23 0 0 20 0 8 0 390899027 619507712 104148 33554432000 134512640 146736320 4289825792 3870285976 136007612 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20169/tid=20192] ppid=20168 vsize=604988 CPUtime=179.73 cores=1,3,5,7
/proc/20169/task/20192/stat : 20192 (pb_cplex) R 20168 20168 19841 0 -1 4202560 70609 0 0 0 17951 22 0 0 20 0 8 0 390899027 619507712 104148 33554432000 134512640 146736320 4289825792 3859800216 136007616 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 614136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20168 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 788.017
CPU time (s): 1800.2
CPU user time (s): 1797.61
CPU system time (s): 2.59
CPU usage (%): 228.447
Max. virtual memory (cumulated for all children) (KiB): 616952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353
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= 2
involuntary context switches= 1
runsolver used 2.10968 second user time and 4.85626 second system time
The end