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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695696-1278022020/watcher-2695696-1278022020 -o /tmp/evaluation-result-2695696-1278022020/solver-2695696-1278022020 -C 1800 -W 2000 -M 1800 run HOME/instance-2695696-1278022020.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.75 1.74 1.70 3/105 29193
/proc/meminfo: memFree=1432964/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0

[startup+0.107887 s]
/proc/loadavg: 1.75 1.74 1.70 3/105 29193
/proc/meminfo: memFree=1432964/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200898 s]
/proc/loadavg: 1.75 1.74 1.70 3/105 29193
/proc/meminfo: memFree=1432964/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300909 s]
/proc/loadavg: 1.75 1.74 1.70 3/105 29193
/proc/meminfo: memFree=1432964/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70097 s]
/proc/loadavg: 1.75 1.74 1.70 3/105 29193
/proc/meminfo: memFree=1432964/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50104 s]
/proc/loadavg: 1.75 1.74 1.70 2/107 29195
/proc/meminfo: memFree=1400700/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=116588 CPUtime=1.48
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 23447 0 0 0 142 6 0 0 25 0 1 0 143495547 119386112 13028 1992294400 134512640 146736320 4293924048 18446744073709551615 138299148 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 29147 13028 830 2985 0 25689 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 125288

[startup+3.10123 s]
/proc/loadavg: 1.75 1.74 1.70 2/107 29195
/proc/meminfo: memFree=1381604/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=119316 CPUtime=3.08
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 26209 0 0 0 301 7 0 0 25 0 1 0 143495547 122179584 13497 1992294400 134512640 146736320 4293924048 18446744073709551615 136001716 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 29829 13497 893 2985 0 26371 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 128016

[startup+6.30159 s]
/proc/loadavg: 1.68 1.73 1.70 2/107 29195
/proc/meminfo: memFree=1380488/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=119896 CPUtime=6.28
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 26335 0 0 0 621 7 0 0 25 0 1 0 143495547 122773504 13623 1992294400 134512640 146736320 4293924048 18446744073709551615 135459544 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 29974 13623 893 2985 0 26516 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 128596

[startup+12.7013 s]
/proc/loadavg: 1.63 1.71 1.70 2/107 29195
/proc/meminfo: memFree=1380984/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=119896 CPUtime=12.68
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 26335 0 0 0 1261 7 0 0 25 0 1 0 143495547 122773504 13623 1992294400 134512640 146736320 4293924048 18446744073709551615 136461557 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 29974 13623 893 2985 0 26516 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 128596

[startup+25.5008 s]
/proc/loadavg: 1.49 1.68 1.68 2/107 29195
/proc/meminfo: memFree=1380984/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=119896 CPUtime=25.47
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 26336 0 0 0 2540 7 0 0 25 0 1 0 143495547 122773504 13624 1992294400 134512640 146736320 4293924048 18446744073709551615 136015579 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 29974 13624 893 2985 0 26516 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 128596

[startup+51.1007 s]
/proc/loadavg: 1.32 1.62 1.66 2/107 29197
/proc/meminfo: memFree=1380984/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=119896 CPUtime=51.07
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 26336 0 0 0 5099 8 0 0 25 0 1 0 143495547 122773504 13624 1992294400 134512640 146736320 4293924048 18446744073709551615 138667438 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 29974 13624 893 2985 0 26516 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 128596

[startup+102.301 s]
/proc/loadavg: 1.14 1.52 1.63 2/107 29197
/proc/meminfo: memFree=1380984/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=119896 CPUtime=102.26
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 26336 0 0 0 10217 9 0 0 25 0 1 0 143495547 122773504 13624 1992294400 134512640 146736320 4293924048 18446744073709551615 135997676 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 29974 13624 893 2985 0 26516 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 128596

[startup+162.3 s]
/proc/loadavg: 1.05 1.43 1.59 2/107 29199
/proc/meminfo: memFree=1375900/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=127320 CPUtime=162.23
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 27683 0 0 0 16214 9 0 0 25 0 1 0 143495547 130375680 14971 1992294400 134512640 146736320 4293924048 18446744073709551615 138768306 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 31830 14971 901 2985 0 28372 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 136020

[startup+222.308 s]
/proc/loadavg: 1.02 1.35 1.54 2/107 29201
/proc/meminfo: memFree=1365112/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=169212 CPUtime=222.23
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 39288 0 0 0 22209 14 0 0 25 0 1 0 143495547 173273088 20556 1992294400 134512640 146736320 4293924048 18446744073709551615 135450613 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42303 20556 959 2985 0 38845 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 177912

[startup+282.301 s]
/proc/loadavg: 1.05 1.29 1.51 2/107 29203
/proc/meminfo: memFree=1351348/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=169524 CPUtime=282.19
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 45562 0 0 0 28203 16 0 0 25 0 1 0 143495547 173592576 20986 1992294400 134512640 146736320 4293924048 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42381 20986 970 2985 0 38923 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 178224

[startup+342.301 s]
/proc/loadavg: 1.02 1.24 1.48 2/107 29205
/proc/meminfo: memFree=1351348/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=169524 CPUtime=342.18
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 51707 0 0 0 34199 19 0 0 25 0 1 0 143495547 173592576 20996 1992294400 134512640 146736320 4293924048 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42381 20996 970 2985 0 38923 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 178224

