runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695702-1278022098/watcher-2695702-1278022098 -o /tmp/evaluation-result-2695702-1278022098/solver-2695702-1278022098 -C 1800 -W 2000 -M 1800 run HOME/instance-2695702-1278022098.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.64 1.65 1.54 3/105 30853
/proc/meminfo: memFree=1284696/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0

[startup+0.0556539 s]
/proc/loadavg: 1.64 1.65 1.54 3/105 30853
/proc/meminfo: memFree=1284696/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101659 s]
/proc/loadavg: 1.64 1.65 1.54 3/105 30853
/proc/meminfo: memFree=1284696/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301776 s]
/proc/loadavg: 1.64 1.65 1.54 3/105 30853
/proc/meminfo: memFree=1284696/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701727 s]
/proc/loadavg: 1.64 1.65 1.54 3/105 30853
/proc/meminfo: memFree=1284696/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50182 s]
/proc/loadavg: 1.64 1.65 1.54 2/107 30855
/proc/meminfo: memFree=1251324/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=116244 CPUtime=1.49
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 23485 0 0 0 141 8 0 0 23 0 1 0 143503683 119033856 12991 1992294400 134512640 146736320 4293400784 18446744073709551615 136237233 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 29061 12991 830 2985 0 25603 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124944

[startup+3.102 s]
/proc/loadavg: 1.64 1.65 1.54 2/107 30855
/proc/meminfo: memFree=1233716/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=119028 CPUtime=3.09
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 26246 0 0 0 300 9 0 0 25 0 1 0 143503683 121884672 13463 1992294400 134512640 146736320 4293400784 18446744073709551615 135658756 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 29757 13463 893 2985 0 26299 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127728

[startup+6.30136 s]
/proc/loadavg: 1.59 1.64 1.53 2/107 30855
/proc/meminfo: memFree=1233220/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=119028 CPUtime=6.28
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 26253 0 0 0 618 10 0 0 25 0 1 0 143503683 121884672 13470 1992294400 134512640 146736320 4293400784 18446744073709551615 136016779 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 29757 13470 893 2985 0 26299 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 127728

[startup+12.7011 s]
/proc/loadavg: 1.54 1.63 1.53 2/107 30855
/proc/meminfo: memFree=1233220/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=119028 CPUtime=12.67
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 26253 0 0 0 1257 10 0 0 25 0 1 0 143503683 121884672 13470 1992294400 134512640 146736320 4293400784 18446744073709551615 138668076 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 29757 13470 893 2985 0 26299 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 127728

[startup+25.5015 s]
/proc/loadavg: 1.42 1.60 1.52 2/107 30855
/proc/meminfo: memFree=1233344/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=119028 CPUtime=25.47
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 26254 0 0 0 2537 10 0 0 25 0 1 0 143503683 121884672 13471 1992294400 134512640 146736320 4293400784 18446744073709551615 135997694 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 29757 13471 893 2985 0 26299 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 127728

[startup+51.1014 s]
/proc/loadavg: 1.34 1.56 1.51 2/107 30857
/proc/meminfo: memFree=1233096/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=119028 CPUtime=51.06
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 26254 0 0 0 5095 11 0 0 25 0 1 0 143503683 121884672 13471 1992294400 134512640 146736320 4293400784 18446744073709551615 136461489 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 29757 13471 893 2985 0 26299 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 127728

[startup+102.309 s]
/proc/loadavg: 1.14 1.47 1.48 2/107 30857
/proc/meminfo: memFree=1228136/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=126748 CPUtime=102.26
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 27664 0 0 0 10214 12 0 0 25 0 1 0 143503683 129789952 14881 1992294400 134512640 146736320 4293400784 18446744073709551615 138768474 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 31687 14881 901 2985 0 28229 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135448

[startup+162.301 s]
/proc/loadavg: 1.05 1.39 1.45 2/107 30859
/proc/meminfo: memFree=1228136/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=126748 CPUtime=162.23
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 27664 0 0 0 16211 12 0 0 25 0 1 0 143503683 129789952 14881 1992294400 134512640 146736320 4293400784 18446744073709551615 136402270 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 31687 14881 901 2985 0 28229 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 135448

[startup+222.302 s]
/proc/loadavg: 1.02 1.31 1.42 2/107 30861
/proc/meminfo: memFree=1228012/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=126748 CPUtime=222.22
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 27664 0 0 0 22210 12 0 0 25 0 1 0 143503683 129789952 14881 1992294400 134512640 146736320 4293400784 18446744073709551615 136402270 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 31687 14881 901 2985 0 28229 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 135448

[startup+282.302 s]
/proc/loadavg: 1.00 1.25 1.39 2/107 30863
/proc/meminfo: memFree=1203708/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=164272 CPUtime=282.2
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 44865 0 0 0 28200 20 0 0 25 0 1 0 143503683 168214528 20852 1992294400 134512640 146736320 4293400784 18446744073709551615 136017846 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41068 20852 970 2985 0 37610 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 172972

[startup+342.301 s]
/proc/loadavg: 1.00 1.20 1.36 2/107 30865
/proc/meminfo: memFree=1203584/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=164692 CPUtime=342.18
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 50966 0 0 0 34196 22 0 0 25 0 1 0 143503683 168644608 20872 1992294400 134512640 146736320 4293400784 18446744073709551615 136014833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41173 20872 970 2985 0 37715 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 173392

