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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd6.opb
MD5SUMb052177a073d2d8c92d9603ed92c19ee
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(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 numbers69
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.349945
Number of variables40500
Total number of constraints147
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints147
Minimum length of a constraint600
Maximum length of a constraint1200

Trace number 26820 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 17:03:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11287 boxname=wulflinc20 idbench=869 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b052177a073d2d8c92d9603ed92c19ee  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-scsd6.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-scsd6.opb
IDLAUNCH: 11287
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        870228 kB
Buffers:          6048 kB
Cached:         136244 kB
SwapCached:        644 kB
Active:          29076 kB
Inactive:       115352 kB
HighTotal:      131008 kB
HighFree:        85036 kB
LowTotal:       903652 kB
LowFree:        785192 kB
SwapTotal:     2097892 kB
SwapFree:      2096376 kB
Dirty:             216 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            14324 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:15:33 (client local time) WITH STATUS 0 IN 737.644 SECONDS
stats: 11287 7 737.644 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
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/wulflinc20/normalized-mps-v2-20-10-scsd6.opb
s UNKNOWN
c Exit Code: 0
c Total time: 737.596 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.87 0.97 0.96 2/54 28347
Raw data (stat): 28347 (runsolver) R 28346 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831888155 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.001 s]
Raw data (loadavg): 0.89 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 714 0 0 0 997 2 0 0 25 0 1 0 831888155 15355904 692 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3749 692 1111 63 0 3686 0
vsize: 14996
[startup+20.0021 s]
Raw data (loadavg): 0.90 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 848 0 0 0 1996 2 0 0 25 0 1 0 831888155 15933440 826 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3890 826 1111 63 0 3827 0
vsize: 15560
[startup+30.0024 s]
Raw data (loadavg): 0.92 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 1007 0 0 0 2996 3 0 0 25 0 1 0 831888155 16678912 985 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 985 1111 63 0 4009 0
vsize: 16288
[startup+40.0021 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 1115 0 0 0 3995 3 0 0 25 0 1 0 831888155 17096704 1093 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4174 1093 1111 63 0 4111 0
vsize: 16696
[startup+50.0031 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 1277 0 0 0 4995 4 0 0 25 0 1 0 831888155 17690624 1255 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4319 1255 1111 63 0 4256 0
vsize: 17276
[startup+60.0034 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 1423 0 0 0 5995 4 0 0 25 0 1 0 831888155 18288640 1401 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4465 1401 1111 63 0 4402 0
vsize: 17860
[startup+70.0041 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 1556 0 0 0 6995 5 0 0 25 0 1 0 831888155 18862080 1534 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4605 1534 1111 63 0 4542 0
vsize: 18420
[startup+80.0042 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 1722 0 0 0 7995 5 0 0 25 0 1 0 831888155 19582976 1700 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4781 1700 1111 63 0 4718 0
vsize: 19124
[startup+90.0045 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 1884 0 0 0 8994 6 0 0 25 0 1 0 831888155 20180992 1862 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4927 1862 1111 63 0 4864 0
vsize: 19708
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 2046 0 0 0 9993 7 0 0 25 0 1 0 831888155 20930560 2024 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5110 2024 1111 63 0 5047 0
vsize: 20440
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 2222 0 0 0 10993 8 0 0 25 0 1 0 831888155 21655552 2200 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5287 2200 1111 63 0 5224 0
vsize: 21148
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 2378 0 0 0 11992 8 0 0 25 0 1 0 831888155 22257664 2356 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5434 2356 1111 63 0 5371 0
vsize: 21736
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 28347
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 2486 0 0 0 12992 9 0 0 25 0 1 0 831888155 22708224 2464 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5544 2464 1111 63 0 5481 0
vsize: 22176
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 2641 0 0 0 13991 9 0 0 25 0 1 0 831888155 23306240 2619 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5690 2619 1111 63 0 5627 0
vsize: 22760
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 2759 0 0 0 14991 10 0 0 25 0 1 0 831888155 23748608 2737 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5798 2737 1111 63 0 5735 0
vsize: 23192
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 2920 0 0 0 15991 10 0 0 25 0 1 0 831888155 24502272 2898 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5982 2898 1111 63 0 5919 0
vsize: 23928
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 3076 0 0 0 16991 11 0 0 25 0 1 0 831888155 25108480 3054 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6130 3054 1111 63 0 6067 0
vsize: 24520
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 3246 0 0 0 17991 11 0 0 25 0 1 0 831888155 25858048 3224 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6313 3224 1111 63 0 6250 0
vsize: 25252
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 3422 0 0 0 18990 11 0 0 25 0 1 0 831888155 26456064 3400 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6459 3400 1111 63 0 6396 0
vsize: 25836
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 3539 0 0 0 19990 12 0 0 25 0 1 0 831888155 27033600 3517 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6600 3517 1111 63 0 6537 0
vsize: 26400
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 3704 0 0 0 20990 12 0 0 25 0 1 0 831888155 27631616 3682 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6746 3682 1111 63 0 6683 0
vsize: 26984
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 3878 0 0 0 21990 12 0 0 25 0 1 0 831888155 28381184 3856 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6929 3856 1111 63 0 6866 0
vsize: 27716
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 4019 0 0 0 22990 12 0 0 25 0 1 0 831888155 28987392 3997 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7077 3997 1111 63 0 7014 0
vsize: 28308
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 4204 0 0 0 23990 13 0 0 25 0 1 0 831888155 29741056 4182 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7261 4182 1111 63 0 7198 0
vsize: 29044
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 4366 0 0 0 24990 13 0 0 25 0 1 0 831888155 30339072 4344 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7407 4344 1111 63 0 7344 0
vsize: 29628
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 4542 0 0 0 25990 13 0 0 25 0 1 0 831888155 31092736 4520 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7591 4520 1111 63 0 7528 0
vsize: 30364
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 4730 0 0 0 26990 14 0 0 25 0 1 0 831888155 31883264 4708 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7784 4708 1111 63 0 7721 0
vsize: 31136
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 4928 0 0 0 27989 14 0 0 25 0 1 0 831888155 32788480 4906 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8005 4906 1111 63 0 7942 0
vsize: 32020
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 5128 0 0 0 28989 15 0 0 25 0 1 0 831888155 33538048 5106 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8188 5106 1111 63 0 8125 0
vsize: 32752
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 5276 0 0 0 29990 15 0 0 25 0 1 0 831888155 34144256 5254 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8336 5254 1111 63 0 8273 0
vsize: 33344
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 5437 0 0 0 30990 15 0 0 25 0 1 0 831888155 34742272 5415 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8482 5415 1111 63 0 8419 0
vsize: 33928
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 5600 0 0 0 31990 15 0 0 25 0 1 0 831888155 35495936 5578 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8666 5578 1111 63 0 8603 0
vsize: 34664
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 5763 0 0 0 32989 16 0 0 25 0 1 0 831888155 36098048 5741 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8813 5741 1111 63 0 8750 0
vsize: 35252
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 5961 0 0 0 33989 16 0 0 25 0 1 0 831888155 37003264 5939 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9034 5939 1111 63 0 8971 0
vsize: 36136
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 6183 0 0 0 34988 17 0 0 25 0 1 0 831888155 37904384 6161 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9254 6161 1111 63 0 9191 0
vsize: 37016
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 6338 0 0 0 35988 17 0 0 25 0 1 0 831888155 38502400 6316 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9400 6316 1111 63 0 9337 0
vsize: 37600
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 6544 0 0 0 36988 18 0 0 25 0 1 0 831888155 39256064 6522 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 6522 1111 63 0 9521 0
vsize: 38336
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 6744 0 0 0 37989 18 0 0 25 0 1 0 831888155 40157184 6722 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9804 6722 1111 63 0 9741 0
vsize: 39216
[startup+390.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 6972 0 0 0 38989 19 0 0 25 0 1 0 831888155 41062400 6950 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10025 6950 1111 63 0 9962 0
vsize: 40100
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 7194 0 0 0 39989 19 0 0 25 0 1 0 831888155 41963520 7172 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10245 7172 1111 63 0 10182 0
vsize: 40980
[startup+410.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 7436 0 0 0 40989 20 0 0 25 0 1 0 831888155 42987520 7414 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 7414 1111 63 0 10432 0
vsize: 41980
[startup+420.051 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 7681 0 0 0 41989 21 0 0 25 0 1 0 831888155 43888640 7659 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10715 7659 1111 63 0 10652 0
vsize: 42860
[startup+430.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 7947 0 0 0 42989 21 0 0 25 0 1 0 831888155 45096960 7925 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11010 7925 1111 63 0 10947 0
vsize: 44040
[startup+440.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 8138 0 0 0 43989 22 0 0 25 0 1 0 831888155 45846528 8116 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11193 8116 1111 63 0 11130 0
vsize: 44772
[startup+450.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 8372 0 0 0 44989 22 0 0 25 0 1 0 831888155 46751744 8350 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11414 8350 1111 63 0 11351 0
vsize: 45656
[startup+460.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 8642 0 0 0 45989 22 0 0 25 0 1 0 831888155 48058368 8620 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11733 8620 1111 63 0 11670 0
vsize: 46932
[startup+470.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 8893 0 0 0 46989 22 0 0 25 0 1 0 831888155 49082368 8871 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11983 8871 1111 63 0 11920 0
vsize: 47932
[startup+480.057 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 9144 0 0 0 47989 23 0 0 25 0 1 0 831888155 49983488 9122 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12203 9122 1111 63 0 12140 0
vsize: 48812
[startup+490.057 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 9394 0 0 0 48988 24 0 0 25 0 1 0 831888155 51007488 9372 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 9372 1111 63 0 12390 0
vsize: 49812
[startup+500.075 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 9652 0 0 0 49990 24 0 0 25 0 1 0 831888155 52060160 9630 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12710 9630 1111 63 0 12647 0
vsize: 50840
[startup+510.076 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 9923 0 0 0 50989 25 0 0 25 0 1 0 831888155 53264384 9901 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13004 9901 1111 63 0 12941 0
vsize: 52016
[startup+520.077 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 10220 0 0 0 51989 26 0 0 25 0 1 0 831888155 54472704 10198 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13299 10198 1111 63 0 13236 0
vsize: 53196
[startup+530.085 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 10502 0 0 0 52989 27 0 0 25 0 1 0 831888155 55521280 10480 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13555 10480 1111 63 0 13492 0
vsize: 54220
[startup+540.085 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 10810 0 0 0 53988 27 0 0 25 0 1 0 831888155 56877056 10788 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13886 10788 1111 63 0 13823 0
vsize: 55544
[startup+550.085 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 11062 0 0 0 54988 28 0 0 25 0 1 0 831888155 57933824 11040 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14144 11040 1111 63 0 14081 0
vsize: 56576
[startup+560.086 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 11341 0 0 0 55988 28 0 0 25 0 1 0 831888155 58986496 11319 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14401 11319 1111 63 0 14338 0
vsize: 57604
[startup+570.085 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 11637 0 0 0 56987 29 0 0 25 0 1 0 831888155 60190720 11615 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14695 11615 1111 63 0 14632 0
vsize: 58780
[startup+580.085 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 11933 0 0 0 57987 30 0 0 25 0 1 0 831888155 61390848 11911 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14988 11911 1111 63 0 14925 0
vsize: 59952
[startup+590.095 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 12256 0 0 0 58987 30 0 0 25 0 1 0 831888155 62746624 12234 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 12234 1111 63 0 15256 0
vsize: 61276
[startup+600.096 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 12566 0 0 0 59986 31 0 0 25 0 1 0 831888155 63950848 12544 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15613 12544 1111 63 0 15550 0
vsize: 62452
[startup+610.096 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 12898 0 0 0 60986 32 0 0 25 0 1 0 831888155 65306624 12876 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15944 12876 1111 63 0 15881 0
vsize: 63776
[startup+620.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 13245 0 0 0 61986 32 0 0 25 0 1 0 831888155 66809856 13223 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16311 13223 1111 63 0 16248 0
vsize: 65244
[startup+630.096 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 13615 0 0 0 62985 33 0 0 25 0 1 0 831888155 68317184 13593 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16679 13593 1111 63 0 16616 0
vsize: 66716
[startup+640.096 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 13940 0 0 0 63984 34 0 0 25 0 1 0 831888155 69672960 13918 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17010 13918 1111 63 0 16947 0
vsize: 68040
[startup+650.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 14306 0 0 0 64985 34 0 0 25 0 1 0 831888155 71172096 14284 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17376 14284 1111 63 0 17313 0
vsize: 69504
[startup+660.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 14721 0 0 0 65984 35 0 0 25 0 1 0 831888155 72830976 14699 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17781 14699 1111 63 0 17718 0
vsize: 71124
[startup+670.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 15194 0 0 0 66983 36 0 0 25 0 1 0 831888155 74756096 15172 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18251 15172 1111 63 0 18188 0
vsize: 73004
[startup+680.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 15739 0 0 0 67982 37 0 0 25 0 1 0 831888155 77017088 15717 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18803 15717 1111 63 0 18740 0
vsize: 75212
[startup+690.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 16311 0 0 0 68981 39 0 0 25 0 1 0 831888155 79273984 16289 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19354 16289 1111 63 0 19291 0
vsize: 77416
[startup+700.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 17023 0 0 0 69979 40 0 0 25 0 1 0 831888155 82456576 17001 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20131 17001 1111 63 0 20068 0
vsize: 80524
[startup+710.101 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 17782 0 0 0 70978 42 0 0 25 0 1 0 831888155 85622784 17760 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20904 17760 1111 63 0 20841 0
vsize: 83616
[startup+720.116 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 18616 0 0 0 71978 43 0 0 25 0 1 0 831888155 88928256 18594 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21711 18594 1111 63 0 21648 0
vsize: 86844
[startup+730.115 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 19613 0 0 0 72977 44 0 0 25 0 1 0 831888155 92966912 19591 4294967295 134512640 134714540 3221224592 3221222824 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22697 19591 1111 63 0 22634 0
vsize: 90788
[startup+737.636 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 28349
Raw data (stat): 28347 (bsolo_mis) R 28346 25399 25398 0 -1 0 19613 0 0 0 72977 44 0 0 25 0 1 0 831888155 92966912 19591 4294967295 134512640 134714540 3221224592 3221222824 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22697 19591 1111 63 0 22634 0
vsize: 0

Child status: 0
Real time (s): 737.619
CPU time (s): 737.644
CPU user time (s): 737.13
CPU system time (s): 0.513921
CPU usage (%): 100.003
Max. virtual memory (Kb): 90788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####