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-3740413-1339249334/watcher-3740413-1339249334 -o /tmp/evaluation-result-3740413-1339249334/solver-3740413-1339249334 -C 1800 -W 1900 -M 15500 run HOME/instance-3740413-1339249334.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: 13.13 11.23 8.17 9/184 17642
/proc/meminfo: memFree=26726312/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[startup+0.100793 s]
/proc/loadavg: 13.13 11.23 8.17 9/184 17642
/proc/meminfo: memFree=26726312/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200209 s]
/proc/loadavg: 13.13 11.23 8.17 9/184 17642
/proc/meminfo: memFree=26726312/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300199 s]
/proc/loadavg: 13.13 11.23 8.17 9/184 17642
/proc/meminfo: memFree=26726312/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700152 s]
/proc/loadavg: 13.13 11.23 8.17 9/184 17642
/proc/meminfo: memFree=26726312/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50013 s]
/proc/loadavg: 13.13 11.23 8.17 10/186 17644
/proc/meminfo: memFree=26668192/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=81324 CPUtime=1.48 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 17311 0 0 0 146 2 0 0 20 0 1 0 391058880 83275776 16741 33554432000 134512640 146736320 4287789504 4287787456 134543014 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 20331 16741 2086 2985 0 15231 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 90472
[startup+3.10027 s]
/proc/loadavg: 13.13 11.23 8.17 10/186 17644
/proc/meminfo: memFree=26666332/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=163664 CPUtime=3.09 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 41155 0 0 0 303 6 0 0 20 0 1 0 391058880 167591936 35844 33554432000 134512640 146736320 4287789504 4287787704 136729816 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 40916 35844 614 2985 0 37850 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 172812
[startup+6.30022 s]
/proc/loadavg: 12.80 11.20 8.18 10/186 17644
/proc/meminfo: memFree=26534128/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=444672 CPUtime=6.29 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 111605 0 0 0 608 21 0 0 20 0 1 0 391058880 455344128 65528 33554432000 134512640 146736320 4287789504 4287784000 136403421 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 111168 65528 794 2985 0 108102 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 453820
[startup+12.7003 s]
/proc/loadavg: 12.49 11.16 8.18 9/186 17644
/proc/meminfo: memFree=26457504/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=452092 CPUtime=12.69 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 121490 0 0 0 1245 24 0 0 20 0 1 0 391058880 462942208 67488 33554432000 134512640 146736320 4287789504 4287784000 136403414 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 113023 67488 794 2985 0 109957 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 461240
[startup+25.5003 s]
/proc/loadavg: 11.44 10.99 8.17 10/186 17644
/proc/meminfo: memFree=26449328/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=457492 CPUtime=25.49 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 130434 0 0 0 2521 28 0 0 20 0 1 0 391058880 468471808 69283 33554432000 134512640 146736320 4287789504 4287784520 135999691 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 114373 69283 794 2985 0 111307 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 466640
[startup+51.1004 s]
/proc/loadavg: 9.71 10.62 8.13 8/186 17644
/proc/meminfo: memFree=26449824/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=458136 CPUtime=51.08 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 139034 0 0 0 5076 32 0 0 20 0 1 0 391058880 469131264 69428 33554432000 134512640 146736320 4287789504 4287783156 135450784 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 114534 69428 794 2985 0 111468 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 467284
[startup+102.3 s]
/proc/loadavg: 8.99 10.28 8.14 8/186 17644
/proc/meminfo: memFree=26442688/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=461232 CPUtime=102.28 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 161083 0 0 0 10185 43 0 0 20 0 1 0 391058880 472301568 70173 33554432000 134512640 146736320 4287789504 4287784248 136400586 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115308 70173 794 2985 0 112242 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 470380
[startup+162.3 s]
/proc/loadavg: 8.33 9.88 8.14 10/186 17644
/proc/meminfo: memFree=26434660/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=461316 CPUtime=162.26 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 177367 0 0 0 16177 49 0 0 20 0 1 0 391058880 472387584 72300 33554432000 134512640 146736320 4287789504 4287783928 136400477 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115329 72300 794 2985 0 112263 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 470464
[startup+222.307 s]
/proc/loadavg: 4.93 8.68 7.84 3/179 17792
/proc/meminfo: memFree=26389236/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=461720 CPUtime=222.25 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 191424 0 0 0 22170 55 0 0 20 0 1 0 391058880 472801280 77466 33554432000 134512640 146736320 4287789504 4287784064 136413871 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115430 77466 794 2985 0 112364 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 470868
[startup+282.3 s]
/proc/loadavg: 3.08 7.47 7.47 3/179 17793
/proc/meminfo: memFree=26490624/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=461920 CPUtime=282.24 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 204383 0 0 0 28162 62 0 0 20 0 1 0 391058880 473006080 78968 33554432000 134512640 146736320 4287789504 4287784268 136017672 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115480 78968 794 2985 0 112414 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 471068
[startup+342.3 s]
/proc/loadavg: 2.39 6.47 7.12 3/179 17842
/proc/meminfo: memFree=24651156/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=461976 CPUtime=342.23 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 218286 0 0 0 34157 66 0 0 20 0 1 0 391058880 473063424 81268 33554432000 134512640 146736320 4287789504 4287784704 139046468 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115494 81268 794 2985 0 112428 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 471124
[startup+402.3 s]
/proc/loadavg: 2.14 5.65 6.80 3/179 17842
/proc/meminfo: memFree=25097464/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.11 3.57 3/178 17874
/proc/meminfo: memFree=25013828/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=463380 CPUtime=1422.08 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 602512 0 0 0 142018 190 0 0 20 0 1 0 391058880 474501120 74437 33554432000 134512640 146736320 4287789504 4287783692 136017505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115845 74437 907 2985 0 112779 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 472528
[startup+1482.3 s]
/proc/loadavg: 2.00 2.09 3.47 3/179 17876
/proc/meminfo: memFree=25013340/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=463380 CPUtime=1482.06 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 616686 0 0 0 148011 195 0 0 20 0 1 0 391058880 474501120 74447 33554432000 134512640 146736320 4287789504 4287784080 136403112 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115845 74447 907 2985 0 112779 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 472528
[startup+1542.31 s]
/proc/loadavg: 2.00 2.07 3.38 3/179 17876
/proc/meminfo: memFree=25010952/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1542.06 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 661018 0 0 0 153998 208 0 0 20 0 1 0 391058880 473931776 74501 33554432000 134512640 146736320 4287789504 4287784080 136403106 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 74501 909 2985 0 112640 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 471972
[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 3.29 3/179 17876
/proc/meminfo: memFree=25010704/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1602.05 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 671930 0 0 0 159991 214 0 0 20 0 1 0 391058880 473931776 74504 33554432000 134512640 146736320 4287789504 4287783580 135854564 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 74504 909 2985 0 112640 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 471972
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 3.21 3/179 17876
/proc/meminfo: memFree=25004620/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1662.03 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 684569 0 0 0 165985 218 0 0 20 0 1 0 391058880 473931776 75474 33554432000 134512640 146736320 4287789504 4287783580 135854532 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 75474 909 2985 0 112640 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 471972
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 3.13 3/180 17879
/proc/meminfo: memFree=25003724/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1722.03 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 695359 0 0 0 171980 223 0 0 20 0 1 0 391058880 473931776 75484 33554432000 134512640 146736320 4287789504 4287784080 136403112 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 75484 909 2985 0 112640 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 471972
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 3.06 3/179 17880
/proc/meminfo: memFree=24997252/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1782.02 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 706452 0 0 0 177974 228 0 0 20 0 1 0 391058880 473931776 75495 33554432000 134512640 146736320 4287789504 4287783692 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 75495 909 2985 0 112640 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 471972
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.04 2.05 3.05 3/179 17880
/proc/meminfo: memFree=24997312/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1791.71 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 708163 0 0 0 178943 228 0 0 20 0 1 0 391058880 473931776 75495 33554432000 134512640 146736320 4287789504 4287783544 136475800 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 75495 909 2985 0 112640 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 471972
[startup+1795.2 s]
/proc/loadavg: 2.04 2.05 3.05 3/179 17880
/proc/meminfo: memFree=24997312/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1794.92 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 708740 0 0 0 179263 229 0 0 20 0 1 0 391058880 473931776 75496 33554432000 134512640 146736320 4287789504 4287783944 136000532 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 75496 909 2985 0 112640 0
Current children cumulated CPU time (s) 1794.92
Current children cumulated vsize (KiB) 471972
[startup+1796.8 s]
/proc/loadavg: 2.04 2.05 3.05 3/179 17880
/proc/meminfo: memFree=24997436/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1796.51 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 709027 0 0 0 179422 229 0 0 20 0 1 0 391058880 473931776 75496 33554432000 134512640 146736320 4287789504 4287783580 135854509 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 75496 909 2985 0 112640 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (KiB) 471972
[startup+1798.4 s]
/proc/loadavg: 2.04 2.05 3.05 3/179 17880
/proc/meminfo: memFree=24997188/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1798.11 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 709601 0 0 0 179582 229 0 0 20 0 1 0 391058880 473931776 75496 33554432000 134512640 146736320 4287789504 4287782652 135526859 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 75496 909 2985 0 112640 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 471972
[startup+1798.8 s]
/proc/loadavg: 2.04 2.05 3.05 3/179 17880
/proc/meminfo: memFree=24997312/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1798.51 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 709601 0 0 0 179622 229 0 0 20 0 1 0 391058880 473931776 75496 33554432000 134512640 146736320 4287789504 4287783536 136384857 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 75496 909 2985 0 112640 0
Current children cumulated CPU time (s) 1798.51
Current children cumulated vsize (KiB) 471972
[startup+1799.2 s]
/proc/loadavg: 2.04 2.05 3.05 3/179 17880
/proc/meminfo: memFree=24997312/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=468392 CPUtime=1798.91 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 709889 0 0 0 179662 229 0 0 20 0 1 0 391058880 479633408 76806 33554432000 134512640 146736320 4287789504 4287782860 135465099 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 117098 76806 909 2985 0 114032 0
Current children cumulated CPU time (s) 1798.91
Current children cumulated vsize (KiB) 477540
[startup+1799.3 s]
/proc/loadavg: 2.04 2.05 3.05 3/179 17880
/proc/meminfo: memFree=24997312/32873648 swapFree=7376/7376
[pid=17642] ppid=17640 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17642/stat : 17642 (run) S 17640 17642 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391058880 9367552 270 33554432000 4194304 5064252 140736153932080 140736153930992 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17642/statm: 2287 270 229 213 0 72 0
[pid=17643] ppid=17642 vsize=462824 CPUtime=1799.01 cores=0,2,4,6
/proc/17643/stat : 17643 (pb_cplex) R 17642 17642 15880 0 -1 4202496 709889 0 0 0 179672 229 0 0 20 0 1 0 391058880 473931776 75496 33554432000 134512640 146736320 4287789504 4287783528 139044499 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17643/statm: 115706 75496 909 2985 0 112640 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 471972
Child status: 0
Real time (s): 1799.38
CPU time (s): 1799.1
CPU user time (s): 1796.78
CPU system time (s): 2.31265
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 616624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 2.31265
maximum resident set size= 441264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 710277
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= 17
involuntary context switches= 1878
runsolver used 3.09053 second user time and 9.02463 second system time
The end