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-3742354-1339250997/watcher-3742354-1339250997 -o /tmp/evaluation-result-3742354-1339250997/solver-3742354-1339250997 -C 1800 -W 1900 -M 15500 run HOME/instance-3742354-1339250997.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.00 2.00 2.29 4/177 29522
/proc/meminfo: memFree=31061832/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[startup+0.0289039 s]
/proc/loadavg: 2.00 2.00 2.29 4/177 29522
/proc/meminfo: memFree=31061832/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100297 s]
/proc/loadavg: 2.00 2.00 2.29 4/177 29522
/proc/meminfo: memFree=31061832/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300279 s]
/proc/loadavg: 2.00 2.00 2.29 4/177 29522
/proc/meminfo: memFree=31061832/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700281 s]
/proc/loadavg: 2.00 2.00 2.29 4/177 29522
/proc/meminfo: memFree=31061832/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.29 3/179 29524
/proc/meminfo: memFree=31051912/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=68024 CPUtime=1.49 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 13627 0 0 0 148 1 0 0 20 0 1 0 391225864 69656576 9027 33554432000 134512640 146736320 4290178640 4290174400 138715046 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 17006 9027 614 2985 0 13940 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77172
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.29 3/179 29524
/proc/meminfo: memFree=31012100/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=89380 CPUtime=3.09 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 24685 0 0 0 306 3 0 0 20 0 1 0 391225864 91525120 13079 33554432000 134512640 146736320 4290178640 4290173076 136017481 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 22345 13079 726 2985 0 19279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98528
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.29 3/180 29527
/proc/meminfo: memFree=31011092/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=89608 CPUtime=6.29 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 28827 0 0 0 625 4 0 0 20 0 1 0 391225864 91758592 13168 33554432000 134512640 146736320 4290178640 4290172284 135446318 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 22402 13168 726 2985 0 19336 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98756
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.29 3/180 29527
/proc/meminfo: memFree=31010388/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=90752 CPUtime=12.68 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 35721 0 0 0 1263 5 0 0 20 0 1 0 391225864 92930048 13500 33554432000 134512640 146736320 4290178640 4290173400 136009162 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 22688 13500 726 2985 0 19622 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 99900
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.28 3/180 29527
/proc/meminfo: memFree=31010396/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=91040 CPUtime=25.48 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 39286 0 0 0 2542 6 0 0 20 0 1 0 391225864 93224960 13591 33554432000 134512640 146736320 4290178640 4290173224 139044585 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 22760 13591 726 2985 0 19694 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 100188
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.27 3/180 29527
/proc/meminfo: memFree=31005412/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=91264 CPUtime=51.08 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 55191 0 0 0 5100 8 0 0 20 0 1 0 391225864 93454336 14752 33554432000 134512640 146736320 4290178640 4290173276 135855174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 22816 14752 726 2985 0 19750 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 100412
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.26 3/179 29528
/proc/meminfo: memFree=30993800/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=91400 CPUtime=102.27 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 87469 0 0 0 10213 14 0 0 20 0 1 0 391225864 93593600 17558 33554432000 134512640 146736320 4290178640 4290173776 136403116 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 22850 17558 726 2985 0 19784 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 100548
[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.25 3/179 29528
/proc/meminfo: memFree=30993304/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=91424 CPUtime=162.26 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 124532 0 0 0 16205 21 0 0 20 0 1 0 391225864 93618176 17565 33554432000 134512640 146736320 4290178640 4290173000 135525292 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 22856 17565 726 2985 0 19790 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 100572
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.23 3/179 29528
/proc/meminfo: memFree=30992932/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=91944 CPUtime=222.24 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 163195 0 0 0 22196 28 0 0 20 0 1 0 391225864 94150656 17628 33554432000 134512640 146736320 4290178640 4290173252 136385183 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 22986 17628 727 2985 0 19920 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 101092
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.22 3/179 29528
/proc/meminfo: memFree=30993420/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=91036 CPUtime=282.24 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 204172 0 0 0 28189 35 0 0 20 0 1 0 391225864 93220864 17333 33554432000 134512640 146736320 4290178640 4290173248 139046470 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 22759 17333 782 2985 0 19693 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 100184
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.20 3/179 29528
/proc/meminfo: memFree=30993044/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=91096 CPUtime=342.23 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 240086 0 0 0 34182 41 0 0 20 0 1 0 391225864 93282304 17369 33554432000 134512640 146736320 4290178640 4290173248 139046496 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 22774 17369 782 2985 0 19708 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 100244
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.18 3/179 29528
/proc/meminfo: memFree=30993168/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 1.06 1.56 1.87 2/172 29567
/proc/meminfo: memFree=31057728/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=133424 CPUtime=1422.05 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 899325 0 0 0 142038 167 0 0 20 0 1 0 391225864 136626176 26644 33554432000 134512640 146736320 4290178640 4290172592 136384861 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33356 26644 821 2985 0 30290 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 142572
[startup+1482.3 s]
/proc/loadavg: 1.02 1.45 1.81 2/172 29567
/proc/meminfo: memFree=31052636/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=133744 CPUtime=1482.03 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 927157 0 0 0 148033 170 0 0 20 0 1 0 391225864 136953856 27926 33554432000 134512640 146736320 4290178640 4290172528 136384861 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33436 27926 838 2985 0 30370 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 142892
[startup+1542.3 s]
/proc/loadavg: 1.00 1.37 1.76 2/172 29567
/proc/meminfo: memFree=31053008/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134660 CPUtime=1542.02 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 963020 0 0 0 154024 178 0 0 20 0 1 0 391225864 137891840 27835 33554432000 134512640 146736320 4290178640 4290172748 136389766 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33665 27835 841 2985 0 30599 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 143808
[startup+1602.3 s]
/proc/loadavg: 1.00 1.30 1.71 2/172 29567
/proc/meminfo: memFree=31052884/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134832 CPUtime=1602.02 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 991586 0 0 0 160019 183 0 0 20 0 1 0 391225864 138067968 27837 33554432000 134512640 146736320 4290178640 4290172236 135991026 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33708 27837 841 2985 0 30642 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 143980
[startup+1662.3 s]
/proc/loadavg: 1.00 1.24 1.66 2/172 29568
/proc/meminfo: memFree=31052636/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134844 CPUtime=1662 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 1021840 0 0 0 166012 188 0 0 20 0 1 0 391225864 138080256 27983 33554432000 134512640 146736320 4290178640 4290172116 135995273 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33711 27983 841 2985 0 30645 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 143992
[startup+1722.3 s]
/proc/loadavg: 1.00 1.20 1.62 2/172 29568
/proc/meminfo: memFree=31052448/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134852 CPUtime=1721.99 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 1049641 0 0 0 172006 193 0 0 20 0 1 0 391225864 138088448 28001 33554432000 134512640 146736320 4290178640 4290172904 136015579 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33713 28001 841 2985 0 30647 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 144000
[startup+1782.3 s]
/proc/loadavg: 1.04 1.17 1.58 2/172 29568
/proc/meminfo: memFree=31052448/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134852 CPUtime=1781.98 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 1078012 0 0 0 177999 199 0 0 20 0 1 0 391225864 138088448 28001 33554432000 134512640 146736320 4290178640 4290172236 135991879 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33713 28001 841 2985 0 30647 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 144000
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.03 1.17 1.57 2/172 29568
/proc/meminfo: memFree=31052448/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134852 CPUtime=1791.58 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 1082837 0 0 0 178958 200 0 0 20 0 1 0 391225864 138088448 28001 33554432000 134512640 146736320 4290178640 4290172872 136461485 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33713 28001 841 2985 0 30647 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 144000
[startup+1795.1 s]
/proc/loadavg: 1.03 1.16 1.57 2/172 29568
/proc/meminfo: memFree=31052448/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134852 CPUtime=1794.78 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 1084381 0 0 0 179278 200 0 0 20 0 1 0 391225864 138088448 28001 33554432000 134512640 146736320 4290178640 4290172236 135992045 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33713 28001 841 2985 0 30647 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 144000
[startup+1796.7 s]
/proc/loadavg: 1.03 1.16 1.57 2/172 29568
/proc/meminfo: memFree=31053688/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134228 CPUtime=1796.38 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 1087239 0 0 0 179437 201 0 0 20 0 1 0 391225864 137449472 27700 33554432000 134512640 146736320 4290178640 4290172792 136015703 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33557 27700 841 2985 0 30491 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 143376
[startup+1798.3 s]
/proc/loadavg: 1.03 1.16 1.57 2/172 29568
/proc/meminfo: memFree=31053688/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134228 CPUtime=1797.98 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 1088210 0 0 0 179597 201 0 0 20 0 1 0 391225864 137449472 27706 33554432000 134512640 146736320 4290178640 4290172572 135855174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33557 27706 841 2985 0 30491 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 143376
[startup+1798.7 s]
/proc/loadavg: 1.03 1.16 1.57 2/172 29568
/proc/meminfo: memFree=31053688/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134372 CPUtime=1798.38 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 1088437 0 0 0 179637 201 0 0 20 0 1 0 391225864 137596928 27740 33554432000 134512640 146736320 4290178640 4290172536 136475875 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33593 27740 841 2985 0 30527 0
Current children cumulated CPU time (s) 1798.38
Current children cumulated vsize (KiB) 143520
[startup+1798.9 s]
/proc/loadavg: 1.03 1.16 1.57 2/172 29568
/proc/meminfo: memFree=31053688/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134372 CPUtime=1798.58 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 1088631 0 0 0 179657 201 0 0 20 0 1 0 391225864 137596928 27741 33554432000 134512640 146736320 4290178640 4290172388 136016840 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33593 27741 841 2985 0 30527 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 143520
[startup+1799 s]
/proc/loadavg: 1.03 1.16 1.57 2/172 29568
/proc/meminfo: memFree=31053688/32873844 swapFree=7380/7380
[pid=29522] ppid=29520 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29522/stat : 29522 (run) S 29520 29522 28815 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391225864 9367552 269 33554432000 4194304 5064252 140733307083904 140733307082816 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29522/statm: 2287 269 229 213 0 72 0
[pid=29523] ppid=29522 vsize=134372 CPUtime=1798.68 cores=0,2,4,6
/proc/29523/stat : 29523 (pb_cplex) R 29522 29522 28815 0 -1 4202496 1088631 0 0 0 179667 201 0 0 20 0 1 0 391225864 137596928 27741 33554432000 134512640 146736320 4290178640 4290172548 136385184 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/29523/statm: 33593 27741 841 2985 0 30527 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 143520
Child status: 0
Real time (s): 1799.08
CPU time (s): 1798.77
CPU user time (s): 1796.74
CPU system time (s): 2.02069
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 148912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.74
system time used= 2.02069
maximum resident set size= 116692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1089891
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= 31
involuntary context switches= 2056
runsolver used 6.34603 second user time and 12.3441 second system time
The end