PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd6.opb
MD5SUM	b052177a073d2d8c92d9603ed92c19ee
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	40500
Biggest coefficient in the objective function	240095970606448640
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	319188057892705075200
Number of bits of the sum of numbers in the objective function	69
Biggest number in a constraint	240095970606448640
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	319188057892705075200
Number of bits of the biggest sum of numbers	69
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.349945
Number of variables	40500
Total number of constraints	147
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	147
Minimum length of a constraint	600
Maximum length of a constraint	1200
Trace number 41023

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 04:19:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29085 boxname=wulflinc1 idbench=869 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b052177a073d2d8c92d9603ed92c19ee  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-scsd6.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-scsd6.opb
IDLAUNCH: 29085
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        817936 kB
Buffers:         23432 kB
Cached:         168504 kB
SwapCached:       1184 kB
Active:          37904 kB
Inactive:       156264 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        817684 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16804 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:31:51 (client local time) WITH STATUS 0 IN 723.472 SECONDS
stats: 29085 7 723.472 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: -100000000*V30001002_bit_10 -200000000*V30001002_bit_9 -400000000*V30001002_bit_8 -800000000*V30001002_bit_7 -1600000000*V30001002_bit_6 -3200000000*V30001002_bit_5 -6400000000*V30001002_bit_4 -12800000000*V30001002_bit_3 -25600000000*V30001002_bit_2 -51200000000*V30001002_bit_1 -102400000000*V30001002_bit0 -204800000000*V30001002_bit1 -409600000000*V30001002_bit2 -819200000000*V30001002_bit3 -1638400000000*V30001002_bit4 -3276800000000*V30001002_bit5 -6553600000000*V30001002_bit6 -13107200000000*V30001002_bit7 -26214400000000*V30001002_bit8 -52428800000000*V30001002_bit9 -104857600000000*V30001002_bit10 -209715200000000*V30001002_bit11 -419430400000000*V30001002_bit12 -838860800000000*V30001002_bit13 -1677721600000000*V30001002_bit14 -3355443200000000*V30001002_bit15 -6710886400000000*V30001002_bit16 -13421772800000000*V30001002_bit17 -26843545600000000*V30001002_bit18 -53687091200000000*V30001002_bit19 +100000000*V40001002_bit_10 +200000000*V40001002_bit_9 +400000000*V40001002_bit_8 +800000000*V40001002_bit_7 +1600000000*V40001002_bit_6 +3200000000*V40001002_bit_5 +6400000000*V40001002_bit_4 +12800000000*V40001002_bit_3 +25600000000*V40001002_bit_2 +51200000000*V40001002_bit_1 +102400000000*V40001002_bit0 +204800000000*V40001002_bit1 +409600000000*V40001002_bit2 +819200000000*V40001002_bit3 +1638400000000*V40001002_bit4 +3276800000000*V40001002_bit5 +6553600000000*V40001002_bit6 +13107200000000*V40001002_bit7 +26214400000000*V40001002_bit8 +52428800000000*V40001002_bit9 +104857600000000*V40001002_bit10 +209715200000000*V40001002_bit11 +419430400000000*V40001002_bit12 +838860800000000*V40001002_bit13 +1677721600000000*V40001002_bit14 +3355443200000000*V40001002_bit15 +6710886400000000*V40001002_bit16 +13421772800000000*V40001002_bit17 +26843545600000000*V40001002_bit18 +53687091200000000*V40001002_bit19 -100000000*V30001003_bit_10 -200000000*V30001003_bit_9 -400000000*V30001003_bit_8 -800000000*V30001003_bit_7 -1600000000*V30001003_bit_6 -3200000000*V30001003_bit_5 -6400000000*V30001003_bit_4 -12800000000*V30001003_bit_3 -25600000000*V30001003_bit_2 -51200000000*V30001003_bit_1 -102400000000*V30001003_bit0 -204800000000*V30001003_bit1 -409600000000*V30001003_bit2 -819200000000*V30001003_bit3 -1638400000000*V30001003_bit4 -3276800000000*V30001003_bit5 -6553600000000*V30001003_bit6 -13107200000000*V30001003_bit7 -26214400000000*V30001003_bit8 -52428800000000*V30001003_bit9 -104857600000000*V30001003_bit10 -209715200000000*V30001003_bit11 -419430400000000*V30001003_bit12 -838860800000000*V30001003_bit13 -1677721600000000*V30001003_bit14 -3355443200000000*V30001003_bit15 -6710886400000000*V30001003_bit16 -13421772800000000*V30001003_bit17 -26843545600000000*V30001003_bit18 -53687091200000000*V30001003_bit19 +100000000*V40001003_bit_10 +200000000*V40001003_bit_9 +400000000*V40001003_bit_8 +800000000*V40001003_bit_7 +1600000000*V40001003_bit_6 +3200000000*V40001003_bit_5 +6400000000*V40001003_bit_4 +12800000000*V40001003_bit_3 +25600000000*V40001003_bit_2 +51200000000*V40001003_bit_1 +102400000000*V40001003_bit0 +204800000000*V40001003_bit1 +409600000000*V40001003_bit2 +819200000000*V40001003_bit3 +1638400000000*V40001003_bit4 +3276800000000*V40001003_bit5 +6553600000000*V40001003_bit6 +13107200000000*V40001003_bit7 +26214400000000*V40001003_bit8 +52428800000000*V40001003_bit9 +104857600000000*V40001003_bit10 +209715200000000*V40001003_bit11 +419430400000000*V40001003_bit12 +838860800000000*V40001003_bit13 +1677721600000000*V40001003_bit14 +3355443200000000*V40001003_bit15 +6710886400000000*V40001003_bit16 +13421772800000000*V40001003_bit17 +26843545600000000*V40001003_bit18 +53687091200000000*V40001003_bit19 -100000000*V30001004_bit_10 -200000000*V30001004_bit_9 -400000000*V30001004_bit_8 -800000000*V30001004_bit_7 -1600000000*V30001004_bit_6 -3200000000*V30001004_bit_5 -6400000000*V30001004_bit_4 -12800000000*V30001004_bit_3 -25600000000*V30001004_bit_2 -51200000000*V30001004_bit_1 -102400000000*V30001004_bit0 -204800000000*V30001004_bit1 -409600000000*V30001004_bit2 -819200000000*V30001004_bit3 -1638400000000*V30001004_bit4 -3276800000000*V30001004_bit5 -6553600000000*V30001004_bit6 -13107200000000*V30001004_bit7 -26214400000000*V30001004_bit8 -52428800000000*V30001004_bit9 -104857600000000*V30001004_bit10 -209715200000000*V30001004_bit11 -419430400000000*V30001004_bit12 -838860800000000*V30001004_bit13 -1677721600000000*V30001004_bit14 -3355443200000000*V30001004_bit15 -6710886400000000*V30001004_bit16 -13421772800000000*V30001004_bit17 -26843545600000000*V30001004_bit18 -53687091200000000*V30001004_bit19 +100000000*V40001004_bit_10 +200000000*V40001004_bit_9 +400000000*V40001004_bit_8 +800000000*V40001004_bit_7 +1600000000*V40001004_bit_6 +3200000000*V40001004_bit_5 +6400000000*V40001004_bit_4 +12800000000*V40001004_bit_3 +25600000000*V40001004_bit_2 +51200000000*V40001004_bit_1 +102400000000*V40001004_bit0 +204800000000*V40001004_bit1 +409600000000*V40001004_bit2 +819200000000*V40001004_bit3 +1638400000000*V40001004_bit4 +3276800000000*V40001004_bit5 +6553600000000*V40001004_bit6 +13107200000000*V40001004_bit7 +26214400000000*V40001004_bit8 +52428800000000*V40001004_bit9 +104857600000000*V40001004_bit10 +209715200000000*V40001004_bit11 +419430400000000*V40001004_bit12 +838860800000000*V40001004_bit13 +1677721600000000*V40001004_bit14 +3355443200000000*V40001004_bit15 +6710886400000000*V40001004_bit16 +13421772800000000*V40001004_bit17 +26843545600000000*V40001004_bit18 +53687091200000000*V40001004_bit19 -100000000*V30001005_bit_10 -200000000*V30001005_bit_9 -400000000*V30001005_bit_8 -800000000*V30001005_bit_7 -1600000000*V30001005_bit_6 -3200000000*V30001005_bit_5 -6400000000*V30001005_bit_4 -12800000000*V30001005_bit_3 -25600000000*V30001005_bit_2 -51200000000*V30001005_bit_1 -102400000000*V30001005_bit0 -204800000000*V30001005_bit1 -409600000000*V30001005_bit2 -819200000000*V30001005_bit3 -1638400000000*V30001005_bit4 -3276800000000*V30001005_bit5 -6553600000000*V30001005_bit6 -13107200000000*V30001005_bit7 -26214400000000*V30001005_bit8 -52428800000000*V30001005_bit9 -104857600000000*V30001005_bit10 -209715200000000*V30001005_bit11 -419430400000000*V30001005_bit12 -838860800000000*V30001005_bit13 -1677721600000000*V30001005_bit14 -3355443200000000*V30001005_bit15 -6710886400000000*V30001005_bit16 -13421772800000000*V30001005_bit17 -26843545600000000*V30001005_bit18 -53687091200000000*V30001005_bit19 +100000000*V40001005_bit_10 +200000000*V40001005_bit_9 +400000000*V40001005_bit_8 +800000000*V40001005_bit_7 +1600000000*V40001005_bit_6 +3200000000*V40001005_bit_5 +6400000000*V40001005_bit_4 +12800000000*V40001005_bit_3 +25600000000*V40001005_bit_2 +51200000000*V40001005_bit_1 +102400000000*V40001005_bit0 +204800000000*V40001005_bit1 +409600000000*V40001005_bit2 +819200000000*V40001005_bit3 +1638400000000*V40001005_bit4 +3276800000000*V40001005_bit5 +6553600000000*V40001005_bit6 +13107200000000*V40001005_bit7 +26214400000000*V40001005_bit8 +52428800000000*V40001005_bit9 +104857600000000*V40001005_bit10 +209715200000000*V40001005_bit11 +419430400000000*V40001005_bit12 +838860800000000*V40001005_bit13 +1677721600000000*V40001005_bit14 +3355443200000000*V40001005_bit15 +6710886400000000*V40001005_bit16 +13421772800000000*V40001005_bit17 +26843545600000000*V40001005_bit18 +53687091200000000*V40001005_bit19 -70710678*V30001007_bit_10 -141421356*V30001007_bit_9 -282842712*V30001007_bit_8 -565685424*V30001007_bit_7 -1131370848*V30001007_bit_6 -2262741696*V30001007_bit_5 -4525483392*V30001007_bit_4 -9050966784*V30001007_bit_3 -18101933568*V30001007_bit_2 -36203867136*V30001007_bit_1 -72407734272*V30001007_bit0 -144815468544*V30001007_bit1 -289630937088*V30001007_bit2 -579261874176*V30001007_bit3 -1158523748352*V30001007_bit4 -2317047496704*V30001007_bit5 -4634094993408*V30001007_bit6 -9268189986816*V30001007_bit7 -18536379973632*V30001007_bit8 -37072759947264*V30001007_bit9 -74145519894528*V30001007_bit10 -148291039789056*V30001007_bit11 -296582079578112*V30001007_bit12 -593164159156224*V30001007_bit13 -1186328318312448*V30001007_bit14 -2372656636624896*V30001007_bit15 -4745313273249792*V30001007_bit16 -9490626546499584*V30001007_bit17 -18981253092999168*V30001007_bit18 -37962506185998336*V30001007_bit19 +70710678*V40001007_bit_10 +141421356*V40001007_bit_9 +282842712*V40001007_bit_8 +565685424*V40001007_bit_7 +1131370848*V40001007_bit_6 +2262741696*V40001007_bit_5 +4525483392*V40001007_bit_4 +9050966784*V40001007_bit_3 +18101933568*V40001007_bit_2 +36203867136*V40001007_bit_1 +72407734272*V40001007_bit0 +144815468544*V40001007_bit1 +289630937088*V40001007_bit2 +579261874176*V40001007_bit3 +1158523748352*V40001007_bit4 +2317047496704*V40001007_bit5 +4634094993408*V40001007_bit6 +9268189986816*V40001007_bit7 +18536379973632*V40001007_bit8 +37072759947264*V40001007_bit9 +74145519894528*V40001007_bit10 +148291039789056*V40001007_bit11 +296582079578112*V40001007_bit12 +593164159156224*V40001007_bit13 +1186328318312448*V40001007_bit14 +2372656636624896*V40001007_bit15 +4745313273249792*V40001007_bit16 +9490626546499584*V40001007_bit17 +18981253092999168*V40001007_bit18 +37962506185998336*V40001007_bit19 -89442719*V30001008_bit_10 -178885438*V30001008_bit_9 -357770876*V30001008_bit_8 -715541752*V30001008_bit_7 -1431083504*V30001008_bit_6 -2862167008*V30001008_bit_5 -5724334016*V30001008_bit_4 -11448668032*V30001008_bit_3 -22897336064*V30001008_bit_2 -45794672128*V30001008_bit_1 -91589344256*V30001008_bit0 -183178688512*V30001008_bit1 -366357377024*V30001008_bit2 -732714754048*V30001008_bit3 -1465429508096*V30001008_bit4 -2930859016192*V30001008_bit5 -5861718032384*V30001008_bit6 -11723436064768*V30001008_bit7 -23446872129536*V30001008_bit8 -46893744259072*V30001008_bit9 -93787488518144*V30001008_bit10 -187574977036288*V30001008_bit11 -375149954072576*V30001008_bit12 -750299908145152*V30001008_bit13 -1500599816290304*V30001008_bit14 -3001199632580608*V30001008_bit15 -6002399265161216*V30001008_bit16 -12004798530322432*V30001008_bit17 -24009597060644864*V30001008_bit18 -48019194121289728*V30001008_bit19 +89442719*V40001008_bit_10 +178885438*V40001008_bit_9 +357770876*V40001008_bit_8 +715541752*V40001008_bit_7 +1431083504*V40001008_bit_6 +2862167008*V40001008_bit_5 +5724334016*V40001008_bit_4 +11448668032*V40001008_bit_3 +22897336064*V40001008_bit_2 +45794672128*V40001008_bit_1 +91589344256*V40001008_bit0 +183178688512*V40001008_bit1 +366357377024*V40001008_bit2 +732714754048*V40001008_bit3 +1465429508096*V40001008_bit4 +2930859016192*V40001008_bit5 +5861718032384*V40001008_bit6 +11723436064768*V40001008_bit7 +23446872129536*V40001008_bit8 +46893744259072*V40001008_bit9 +93787488518144*V40001008_bit10 +187574977036288*V40001008_bit11 +375149954072576*V40001008_bit12 +750299908145152*V40001008_bit13 +1500599816290304*V40001008_bit14 +3001199632580608*V40001008_bit15 +6002399265161216*V40001008_bit16 +12004798530322432*V40001008_bit17 +24009597060644864*V40001008_bit18 +48019194121289728*V40001008_bit19 -94868330*V30001009_bit_10 -189736660*V30001009_bit_9 -379473320*V30001009_bit_8 -758946640*V30001009_bit_7 -1517893280*V30001009_bit_6 -3035786560*V30001009_bit_5 -6071573120*V30001009_bit_4 -12143146240*V30001009_bit_3 -24286292480*V30001009_bit_2 -48572584960*V30001009_bit_1 -97145169920*V30001009_bit0 -194290339840*V30001009_bit1 -388580679680*V30001009_bit2 -777161359360*V30001009_bit3 -1554322718720*V30001009_bit4 -3108645437440*V30001009_bit5 -6217290874880*V30001009_bit6 -12434581749760*V30001009_bit7 -24869163499520*V30001009_bit8 -49738326999040*V30001009_bit9 -99476653998080*V30001009_bit10 -198953307996160*V30001009_bit11 -397906615992320*V30001009_bit12 -795813231984640*V30001009_bit13 -1591626463969280*V30001009_bit14 -3183252927938560*V30001009_bit15 -6366505855877120*V30001009_bit16 -12733011711754240*V30001009_bit17 -25466023423508480*V30001009_bit18 -50932046847016960*V30001009_bit19 +94868330*V40001009_bit_10 +189736660*V40001009_bit_9 +379473320*V40001009_bit_8 +758946640*V40001009_bit_7 +1517893280*V40001009_bit_6 +3035786560*V40001009_bit_5 +6071573120*V40001009_bit_4 +12143146240*V40001009_bit_3 +24286292480*V40001009_bit_2 +48572584960*V40001009_bit_1 +97145169920*V40001009_bit0 +194290339840*V40001009_bit1 +388580679680*V40001009_bit2 +777161359360*V40001009_bit3 +1554322718720*V40001009_bit4 +3108645437440*V40001009_bit5 +6217290874880*V40001009_bit6 +12434581749760*V40001009_bit7 +24869163499520*V40001009_bit8 +49738326999040*V40001009_bit9 +99476653998080*V40001009_bit10 +198953307996160*V40001009_bit11 +397906615992320*V40001009_bit12 +795813231984640*V40001009_bit13 +1591626463969280*V40001009_bit14 +3183252927938560*V40001009_bit15 +6366505855877120*V40001009_bit16 +12733011711754240*V40001009_bit17 +25466023423508480*V40001009_bit18 +50932046847016960*V40001009_bit19 -97014250*V30001010_bit_10 -194028500*V30001010_bit_9 -388057000*V30001010_bit_8 -776114000*V30001010_bit_7 -1552228000*V30001010_bit_6 -3104456000*V30001010_bit_5 -6208912000*V30001010_bit_4 -12417824000*V30001010_bit_3 -24835648000*V30001010_bit_2 -49671296000*V30001010_bit_1 -99342592000*V30001010_bit0 -198685184000*V30001010_bit1 -397370368000*V30001010_bit2 -794740736000*V30001010_bit3 -1589481472000*V30001010_bit4 -3178962944000*V30001010_bit5 -6357925888000*V30001010_bit6 -12715851776000*V30001010_bit7 -25431703552000*V30001010_bit8 -50863407104000*V30001010_bit9 -101726814208000*V30001010_bit10 -203453628416000*V30001010_bit11 -406907256832000*V30001010_bit12 -813814513664000*V30001010_bit13 -1627629027328000*V30001010_bit14 -3255258054656000*V30001010_bit15 -6510516109312000*V30001010_bit16 -13021032218624000*V30001010_bit17 -26042064437248000*V30001010_bit18 -52084128874496000*V30001010_bit19 +97014250*V40001010_bit_10 +194028500*V40001010_bit_9 +388057000*V40001010_bit_8 +776114000*V40001010_bit_7 +1552228000*V40001010_bit_6 +3104456000*V40001010_bit_5 +6208912000*V40001010_bit_4 +12417824000*V40001010_bit_3 +24835648000*V40001010_bit_2 +49671296000*V40001010_bit_1 +99342592000*V40001010_bit0 +198685184000*V40001010_bit1 +397370368000*V40001010_bit2 +794740736000*V40001010_bit3 +1589481472000*V40001010_bit4 +3178962944000*V40001010_bit5 +6357925888000*V40001010_bit6 +12715851776000*V40001010_bit7 +25431703552000*V40001010_bit8 +50863407104000*V40001010_bit9 +101726814208000*V40001010_bit10 +203453628416000*V40001010_bit11 +406907256832000*V40001010_bit12 +813814513664000*V40001010_bit13 +1627629027328000*V40001010_bit14 +3255258054656000*V40001010_bit15 +6510516109312000*V40001010_bit16 +13021032218624000*V40001010_bit17 +26042064437248000*V40001010_bit18 +52084128874496000*V40001010_bit19 -44721360*V30001012_bit_10 -89442720*V30001012_bit_9 -178885440*V30001012_bit_8 -357770880*V30001012_bit_7 -715541760*V30001012_bit_6 -1431083520*V30001012_bit_5 -2862167040*V30001012_bit_4 -5724334080*V30001012_bit_3 -11448668160*V30001012_bit_2 -22897336320*V30001012_bit_1 -45794672640*V30001012_bit0 -91589345280*V30001012_bit1 -183178690560*V30001012_bit2 -366357381120*V30001012_bit3 -732714762240*V30001012_bit4 -1465429524480*V30001012_bit5 -2930859048960*V30001012_bit6 -5861718097920*V30001012_bit7 -11723436195840*V30001012_bit8 -23446872391680*V30001012_bit9 -46893744783360*V30001012_bit10 -93787489566720*V30001012_bit11 -187574979133440*V30001012_bit12 -375149958266880*V30001012_bit13 -750299916533760*V30001012_bit14 -1500599833067520*V30001012_bit15 -3001199666135040*V30001012_bit16 -6002399332270080*V30001012_bit17 -12004798664540160*V30001012_bit18 -24009597329080320*V30001012_bit19 +44721360*V40001012_bit_10 +89442720*V40001012_bit_9 +178885440*V40001012_bit_8 +357770880*V40001012_bit_7 +715541760*V40001012_bit_6 +1431083520*V40001012_bit_5 +2862167040*V40001012_bit_4 +5724334080*V40001012_bit_3 +11448668160*V40001012_bit_2 +22897336320*V40001012_bit_1 +45794672640*V40001012_bit0 +91589345280*V40001012_bit1 +183178690560*V40001012_bit2 +366357381120*V40001012_bit3 +732714762240*V40001012_bit4 +1465429524480*V40001012_bit5 +2930859048960*V40001012_bit6 +5861718097920*V40001012_bit7 +11723436195840*V40001012_bit8 +23446872391680*V40001012_bit9 +46893744783360*V40001012_bit10 +93787489566720*V40001012_bit11 +187574979133440*V40001012_bit12 +375149958266880*V40001012_bit13 +750299916533760*V40001012_bit14 +1500599833067520*V40001012_bit15 +3001199666135040*V40001012_bit16 +6002399332270080*V40001012_bit17 +12004798664540160*V40001012_bit18 +24009597329080320*V40001012_bit19 -70710678*V30001013_bit_10 -141421356*V30001013_bit_9 -282842712*V30001013_bit_8 -565685424*V30001013_bit_7 -1131370848*V30001013_bit_6 -2262741696*V30001013_bit_5 -4525483392*V30001013_bit_4 -9050966784*V30001013_bit_3 -18101933568*V30001013_bit_2 -36203867136*V30001013_bit_1 -72407734272*V30001013_bit0 -144815468544*V30001013_bit1 -289630937088*V30001013_bit2 -579261874176*V30001013_bit3 -1158523748352*V30001013_bit4 -2317047496704*V30001013_bit5 -4634094993408*V30001013_bit6 -9268189986816*V30001013_bit7 -18536379973632*V30001013_bit8 -37072759947264*V30001013_bit9 -74145519894528*V30001013_bit10 -148291039789056*V30001013_bit11 -296582079578112*V30001013_bit12 -593164159156224*V30001013_bit13 -1186328318312448*V30001013_bit14 -2372656636624896*V30001013_bit15 -4745313273249792*V30001013_bit16 -9490626546499584*V30001013_bit17 -18981253092999168*V30001013_bit18 -37962506185998336*V30001013_bit19 +70710678*V40001013_bit_10 +141421356*V40001013_bit_9 +282842712*V40001013_bit_8 +565685424*V40001013_bit_7 +1131370848*V40001013_bit_6 +2262741696*V40001013_bit_5 +4525483392*V40001013_bit_4 +9050966784*V40001013_bit_3 +18101933568*V40001013_bit_2 +36203867136*V40001013_bit_1 +72407734272*V40001013_bit0 +144815468544*V40001013_bit1 +289630937088*V40001013_bit2 +579261874176*V40001013_bit3 +1158523748352*V40001013_bit4 +2317047496704*V40001013_bit5 +4634094993408*V40001013_bit6 +9268189986816*V40001013_bit7 +18536379973632*V40001013_bit8 +37072759947264*V40001013_bit9 +74145519894528*V40001013_bit10 +148291039789056*V40001013_bit11 +296582079578112*V40001013_bit12 +593164159156224*V40001013_bit13 +1186328318312448*V40001013_bit14 +2372656636624896*V40001013_bit15 +4745313273249792*V40001013_bit16 +9490626546499584*V40001013_bit17 +18981253092999168*V40001013_bit18 +37962506185998336*V40001013_bit19 -83205029*V30001014_bit_10 -166410058*V30001014_bit_9 -332820116*V30001014_bit_8 -665640232*V30001014_bit_7 -1331280464*V30001014_bit_6 -2662560928*V30001014_bit_5 -5325121856*V30001014_bit_4 -10650243712*V30001014_bit_3 -21300487424*V30001014_bit_2 -42600974848*V30001014_bit_1 -85201949696*V30001014_bit0 -170403899392*V30001014_bit1 -340807798784*V30001014_bit2 -681615597568*V30001014_bit3 -1363231195136*V30001014_bit4 -2726462390272*V30001014_bit5 -5452924780544*V30001014_bit6 -10905849561088*V30001014_bit7 -21811699122176*V30001014_bit8 -43623398244352*V30001014_bit9 -87246796488704*V30001014_bit10 -174493592977408*V30001014_bit11 -348987185954816*V30001014_bit12 -697974371909632*V30001014_bit13 -1395948743819264*V30001014_bit14 -2791897487638528*V30001014_bit15 -5583794975277056*V30001014_bit16 -11167589950554112*V30001014_bit17 -22335179901108224*V30001014_bit18 -44670359802216448*V30001014_bit19 +83205029*V40001014_bit_10 +166410058*V40001014_bit_9 +332820116*V40001014_bit_8 +665640232*V40001014_bit_7 +1331280464*V40001014_bit_6 +2662560928*V40001014_bit_5 +5325121856*V40001014_bit_4 +10650243712*V40001014_bit_3 +21300487424*V40001014_bit_2 +42600974848*V40001014_bit_1 +85201949696*V40001014_bit0 +170403899392*V40001014_bit1 +340807798784*V40001014_bit2 +681615597568*V40001014_bit3 +1363231195136*V40001014_bit4 +2726462390272*V40001014_bit5 +5452924780544*V40001014_bit6 +10905849561088*V40001014_bit7 +21811699122176*V40001014_bit8 +43623398244352*V40001014_bit9 +87246796488704*V40001014_bit10 +174493592977408*V40001014_bit11 +348987185954816*V40001014_bit12 +697974371909632*V40001014_bit13 +1395948743819264*V40001014_bit14 +2791897487638528*V40001014_bit15 +5583794975277056*V40001014_bit16 +11167589950554112*V40001014_bit17 +22335179901108224*V40001014_bit18 +44670359802216448*V40001014_bit19 -89442719*V30001015_bit_10 -178885438*V30001015_bit_9 -357770876*V30001015_bit_8 -715541752*V30001015_bit_7 -1431083504*V30001015_bit_6 -2862167008*V30001015_bit_5 -5724334016*V30001015_bit_4 -11448668032*V30001015_bit_3 -22897336064*V30001015_bit_2 -45794672128*V30001015_bit_1 -91589344256*V30001015_bit0 -183178688512*V30001015_bit1 -366357377024*V30001015_bit2 -732714754048*V30001015_bit3 -1465429508096*V30001015_bit4 -2930859016192*V30001015_bit5 -5861718032384*V30001015_bit6 -11723436064768*V30001015_bit7 -23446872129536*V30001015_bit8 -46893744259072*V30001015_bit9 -93787488518144*V30001015_bit10 -187574977036288*V30001015_bit11 -375149954072576*V30001015_bit12 -750299908145152*V30001015_bit13 -1500599816290304*V30001015_bit14 -3001199632580608*V30001015_bit15 -6002399265161216*V30001015_bit16 -12004798530322432*V30001015_bit17 -24009597060644864*V30001015_bit18 -48019194121289728*V30001015_bit19 +89442719*V40001015_bit_10 +178885438*V40001015_bit_9 +357770876*V40001015_bit_8 +715541752*V40001015_bit_7 +1431083504*V40001015_bit_6 +2862167008*V40001015_bit_5 +5724334016*V40001015_bit_4 +11448668032*V40001015_bit_3 +22897336064*V40001015_bit_2 +45794672128*V40001015_bit_1 +91589344256*V40001015_bit0 +183178688512*V40001015_bit1 +366357377024*V40001015_bit2 +732714754048*V40001015_bit3 +1465429508096*V40001015_bit4 +2930859016192*V40001015_bit5 +5861718032384*V40001015_bit6 +11723436064768*V40001015_bit7 +23446872129536*V40001015_bit8 +46893744259072*V40001015_bit9 +93787488518144*V40001015_bit10 +187574977036288*V40001015_bit11 +375149954072576*V40001015_bit12 +750299908145152*V40001015_bit13 +1500599816290304*V40001015_bit14 +3001199632580608*V40001015_bit15 +6002399265161216*V40001015_bit16 +12004798530322432*V40001015_bit17 +24009597060644864*V40001015_bit18 +48019194121289728*V40001015_bit19 = +0;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-scsd6.opb
s UNKNOWN
c Exit Code: 0
c Total time: 723.424 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.96 1/55 30318
Raw data (stat): 30318 (runsolver) R 30317 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850487376 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 873 0 0 0 995 2 0 0 25 0 1 0 850487376 15511552 793 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 793 1111 63 0 3724 0
vsize: 15148
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 1013 0 0 0 1995 3 0 0 25 0 1 0 850487376 16089088 933 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3928 933 1111 63 0 3865 0
vsize: 15712
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 1168 0 0 0 2995 3 0 0 25 0 1 0 850487376 16687104 1088 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 1088 1111 63 0 4011 0
vsize: 16296
[startup+39.9998 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 1286 0 0 0 3994 3 0 0 25 0 1 0 850487376 17137664 1206 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 1206 1111 63 0 4121 0
vsize: 16736
[startup+50.0006 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 1449 0 0 0 4994 4 0 0 25 0 1 0 850487376 17846272 1369 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 1369 1111 63 0 4294 0
vsize: 17428
[startup+60.0004 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 1595 0 0 0 5994 4 0 0 25 0 1 0 850487376 18444288 1515 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4503 1515 1111 63 0 4440 0
vsize: 18012
[startup+70.0002 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 1728 0 0 0 6994 4 0 0 25 0 1 0 850487376 19046400 1648 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 1648 1111 63 0 4587 0
vsize: 18600
[startup+80.001 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 1895 0 0 0 7994 5 0 0 25 0 1 0 850487376 19644416 1815 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 1815 1111 63 0 4733 0
vsize: 19184
[startup+90.0008 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 2057 0 0 0 8994 5 0 0 25 0 1 0 850487376 20393984 1977 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 1977 1111 63 0 4916 0
vsize: 19916
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 2219 0 0 0 9993 6 0 0 25 0 1 0 850487376 20996096 2139 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5126 2139 1111 63 0 5063 0
vsize: 20504
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 2395 0 0 0 10993 6 0 0 25 0 1 0 850487376 21749760 2315 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 2315 1111 63 0 5247 0
vsize: 21240
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 2550 0 0 0 11993 6 0 0 25 0 1 0 850487376 22351872 2470 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 2470 1111 63 0 5394 0
vsize: 21828
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 2659 0 0 0 12993 7 0 0 25 0 1 0 850487376 22802432 2579 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 2579 1111 63 0 5504 0
vsize: 22268
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 2828 0 0 0 13993 7 0 0 25 0 1 0 850487376 23543808 2748 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 2748 1111 63 0 5685 0
vsize: 22992
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 2946 0 0 0 14993 7 0 0 25 0 1 0 850487376 23994368 2866 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 2866 1111 63 0 5795 0
vsize: 23432
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 3100 0 0 0 15992 8 0 0 25 0 1 0 850487376 24596480 3020 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 3020 1111 63 0 5942 0
vsize: 24020
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 3271 0 0 0 16992 8 0 0 25 0 1 0 850487376 25350144 3191 4294967295 134512640 134716908 3221224560 3221222708 1077374218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 3191 1111 63 0 6126 0
vsize: 24756
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 3441 0 0 0 17992 8 0 0 25 0 1 0 850487376 26103808 3361 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 3361 1111 63 0 6310 0
vsize: 25492
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 3609 0 0 0 18992 8 0 0 25 0 1 0 850487376 26701824 3529 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 3529 1111 63 0 6456 0
vsize: 26076
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 3728 0 0 0 19992 9 0 0 25 0 1 0 850487376 27275264 3648 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 3648 1111 63 0 6596 0
vsize: 26636
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 3906 0 0 0 20992 9 0 0 25 0 1 0 850487376 27881472 3826 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 3826 1111 63 0 6744 0
vsize: 27228
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 4068 0 0 0 21992 9 0 0 25 0 1 0 850487376 28626944 3988 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6989 3988 1111 63 0 6926 0
vsize: 27956
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 4244 0 0 0 22991 10 0 0 25 0 1 0 850487376 29380608 4164 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7173 4164 1111 63 0 7110 0
vsize: 28692
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 4420 0 0 0 23991 10 0 0 25 0 1 0 850487376 29982720 4340 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7320 4340 1111 63 0 7257 0
vsize: 29280
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 4598 0 0 0 24991 11 0 0 25 0 1 0 850487376 30740480 4518 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7505 4518 1111 63 0 7442 0
vsize: 30020
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 4798 0 0 0 25991 11 0 0 25 0 1 0 850487376 31678464 4718 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7734 4718 1111 63 0 7671 0
vsize: 30936
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 5005 0 0 0 26991 11 0 0 25 0 1 0 850487376 32432128 4925 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7918 4925 1111 63 0 7855 0
vsize: 31672
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 5198 0 0 0 27991 11 0 0 25 0 1 0 850487376 33333248 5118 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8138 5118 1111 63 0 8075 0
vsize: 32552
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 5388 0 0 0 28991 12 0 0 25 0 1 0 850487376 34082816 5308 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8321 5308 1111 63 0 8258 0
vsize: 33284
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 5521 0 0 0 29991 12 0 0 25 0 1 0 850487376 34537472 5441 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8432 5441 1111 63 0 8369 0
vsize: 33728
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 5707 0 0 0 30991 12 0 0 25 0 1 0 850487376 35291136 5627 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8616 5627 1111 63 0 8553 0
vsize: 34464
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 5898 0 0 0 31991 13 0 0 25 0 1 0 850487376 36192256 5818 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 5818 1111 63 0 8773 0
vsize: 35344
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 6089 0 0 0 32990 13 0 0 25 0 1 0 850487376 36945920 6009 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 6009 1111 63 0 8957 0
vsize: 36080
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 6304 0 0 0 33990 14 0 0 25 0 1 0 850487376 37847040 6224 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9240 6224 1111 63 0 9177 0
vsize: 36960
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 6479 0 0 0 34989 14 0 0 25 0 1 0 850487376 38445056 6399 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9386 6399 1111 63 0 9323 0
vsize: 37544
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 6671 0 0 0 35989 15 0 0 25 0 1 0 850487376 39350272 6591 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9607 6591 1111 63 0 9544 0
vsize: 38428
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 6864 0 0 0 36989 15 0 0 25 0 1 0 850487376 40103936 6784 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9791 6784 1111 63 0 9728 0
vsize: 39164
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 7070 0 0 0 37988 16 0 0 25 0 1 0 850487376 40857600 6990 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9975 6990 1111 63 0 9912 0
vsize: 39900
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 7270 0 0 0 38988 16 0 0 25 0 1 0 850487376 41758720 7190 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 7190 1111 63 0 10132 0
vsize: 40780
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 7491 0 0 0 39988 17 0 0 25 0 1 0 850487376 42635264 7411 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 7411 1111 63 0 10346 0
vsize: 41636
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 7720 0 0 0 40988 18 0 0 25 0 1 0 850487376 43536384 7640 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 7640 1111 63 0 10566 0
vsize: 42516
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 7957 0 0 0 41988 18 0 0 25 0 1 0 850487376 44589056 7877 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10886 7877 1111 63 0 10823 0
vsize: 43544
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 8191 0 0 0 42987 18 0 0 25 0 1 0 850487376 45490176 8111 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11106 8111 1111 63 0 11043 0
vsize: 44424
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 8376 0 0 0 43987 19 0 0 25 0 1 0 850487376 46247936 8296 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11291 8296 1111 63 0 11228 0
vsize: 45164
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 8589 0 0 0 44987 19 0 0 25 0 1 0 850487376 47149056 8509 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11511 8509 1111 63 0 11448 0
vsize: 46044
[startup+460.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 8850 0 0 0 45987 20 0 0 25 0 1 0 850487376 48304128 8770 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11793 8770 1111 63 0 11730 0
vsize: 47172
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 9116 0 0 0 46986 20 0 0 25 0 1 0 850487376 49328128 9036 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12043 9036 1111 63 0 11980 0
vsize: 48172
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 9337 0 0 0 47986 21 0 0 25 0 1 0 850487376 50229248 9257 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12263 9257 1111 63 0 12200 0
vsize: 49052
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 9610 0 0 0 48986 21 0 0 25 0 1 0 850487376 51400704 9530 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 9530 1111 63 0 12486 0
vsize: 50196
[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 9869 0 0 0 49985 22 0 0 25 0 1 0 850487376 52453376 9789 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12806 9789 1111 63 0 12743 0
vsize: 51224
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 10141 0 0 0 50985 22 0 0 25 0 1 0 850487376 53510144 10061 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13064 10061 1111 63 0 13001 0
vsize: 52256
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 10428 0 0 0 51984 23 0 0 25 0 1 0 850487376 54714368 10348 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13358 10348 1111 63 0 13295 0
vsize: 53432
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 10746 0 0 0 52984 23 0 0 25 0 1 0 850487376 56066048 10666 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13688 10666 1111 63 0 13625 0
vsize: 54752
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 11042 0 0 0 53984 24 0 0 25 0 1 0 850487376 57274368 10962 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13983 10962 1111 63 0 13920 0
vsize: 55932
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 11329 0 0 0 54984 24 0 0 25 0 1 0 850487376 58478592 11249 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14277 11249 1111 63 0 14214 0
vsize: 57108
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 11648 0 0 0 55984 25 0 0 25 0 1 0 850487376 59678720 11568 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14570 11568 1111 63 0 14507 0
vsize: 58280
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 12000 0 0 0 56983 25 0 0 25 0 1 0 850487376 61186048 11920 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14938 11920 1111 63 0 14875 0
vsize: 59752
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 12310 0 0 0 57983 26 0 0 25 0 1 0 850487376 62390272 12230 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15232 12230 1111 63 0 15169 0
vsize: 60928
[startup+590.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 12651 0 0 0 58982 26 0 0 25 0 1 0 850487376 63746048 12571 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15563 12571 1111 63 0 15500 0
vsize: 62252
[startup+600.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 13018 0 0 0 59982 27 0 0 25 0 1 0 850487376 65253376 12938 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15931 12938 1111 63 0 15868 0
vsize: 63724
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 13402 0 0 0 60982 28 0 0 25 0 1 0 850487376 66904064 13322 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16334 13322 1111 63 0 16271 0
vsize: 65336
[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 13800 0 0 0 61981 28 0 0 25 0 1 0 850487376 68558848 13720 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16738 13720 1111 63 0 16675 0
vsize: 66952
[startup+630.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 14185 0 0 0 62980 29 0 0 25 0 1 0 850487376 70066176 14105 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17106 14105 1111 63 0 17043 0
vsize: 68424
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 14620 0 0 0 63979 30 0 0 25 0 1 0 850487376 71872512 14540 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17547 14540 1111 63 0 17484 0
vsize: 70188
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 15055 0 0 0 64979 31 0 0 25 0 1 0 850487376 73650176 14975 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17981 14975 1111 63 0 17918 0
vsize: 71924
[startup+660.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 15527 0 0 0 65978 32 0 0 25 0 1 0 850487376 75603968 15447 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 15447 1111 63 0 18395 0
vsize: 73832
[startup+670.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 16072 0 0 0 66977 33 0 0 25 0 1 0 850487376 77709312 15992 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18972 15992 1111 63 0 18909 0
vsize: 75888
[startup+680.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 16723 0 0 0 67976 35 0 0 25 0 1 0 850487376 80625664 16643 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19684 16643 1111 63 0 19621 0
vsize: 78736
[startup+690.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 17445 0 0 0 68974 36 0 0 25 0 1 0 850487376 83607552 17365 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20412 17365 1111 63 0 20349 0
vsize: 81648
[startup+700.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 18258 0 0 0 69973 38 0 0 25 0 1 0 850487376 86921216 18178 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21221 18178 1111 63 0 21158 0
vsize: 84884
[startup+710.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 19128 0 0 0 70972 39 0 0 25 0 1 0 850487376 90501120 19048 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22095 19048 1111 63 0 22032 0
vsize: 88380
[startup+720.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 20220 0 0 0 71970 41 0 0 25 0 1 0 850487376 95014912 20140 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23197 20140 1111 63 0 23134 0
vsize: 92788
[startup+723.374 s]
Raw data (loadavg): 0.99 0.98 0.96 1/54 30318
Raw data (stat): 30318 (bsolo_lpr_cuts-) R 30317 8378 8377 0 -1 0 20220 0 0 0 71970 41 0 0 25 0 1 0 850487376 95014912 20140 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23197 20140 1111 63 0 23134 0
vsize: 0

Child status: 0
Real time (s): 723.373
CPU time (s): 723.472
CPU user time (s): 723.004
CPU system time (s): 0.467928
CPU usage (%): 100.014
Max. virtual memory (Kb): 92788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####