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 39851

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 21:16:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27913 boxname=wulflinc1 idbench=869 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b052177a073d2d8c92d9603ed92c19ee  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-scsd6.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-scsd6.opb
IDLAUNCH: 27913
/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:        787064 kB
Buffers:         32040 kB
Cached:         189740 kB
SwapCached:       1192 kB
Active:          31324 kB
Inactive:       192744 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        786812 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            17748 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:28:20 (client local time) WITH STATUS 0 IN 735.963 SECONDS
stats: 27913 7 735.963 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: 735.915 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.72 0.82 0.86 2/55 11508
Raw data (stat): 11508 (runsolver) R 11507 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 839303566 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0008 s]
Raw data (loadavg): 0.76 0.83 0.86 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 873 0 0 0 995 3 0 0 25 0 1 0 839303566 15511552 793 4294967295 134512640 134716908 3221224576 3221222804 1077414345 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.0006 s]
Raw data (loadavg): 0.80 0.83 0.86 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 1013 0 0 0 1994 4 0 0 25 0 1 0 839303566 16089088 933 4294967295 134512640 134716908 3221224576 3221222804 1077414410 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.0004 s]
Raw data (loadavg): 0.83 0.84 0.86 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 1168 0 0 0 2994 4 0 0 25 0 1 0 839303566 16687104 1088 4294967295 134512640 134716908 3221224576 3221222804 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+40.0002 s]
Raw data (loadavg): 0.86 0.84 0.86 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 1286 0 0 0 3994 4 0 0 25 0 1 0 839303566 17137664 1206 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.001 s]
Raw data (loadavg): 0.88 0.85 0.87 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 1449 0 0 0 4994 5 0 0 25 0 1 0 839303566 17846272 1369 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.0008 s]
Raw data (loadavg): 0.90 0.85 0.87 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 1595 0 0 0 5993 6 0 0 25 0 1 0 839303566 18444288 1515 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.0006 s]
Raw data (loadavg): 0.91 0.85 0.87 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 1728 0 0 0 6992 7 0 0 25 0 1 0 839303566 19046400 1648 4294967295 134512640 134716908 3221224576 3221222804 1077414424 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.0014 s]
Raw data (loadavg): 0.92 0.86 0.87 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 1895 0 0 0 7992 7 0 0 25 0 1 0 839303566 19644416 1815 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.0012 s]
Raw data (loadavg): 0.94 0.86 0.87 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 2057 0 0 0 8992 7 0 0 25 0 1 0 839303566 20393984 1977 4294967295 134512640 134716908 3221224576 3221222804 1077414345 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.95 0.87 0.87 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 2219 0 0 0 9992 7 0 0 25 0 1 0 839303566 20996096 2139 4294967295 134512640 134716908 3221224576 3221222804 1077414345 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.003 s]
Raw data (loadavg): 0.95 0.87 0.87 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 2395 0 0 0 10992 8 0 0 25 0 1 0 839303566 21749760 2315 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.003 s]
Raw data (loadavg): 0.96 0.87 0.87 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 2550 0 0 0 11991 9 0 0 25 0 1 0 839303566 22351872 2470 4294967295 134512640 134716908 3221224576 3221222804 1077414357 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.97 0.88 0.87 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 2659 0 0 0 12990 9 0 0 25 0 1 0 839303566 22802432 2579 4294967295 134512640 134716908 3221224576 3221222804 1077414385 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.97 0.88 0.87 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 2828 0 0 0 13990 10 0 0 25 0 1 0 839303566 23543808 2748 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.003 s]
Raw data (loadavg): 0.97 0.89 0.88 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 2946 0 0 0 14990 10 0 0 25 0 1 0 839303566 23994368 2866 4294967295 134512640 134716908 3221224576 3221222804 1077414374 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.98 0.89 0.88 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 3100 0 0 0 15990 10 0 0 25 0 1 0 839303566 24596480 3020 4294967295 134512640 134716908 3221224576 3221222804 1077414345 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.002 s]
Raw data (loadavg): 0.98 0.89 0.88 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 3271 0 0 0 16990 11 0 0 25 0 1 0 839303566 25350144 3191 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.002 s]
Raw data (loadavg): 0.98 0.89 0.88 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 3427 0 0 0 17989 11 0 0 25 0 1 0 839303566 25952256 3347 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6336 3347 1111 63 0 6273 0
vsize: 25344
[startup+190.002 s]
Raw data (loadavg): 0.99 0.90 0.88 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 3595 0 0 0 18989 12 0 0 25 0 1 0 839303566 26701824 3515 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6519 3515 1111 63 0 6456 0
vsize: 26076
[startup+200.002 s]
Raw data (loadavg): 0.99 0.90 0.88 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 3713 0 0 0 19989 12 0 0 25 0 1 0 839303566 27127808 3633 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6623 3633 1111 63 0 6560 0
vsize: 26492
[startup+210.002 s]
Raw data (loadavg): 0.99 0.90 0.88 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 3877 0 0 0 20989 12 0 0 25 0 1 0 839303566 27881472 3797 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6807 3797 1111 63 0 6744 0
vsize: 27228
[startup+220.001 s]
Raw data (loadavg): 0.99 0.91 0.88 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 4045 0 0 0 21988 12 0 0 25 0 1 0 839303566 28475392 3965 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 3965 1111 63 0 6889 0
vsize: 27808
[startup+230.001 s]
Raw data (loadavg): 0.99 0.91 0.88 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 4200 0 0 0 22988 13 0 0 25 0 1 0 839303566 29081600 4120 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4120 1111 63 0 7037 0
vsize: 28400
[startup+240.001 s]
Raw data (loadavg): 0.99 0.91 0.88 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 4384 0 0 0 23988 13 0 0 25 0 1 0 839303566 29835264 4304 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7284 4304 1111 63 0 7221 0
vsize: 29136
[startup+250.002 s]
Raw data (loadavg): 0.99 0.91 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 4531 0 0 0 24988 13 0 0 25 0 1 0 839303566 30433280 4451 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7430 4451 1111 63 0 7367 0
vsize: 29720
[startup+260.002 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 4732 0 0 0 25988 13 0 0 25 0 1 0 839303566 31375360 4652 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7660 4652 1111 63 0 7597 0
vsize: 30640
[startup+270.002 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 4901 0 0 0 26988 14 0 0 25 0 1 0 839303566 32124928 4821 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7843 4821 1111 63 0 7780 0
vsize: 31372
[startup+280.002 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 5093 0 0 0 27988 14 0 0 25 0 1 0 839303566 32882688 5013 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8028 5013 1111 63 0 7965 0
vsize: 32112
[startup+290.002 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 5293 0 0 0 28988 14 0 0 25 0 1 0 839303566 33632256 5213 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8211 5213 1111 63 0 8148 0
vsize: 32844
[startup+300.003 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 5434 0 0 0 29988 15 0 0 25 0 1 0 839303566 34238464 5354 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8359 5354 1111 63 0 8296 0
vsize: 33436
[startup+310.002 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 5601 0 0 0 30987 16 0 0 25 0 1 0 839303566 34988032 5521 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8542 5521 1111 63 0 8479 0
vsize: 34168
[startup+320.002 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 5758 0 0 0 31986 16 0 0 25 0 1 0 839303566 35590144 5678 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8689 5678 1111 63 0 8626 0
vsize: 34756
[startup+330.002 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 5927 0 0 0 32986 17 0 0 25 0 1 0 839303566 36192256 5847 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8836 5847 1111 63 0 8773 0
vsize: 35344
[startup+340.002 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 6125 0 0 0 33986 17 0 0 25 0 1 0 839303566 37097472 6045 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9057 6045 1111 63 0 8994 0
vsize: 36228
[startup+350.003 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 6334 0 0 0 34985 18 0 0 25 0 1 0 839303566 37847040 6254 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9240 6254 1111 63 0 9177 0
vsize: 36960
[startup+360.003 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 6494 0 0 0 35986 18 0 0 25 0 1 0 839303566 38596608 6414 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9423 6414 1111 63 0 9360 0
vsize: 37692
[startup+370.003 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 6679 0 0 0 36985 18 0 0 25 0 1 0 839303566 39350272 6599 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9607 6599 1111 63 0 9544 0
vsize: 38428
[startup+380.003 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 6872 0 0 0 37985 18 0 0 25 0 1 0 839303566 40103936 6792 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9791 6792 1111 63 0 9728 0
vsize: 39164
[startup+390.003 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 7084 0 0 0 38985 19 0 0 25 0 1 0 839303566 41009152 7004 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10012 7004 1111 63 0 9949 0
vsize: 40048
[startup+400.003 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 7278 0 0 0 39985 19 0 0 25 0 1 0 839303566 41758720 7198 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 7198 1111 63 0 10132 0
vsize: 40780
[startup+410.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 7498 0 0 0 40985 19 0 0 25 0 1 0 839303566 42635264 7418 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 7418 1111 63 0 10346 0
vsize: 41636
[startup+420.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 7721 0 0 0 41985 20 0 0 25 0 1 0 839303566 43536384 7641 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10629 7641 1111 63 0 10566 0
vsize: 42516
[startup+430.003 s]
Raw data (loadavg): 0.99 0.95 0.90 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 7970 0 0 0 42985 20 0 0 25 0 1 0 839303566 44589056 7890 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10886 7890 1111 63 0 10823 0
vsize: 43544
[startup+440.003 s]
Raw data (loadavg): 0.99 0.95 0.90 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 8192 0 0 0 43985 20 0 0 25 0 1 0 839303566 45490176 8112 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11106 8112 1111 63 0 11043 0
vsize: 44424
[startup+450.003 s]
Raw data (loadavg): 0.99 0.95 0.90 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 8376 0 0 0 44984 21 0 0 25 0 1 0 839303566 46247936 8296 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11291 8296 1111 63 0 11228 0
vsize: 45164
[startup+460.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 8575 0 0 0 45984 21 0 0 25 0 1 0 839303566 46997504 8495 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11474 8495 1111 63 0 11411 0
vsize: 45896
[startup+470.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 8828 0 0 0 46984 22 0 0 25 0 1 0 839303566 48152576 8748 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11756 8748 1111 63 0 11693 0
vsize: 47024
[startup+480.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 9071 0 0 0 47983 22 0 0 25 0 1 0 839303566 49176576 8991 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12006 8991 1111 63 0 11943 0
vsize: 48024
[startup+490.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 9300 0 0 0 48983 22 0 0 25 0 1 0 839303566 50077696 9220 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12226 9220 1111 63 0 12163 0
vsize: 48904
[startup+500.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 9521 0 0 0 49983 23 0 0 25 0 1 0 839303566 51101696 9441 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 9441 1111 63 0 12413 0
vsize: 49904
[startup+510.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 9758 0 0 0 50982 24 0 0 25 0 1 0 839303566 52006912 9678 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12697 9678 1111 63 0 12634 0
vsize: 50788
[startup+520.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 10023 0 0 0 51982 24 0 0 25 0 1 0 839303566 53059584 9943 4294967295 134512640 134716908 3221224576 3221222700 1076647540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12954 9943 1111 63 0 12891 0
vsize: 51816
[startup+530.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 10288 0 0 0 52982 24 0 0 25 0 1 0 839303566 54108160 10208 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10208 1111 63 0 13147 0
vsize: 52840
[startup+540.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 10554 0 0 0 53982 25 0 0 25 0 1 0 839303566 55316480 10474 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13505 10474 1111 63 0 13442 0
vsize: 54020
[startup+550.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 10850 0 0 0 54982 25 0 0 25 0 1 0 839303566 56520704 10770 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13799 10770 1111 63 0 13736 0
vsize: 55196
[startup+560.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 11115 0 0 0 55981 26 0 0 25 0 1 0 839303566 57573376 11035 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14056 11035 1111 63 0 13993 0
vsize: 56224
[startup+570.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 11394 0 0 0 56981 27 0 0 25 0 1 0 839303566 58626048 11314 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14313 11314 1111 63 0 14250 0
vsize: 57252
[startup+580.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 11706 0 0 0 57980 27 0 0 25 0 1 0 839303566 59985920 11626 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14645 11626 1111 63 0 14582 0
vsize: 58580
[startup+590.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 12022 0 0 0 58980 28 0 0 25 0 1 0 839303566 61186048 11942 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14938 11942 1111 63 0 14875 0
vsize: 59752
[startup+600.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 12319 0 0 0 59980 28 0 0 25 0 1 0 839303566 62390272 12239 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15232 12239 1111 63 0 15169 0
vsize: 60928
[startup+610.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 12666 0 0 0 60979 29 0 0 25 0 1 0 839303566 63897600 12586 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15600 12586 1111 63 0 15537 0
vsize: 62400
[startup+620.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 13047 0 0 0 61979 30 0 0 25 0 1 0 839303566 65400832 12967 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15967 12967 1111 63 0 15904 0
vsize: 63868
[startup+630.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 13448 0 0 0 62978 30 0 0 25 0 1 0 839303566 67055616 13368 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16371 13368 1111 63 0 16308 0
vsize: 65484
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 13883 0 0 0 63978 31 0 0 25 0 1 0 839303566 68861952 13803 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16812 13803 1111 63 0 16749 0
vsize: 67248
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 14333 0 0 0 64977 32 0 0 25 0 1 0 839303566 70668288 14253 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17253 14253 1111 63 0 17190 0
vsize: 69012
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 14826 0 0 0 65976 33 0 0 25 0 1 0 839303566 72626176 14746 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17731 14746 1111 63 0 17668 0
vsize: 70924
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 15335 0 0 0 66975 34 0 0 25 0 1 0 839303566 74698752 15255 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18237 15255 1111 63 0 18174 0
vsize: 72948
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 15925 0 0 0 67974 35 0 0 25 0 1 0 839303566 77111296 15845 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18826 15845 1111 63 0 18763 0
vsize: 75304
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 16608 0 0 0 68973 37 0 0 25 0 1 0 839303566 80183296 16528 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19576 16528 1111 63 0 19513 0
vsize: 78304
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 17306 0 0 0 69972 38 0 0 25 0 1 0 839303566 83009536 17226 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20266 17226 1111 63 0 20203 0
vsize: 81064
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 18067 0 0 0 70972 39 0 0 25 0 1 0 839303566 86163456 17987 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21036 17987 1111 63 0 20973 0
vsize: 84144
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 18921 0 0 0 71971 39 0 0 25 0 1 0 839303566 89628672 18841 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21882 18841 1111 63 0 21819 0
vsize: 87528
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 19933 0 0 0 72969 42 0 0 25 0 1 0 839303566 93814784 19853 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22904 19853 1111 63 0 22841 0
vsize: 91616
[startup+735.864 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 11508
Raw data (stat): 11508 (bsolo_lpr-v2) R 11507 8378 8377 0 -1 0 19933 0 0 0 72969 42 0 0 25 0 1 0 839303566 93814784 19853 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22904 19853 1111 63 0 22841 0
vsize: 0

Child status: 0
Real time (s): 735.863
CPU time (s): 735.963
CPU user time (s): 735.484
CPU system time (s): 0.478927
CPU usage (%): 100.014
Max. virtual memory (Kb): 91616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####