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 28876

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 04:12:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11285 boxname=wulflinc5 idbench=869 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b052177a073d2d8c92d9603ed92c19ee  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-scsd6.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-scsd6.opb
IDLAUNCH: 11285
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        900084 kB
Buffers:          8808 kB
Cached:         104144 kB
SwapCached:        472 kB
Active:          19324 kB
Inactive:        95684 kB
HighTotal:      131008 kB
HighFree:        69860 kB
LowTotal:       903652 kB
LowFree:        830224 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5220 kB
Slab:            13716 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:24:33 (client local time) WITH STATUS 0 IN 733.09 SECONDS
stats: 11285 7 733.09 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/wulflinc5/normalized-mps-v2-20-10-scsd6.opb
s UNKNOWN
c Exit Code: 0
c Total time: 733.042 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
Raw data (loadavg): 0.93 0.97 0.91 2/54 18385
Raw data (stat): 18385 (runsolver) R 18384 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777682094 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 871 0 0 0 994 3 0 0 25 0 1 0 777682094 15511552 795 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 795 1111 63 0 3724 0
vsize: 15148
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 1004 0 0 0 1994 4 0 0 25 0 1 0 777682094 16089088 928 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 928 1111 63 0 3865 0
vsize: 15712
[startup+30.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 1163 0 0 0 2994 4 0 0 25 0 1 0 777682094 16687104 1087 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 1087 1111 63 0 4011 0
vsize: 16296
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 1271 0 0 0 3994 5 0 0 25 0 1 0 777682094 17137664 1195 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4184 1195 1111 63 0 4121 0
vsize: 16736
[startup+50.0075 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 1433 0 0 0 4993 5 0 0 25 0 1 0 777682094 17846272 1357 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 1357 1111 63 0 4294 0
vsize: 17428
[startup+60.0072 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 1579 0 0 0 5993 6 0 0 25 0 1 0 777682094 18444288 1503 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4503 1503 1111 63 0 4440 0
vsize: 18012
[startup+70.0069 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 1712 0 0 0 6992 7 0 0 25 0 1 0 777682094 18894848 1636 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 1636 1111 63 0 4550 0
vsize: 18452
[startup+80.0087 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 1878 0 0 0 7992 8 0 0 25 0 1 0 777682094 19644416 1802 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 1802 1111 63 0 4733 0
vsize: 19184
[startup+90.0084 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 2040 0 0 0 8991 8 0 0 25 0 1 0 777682094 20242432 1964 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 1964 1111 63 0 4879 0
vsize: 19768
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 2202 0 0 0 9991 9 0 0 25 0 1 0 777682094 20996096 2126 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5126 2126 1111 63 0 5063 0
vsize: 20504
[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 2378 0 0 0 10990 10 0 0 25 0 1 0 777682094 21749760 2302 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5310 2302 1111 63 0 5247 0
vsize: 21240
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 2533 0 0 0 11990 10 0 0 25 0 1 0 777682094 22351872 2457 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 2457 1111 63 0 5394 0
vsize: 21828
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 2642 0 0 0 12989 11 0 0 25 0 1 0 777682094 22802432 2566 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5567 2566 1111 63 0 5504 0
vsize: 22268
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 2796 0 0 0 13989 11 0 0 25 0 1 0 777682094 23400448 2720 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 2720 1111 63 0 5650 0
vsize: 22852
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 2914 0 0 0 14988 12 0 0 25 0 1 0 777682094 23842816 2838 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5821 2838 1111 63 0 5758 0
vsize: 23284
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 3076 0 0 0 15988 13 0 0 25 0 1 0 777682094 24596480 3000 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6005 3000 1111 63 0 5942 0
vsize: 24020
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 3225 0 0 0 16988 13 0 0 25 0 1 0 777682094 25202688 3149 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6153 3149 1111 63 0 6090 0
vsize: 24612
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 3387 0 0 0 17988 14 0 0 25 0 1 0 777682094 25800704 3311 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6299 3311 1111 63 0 6236 0
vsize: 25196
[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 3570 0 0 0 18987 15 0 0 25 0 1 0 777682094 26550272 3494 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6482 3494 1111 63 0 6419 0
vsize: 25928
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 3683 0 0 0 19987 16 0 0 25 0 1 0 777682094 26984448 3607 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6588 3607 1111 63 0 6525 0
vsize: 26352
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 3846 0 0 0 20987 16 0 0 25 0 1 0 777682094 27725824 3770 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6769 3770 1111 63 0 6706 0
vsize: 27076
[startup+220.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 4020 0 0 0 21987 16 0 0 25 0 1 0 777682094 28475392 3944 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 3944 1111 63 0 6889 0
vsize: 27808
[startup+230.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 4153 0 0 0 22992 17 0 0 25 0 1 0 777682094 28934144 4077 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 4077 1111 63 0 7001 0
vsize: 28256
[startup+240.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 4331 0 0 0 23991 17 0 0 25 0 1 0 777682094 29683712 4255 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7247 4255 1111 63 0 7184 0
vsize: 28988
[startup+250.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 4499 0 0 0 24991 18 0 0 25 0 1 0 777682094 30433280 4423 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7430 4423 1111 63 0 7367 0
vsize: 29720
[startup+260.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 4669 0 0 0 25991 18 0 0 25 0 1 0 777682094 31039488 4593 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 4593 1111 63 0 7515 0
vsize: 30312
[startup+270.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 4871 0 0 0 26990 19 0 0 25 0 1 0 777682094 31977472 4795 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7807 4795 1111 63 0 7744 0
vsize: 31228
[startup+280.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 5054 0 0 0 27990 19 0 0 25 0 1 0 777682094 32731136 4978 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7991 4978 1111 63 0 7928 0
vsize: 31964
[startup+290.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 5255 0 0 0 28990 20 0 0 25 0 1 0 777682094 33484800 5179 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 5179 1111 63 0 8112 0
vsize: 32700
[startup+300.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 5417 0 0 0 29990 20 0 0 25 0 1 0 777682094 34238464 5341 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 5341 1111 63 0 8296 0
vsize: 33436
[startup+310.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 5563 0 0 0 30990 20 0 0 25 0 1 0 777682094 34836480 5487 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 5488 1111 63 0 8442 0
vsize: 34020
[startup+320.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 5727 0 0 0 31990 20 0 0 25 0 1 0 777682094 35438592 5651 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8652 5651 1111 63 0 8589 0
vsize: 34608
[startup+330.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 5905 0 0 0 32990 21 0 0 25 0 1 0 777682094 36192256 5829 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 5829 1111 63 0 8773 0
vsize: 35344
[startup+340.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 6095 0 0 0 33989 21 0 0 25 0 1 0 777682094 36945920 6019 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 6019 1111 63 0 8957 0
vsize: 36080
[startup+350.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 6296 0 0 0 34989 22 0 0 25 0 1 0 777682094 37695488 6220 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9203 6220 1111 63 0 9140 0
vsize: 36812
[startup+360.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 6464 0 0 0 35989 22 0 0 25 0 1 0 777682094 38445056 6388 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9386 6388 1111 63 0 9323 0
vsize: 37544
[startup+370.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 6641 0 0 0 36989 22 0 0 25 0 1 0 777682094 39202816 6565 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9571 6565 1111 63 0 9508 0
vsize: 38284
[startup+380.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 6848 0 0 0 37989 22 0 0 25 0 1 0 777682094 39952384 6772 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9754 6772 1111 63 0 9691 0
vsize: 39016
[startup+390.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 7033 0 0 0 38988 23 0 0 25 0 1 0 777682094 40710144 6957 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9939 6957 1111 63 0 9876 0
vsize: 39756
[startup+400.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 7234 0 0 0 39989 23 0 0 25 0 1 0 777682094 41611264 7158 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10159 7158 1111 63 0 10096 0
vsize: 40636
[startup+410.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 7454 0 0 0 40988 24 0 0 25 0 1 0 777682094 42491904 7378 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10374 7378 1111 63 0 10311 0
vsize: 41496
[startup+420.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 7675 0 0 0 41987 25 0 0 25 0 1 0 777682094 43384832 7599 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10592 7599 1111 63 0 10529 0
vsize: 42368
[startup+430.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 7890 0 0 0 42987 25 0 0 25 0 1 0 777682094 44290048 7814 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10813 7814 1111 63 0 10750 0
vsize: 43252
[startup+440.088 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 8132 0 0 0 43986 26 0 0 25 0 1 0 777682094 45191168 8056 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11033 8056 1111 63 0 10970 0
vsize: 44132
[startup+450.088 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 8294 0 0 0 44985 27 0 0 25 0 1 0 777682094 45940736 8218 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11216 8218 1111 63 0 11153 0
vsize: 44864
[startup+460.206 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 8512 0 0 0 45995 27 0 0 25 0 1 0 777682094 46845952 8436 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11437 8436 1111 63 0 11374 0
vsize: 45748
[startup+470.206 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 8744 0 0 0 46995 28 0 0 25 0 1 0 777682094 47849472 8668 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11682 8668 1111 63 0 11619 0
vsize: 46728
[startup+480.206 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 8995 0 0 0 47994 28 0 0 25 0 1 0 777682094 48885760 8919 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11935 8919 1111 63 0 11872 0
vsize: 47740
[startup+490.206 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 9240 0 0 0 48994 28 0 0 25 0 1 0 777682094 49930240 9164 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12190 9164 1111 63 0 12127 0
vsize: 48760
[startup+500.206 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 9446 0 0 0 49994 29 0 0 25 0 1 0 777682094 50675712 9370 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12372 9370 1111 63 0 12309 0
vsize: 49488
[startup+510.206 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 9697 0 0 0 50994 29 0 0 25 0 1 0 777682094 51707904 9621 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12624 9621 1111 63 0 12561 0
vsize: 50496
[startup+520.205 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 9940 0 0 0 51993 30 0 0 25 0 1 0 777682094 52760576 9864 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 9864 1111 63 0 12818 0
vsize: 51524
[startup+530.219 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 10200 0 0 0 52995 30 0 0 25 0 1 0 777682094 53809152 10124 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10124 1111 63 0 13074 0
vsize: 52548
[startup+540.219 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 10493 0 0 0 53994 30 0 0 25 0 1 0 777682094 55013376 10417 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13431 10417 1111 63 0 13368 0
vsize: 53724
[startup+550.218 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 10804 0 0 0 54994 31 0 0 25 0 1 0 777682094 56221696 10728 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13726 10728 1111 63 0 13663 0
vsize: 54904
[startup+560.218 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 11076 0 0 0 55994 31 0 0 25 0 1 0 777682094 57421824 11000 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14019 11000 1111 63 0 13956 0
vsize: 56076
[startup+570.218 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 11364 0 0 0 56993 32 0 0 25 0 1 0 777682094 58626048 11288 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14313 11288 1111 63 0 14250 0
vsize: 57252
[startup+580.218 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 11691 0 0 0 57993 32 0 0 25 0 1 0 777682094 59834368 11615 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14608 11615 1111 63 0 14545 0
vsize: 58432
[startup+590.218 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 12034 0 0 0 58993 33 0 0 25 0 1 0 777682094 61333504 11958 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14974 11958 1111 63 0 14911 0
vsize: 59896
[startup+600.218 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 12360 0 0 0 59992 34 0 0 25 0 1 0 777682094 62693376 12284 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15306 12284 1111 63 0 15243 0
vsize: 61224
[startup+610.218 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 12722 0 0 0 60991 34 0 0 25 0 1 0 777682094 64045056 12646 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15636 12646 1111 63 0 15573 0
vsize: 62544
[startup+620.218 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 13120 0 0 0 61990 35 0 0 25 0 1 0 777682094 65699840 13044 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16040 13044 1111 63 0 15977 0
vsize: 64160
[startup+630.217 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 13533 0 0 0 62990 36 0 0 25 0 1 0 777682094 67354624 13457 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16444 13457 1111 63 0 16381 0
vsize: 65776
[startup+640.222 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 13976 0 0 0 63989 37 0 0 25 0 1 0 777682094 69160960 13900 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16885 13900 1111 63 0 16822 0
vsize: 67540
[startup+650.222 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 14434 0 0 0 64989 38 0 0 25 0 1 0 777682094 71118848 14358 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17363 14358 1111 63 0 17300 0
vsize: 69452
[startup+660.223 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 14941 0 0 0 65988 39 0 0 25 0 1 0 777682094 73224192 14865 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17877 14865 1111 63 0 17814 0
vsize: 71508
[startup+670.222 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 15510 0 0 0 66987 40 0 0 25 0 1 0 777682094 75456512 15434 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18422 15434 1111 63 0 18359 0
vsize: 73688
[startup+680.222 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 16116 0 0 0 67986 42 0 0 25 0 1 0 777682094 78012416 16040 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19046 16040 1111 63 0 18983 0
vsize: 76184
[startup+690.222 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 16810 0 0 0 68984 43 0 0 25 0 1 0 777682094 81059840 16734 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19790 16734 1111 63 0 19727 0
vsize: 79160
[startup+700.222 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 17519 0 0 0 69983 45 0 0 25 0 1 0 777682094 83910656 17443 4294967295 134512640 134714508 3221224592 3221222820 1077414397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20486 17443 1111 63 0 20423 0
vsize: 81944
[startup+710.225 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 18314 0 0 0 70982 46 0 0 25 0 1 0 777682094 87220224 18238 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21294 18238 1111 63 0 21231 0
vsize: 85176
[startup+720.225 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 19178 0 0 0 71981 47 0 0 25 0 1 0 777682094 90652672 19102 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22132 19102 1111 63 0 22069 0
vsize: 88528
[startup+730.226 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 20284 0 0 0 72979 50 0 0 25 0 1 0 777682094 95166464 20208 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23234 20208 1111 63 0 23171 0
vsize: 92936
[startup+733.028 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 18385
Raw data (stat): 18385 (bsolo_lpr) R 18384 7266 7265 0 -1 0 20284 0 0 0 72979 50 0 0 25 0 1 0 777682094 95166464 20208 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23234 20208 1111 63 0 23171 0
vsize: 0

Child status: 0
Real time (s): 733.028
CPU time (s): 733.09
CPU user time (s): 732.54
CPU system time (s): 0.549916
CPU usage (%): 100.008
Max. virtual memory (Kb): 92936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####