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-3735217-1339247932/watcher-3735217-1339247932 -o /tmp/evaluation-result-3735217-1339247932/solver-3735217-1339247932 -C 1800 -W 1900 -M 15500 run HOME/instance-3735217-1339247932.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.76 10.96 7.42 10/184 5227
/proc/meminfo: memFree=29654332/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[startup+0.0696069 s]
/proc/loadavg: 13.76 10.96 7.42 10/184 5227
/proc/meminfo: memFree=29654332/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100251 s]
/proc/loadavg: 13.76 10.96 7.42 10/184 5227
/proc/meminfo: memFree=29654332/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30022 s]
/proc/loadavg: 13.76 10.96 7.42 10/184 5227
/proc/meminfo: memFree=29654332/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700233 s]
/proc/loadavg: 13.76 10.96 7.42 10/184 5227
/proc/meminfo: memFree=29654332/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 13.76 10.96 7.42 10/186 5229
/proc/meminfo: memFree=29608560/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=96080 CPUtime=1.48 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 20978 0 0 0 145 3 0 0 20 0 1 0 390918177 98385920 20447 33554432000 134512640 146736320 4287513584 4287511512 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 24020 20447 3266 2985 0 17246 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 105228
[startup+3.10036 s]
/proc/loadavg: 13.76 10.96 7.42 10/186 5229
/proc/meminfo: memFree=29512824/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=233460 CPUtime=3.09 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 72276 0 0 0 294 15 0 0 20 0 1 0 390918177 239063040 53760 33554432000 134512640 146736320 4287513584 4287511760 138729989 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 58365 53760 664 2985 0 55299 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 242608
[startup+6.30032 s]
/proc/loadavg: 13.38 10.93 7.43 10/186 5229
/proc/meminfo: memFree=29457060/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=264548 CPUtime=6.29 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 100015 0 0 0 608 21 0 0 20 0 1 0 390918177 270897152 49976 33554432000 134512640 146736320 4287513584 4287507696 136384892 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 66137 49976 912 2985 0 63071 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 273696
[startup+12.7003 s]
/proc/loadavg: 13.03 10.90 7.44 10/186 5229
/proc/meminfo: memFree=29456100/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=264784 CPUtime=12.69 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 103671 0 0 0 1247 22 0 0 20 0 1 0 390918177 271138816 50101 33554432000 134512640 146736320 4287513584 4287507788 136017755 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 66196 50101 912 2985 0 63130 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 273932
[startup+25.5003 s]
/proc/loadavg: 12.13 10.80 7.46 10/186 5229
/proc/meminfo: memFree=29456100/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=265112 CPUtime=25.49 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 111402 0 0 0 2525 24 0 0 20 0 1 0 390918177 271474688 50236 33554432000 134512640 146736320 4287513584 4287506676 135450784 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 66278 50236 912 2985 0 63212 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 274260
[startup+51.1003 s]
/proc/loadavg: 11.06 10.66 7.50 10/186 5229
/proc/meminfo: memFree=29455728/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=265936 CPUtime=51.08 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 126658 0 0 0 5081 27 0 0 20 0 1 0 390918177 272318464 50336 33554432000 134512640 146736320 4287513584 4287507788 136017481 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 66484 50336 912 2985 0 63418 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 275084
[startup+102.3 s]
/proc/loadavg: 9.64 10.34 7.56 9/187 5232
/proc/meminfo: memFree=29443940/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=272604 CPUtime=102.27 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 151930 0 0 0 10195 32 0 0 20 0 1 0 390918177 279146496 53204 33554432000 134512640 146736320 4287513584 4287508176 136403109 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 68151 53204 913 2985 0 65085 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 281752
[startup+162.3 s]
/proc/loadavg: 5.11 8.93 7.25 3/179 5283
/proc/meminfo: memFree=29563424/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=271692 CPUtime=162.26 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 159341 0 0 0 16192 34 0 0 20 0 1 0 390918177 278212608 53452 33554432000 134512640 146736320 4287513584 4287507788 136017505 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 67923 53452 913 2985 0 64857 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 280840
[startup+222.3 s]
/proc/loadavg: 3.21 7.68 6.92 3/179 5283
/proc/meminfo: memFree=29555676/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=273936 CPUtime=222.24 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 172368 0 0 0 22187 37 0 0 20 0 1 0 390918177 280510464 55321 33554432000 134512640 146736320 4287513584 4287507656 139043558 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 68484 55321 913 2985 0 65418 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 283084
[startup+282.3 s]
/proc/loadavg: 2.67 6.73 6.64 3/186 5311
/proc/meminfo: memFree=29396184/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=271040 CPUtime=282.23 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 199535 0 0 0 28180 43 0 0 20 0 1 0 390918177 277544960 55090 33554432000 134512640 146736320 4287513584 4287507404 136017485 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 67760 55090 913 2985 0 64694 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 280188
[startup+342.3 s]
/proc/loadavg: 2.28 5.88 6.35 3/186 5311
/proc/meminfo: memFree=29392636/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=271040 CPUtime=342.23 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 252728 0 0 0 34168 55 0 0 20 0 1 0 390918177 277544960 55090 33554432000 134512640 146736320 4287513584 4287507404 136017474 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 67760 55090 913 2985 0 64694 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 280188
[startup+402.3 s]
/proc/loadavg: 5.51 6.05 6.37 10/186 5311
/proc/meminfo: memFree=29180932/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/5228/statm: 181827 134230 946 2985 0 178761 0
[pid=5228/tid=5313] ppid=5227 vsize=727308 CPUtime=52.21 cores=1,3,5,7
/proc/5228/task/5313/stat : 5313 (pb_cplex) R 5227 5227 4561 0 -1 4202560 13181 0 0 0 5215 6 0 0 20 0 8 0 390964594 744763392 134230 33554432000 134512640 146736320 4287513584 3986603016 139042902 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5228/tid=5314] ppid=5227 vsize=727308 CPUtime=52.33 cores=1,3,5,7
/proc/5228/task/5314/stat : 5314 (pb_cplex) R 5227 5227 4561 0 -1 4202560 10364 0 0 0 5228 5 0 0 20 0 8 0 390964594 744763392 134230 33554432000 134512640 146736320 4287513584 3976118432 136006275 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5228/tid=5315] ppid=5227 vsize=727308 CPUtime=52.22 cores=1,3,5,7
/proc/5228/task/5315/stat : 5315 (pb_cplex) R 5227 5227 4561 0 -1 4202560 13281 0 0 0 5216 6 0 0 20 0 8 0 390964594 744763392 134230 33554432000 134512640 146736320 4287513584 3965631576 136007643 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5228/tid=5316] ppid=5227 vsize=727308 CPUtime=51.93 cores=1,3,5,7
/proc/5228/task/5316/stat : 5316 (pb_cplex) R 5227 5227 4561 0 -1 4202560 12222 0 0 0 5187 6 0 0 20 0 8 0 390964594 744763392 134230 33554432000 134512640 146736320 4287513584 3955145816 136007661 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5317] ppid=5227 vsize=727308 CPUtime=52.02 cores=1,3,5,7
/proc/5228/task/5317/stat : 5317 (pb_cplex) R 5227 5227 4561 0 -1 4202560 13476 0 0 0 5195 7 0 0 20 0 8 0 390964594 744763392 134230 33554432000 134512640 146736320 4287513584 3944660056 136007616 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5228/tid=5318] ppid=5227 vsize=727308 CPUtime=52.21 cores=1,3,5,7
/proc/5228/task/5318/stat : 5318 (pb_cplex) R 5227 5227 4561 0 -1 4202560 10644 0 0 0 5217 4 0 0 20 0 8 0 390964594 744763392 134230 33554432000 134512640 146736320 4287513584 3934175384 136007661 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5228/tid=5319] ppid=5227 vsize=727308 CPUtime=52.04 cores=1,3,5,7
/proc/5228/task/5319/stat : 5319 (pb_cplex) R 5227 5227 4561 0 -1 4202560 13030 0 0 0 5197 7 0 0 20 0 8 0 390964594 744763392 134230 33554432000 134512640 146736320 4287513584 3923688976 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1015.19
Current children cumulated vsize (KiB) 736456
[startup+762.301 s]
/proc/loadavg: 14.63 10.88 8.28 17/193 5396
/proc/meminfo: memFree=29273688/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=732276 CPUtime=1254.12 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 608466 0 0 0 125239 173 0 0 20 0 8 0 390918177 749850624 135508 33554432000 134512640 146736320 4287513584 4287505224 139042876 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5228/statm: 183069 135508 946 2985 0 180003 0
[pid=5228/tid=5313] ppid=5227 vsize=732276 CPUtime=81.85 cores=1,3,5,7
/proc/5228/task/5313/stat : 5313 (pb_cplex) R 5227 5227 4561 0 -1 4202560 17753 0 0 0 8176 9 0 0 20 0 8 0 390964594 749850624 135508 33554432000 134512640 146736320 4287513584 3986603096 136007650 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5314] ppid=5227 vsize=732276 CPUtime=81.86 cores=1,3,5,7
/proc/5228/task/5314/stat : 5314 (pb_cplex) R 5227 5227 4561 0 -1 4202560 16300 0 0 0 8178 8 0 0 20 0 8 0 390964594 749850624 135508 33554432000 134512640 146736320 4287513584 3976117256 139042901 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5228/tid=5315] ppid=5227 vsize=732276 CPUtime=82.04 cores=1,3,5,7
/proc/5228/task/5315/stat : 5315 (pb_cplex) R 5227 5227 4561 0 -1 4202560 19644 0 0 0 8195 9 0 0 20 0 8 0 390964594 749850624 135508 33554432000 134512640 146736320 4287513584 3965631576 136007065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5228/tid=5316] ppid=5227 vsize=732276 CPUtime=82.04 cores=1,3,5,7
/proc/5228/task/5316/stat : 5316 (pb_cplex) R 5227 5227 4561 0 -1 4202560 17006 0 0 0 8195 9 0 0 20 0 8 0 390964594 749850624 135508 33554432000 134512640 146736320 4287513584 3955145832 135982869 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5228/tid=5317] ppid=5227 vsize=732276 CPUtime=81.9 cores=1,3,5,7
/proc/5228/task/5317/stat : 5317 (pb_cplex) R 5227 5227 4561 0 -1 4202560 17712 0 0 0 8180 10 0 0 20 0 8 0 390964594 749850624 135508 33554432000 134512640 146736320 4287513584 3944659944 139044550 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5228/tid=5318] ppid=5227 vsize=732276 CPUtime=82.07 cores=1,3,5,7
/proc/5228/task/5318/stat : 5318 (pb_cplex) R 5227 5227 4561 0 -1 4202560 17930 0 0 0 8199 8 0 0 20 0 8 0 390964594 749850624 135508 33554432000 134512640 146736320 4287513584 3934174296 136007021 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5228/tid=5319] ppid=5227 vsize=732276 CPUtime=81.78 cores=1,3,5,7
/proc/5228/task/5319/stat : 5319 (pb_cplex) R 5227 5227 4561 0 -1 4202560 18690 0 0 0 8168 10 0 0 20 0 8 0 390964594 749850624 135508 33554432000 134512640 146736320 4287513584 3923688536 136007616 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1254.12
Current children cumulated vsize (KiB) 741424
[startup+822.3 s]
/proc/loadavg: 12.73 11.06 8.50 17/193 5410
/proc/meminfo: memFree=29223948/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=733300 CPUtime=1493.11 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 685491 0 0 0 149109 202 0 0 20 0 8 0 390918177 750899200 135925 33554432000 134512640 146736320 4287513584 4287505304 136007584 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 183325 135925 946 2985 0 180259 0
[pid=5228/tid=5313] ppid=5227 vsize=733300 CPUtime=111.56 cores=1,3,5,7
/proc/5228/task/5313/stat : 5313 (pb_cplex) R 5227 5227 4561 0 -1 4202560 25833 0 0 0 11144 12 0 0 20 0 8 0 390964594 750899200 135925 33554432000 134512640 146736320 4287513584 3986603096 136007059 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5228/tid=5314] ppid=5227 vsize=733300 CPUtime=111.79 cores=1,3,5,7
/proc/5228/task/5314/stat : 5314 (pb_cplex) R 5227 5227 4561 0 -1 4202560 23326 0 0 0 11168 11 0 0 20 0 8 0 390964594 750899200 135925 33554432000 134512640 146736320 4287513584 3976117256 139042895 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5315] ppid=5227 vsize=733300 CPUtime=112.27 cores=1,3,5,7
/proc/5228/task/5315/stat : 5315 (pb_cplex) R 5227 5227 4561 0 -1 4202560 30028 0 0 0 11213 14 0 0 20 0 8 0 390964594 750899200 135925 33554432000 134512640 146736320 4287513584 3965632664 136007053 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5228/tid=5316] ppid=5227 vsize=733300 CPUtime=111.65 cores=1,3,5,7
/proc/5228/task/5316/stat : 5316 (pb_cplex) R 5227 5227 4561 0 -1 4202560 23780 0 0 0 11153 12 0 0 20 0 8 0 390964594 750899200 135925 33554432000 134512640 146736320 4287513584 3955145816 136007674 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5228/tid=5317] ppid=5227 vsize=733300 CPUtime=111.49 cores=1,3,5,7
/proc/5228/task/5317/stat : 5317 (pb_cplex) R 5227 5227 4561 0 -1 4202560 26007 0 0 0 11136 13 0 0 20 0 8 0 390964594 750899200 135925 33554432000 134512640 146736320 4287513584 3944660056 136007633 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5318] ppid=5227 vsize=733300 CPUtime=112.05 cores=1,3,5,7
/proc/5228/task/5318/stat : 5318 (pb_cplex) R 5227 5227 4561 0 -1 4202560 28149 0 0 0 11194 11 0 0 20 0 8 0 390964594 750899200 135925 33554432000 134512640 146736320 4287513584 3934174296 136007053 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5228/tid=5319] ppid=5227 vsize=733300 CPUtime=111.34 cores=1,3,5,7
/proc/5228/task/5319/stat : 5319 (pb_cplex) R 5227 5227 4561 0 -1 4202560 30631 0 0 0 11120 14 0 0 20 0 8 0 390964594 750899200 135925 33554432000 134512640 146736320 4287513584 3923688536 136007650 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1493.11
Current children cumulated vsize (KiB) 742448
[startup+882.301 s]
/proc/loadavg: 13.56 11.65 8.87 17/193 5410
/proc/meminfo: memFree=29217252/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=732832 CPUtime=1732.1 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 741132 0 0 0 172987 223 0 0 20 0 8 0 390918177 750419968 136191 33554432000 134512640 146736320 4287513584 4287505224 139042895 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5228/statm: 183208 136191 946 2985 0 180142 0
[pid=5228/tid=5313] ppid=5227 vsize=732832 CPUtime=141.14 cores=1,3,5,7
/proc/5228/task/5313/stat : 5313 (pb_cplex) R 5227 5227 4561 0 -1 4202560 28137 0 0 0 14100 14 0 0 20 0 8 0 390964594 750419968 136191 33554432000 134512640 146736320 4287513584 3986603096 136007674 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5314] ppid=5227 vsize=732832 CPUtime=141.8 cores=1,3,5,7
/proc/5228/task/5314/stat : 5314 (pb_cplex) R 5227 5227 4561 0 -1 4202560 32754 0 0 0 14165 15 0 0 20 0 8 0 390964594 750419968 136191 33554432000 134512640 146736320 4287513584 3976117776 136403112 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5315] ppid=5227 vsize=732832 CPUtime=142.17 cores=1,3,5,7
/proc/5228/task/5315/stat : 5315 (pb_cplex) R 5227 5227 4561 0 -1 4202560 38839 0 0 0 14197 20 0 0 20 0 8 0 390964594 750419968 136191 33554432000 134512640 146736320 4287513584 3965632664 136007616 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5228/tid=5316] ppid=5227 vsize=732832 CPUtime=141.34 cores=1,3,5,7
/proc/5228/task/5316/stat : 5316 (pb_cplex) R 5227 5227 4561 0 -1 4202560 24329 0 0 0 14120 14 0 0 20 0 8 0 390964594 750419968 136191 33554432000 134512640 146736320 4287513584 3955145756 135854186 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5228/tid=5317] ppid=5227 vsize=732832 CPUtime=141.25 cores=1,3,5,7
/proc/5228/task/5317/stat : 5317 (pb_cplex) R 5227 5227 4561 0 -1 4202560 34529 0 0 0 14109 16 0 0 20 0 8 0 390964594 750419968 136191 33554432000 134512640 146736320 4287513584 3944660056 136007584 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5228/tid=5318] ppid=5227 vsize=732832 CPUtime=142.03 cores=1,3,5,7
/proc/5228/task/5318/stat : 5318 (pb_cplex) R 5227 5227 4561 0 -1 4202560 36302 0 0 0 14189 14 0 0 20 0 8 0 390964594 750419968 136191 33554432000 134512640 146736320 4287513584 3934175384 136007661 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=5228/tid=5319] ppid=5227 vsize=732832 CPUtime=141.34 cores=1,3,5,7
/proc/5228/task/5319/stat : 5319 (pb_cplex) R 5227 5227 4561 0 -1 4202560 48130 0 0 0 14113 21 0 0 20 0 8 0 390964594 750419968 136191 33554432000 134512640 146736320 4287513584 3923688508 136400493 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1732.1
Current children cumulated vsize (KiB) 741980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.401 s]
/proc/loadavg: 13.54 11.74 8.94 17/193 5410
/proc/meminfo: memFree=29216508/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=732852 CPUtime=1800.23 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 753142 0 0 0 179795 228 0 0 20 0 8 0 390918177 750440448 136199 33554432000 134512640 146736320 4287513584 4287505192 139044585 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 183213 136199 946 2985 0 180147 0
[pid=5228/tid=5313] ppid=5227 vsize=732852 CPUtime=149.5 cores=1,3,5,7
/proc/5228/task/5313/stat : 5313 (pb_cplex) R 5227 5227 4561 0 -1 4202560 28289 0 0 0 14936 14 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3986603096 136007612 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5314] ppid=5227 vsize=732852 CPUtime=150.06 cores=1,3,5,7
/proc/5228/task/5314/stat : 5314 (pb_cplex) R 5227 5227 4561 0 -1 4202560 36788 0 0 0 14989 17 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3976117316 136400583 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5228/tid=5315] ppid=5227 vsize=732852 CPUtime=150.74 cores=1,3,5,7
/proc/5228/task/5315/stat : 5315 (pb_cplex) R 5227 5227 4561 0 -1 4202560 40994 0 0 0 15054 20 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3965632664 136007661 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5316] ppid=5227 vsize=732852 CPUtime=149.82 cores=1,3,5,7
/proc/5228/task/5316/stat : 5316 (pb_cplex) R 5227 5227 4561 0 -1 4202560 24629 0 0 0 14968 14 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3955146256 136403117 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5317] ppid=5227 vsize=732852 CPUtime=150.05 cores=1,3,5,7
/proc/5228/task/5317/stat : 5317 (pb_cplex) R 5227 5227 4561 0 -1 4202560 37346 0 0 0 14988 17 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3944659944 139044542 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5318] ppid=5227 vsize=732852 CPUtime=150.24 cores=1,3,5,7
/proc/5228/task/5318/stat : 5318 (pb_cplex) R 5227 5227 4561 0 -1 4202560 37087 0 0 0 15010 14 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3934175420 135526874 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5228/tid=5319] ppid=5227 vsize=732852 CPUtime=150 cores=1,3,5,7
/proc/5228/task/5319/stat : 5319 (pb_cplex) R 5227 5227 4561 0 -1 4202560 49765 0 0 0 14978 22 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3923688456 139042888 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 742000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+899.401 s]
/proc/loadavg: 13.54 11.74 8.94 17/193 5410
/proc/meminfo: memFree=29216508/32873844 swapFree=7628/7628
[pid=5227] ppid=5225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5227/stat : 5227 (run) S 5225 5227 4561 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390918177 9367552 270 33554432000 4194304 5064252 140734087689920 140734087688832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5227/statm: 2287 270 229 213 0 72 0
[pid=5228] ppid=5227 vsize=732852 CPUtime=1800.23 cores=1,3,5,7
/proc/5228/stat : 5228 (pb_cplex) R 5227 5227 4561 0 -1 4202496 753142 0 0 0 179795 228 0 0 20 0 8 0 390918177 750440448 136199 33554432000 134512640 146736320 4287513584 4287505192 139044585 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5228/statm: 183213 136199 946 2985 0 180147 0
[pid=5228/tid=5313] ppid=5227 vsize=732852 CPUtime=149.5 cores=1,3,5,7
/proc/5228/task/5313/stat : 5313 (pb_cplex) R 5227 5227 4561 0 -1 4202560 28289 0 0 0 14936 14 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3986603096 136007612 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5314] ppid=5227 vsize=732852 CPUtime=150.06 cores=1,3,5,7
/proc/5228/task/5314/stat : 5314 (pb_cplex) R 5227 5227 4561 0 -1 4202560 36788 0 0 0 14989 17 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3976117316 136400583 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5228/tid=5315] ppid=5227 vsize=732852 CPUtime=150.74 cores=1,3,5,7
/proc/5228/task/5315/stat : 5315 (pb_cplex) R 5227 5227 4561 0 -1 4202560 40994 0 0 0 15054 20 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3965632664 136007661 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5316] ppid=5227 vsize=732852 CPUtime=149.82 cores=1,3,5,7
/proc/5228/task/5316/stat : 5316 (pb_cplex) R 5227 5227 4561 0 -1 4202560 24629 0 0 0 14968 14 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3955146256 136403117 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5317] ppid=5227 vsize=732852 CPUtime=150.05 cores=1,3,5,7
/proc/5228/task/5317/stat : 5317 (pb_cplex) R 5227 5227 4561 0 -1 4202560 37346 0 0 0 14988 17 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3944659944 139044542 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=5228/tid=5318] ppid=5227 vsize=732852 CPUtime=150.24 cores=1,3,5,7
/proc/5228/task/5318/stat : 5318 (pb_cplex) R 5227 5227 4561 0 -1 4202560 37087 0 0 0 15010 14 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3934175420 135526874 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5228/tid=5319] ppid=5227 vsize=732852 CPUtime=150 cores=1,3,5,7
/proc/5228/task/5319/stat : 5319 (pb_cplex) R 5227 5227 4561 0 -1 4202560 49765 0 0 0 14978 22 0 0 20 0 8 0 390964594 750440448 136199 33554432000 134512640 146736320 4287513584 3923688456 139042888 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 742000
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5227 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.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 899.42
CPU time (s): 1800.23
CPU user time (s): 1797.95
CPU system time (s): 2.28
CPU usage (%): 200.154
Max. virtual memory (cumulated for all children) (KiB): 751712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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.23066 second user time and 6.47602 second system time
The end