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-3740836-1339249593/watcher-3740836-1339249593 -o /tmp/evaluation-result-3740836-1339249593/solver-3740836-1339249593 -C 1800 -W 1900 -M 15500 run HOME/instance-3740836-1339249593.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 5.00 5.51 3/177 6335
/proc/meminfo: memFree=30429424/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[startup+0.0153391 s]
/proc/loadavg: 2.15 5.00 5.51 3/177 6335
/proc/meminfo: memFree=30429424/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100254 s]
/proc/loadavg: 2.15 5.00 5.51 3/177 6335
/proc/meminfo: memFree=30429424/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300191 s]
/proc/loadavg: 2.15 5.00 5.51 3/177 6335
/proc/meminfo: memFree=30429424/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700195 s]
/proc/loadavg: 2.15 5.00 5.51 3/177 6335
/proc/meminfo: memFree=30429424/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50668 s]
/proc/loadavg: 2.15 5.00 5.51 4/179 6337
/proc/meminfo: memFree=30381296/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=114564 CPUtime=1.49 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 16536 0 0 0 147 2 0 0 20 0 1 0 391026423 117313536 16008 33554432000 134512640 146736320 4291786928 4291784952 144716523 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6336/statm: 28641 16009 2948 2985 0 13142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123712
[startup+3.10027 s]
/proc/loadavg: 2.15 5.00 5.51 3/179 6337
/proc/meminfo: memFree=30343536/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=166928 CPUtime=3.09 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 32385 0 0 0 303 6 0 0 20 0 1 0 391026423 170934272 31855 33554432000 134512640 146736320 4291786928 4291784848 140679071 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6336/statm: 41732 31855 5823 2985 0 26233 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 176076
[startup+6.30026 s]
/proc/loadavg: 2.14 4.95 5.49 3/179 6337
/proc/meminfo: memFree=30242892/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=265708 CPUtime=6.27 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 62013 0 0 0 617 10 0 0 20 0 1 0 391026423 272084992 61991 33554432000 134512640 146736320 4291786928 4291784880 134543014 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6336/statm: 66427 61991 11302 2985 0 50928 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 274856
[startup+12.7003 s]
/proc/loadavg: 2.13 4.90 5.47 3/179 6337
/proc/meminfo: memFree=29807440/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=666172 CPUtime=12.68 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 124871 0 0 0 1240 28 0 0 20 0 1 0 391026423 682160128 156415 33554432000 134512640 146736320 4291786928 4291784760 136891074 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6336/statm: 166543 156415 569 2985 0 163477 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 675320
[startup+25.5004 s]
/proc/loadavg: 2.10 4.76 5.42 3/179 6337
/proc/meminfo: memFree=29603700/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=1623240 CPUtime=25.47 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 181017 0 0 0 2503 44 0 0 20 0 1 0 391026423 1662197760 207497 33554432000 134512640 146736320 4291786928 4291783488 138729950 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 405810 207497 616 2985 0 402744 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1632388
[startup+51.1004 s]
/proc/loadavg: 2.13 4.55 5.33 3/179 6337
/proc/meminfo: memFree=28671960/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=3002788 CPUtime=51.07 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 362362 0 0 0 4984 123 0 0 20 0 1 0 391026423 3074854912 440192 33554432000 134512640 146736320 4291786928 4291780872 139043577 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 750697 440192 831 2985 0 747631 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3011936
[startup+102.3 s]
/proc/loadavg: 2.14 4.18 5.16 3/178 6337
/proc/meminfo: memFree=28654712/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=3016668 CPUtime=102.26 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 366835 0 0 0 10098 128 0 0 20 0 1 0 391026423 3089068032 444469 33554432000 134512640 146736320 4291786928 4291781004 136017474 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 754167 444469 831 2985 0 751101 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 3025816
[startup+162.3 s]
/proc/loadavg: 2.12 3.79 4.96 3/179 6338
/proc/meminfo: memFree=29173504/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2229324 CPUtime=162.25 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 431801 0 0 0 16049 176 0 0 20 0 1 0 391026423 2282827776 314960 33554432000 134512640 146736320 4291786928 4291781520 136403117 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 557331 314960 834 2985 0 554265 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 2238472
[startup+222.3 s]
/proc/loadavg: 2.12 3.48 4.78 3/180 6341
/proc/meminfo: memFree=29151776/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2242600 CPUtime=222.24 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 435479 0 0 0 22046 178 0 0 20 0 1 0 391026423 2296422400 320402 33554432000 134512640 146736320 4291786928 4291780928 136413787 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 560650 320402 834 2985 0 557584 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 2251748
[startup+282.3 s]
/proc/loadavg: 2.04 3.21 4.60 3/178 6341
/proc/meminfo: memFree=29141416/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2253456 CPUtime=282.23 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 437224 0 0 0 28043 180 0 0 20 0 1 0 391026423 2307538944 322850 33554432000 134512640 146736320 4291786928 4291781132 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 563364 322850 834 2985 0 560298 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 2262604
[startup+342.3 s]
/proc/loadavg: 2.09 3.00 4.44 3/179 6342
/proc/meminfo: memFree=29129724/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2258724 CPUtime=342.22 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 438072 0 0 0 34040 182 0 0 20 0 1 0 391026423 2312933376 325650 33554432000 134512640 146736320 4291786928 4291781568 139046527 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 564681 325650 834 2985 0 561615 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 2267872
[startup+402.3 s]
/proc/loadavg: 2.03 2.82 4.29 3/179 6342
/proc/meminfo: memFree=29108860/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.04 2.07 2.81 3/179 6371
/proc/meminfo: memFree=29091816/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2288264 CPUtime=1362.06 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 443774 0 0 0 136010 196 0 0 20 0 1 0 391026423 2343182336 341847 33554432000 134512640 146736320 4291786928 4291781132 136017787 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572066 341847 834 2985 0 569000 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2297412
[startup+1422.3 s]
/proc/loadavg: 2.13 2.09 2.77 3/180 6374
/proc/meminfo: memFree=29072924/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2288548 CPUtime=1422.06 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 443999 0 0 0 142009 197 0 0 20 0 1 0 391026423 2343473152 341872 33554432000 134512640 146736320 4291786928 4291781132 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572137 341872 834 2985 0 569071 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2297696
[startup+1482.3 s]
/proc/loadavg: 2.12 2.08 2.72 3/179 6374
/proc/meminfo: memFree=29068956/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2289228 CPUtime=1482.04 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 444250 0 0 0 148007 197 0 0 20 0 1 0 391026423 2344169472 341923 33554432000 134512640 146736320 4291786928 4291780820 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572307 341923 834 2985 0 569241 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2298376
[startup+1542.3 s]
/proc/loadavg: 2.00 2.05 2.67 3/179 6425
/proc/meminfo: memFree=29338808/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2289784 CPUtime=1542.03 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 444505 0 0 0 154005 198 0 0 20 0 1 0 391026423 2344738816 341966 33554432000 134512640 146736320 4291786928 4291780820 136017495 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572446 341966 834 2985 0 569380 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2298932
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.63 3/179 6425
/proc/meminfo: memFree=29338312/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2290380 CPUtime=1602.03 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 444749 0 0 0 160004 199 0 0 20 0 1 0 391026423 2345349120 342012 33554432000 134512640 146736320 4291786928 4291781568 139046467 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572595 342012 834 2985 0 569529 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2299528
[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.59 3/179 6425
/proc/meminfo: memFree=29337384/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2290824 CPUtime=1662.01 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 444998 0 0 0 166002 199 0 0 20 0 1 0 391026423 2345803776 342053 33554432000 134512640 146736320 4291786928 4291781132 136017748 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572706 342053 834 2985 0 569640 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2299972
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.55 3/179 6425
/proc/meminfo: memFree=29334428/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2291340 CPUtime=1722.01 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 445263 0 0 0 172001 200 0 0 20 0 1 0 391026423 2346332160 342722 33554432000 134512640 146736320 4291786928 4291780820 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572835 342722 834 2985 0 569769 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2300488
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.52 3/179 6425
/proc/meminfo: memFree=29312196/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2291704 CPUtime=1782.01 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 445508 0 0 0 178000 201 0 0 20 0 1 0 391026423 2346704896 348102 33554432000 134512640 146736320 4291786928 4291781132 136017485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572926 348102 834 2985 0 569860 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2300852
Solver just ended. Dumping a history of the last processes samples
[startup+1792.31 s]
/proc/loadavg: 2.06 2.04 2.51 3/179 6425
/proc/meminfo: memFree=29312568/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2291704 CPUtime=1792.01 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 445508 0 0 0 179000 201 0 0 20 0 1 0 391026423 2346704896 348102 33554432000 134512640 146736320 4291786928 4291781132 136017474 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572926 348102 834 2985 0 569860 0
Current children cumulated CPU time (s) 1792.01
Current children cumulated vsize (KiB) 2300852
[startup+1795.5 s]
/proc/loadavg: 2.05 2.04 2.51 3/179 6425
/proc/meminfo: memFree=29312444/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2291704 CPUtime=1795.2 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 445722 0 0 0 179319 201 0 0 20 0 1 0 391026423 2346704896 348114 33554432000 134512640 146736320 4291786928 4291781132 136017474 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572926 348114 834 2985 0 569860 0
Current children cumulated CPU time (s) 1795.2
Current children cumulated vsize (KiB) 2300852
[startup+1797.1 s]
/proc/loadavg: 2.05 2.04 2.51 3/179 6425
/proc/meminfo: memFree=29312568/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2291704 CPUtime=1796.79 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 445722 0 0 0 179478 201 0 0 20 0 1 0 391026423 2346704896 348114 33554432000 134512640 146736320 4291786928 4291781000 139043579 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572926 348114 834 2985 0 569860 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 2300852
[startup+1798.7 s]
/proc/loadavg: 2.05 2.04 2.51 3/179 6425
/proc/meminfo: memFree=29312568/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2291704 CPUtime=1798.39 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 445722 0 0 0 179638 201 0 0 20 0 1 0 391026423 2346704896 348114 33554432000 134512640 146736320 4291786928 4291780968 139044550 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572926 348114 834 2985 0 569860 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (KiB) 2300852
[startup+1799.5 s]
/proc/loadavg: 2.05 2.04 2.51 3/179 6425
/proc/meminfo: memFree=29312568/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=2291744 CPUtime=1799.2 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 445958 0 0 0 179718 202 0 0 20 0 1 0 391026423 2346745856 348152 33554432000 134512640 146736320 4291786928 4291781120 135468704 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 572936 348152 834 2985 0 569870 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 2300892
[startup+1799.9 s]
/proc/loadavg: 2.05 2.04 2.51 3/179 6425
/proc/meminfo: memFree=29987984/32873844 swapFree=7128/7128
[pid=6335] ppid=6333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6335/stat : 6335 (run) S 6333 6335 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391026423 9367552 269 33554432000 4194304 5064252 140734001447376 140734001446288 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6335/statm: 2287 269 229 213 0 72 0
[pid=6336] ppid=6335 vsize=1478160 CPUtime=1799.6 cores=0,2,4,6
/proc/6336/stat : 6336 (pb_cplex) R 6335 6335 4085 0 -1 4202496 445965 0 0 0 179757 203 0 0 20 0 1 0 391026423 1513635840 179550 33554432000 134512640 146736320 4291786928 4291785776 134948666 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6336/statm: 369540 179550 841 2985 0 366474 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 1487308
Child status: 0
Real time (s): 1799.94
CPU time (s): 1799.65
CPU user time (s): 1797.6
CPU system time (s): 2.04769
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 3056324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.6
system time used= 2.04769
maximum resident set size= 1809324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 446342
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= 24
involuntary context switches= 1933
runsolver used 2.6006 second user time and 7.45387 second system time
The end