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-3742549-1339251236/watcher-3742549-1339251236 -o /tmp/evaluation-result-3742549-1339251236/solver-3742549-1339251236 -C 1800 -W 1900 -M 15500 run HOME/instance-3742549-1339251236.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: 1.92 1.98 2.61 3/177 4832
/proc/meminfo: memFree=29919976/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[startup+0.0723801 s]
/proc/loadavg: 1.92 1.98 2.61 3/177 4832
/proc/meminfo: memFree=29919976/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 1.92 1.98 2.61 3/177 4832
/proc/meminfo: memFree=29919976/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 1.92 1.98 2.61 3/177 4832
/proc/meminfo: memFree=29919976/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 1.92 1.98 2.61 3/177 4832
/proc/meminfo: memFree=29919976/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.92 1.98 2.61 3/179 4834
/proc/meminfo: memFree=29891516/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=69300 CPUtime=1.49 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 15926 0 0 0 147 2 0 0 20 0 1 0 391247933 70963200 10044 33554432000 134512640 146736320 4287826672 4287821400 136006931 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4833/statm: 17325 10044 726 2985 0 14259 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78448
[startup+3.1003 s]
/proc/loadavg: 1.92 1.98 2.61 3/179 4834
/proc/meminfo: memFree=29878240/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=69416 CPUtime=3.09 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 18354 0 0 0 307 2 0 0 20 0 1 0 391247933 71081984 10094 33554432000 134512640 146736320 4287826672 4287821400 136007056 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 17354 10094 726 2985 0 14288 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78564
[startup+6.30031 s]
/proc/loadavg: 1.93 1.98 2.61 3/179 4834
/proc/meminfo: memFree=29877248/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=70080 CPUtime=6.29 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 20086 0 0 0 627 2 0 0 20 0 1 0 391247933 71761920 10286 33554432000 134512640 146736320 4287826672 4287821888 139046519 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 17520 10286 726 2985 0 14454 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79228
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 2.60 3/179 4834
/proc/meminfo: memFree=29872420/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=70236 CPUtime=12.68 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 20152 0 0 0 1266 2 0 0 20 0 1 0 391247933 71921664 10353 33554432000 134512640 146736320 4287826672 4287821468 136009799 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 17559 10353 726 2985 0 14493 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 79384
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 2.59 3/179 4834
/proc/meminfo: memFree=29870236/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=70360 CPUtime=25.48 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 23690 0 0 0 2545 3 0 0 20 0 1 0 391247933 72048640 10854 33554432000 134512640 146736320 4287826672 4287821704 136000984 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 17590 10854 726 2985 0 14524 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79508
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 2.58 3/179 4834
/proc/meminfo: memFree=29861660/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=70432 CPUtime=51.08 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 42194 0 0 0 5101 7 0 0 20 0 1 0 391247933 72122368 12988 33554432000 134512640 146736320 4287826672 4287821340 135855165 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 17608 12988 726 2985 0 14542 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79580
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 2.54 3/179 4834
/proc/meminfo: memFree=29862208/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=69804 CPUtime=102.26 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 80609 0 0 0 10212 14 0 0 20 0 1 0 391247933 71479296 12873 33554432000 134512640 146736320 4287826672 4287820672 136018896 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 17451 12873 781 2985 0 14385 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 78952
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 2.51 3/179 4834
/proc/meminfo: memFree=29862208/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=69852 CPUtime=162.25 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 121363 0 0 0 16202 23 0 0 20 0 1 0 391247933 71528448 12887 33554432000 134512640 146736320 4287826672 4287820488 135525908 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 17463 12887 781 2985 0 14397 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 79000
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 2.47 3/179 4834
/proc/meminfo: memFree=29862208/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=69900 CPUtime=222.24 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 162677 0 0 0 22195 29 0 0 20 0 1 0 391247933 71577600 12901 33554432000 134512640 146736320 4287826672 4287820728 136475780 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 17475 12901 781 2985 0 14409 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 79048
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 2.44 3/179 4834
/proc/meminfo: memFree=29862208/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=70472 CPUtime=282.23 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 203702 0 0 0 28187 36 0 0 20 0 1 0 391247933 72163328 13046 33554432000 134512640 146736320 4287826672 4287819088 135459544 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 17618 13046 782 2985 0 14552 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 79620
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 2.41 3/179 4835
/proc/meminfo: memFree=29857000/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=69920 CPUtime=342.23 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 244164 0 0 0 34179 44 0 0 20 0 1 0 391247933 71598080 12908 33554432000 134512640 146736320 4287826672 4287821128 136000767 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 17480 12908 782 2985 0 14414 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 79068
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 2.38 3/180 4838
/proc/meminfo: memFree=29823060/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 4844
/proc/meminfo: memFree=29817772/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=102604 CPUtime=1362.06 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 826207 0 0 0 136052 154 0 0 20 0 1 0 391247933 105066496 20511 33554432000 134512640 146736320 4287826672 4287820424 135851871 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25651 20511 841 2985 0 22585 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 111752
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 4844
/proc/meminfo: memFree=29817524/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=102604 CPUtime=1422.06 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 826309 0 0 0 142052 154 0 0 20 0 1 0 391247933 105066496 20613 33554432000 134512640 146736320 4287826672 4287820424 135852269 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25651 20613 841 2985 0 22585 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 111752
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 4844
/proc/meminfo: memFree=29786324/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=101560 CPUtime=1482.04 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 869263 0 0 0 148042 162 0 0 20 0 1 0 391247933 103997440 20611 33554432000 134512640 146736320 4287826672 4287820612 136385167 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25390 20611 841 2985 0 22324 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 110708
[startup+1542.3 s]
/proc/loadavg: 1.78 1.95 2.07 2/172 4872
/proc/meminfo: memFree=29919716/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=102608 CPUtime=1542.04 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 871741 0 0 0 154041 163 0 0 20 0 1 0 391247933 105070592 20585 33554432000 134512640 146736320 4287826672 4287818896 135459738 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25652 20585 841 2985 0 22586 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 111756
[startup+1602.3 s]
/proc/loadavg: 1.28 1.77 2.00 2/173 4875
/proc/meminfo: memFree=29919336/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=102608 CPUtime=1602.02 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 871843 0 0 0 160039 163 0 0 20 0 1 0 391247933 105070592 20687 33554432000 134512640 146736320 4287826672 4287820936 136461573 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25652 20687 841 2985 0 22586 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 111756
[startup+1662.3 s]
/proc/loadavg: 1.10 1.63 1.94 2/172 4875
/proc/meminfo: memFree=29919776/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=101928 CPUtime=1662.02 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 899877 0 0 0 166033 169 0 0 20 0 1 0 391247933 104374272 20610 33554432000 134512640 146736320 4287826672 4287820968 136015727 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25482 20610 841 2985 0 22416 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 111076
[startup+1722.3 s]
/proc/loadavg: 1.04 1.51 1.87 2/172 4875
/proc/meminfo: memFree=29919776/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=101848 CPUtime=1722.01 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 922203 0 0 0 172028 173 0 0 20 0 1 0 391247933 104292352 20615 33554432000 134512640 146736320 4287826672 4287820968 136015544 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25462 20615 841 2985 0 22396 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 110996
[startup+1782.3 s]
/proc/loadavg: 1.01 1.42 1.82 2/172 4875
/proc/meminfo: memFree=29918660/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=103308 CPUtime=1782 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 954830 0 0 0 178022 178 0 0 20 0 1 0 391247933 105787392 20839 33554432000 134512640 146736320 4287826672 4287820968 136015700 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25827 20839 841 2985 0 22761 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 112456
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.01 1.40 1.81 2/172 4875
/proc/meminfo: memFree=29920272/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=101504 CPUtime=1791.6 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 958930 0 0 0 178981 179 0 0 20 0 1 0 391247933 103940096 20356 33554432000 134512640 146736320 4287826672 4287820600 136475798 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25376 20356 842 2985 0 22310 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 110652
[startup+1795.1 s]
/proc/loadavg: 1.01 1.40 1.80 2/172 4875
/proc/meminfo: memFree=29920272/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=101504 CPUtime=1794.8 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 962857 0 0 0 179300 180 0 0 20 0 1 0 391247933 103940096 20363 33554432000 134512640 146736320 4287826672 4287820856 136015583 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25376 20363 842 2985 0 22310 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 110652
[startup+1796.7 s]
/proc/loadavg: 1.01 1.40 1.80 2/172 4875
/proc/meminfo: memFree=29920272/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=101504 CPUtime=1796.4 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 964959 0 0 0 179459 181 0 0 20 0 1 0 391247933 103940096 20365 33554432000 134512640 146736320 4287826672 4287820424 136386843 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25376 20365 842 2985 0 22310 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 110652
[startup+1798.3 s]
/proc/loadavg: 1.01 1.40 1.80 2/172 4875
/proc/meminfo: memFree=29920272/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=102064 CPUtime=1797.99 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 967201 0 0 0 179618 181 0 0 20 0 1 0 391247933 104513536 20507 33554432000 134512640 146736320 4287826672 4287818960 135459277 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25516 20507 842 2985 0 22450 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 111212
[startup+1798.7 s]
/proc/loadavg: 1.01 1.39 1.80 2/172 4875
/proc/meminfo: memFree=29920272/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=101504 CPUtime=1798.39 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 967621 0 0 0 179658 181 0 0 20 0 1 0 391247933 103940096 20367 33554432000 134512640 146736320 4287826672 4287820600 136475827 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 25376 20367 842 2985 0 22310 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (KiB) 110652
[startup+1799.1 s]
/proc/loadavg: 1.01 1.39 1.80 2/172 4875
/proc/meminfo: memFree=29920272/32873844 swapFree=7632/7632
[pid=4832] ppid=4830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4832/stat : 4832 (run) S 4830 4832 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391247933 9367552 270 33554432000 4194304 5064252 140737023378464 140737023377376 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4832/statm: 2287 270 229 213 0 72 0
[pid=4833] ppid=4832 vsize=95344 CPUtime=1798.79 cores=0,2,4,6
/proc/4833/stat : 4833 (pb_cplex) R 4832 4832 3419 0 -1 4202496 968940 0 0 0 179698 181 0 0 20 0 1 0 391247933 97632256 16733 33554432000 134512640 146736320 4287826672 4287822852 135961992 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4833/statm: 23836 16733 843 2985 0 20770 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 104492
Child status: 0
Real time (s): 1799.16
CPU time (s): 1798.87
CPU user time (s): 1797.04
CPU system time (s): 1.82872
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 114284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.04
system time used= 1.82872
maximum resident set size= 91276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 973433
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= 1923
runsolver used 2.48062 second user time and 7.33588 second system time
The end