[startup+402.301 s]
/proc/loadavg: 1.00 1.16 1.34 2/107 30865
/proc/meminfo: memFree=1203460/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=164692 CPUtime=402.17
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 57666 0 0 0 40192 25 0 0 25 0 1 0 143503683 168644608 20884 1992294400 134512640 146736320 4293400784 18446744073709551615 136388081 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41173 20884 970 2985 0 37715 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 173392

[startup+462.301 s]

################
# More data... #
################


[startup+1422.31 s]
/proc/loadavg: 1.07 1.02 1.09 2/107 30896
/proc/meminfo: memFree=1195384/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166356 CPUtime=1421.9
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 216933 0 0 0 142105 85 0 0 25 0 1 0 143503683 170348544 22773 1992294400 134512640 146736320 4293400784 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41589 22773 1016 2985 0 38131 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 175056

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 1.08 2/107 30898
/proc/meminfo: memFree=1195508/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166364 CPUtime=1481.87
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 224596 0 0 0 148100 87 0 0 25 0 1 0 143503683 170356736 22775 1992294400 134512640 146736320 4293400784 18446744073709551615 139043560 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41591 22775 1016 2985 0 38133 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 175064

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.08 2/107 30900
/proc/meminfo: memFree=1195508/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166380 CPUtime=1541.86
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 231740 0 0 0 154096 90 0 0 25 0 1 0 143503683 170373120 22780 1992294400 134512640 146736320 4293400784 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41595 22780 1016 2985 0 38137 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 175080

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 30900
/proc/meminfo: memFree=1195508/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166412 CPUtime=1601.85
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 238896 0 0 0 160092 93 0 0 25 0 1 0 143503683 170405888 22788 1992294400 134512640 146736320 4293400784 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41603 22788 1016 2985 0 38145 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 175112

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 30902
/proc/meminfo: memFree=1195508/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166412 CPUtime=1661.83
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 246111 0 0 0 166087 96 0 0 25 0 1 0 143503683 170405888 22789 1992294400 134512640 146736320 4293400784 18446744073709551615 136017512 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41603 22789 1016 2985 0 38145 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 175112

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 30904
/proc/meminfo: memFree=1195508/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166416 CPUtime=1721.81
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 253731 0 0 0 172081 100 0 0 25 0 1 0 143503683 170409984 22790 1992294400 134512640 146736320 4293400784 18446744073709551615 136384895 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41604 22790 1016 2985 0 38146 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 175116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30906
/proc/meminfo: memFree=1195524/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166464 CPUtime=1781.8
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 260853 0 0 0 178078 102 0 0 25 0 1 0 143503683 170459136 22802 1992294400 134512640 146736320 4293400784 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41616 22802 1016 2985 0 38158 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 175164

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30906
/proc/meminfo: memFree=1195524/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166464 CPUtime=1791.4
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 261885 0 0 0 179038 102 0 0 25 0 1 0 143503683 170459136 22802 1992294400 134512640 146736320 4293400784 18446744073709551615 136017481 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41616 22802 1016 2985 0 38158 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 175164

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30906
/proc/meminfo: memFree=1195524/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166464 CPUtime=1794.59
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 262394 0 0 0 179357 102 0 0 25 0 1 0 143503683 170459136 22802 1992294400 134512640 146736320 4293400784 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41616 22802 1016 2985 0 38158 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 175164

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30906
/proc/meminfo: memFree=1195524/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166464 CPUtime=1797.79
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 262910 0 0 0 179676 103 0 0 25 0 1 0 143503683 170459136 22802 1992294400 134512640 146736320 4293400784 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41616 22802 1016 2985 0 38158 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 175164

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30906
/proc/meminfo: memFree=1195524/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166464 CPUtime=1798.59
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 262910 0 0 0 179756 103 0 0 25 0 1 0 143503683 170459136 22802 1992294400 134512640 146736320 4293400784 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41616 22802 1016 2985 0 38158 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 175164

[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30906
/proc/meminfo: memFree=1195524/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166464 CPUtime=1799
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 263418 0 0 0 179797 103 0 0 25 0 1 0 143503683 170459136 22802 1992294400 134512640 146736320 4293400784 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41616 22802 1016 2985 0 38158 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 175164

[startup+1799.7 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30906
/proc/meminfo: memFree=1195524/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=166464 CPUtime=1799.19
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 263418 0 0 0 179816 103 0 0 25 0 1 0 143503683 170459136 22802 1992294400 134512640 146736320 4293400784 18446744073709551615 136403112 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 41616 22802 1016 2985 0 38158 0
Current children cumulated CPU time (s) 1799.19
Current children cumulated vsize (KiB) 175164

[startup+1799.8 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30906
/proc/meminfo: memFree=1195524/2059040 swapFree=4139472/4192956
[pid=30853] ppid=30851 vsize=8700 CPUtime=0
/proc/30853/stat : 30853 (run) S 30851 30853 30159 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 143503683 8908800 248 1992294400 4194304 4922060 140736264638624 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30853/statm: 2175 248 208 178 0 68 0
[pid=30854] ppid=30853 vsize=130644 CPUtime=1799.29
/proc/30854/stat : 30854 (pb_cplex) R 30853 30853 30159 0 -1 4202496 263602 0 0 0 179826 103 0 0 25 0 1 0 143503683 133779456 16646 1992294400 134512640 146736320 4293400784 18446744073709551615 144797937 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30854/statm: 32514 16524 1016 2985 0 29056 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 139344

Child status: 0
Real time (s): 1799.82
CPU time (s): 1799.32
CPU user time (s): 1798.28
CPU system time (s): 1.04584
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 243572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.28
system time used= 1.04584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264007
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= 10
involuntary context switches= 28098

runsolver used 2.95655 second user time and 8.51171 second system time

The end