[startup+402.301 s]
/proc/loadavg: 1.00 1.19 1.45 2/107 29205
/proc/meminfo: memFree=1351348/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=169528 CPUtime=402.16
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 58214 0 0 0 40195 21 0 0 25 0 1 0 143495547 173596672 20996 1992294400 134512640 146736320 4293924048 18446744073709551615 136400430 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42382 20996 970 2985 0 38924 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 178228

[startup+462.3 s]

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


[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 29240
/proc/meminfo: memFree=1341924/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=170856 CPUtime=1601.78
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 231505 0 0 0 160094 84 0 0 25 0 1 0 143495547 174956544 23196 1992294400 134512640 146736320 4293924048 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42714 23196 1015 2985 0 39256 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 179556

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 29242
/proc/meminfo: memFree=1341924/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=170856 CPUtime=1661.76
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 238732 0 0 0 166089 87 0 0 25 0 1 0 143495547 174956544 23196 1992294400 134512640 146736320 4293924048 18446744073709551615 136017777 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42714 23196 1015 2985 0 39256 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 179556

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 29244
/proc/meminfo: memFree=1341924/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=170856 CPUtime=1721.75
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 246002 0 0 0 172085 90 0 0 25 0 1 0 143495547 174956544 23196 1992294400 134512640 146736320 4293924048 18446744073709551615 136017512 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42714 23196 1015 2985 0 39256 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 179556

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 29246
/proc/meminfo: memFree=1341924/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=170884 CPUtime=1781.73
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 253376 0 0 0 178081 92 0 0 25 0 1 0 143495547 174985216 23203 1992294400 134512640 146736320 4293924048 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42721 23203 1015 2985 0 39263 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 179584

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1798.93 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1798.93 s) to the 'lost time'.

[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 29246
/proc/meminfo: memFree=1341924/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=170884 CPUtime=1798.93
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 255490 0 0 0 179800 93 0 0 25 0 1 0 143495547 174985216 23203 1992294400 134512640 146736320 4293924048 18446744073709551615 139028294 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42721 23203 1015 2985 0 39263 0
Current children cumulated CPU time (s) 1798.93
Current children cumulated vsize (KiB) 179584

[startup+1799.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 29246
/proc/meminfo: memFree=1415580/2059040 swapFree=4139044/4192956
[pid=29193] ppid=-1 vsize=0 CPUtime=0
/proc/29193/stat : -- couldn't open stat file --/proc/29193/statm: 13116 673 557 94 0 113 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 29246
/proc/meminfo: memFree=1341924/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=170884 CPUtime=1791.44
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 254439 0 0 0 179051 93 0 0 25 0 1 0 143495547 174985216 23203 1992294400 134512640 146736320 4293924048 18446744073709551615 136403114 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42721 23203 1015 2985 0 39263 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 179584

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 29246
/proc/meminfo: memFree=1341924/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=170884 CPUtime=1794.64
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 254966 0 0 0 179371 93 0 0 25 0 1 0 143495547 174985216 23203 1992294400 134512640 146736320 4293924048 18446744073709551615 136017760 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42721 23203 1015 2985 0 39263 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 179584

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 29246
/proc/meminfo: memFree=1341924/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=170884 CPUtime=1796.23
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 254966 0 0 0 179530 93 0 0 25 0 1 0 143495547 174985216 23203 1992294400 134512640 146736320 4293924048 18446744073709551615 136403112 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42721 23203 1015 2985 0 39263 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 179584

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 29246
/proc/meminfo: memFree=1341924/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=170884 CPUtime=1797.83
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 255490 0 0 0 179690 93 0 0 25 0 1 0 143495547 174985216 23203 1992294400 134512640 146736320 4293924048 18446744073709551615 135526826 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42721 23203 1015 2985 0 39263 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 179584

[startup+1799.2 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 29246
/proc/meminfo: memFree=1341924/2059040 swapFree=4139044/4192956
[pid=29193] ppid=29191 vsize=8700 CPUtime=0
/proc/29193/stat : 29193 (run) S 29191 29193 28504 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 143495547 8908800 249 1992294400 4194304 4922060 140737221005904 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29193/statm: 2175 249 208 178 0 68 0
[pid=29194] ppid=29193 vsize=170884 CPUtime=1798.63
/proc/29194/stat : 29194 (pb_cplex) R 29193 29193 28504 0 -1 4202496 255490 0 0 0 179770 93 0 0 25 0 1 0 143495547 174985216 23203 1992294400 134512640 146736320 4293924048 18446744073709551615 136017846 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29194/statm: 42721 23203 1015 2985 0 39263 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 179584

[startup+1799.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 29246
/proc/meminfo: memFree=1415580/2059040 swapFree=4139044/4192956
[pid=29193] ppid=-1 vsize=0 CPUtime=0
/proc/29193/stat : -- couldn't open stat file --/proc/29193/statm: 13116 673 557 94 0 113 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29193 and gives
#  childrusage.ru_utime.tv_sec=1798
#  childrusage.ru_utime.tv_usec=93648
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=946856
# CPU time returned by wait4() is 1799.04
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1798.93
#  lost CPU user time (s): 1798
#  lost CPU system time (s): 0.93

Real time (s): 1799.6
CPU time (s): 1798.93
CPU user time (s): 1798
CPU system time (s): 0.93
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 246152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.09
system time used= 0.946856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256601
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= 8
involuntary context switches= 4159

runsolver used 3.06253 second user time and 8.41472 second system time

The end