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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d2q06c.opb
MD5SUM	8e2638ad794b39b950927d7f3192369b
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	59780
Biggest coefficient in the objective function	35431356301312
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	17025894421914675
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	1217763488038912
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	17025894421914675
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.942855
Number of variables	103340
Total number of constraints	2171
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	2171
Minimum length of a constraint	20
Maximum length of a constraint	2180
Trace number 40182

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 03:55:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28249 boxname=wulflinc6 idbench=1205 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8e2638ad794b39b950927d7f3192369b  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-d2q06c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-d2q06c.opb
IDLAUNCH: 28249
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        566536 kB
Buffers:         25108 kB
Cached:         420768 kB
SwapCached:       1020 kB
Active:          42532 kB
Inactive:       405460 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        566284 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            14576 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 04:11:28 (client local time) WITH STATUS 0 IN 982.579 SECONDS
stats: 28249 7 982.579 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +333333*V0DAFTD_bit_7 +666666*V0DAFTD_bit_6 +1333332*V0DAFTD_bit_5 +2666664*V0DAFTD_bit_4 +5333328*V0DAFTD_bit_3 +10666656*V0DAFTD_bit_2 +21333312*V0DAFTD_bit_1 +42666624*V0DAFTD_bit0 +85333248*V0DAFTD_bit1 +170666496*V0DAFTD_bit2 +341332992*V0DAFTD_bit3 +682665984*V0DAFTD_bit4 +1365331968*V0DAFTD_bit5 +2730663936*V0DAFTD_bit6 +5461327872*V0DAFTD_bit7 +10922655744*V0DAFTD_bit8 +21845311488*V0DAFTD_bit9 +43690622976*V0DAFTD_bit10 +87381245952*V0DAFTD_bit11 +174762491904*V0DAFTD_bit12 +16666667*V0DAFXC_bit_7 +33333334*V0DAFXC_bit_6 +66666668*V0DAFXC_bit_5 +133333336*V0DAFXC_bit_4 +266666672*V0DAFXC_bit_3 +533333344*V0DAFXC_bit_2 +1066666688*V0DAFXC_bit_1 +2133333376*V0DAFXC_bit0 +4266666752*V0DAFXC_bit1 +8533333504*V0DAFXC_bit2 +17066667008*V0DAFXC_bit3 +34133334016*V0DAFXC_bit4 +68266668032*V0DAFXC_bit5 +136533336064*V0DAFXC_bit6 +273066672128*V0DAFXC_bit7 +546133344256*V0DAFXC_bit8 +1092266688512*V0DAFXC_bit9 +2184533377024*V0DAFXC_bit10 +4369066754048*V0DAFXC_bit11 +8738133508096*V0DAFXC_bit12 +40000000*V0DAFX0_bit_7 +80000000*V0DAFX0_bit_6 +160000000*V0DAFX0_bit_5 +320000000*V0DAFX0_bit_4 +640000000*V0DAFX0_bit_3 +1280000000*V0DAFX0_bit_2 +2560000000*V0DAFX0_bit_1 +5120000000*V0DAFX0_bit0 +10240000000*V0DAFX0_bit1 +20480000000*V0DAFX0_bit2 +40960000000*V0DAFX0_bit3 +81920000000*V0DAFX0_bit4 +163840000000*V0DAFX0_bit5 +327680000000*V0DAFX0_bit6 +655360000000*V0DAFX0_bit7 +1310720000000*V0DAFX0_bit8 +2621440000000*V0DAFX0_bit9 +5242880000000*V0DAFX0_bit10 +10485760000000*V0DAFX0_bit11 +20971520000000*V0DAFX0_bit12 +23333333*V0DAFX1_bit_7 +46666666*V0DAFX1_bit_6 +93333332*V0DAFX1_bit_5 +186666664*V0DAFX1_bit_4 +373333328*V0DAFX1_bit_3 +746666656*V0DAFX1_bit_2 +1493333312*V0DAFX1_bit_1 +2986666624*V0DAFX1_bit0 +5973333248*V0DAFX1_bit1 +11946666496*V0DAFX1_bit2 +23893332992*V0DAFX1_bit3 +47786665984*V0DAFX1_bit4 +95573331968*V0DAFX1_bit5 +191146663936*V0DAFX1_bit6 +382293327872*V0DAFX1_bit7 +764586655744*V0DAFX1_bit8 +1529173311488*V0DAFX1_bit9 +3058346622976*V0DAFX1_bit10 +6116693245952*V0DAFX1_bit11 +12233386491904*V0DAFX1_bit12 +23333333*V0DAFX2_bit_7 +46666666*V0DAFX2_bit_6 +93333332*V0DAFX2_bit_5 +186666664*V0DAFX2_bit_4 +373333328*V0DAFX2_bit_3 +746666656*V0DAFX2_bit_2 +1493333312*V0DAFX2_bit_1 +2986666624*V0DAFX2_bit0 +5973333248*V0DAFX2_bit1 +11946666496*V0DAFX2_bit2 +23893332992*V0DAFX2_bit3 +47786665984*V0DAFX2_bit4 +95573331968*V0DAFX2_bit5 +191146663936*V0DAFX2_bit6 +382293327872*V0DAFX2_bit7 +764586655744*V0DAFX2_bit8 +1529173311488*V0DAFX2_bit9 +3058346622976*V0DAFX2_bit10 +6116693245952*V0DAFX2_bit11 +12233386491904*V0DAFX2_bit12 +23333333*V0DAFX3_bit_7 +46666666*V0DAFX3_bit_6 +93333332*V0DAFX3_bit_5 +186666664*V0DAFX3_bit_4 +373333328*V0DAFX3_bit_3 +746666656*V0DAFX3_bit_2 +1493333312*V0DAFX3_bit_1 +2986666624*V0DAFX3_bit0 +5973333248*V0DAFX3_bit1 +11946666496*V0DAFX3_bit2 +23893332992*V0DAFX3_bit3 +47786665984*V0DAFX3_bit4 +95573331968*V0DAFX3_bit5 +191146663936*V0DAFX3_bit6 +382293327872*V0DAFX3_bit7 +764586655744*V0DAFX3_bit8 +1529173311488*V0DAFX3_bit9 +3058346622976*V0DAFX3_bit10 +6116693245952*V0DAFX3_bit11 +12233386491904*V0DAFX3_bit12 -65400000*V1JA14A_bit_7 -130800000*V1JA14A_bit_6 -261600000*V1JA14A_bit_5 -523200000*V1JA14A_bit_4 -1046400000*V1JA14A_bit_3 -2092800000*V1JA14A_bit_2 -4185600000*V1JA14A_bit_1 -8371200000*V1JA14A_bit0 -16742400000*V1JA14A_bit1 -33484800000*V1JA14A_bit2 -66969600000*V1JA14A_bit3 -133939200000*V1JA14A_bit4 -267878400000*V1JA14A_bit5 -535756800000*V1JA14A_bit6 -1071513600000*V1JA14A_bit7 -2143027200000*V1JA14A_bit8 -4286054400000*V1JA14A_bit9 -8572108800000*V1JA14A_bit10 -17144217600000*V1JA14A_bit11 -34288435200000*V1JA14A_bit12 -65900000*V1JA14K_bit_7 -131800000*V1JA14K_bit_6 -263600000*V1JA14K_bit_5 -527200000*V1JA14K_bit_4 -1054400000*V1JA14K_bit_3 -2108800000*V1JA14K_bit_2 -4217600000*V1JA14K_bit_1 -8435200000*V1JA14K_bit0 -16870400000*V1JA14K_bit1 -33740800000*V1JA14K_bit2 -67481600000*V1JA14K_bit3 -134963200000*V1JA14K_bit4 -269926400000*V1JA14K_bit5 -539852800000*V1JA14K_bit6 -1079705600000*V1JA14K_bit7 -2159411200000*V1JA14K_bit8 -4318822400000*V1JA14K_bit9 -8637644800000*V1JA14K_bit10 -17275289600000*V1JA14K_bit11 -34550579200000*V1JA14K_bit12 -27500000*V1JA14N_bit_7 -55000000*V1JA14N_bit_6 -110000000*V1JA14N_bit_5 -220000000*V1JA14N_bit_4 -440000000*V1JA14N_bit_3 -880000000*V1JA14N_bit_2 -1760000000*V1JA14N_bit_1 -3520000000*V1JA14N_bit0 -7040000000*V1JA14N_bit1 -14080000000*V1JA14N_bit2 -28160000000*V1JA14N_bit3 -56320000000*V1JA14N_bit4 -112640000000*V1JA14N_bit5 -225280000000*V1JA14N_bit6 -450560000000*V1JA14N_bit7 -901120000000*V1JA14N_bit8 -1802240000000*V1JA14N_bit9 -3604480000000*V1JA14N_bit10 -7208960000000*V1JA14N_bit11 -14417920000000*V1JA14N_bit12 -27500000*V1JA14P_bit_7 -55000000*V1JA14P_bit_6 -110000000*V1JA14P_bit_5 -220000000*V1JA14P_bit_4 -440000000*V1JA14P_bit_3 -880000000*V1JA14P_bit_2 -1760000000*V1JA14P_bit_1 -3520000000*V1JA14P_bit0 -7040000000*V1JA14P_bit1 -14080000000*V1JA14P_bit2 -28160000000*V1JA14P_bit3 -56320000000*V1JA14P_bit4 -112640000000*V1JA14P_bit5 -225280000000*V1JA14P_bit6 -450560000000*V1JA14P_bit7 -901120000000*V1JA14P_bit8 -1802240000000*V1JA14P_bit9 -3604480000000*V1JA14P_bit10 -7208960000000*V1JA14P_bit11 -14417920000000*V1JA14P_bit12 -21900000*V1JA14R_bit_7 -43800000*V1JA14R_bit_6 -87600000*V1JA14R_bit_5 -175200000*V1JA14R_bit_4 -350400000*V1JA14R_bit_3 -700800000*V1JA14R_bit_2 -1401600000*V1JA14R_bit_1 -2803200000*V1JA14R_bit0 -5606400000*V1JA14R_bit1 -11212800000*V1JA14R_bit2 -22425600000*V1JA14R_bit3 -44851200000*V1JA14R_bit4 -89702400000*V1JA14R_bit5 -179404800000*V1JA14R_bit6 -358809600000*V1JA14R_bit7 -717619200000*V1JA14R_bit8 -1435238400000*V1JA14R_bit9 -2870476800000*V1JA14R_bit10 -5740953600000*V1JA14R_bit11 -11481907200000*V1JA14R_bit12 -64299994*V1JA14Z_bit_7 -128599988*V1JA14Z_bit_6 -257199976*V1JA14Z_bit_5 -514399952*V1JA14Z_bit_4 -1028799904*V1JA14Z_bit_3 -2057599808*V1JA14Z_bit_2 -4115199616*V1JA14Z_bit_1 -8230399232*V1JA14Z_bit0 -16460798464*V1JA14Z_bit1 -32921596928*V1JA14Z_bit2 -65843193856*V1JA14Z_bit3 -131686387712*V1JA14Z_bit4 -263372775424*V1JA14Z_bit5 -526745550848*V1JA14Z_bit6 -1053491101696*V1JA14Z_bit7 -2106982203392*V1JA14Z_bit8 -4213964406784*V1JA14Z_bit9 -8427928813568*V1JA14Z_bit10 -16855857627136*V1JA14Z_bit11 -33711715254272*V1JA14Z_bit12 -26800000*V1JA15P_bit_7 -53600000*V1JA15P_bit_6 -107200000*V1JA15P_bit_5 -214400000*V1JA15P_bit_4 -428800000*V1JA15P_bit_3 -857600000*V1JA15P_bit_2 -1715200000*V1JA15P_bit_1 -3430400000*V1JA15P_bit0 -6860800000*V1JA15P_bit1 -13721600000*V1JA15P_bit2 -27443200000*V1JA15P_bit3 -54886400000*V1JA15P_bit4 -109772800000*V1JA15P_bit5 -219545600000*V1JA15P_bit6 -439091200000*V1JA15P_bit7 -878182400000*V1JA15P_bit8 -1756364800000*V1JA15P_bit9 -3512729600000*V1JA15P_bit10 -7025459200000*V1JA15P_bit11 -14050918400000*V1JA15P_bit12 -65900000*V1JA24K_bit_7 -131800000*V1JA24K_bit_6 -263600000*V1JA24K_bit_5 -527200000*V1JA24K_bit_4 -1054400000*V1JA24K_bit_3 -2108800000*V1JA24K_bit_2 -4217600000*V1JA24K_bit_1 -8435200000*V1JA24K_bit0 -16870400000*V1JA24K_bit1 -33740800000*V1JA24K_bit2 -67481600000*V1JA24K_bit3 -134963200000*V1JA24K_bit4 -269926400000*V1JA24K_bit5 -539852800000*V1JA24K_bit6 -1079705600000*V1JA24K_bit7 -2159411200000*V1JA24K_bit8 -4318822400000*V1JA24K_bit9 -8637644800000*V1JA24K_bit10 -17275289600000*V1JA24K_bit11 -34550579200000*V1JA24K_bit12 -60599998*V1MA14A_bit_7 -121199996*V1MA14A_bit_6 -242399992*V1MA14A_bit_5 -484799984*V1MA14A_bit_4 -969599968*V1MA14A_bit_3 -1939199936*V1MA14A_bit_2 -3878399872*V1MA14A_bit_1 -7756799744*V1MA14A_bit0 -15513599488*V1MA14A_bit1 -31027198976*V1MA14A_bit2 -62054397952*V1MA14A_bit3 -124108795904*V1MA14A_bit4 -248217591808*V1MA14A_bit5 -496435183616*V1MA14A_bit6 -992870367232*V1MA14A_bit7 -1985740734464*V1MA14A_bit8 -3971481468928*V1MA14A_bit9 -7942962937856*V1MA14A_bit10 -15885925875712*V1MA14A_bit11 -31771851751424*V1MA14A_bit12 -61099998*V1MA14K_bit_7 -122199996*V1MA14K_bit_6 -244399992*V1MA14K_bit_5 -488799984*V1MA14K_bit_4 -977599968*V1MA14K_bit_3 -1955199936*V1MA14K_bit_2 -3910399872*V1MA14K_bit_1 -7820799744*V1MA14K_bit0 -15641599488*V1MA14K_bit1 -31283198976*V1MA14K_bit2 -62566397952*V1MA14K_bit3 -125132795904*V1MA14K_bit4 -250265591808*V1MA14K_bit5 -500531183616*V1MA14K_bit6 -1001062367232*V1MA14K_bit7 -2002124734464*V1MA14K_bit8 -4004249468928*V1MA14K_bit9 -8008498937856*V1MA14K_bit10 -16016997875712*V1MA14K_bit11 -32033995751424*V1MA14K_bit12 -13300000*V1MA14R_bit_7 -26600000*V1MA14R_bit_6 -53200000*V1MA14R_bit_5 -106400000*V1MA14R_bit_4 -212800000*V1MA14R_bit_3 -425600000*V1MA14R_bit_2 -851200000*V1MA14R_bit_1 -1702400000*V1MA14R_bit0 -3404800000*V1MA14R_bit1 -6809600000*V1MA14R_bit2 -13619200000*V1MA14R_bit3 -27238400000*V1MA14R_bit4 -54476800000*V1MA14R_bit5 -108953600000*V1MA14R_bit6 -217907200000*V1MA14R_bit7 -435814400000*V1MA14R_bit8 -871628800000*V1MA14R_bit9 -1743257600000*V1MA14R_bit10 -3486515200000*V1MA14R_bit11 -6973030400000*V1MA14R_bit12 -65999990*V1NA14A_bit_7 -131999980*V1NA14A_bit_6 -263999960*V1NA14A_bit_5 -527999920*V1NA14A_bit_4 -1055999840*V1NA14A_bit_3 -2111999680*V1NA14A_bit_2 -4223999360*V1NA14A_bit_1 -8447998720*V1NA14A_bit0 -16895997440*V1NA14A_bit1 -33791994880*V1NA14A_bit2 -67583989760*V1NA14A_bit3 -135167979520*V1NA14A_bit4 -270335959040*V1NA14A_bit5 -540671918080*V1NA14A_bit6 -1081343836160*V1NA14A_bit7 -2162687672320*V1NA14A_bit8 -4325375344640*V1NA14A_bit9 -8650750689280*V1NA14A_bit10 -17301501378560*V1NA14A_bit11 -34603002757120*V1NA14A_bit12 -65999990*V1NA14G_bit_7 -131999980*V1NA14G_bit_6 -263999960*V1NA14G_bit_5 -527999920*V1NA14G_bit_4 -1055999840*V1NA14G_bit_3 -2111999680*V1NA14G_bit_2 -4223999360*V1NA14G_bit_1 -8447998720*V1NA14G_bit0 -16895997440*V1NA14G_bit1 -33791994880*V1NA14G_bit2 -67583989760*V1NA14G_bit3 -135167979520*V1NA14G_bit4 -270335959040*V1NA14G_bit5 -540671918080*V1NA14G_bit6 -1081343836160*V1NA14G_bit7 -2162687672320*V1NA14G_bit8 -4325375344640*V1NA14G_bit9 -8650750689280*V1NA14G_bit10 -17301501378560*V1NA14G_bit11 -34603002757120*V1NA14G_bit12 -66499990*V1NA14K_bit_7 -132999980*V1NA14K_bit_6 -265999960*V1NA14K_bit_5 -531999920*V1NA14K_bit_4 -1063999840*V1NA14K_bit_3 -2127999680*V1NA14K_bit_2 -4255999360*V1NA14K_bit_1 -8511998720*V1NA14K_bit0 -17023997440*V1NA14K_bit1 -34047994880*V1NA14K_bit2 -68095989760*V1NA14K_bit3 -136191979520*V1NA14K_bit4 -272383959040*V1NA14K_bit5 -544767918080*V1NA14K_bit6 -1089535836160*V1NA14K_bit7 -2179071672320*V1NA14K_bit8 -4358143344640*V1NA14K_bit9 -8716286689280*V1NA14K_bit10 -17432573378560*V1NA14K_bit11 -34865146757120*V1NA14K_bit12 -21400000*V1NA14L_bit_7 -42800000*V1NA14L_bit_6 -85600000*V1NA14L_bit_5 -171200000*V1NA14L_bit_4 -342400000*V1NA14L_bit_3 -684800000*V1NA14L_bit_2 -1369600000*V1NA14L_bit_1 -2739200000*V1NA14L_bit0 -5478400000*V1NA14L_bit1 -10956800000*V1NA14L_bit2 -21913600000*V1NA14L_bit3 -43827200000*V1NA14L_bit4 -87654400000*V1NA14L_bit5 -175308800000*V1NA14L_bit6 -350617600000*V1NA14L_bit7 -701235200000*V1NA14L_bit8 -1402470400000*V1NA14L_bit9 -2804940800000*V1NA14L_bit10 -5609881600000*V1NA14L_bit11 -11219763200000*V1NA14L_bit12 -28100000*V1NA14N_bit_7 -56200000*V1NA14N_bit_6 -112400000*V1NA14N_bit_5 -224800000*V1NA14N_bit_4 -449600000*V1NA14N_bit_3 -899200000*V1NA14N_bit_2 -1798400000*V1NA14N_bit_1 -3596800000*V1NA14N_bit0 -7193600000*V1NA14N_bit1 -14387200000*V1NA14N_bit2 -28774400000*V1NA14N_bit3 -57548800000*V1NA14N_bit4 -115097600000*V1NA14N_bit5 -230195200000*V1NA14N_bit6 -460390400000*V1NA14N_bit7 -920780800000*V1NA14N_bit8 -1841561600000*V1NA14N_bit9 -3683123200000*V1NA14N_bit10 -7366246400000*V1NA14N_bit11 -14732492800000*V1NA14N_bit12 -28100000*V1NA14P_bit_7 -56200000*V1NA14P_bit_6 -112400000*V1NA14P_bit_5 -224800000*V1NA14P_bit_4 -449600000*V1NA14P_bit_3 -899200000*V1NA14P_bit_2 -1798400000*V1NA14P_bit_1 -3596800000*V1NA14P_bit0 -7193600000*V1NA14P_bit1 -14387200000*V1NA14P_bit2 -28774400000*V1NA14P_bit3 -57548800000*V1NA14P_bit4 -115097600000*V1NA14P_bit5 -230195200000*V1NA14P_bit6 -460390400000*V1NA14P_bit7 -920780800000*V1NA14P_bit8 -1841561600000*V1NA14P_bit9 -3683123200000*V1NA14P_bit10 -7366246400000*V1NA14P_bit11 -14732492800000*V1NA14P_bit12 -65400000*V1NA14Q_bit_7 -130800000*V1NA14Q_bit_6 -261600000*V1NA14Q_bit_5 -523200000*V1NA14Q_bit_4 -1046400000*V1NA14Q_bit_3 -2092800000*V1NA14Q_bit_2 -4185600000*V1NA14Q_bit_1 -8371200000*V1NA14Q_bit0 -16742400000*V1NA14Q_bit1 -33484800000*V1NA14Q_bit2 -66969600000*V1NA14Q_bit3 -133939200000*V1NA14Q_bit4 -267878400000*V1NA14Q_bit5 -535756800000*V1NA14Q_bit6 -1071513600000*V1NA14Q_bit7 -2143027200000*V1NA14Q_bit8 -4286054400000*V1NA14Q_bit9 -8572108800000*V1NA14Q_bit10 -17144217600000*V1NA14Q_bit11 -34288435200000*V1NA14Q_bit12 -22500000*V1NA14R_bit_7 -45000000*V1NA14R_bit_6 -90000000*V1NA14R_bit_5 -180000000*V1NA14R_bit_4 -360000000*V1NA14R_bit_3 -720000000*V1NA14R_bit_2 -1440000000*V1NA14R_bit_1 -2880000000*V1NA14R_bit0 -5760000000*V1NA14R_bit1 -11520000000*V1NA14R_bit2 -23040000000*V1NA14R_bit3 -46080000000*V1NA14R_bit4 -92160000000*V1NA14R_bit5 -184320000000*V1NA14R_bit6 -368640000000*V1NA14R_bit7 -737280000000*V1NA14R_bit8 -1474560000000*V1NA14R_bit9 -2949120000000*V1NA14R_bit10 -5898240000000*V1NA14R_bit11 -11796480000000*V1NA14R_bit12 -64900000*V1NA14Z_bit_7 -129800000*V1NA14Z_bit_6 -259600000*V1NA14Z_bit_5 -519200000*V1NA14Z_bit_4 -1038400000*V1NA14Z_bit_3 -2076800000*V1NA14Z_bit_2 -4153600000*V1NA14Z_bit_1 -8307200000*V1NA14Z_bit0 -16614400000*V1NA14Z_bit1 -33228800000*V1NA14Z_bit2 -66457600000*V1NA14Z_bit3 -132915200000*V1NA14Z_bit4 -265830400000*V1NA14Z_bit5 -531660800000*V1NA14Z_bit6 -1063321600000*V1NA14Z_bit7 -2126643200000*V1NA14Z_bit8 -4253286400000*V1NA14Z_bit9 -8506572800000*V1NA14Z_bit10 -17013145600000*V1NA14Z_bit11 -34026291200000*V1NA14Z_bit12 -27400000*V1NA15P_bit_7 -54800000*V1NA15P_bit_6 -109600000*V1NA15P_bit_5 -219200000*V1NA15P_bit_4 -438400000*V1NA15P_bit_3 -876800000*V1NA15P_bit_2 -1753600000*V1NA15P_bit_1 -3507200000*V1NA15P_bit0 -7014400000*V1NA15P_bit1 -14028800000*V1NA15P_bit2 -28057600000*V1NA15P_bit3 -56115200000*V1NA15P_bit4 -112230400000*V1NA15P_bit5 -224460800000*V1NA15P_bit6 -448921600000*V1NA15P_bit7 -897843200000*V1NA15P_bit8 -1795686400000*V1NA15P_bit9 -3591372800000*V1NA15P_bit10 -7182745600000*V1NA15P_bit11 -14365491200000*V1NA15P_bit12 -60599998*V1QA14A_bit_7 -121199996*V1QA14A_bit_6 -242399992*V1QA14A_bit_5 -484799984*V1QA14A_bit_4 -969599968*V1QA14A_bit_3 -1939199936*V1QA14A_bit_2 -3878399872*V1QA14A_bit_1 -7756799744*V1QA14A_bit0 -15513599488*V1QA14A_bit1 -31027198976*V1QA14A_bit2 -62054397952*V1QA14A_bit3 -124108795904*V1QA14A_bit4 -248217591808*V1QA14A_bit5 -496435183616*V1QA14A_bit6 -992870367232*V1QA14A_bit7 -1985740734464*V1QA14A_bit8 -3971481468928*V1QA14A_bit9 -7942962937856*V1QA14A_bit10 -15885925875712*V1QA14A_bit11 -31771851751424*V1QA14A_bit12 -60599998*V1QA14G_bit_7 -121199996*V1QA14G_bit_6 -242399992*V1QA14G_bit_5 -484799984*V1QA14G_bit_4 -969599968*V1QA14G_bit_3 -1939199936*V1QA14G_bit_2 -3878399872*V1QA14G_bit_1 -7756799744*V1QA14G_bit0 -15513599488*V1QA14G_bit1 -31027198976*V1QA14G_bit2 -62054397952*V1QA14G_bit3 -124108795904*V1QA14G_bit4 -248217591808*V1QA14G_bit5 -496435183616*V1QA14G_bit6 -992870367232*V1QA14G_bit7 -1985740734464*V1QA14G_bit8 -3971481468928*V1QA14G_bit9 -7942962937856*V1QA14G_bit10 -15885925875712*V1QA14G_bit11 -31771851751424*V1QA14G_bit12 -61099998*V1QA14K_bit_7 -122199996*V1QA14K_bit_6 -244399992*V1QA14K_bit_5 -488799984*V1QA14K_bit_4 -977599968*V1QA14K_bit_3 -1955199936*V1QA14K_bit_2 -3910399872*V1QA14K_bit_1 -7820799744*V1QA14K_bit0 -15641599488*V1QA14K_bit1 -31283198976*V1QA14K_bit2 -62566397952*V1QA14K_bit3 -125132795904*V1QA14K_bit4 -250265591808*V1QA14K_bit5 -500531183616*V1QA14K_bit6 -1001062367232*V1QA14K_bit7 -2002124734464*V1QA14K_bit8 -4004249468928*V1QA14K_bit9 -8008498937856*V1QA14K_bit10 -16016997875712*V1QA14K_bit11 -32033995751424*V1QA14K_bit12 -10800000*V1QA14N_bit_7 -21600000*V1QA14N_bit_6 -43200000*V1QA14N_bit_5 -86400000*V1QA14N_bit_4 -172800000*V1QA14N_bit_3 -345600000*V1QA14N_bit_2 -691200000*V1QA14N_bit_1 -1382400000*V1QA14N_bit0 -2764800000*V1QA14N_bit1 -5529600000*V1QA14N_bit2 -11059200000*V1QA14N_bit3 -22118400000*V1QA14N_bit4 -44236800000*V1QA14N_bit5 -88473600000*V1QA14N_bit6 -176947200000*V1QA14N_bit7 -353894400000*V1QA14N_bit8 -707788800000*V1QA14N_bit9 -1415577600000*V1QA14N_bit10 -2831155200000*V1QA14N_bit11 -5662310400000*V1QA14N_bit12 -10800000*V1QA14P_bit_7 -21600000*V1QA14P_bit_6 -43200000*V1QA14P_bit_5 -86400000*V1QA14P_bit_4 -172800000*V1QA14P_bit_3 -345600000*V1QA14P_bit_2 -691200000*V1QA14P_bit_1 -1382400000*V1QA14P_bit0 -2764800000*V1QA14P_bit1 -5529600000*V1QA14P_bit2 -11059200000*V1QA14P_bit3 -22118400000*V1QA14P_bit4 -44236800000*V1QA14P_bit5 -88473600000*V1QA14P_bit6 -176947200000*V1QA14P_bit7 -353894400000*V1QA14P_bit8 -707788800000*V1QA14P_bit9 -1415577600000*V1QA14P_bit10 -2831155200000*V1QA14P_bit11 -5662310400000*V1QA14P_bit12 -13300000*V1QA14R_bit_7 -26600000*V1QA14R_bit_6 -53200000*V1QA14R_bit_5 -106400000*V1QA14R_bit_4 -212800000*V1QA14R_bit_3 -425600000*V1QA14R_bit_2 -851200000*V1QA14R_bit_1 -1702400000*V1QA14R_bit0 -3404800000*V1QA14R_bit1 -6809600000*V1QA14R_bit2 -13619200000*V1QA14R_bit3 -27238400000*V1QA14R_bit4 -54476800000*V1QA14R_bit5 -108953600000*V1QA14R_bit6 -217907200000*V1QA14R_bit7 -435814400000*V1QA14R_bit8 -871628800000*V1QA14R_bit9 -1743257600000*V1QA14R_bit10 -3486515200000*V1QA14R_bit11 -6973030400000*V1QA14R_bit12 -10100000*V1QA14X_bit_7 -20200000*V1QA14X_bit_6 -40400000*V1QA14X_bit_5 -80800000*V1QA14X_bit_4 -161600000*V1QA14X_bit_3 -323200000*V1QA14X_bit_2 -646400000*V1QA14X_bit_1 -1292800000*V1QA14X_bit0 -2585600000*V1QA14X_bit1 -5171200000*V1QA14X_bit2 -10342400000*V1QA14X_bit3 -20684800000*V1QA14X_bit4 -41369600000*V1QA14X_bit5 -82739200000*V1QA14X_bit6 -165478400000*V1QA14X_bit7 -330956800000*V1QA14X_bit8 -661913600000*V1QA14X_bit9 -1323827200000*V1QA14X_bit10 -2647654400000*V1QA14X_bit11 -5295308800000*V1QA14X_bit12 -59500000*V1QA14Z_bit_7 -119000000*V1QA14Z_bit_6 -238000000*V1QA14Z_bit_5 -476000000*V1QA14Z_bit_4 -952000000*V1QA14Z_bit_3 -1904000000*V1QA14Z_bit_2 -3808000000*V1QA14Z_bit_1 -7616000000*V1QA14Z_bit0 -15232000000*V1QA14Z_bit1 -30464000000*V1QA14Z_bit2 -60928000000*V1QA14Z_bit3 -121856000000*V1QA14Z_bit4 -243712000000*V1QA14Z_bit5 -487424000000*V1QA14Z_bit6 -974848000000*V1QA14Z_bit7 -1949696000000*V1QA14Z_bit8 -3899392000000*V1QA14Z_bit9 -7798784000000*V1QA14Z_bit10 -15597568000000*V1QA14Z_bit11 -31195136000000*V1QA14Z_bit12 -13300000*V1QA15J_bit_7 -26600000*V1QA15J_bit_6 -53200000*V1QA15J_bit_5 -106400000*V1QA15J_bit_4 -212800000*V1QA15J_bit_3 -425600000*V1QA15J_bit_2 -851200000*V1QA15J_bit_1 -1702400000*V1QA15J_bit0 -3404800000*V1QA15J_bit1 -6809600000*V1QA15J_bit2 -13619200000*V1QA15J_bit3 -27238400000*V1QA15J_bit4 -54476800000*V1QA15J_bit5 -108953600000*V1QA15J_bit6 -217907200000*V1QA15J_bit7 -435814400000*V1QA15J_bit8 -871628800000*V1QA15J_bit9 -1743257600000*V1QA15J_bit10 -3486515200000*V1QA15J_bit11 -6973030400000*V1QA15J_bit12 -22300000*V1QA15P_bit_7 -44600000*V1QA15P_bit_6 -89200000*V1QA15P_bit_5 -178400000*V1QA15P_bit_4 -356800000*V1QA15P_bit_3 -713600000*V1QA15P_bit_2 -1427200000*V1QA15P_bit_1 -2854400000*V1QA15P_bit0 -5708800000*V1QA15P_bit1 -11417600000*V1QA15P_bit2 -22835200000*V1QA15P_bit3 -45670400000*V1QA15P_bit4 -91340800000*V1QA15P_bit5 -182681600000*V1QA15P_bit6 -365363200000*V1QA15P_bit7 -730726400000*V1QA15P_bit8 -1461452800000*V1QA15P_bit9 -2922905600000*V1QA15P_bit10 -5845811200000*V1QA15P_bit11 -11691622400000*V1QA15P_bit12 -32200000*V6PA24A_bit_7 -64400000*V6PA24A_bit_6 -128800000*V6PA24A_bit_5 -257600000*V6PA24A_bit_4 -515200000*V6PA24A_bit_3 -1030400000*V6PA24A_bit_2 -2060800000*V6PA24A_bit_1 -4121600000*V6PA24A_bit0 -8243200000*V6PA24A_bit1 -16486400000*V6PA24A_bit2 -32972800000*V6PA24A_bit3 -65945600000*V6PA24A_bit4 -131891200000*V6PA24A_bit5 -263782400000*V6PA24A_bit6 -527564800000*V6PA24A_bit7 -1055129600000*V6PA24A_bit8 -2110259200000*V6PA24A_bit9 -4220518400000*V6PA24A_bit10 -8441036800000*V6PA24A_bit11 -16882073600000*V6PA24A_bit12 -32200000*V6PA24G_bit_7 -64400000*V6PA24G_bit_6 -128800000*V6PA24G_bit_5 -257600000*V6PA24G_bit_4 -515200000*V6PA24G_bit_3 -1030400000*V6PA24G_bit_2 -2060800000*V6PA24G_bit_1 -4121600000*V6PA24G_bit0 -8243200000*V6PA24G_bit1 -16486400000*V6PA24G_bit2 -32972800000*V6PA24G_bit3 -65945600000*V6PA24G_bit4 -131891200000*V6PA24G_bit5 -263782400000*V6PA24G_bit6 -527564800000*V6PA24G_bit7 -1055129600000*V6PA24G_bit8 -2110259200000*V6PA24G_bit9 -4220518400000*V6PA24G_bit10 -8441036800000*V6PA24G_bit11 -16882073600000*V6PA24G_bit12 -32400000*V6PA24K_bit_7 -64800000*V6PA24K_bit_6 -129600000*V6PA24K_bit_5 -259200000*V6PA24K_bit_4 -518400000*V6PA24K_bit_3 -1036800000*V6PA24K_bit_2 -2073600000*V6PA24K_bit_1 -4147200000*V6PA24K_bit0 -8294400000*V6PA24K_bit1 -16588800000*V6PA24K_bit2 -33177600000*V6PA24K_bit3 -66355200000*V6PA24K_bit4 -132710400000*V6PA24K_bit5 -265420800000*V6PA24K_bit6 -530841600000*V6PA24K_bit7 -1061683200000*V6PA24K_bit8 -2123366400000*V6PA24K_bit9 -4246732800000*V6PA24K_bit10 -8493465600000*V6PA24K_bit11 -16986931200000*V6PA24K_bit12 -34000000*V6QA24Z_bit_7 -68000000*V6QA24Z_bit_6 -136000000*V6QA24Z_bit_5 -272000000*V6QA24Z_bit_4 -544000000*V6QA24Z_bit_3 -1088000000*V6QA24Z_bit_2 -2176000000*V6QA24Z_bit_1 -4352000000*V6QA24Z_bit0 -8704000000*V6QA24Z_bit1 -17408000000*V6QA24Z_bit2 -34816000000*V6QA24Z_bit3 -69632000000*V6QA24Z_bit4 -139264000000*V6QA24Z_bit5 -278528000000*V6QA24Z_bit6 -557056000000*V6QA24Z_bit7 -1114112000000*V6QA24Z_bit8 -2228224000000*V6QA24Z_bit9 -4456448000000*V6QA24Z_bit10 -8912896000000*V6QA24Z_bit11 -17825792000000*V6QA24Z_bit12 -34000000*V6SA24Z_bit_7 -68000000*V6SA24Z_bit_6 -136000000*V6SA24Z_bit_5 -272000000*V6SA24Z_bit_4 -544000000*V6SA24Z_bit_3 -1088000000*V6SA24Z_bit_2 -2176000000*V6SA24Z_bit_1 -4352000000*V6SA24Z_bit0 -8704000000*V6SA24Z_bit1 -17408000000*V6SA24Z_bit2 -34816000000*V6SA24Z_bit3 -69632000000*V6SA24Z_bit4 -139264000000*V6SA24Z_bit5 -278528000000*V6SA24Z_bit6 -557056000000*V6SA24Z_bit7 -1114112000000*V6SA24Z_bit8 -2228224000000*V6SA24Z_bit9 -4456448000000*V6SA24Z_bit10 -8912896000000*V6SA24Z_bit11 -17825792000000*V6SA24Z_bit12 -34550000*V6TA24A_bit_7 -69100000*V6TA24A_bit_6 -138200000*V6TA24A_bit_5 -276400000*V6TA24A_bit_4 -552800000*V6TA24A_bit_3 -1105600000*V6TA24A_bit_2 -2211200000*V6TA24A_bit_1 -4422400000*V6TA24A_bit0 -8844800000*V6TA24A_bit1 -17689600000*V6TA24A_bit2 -35379200000*V6TA24A_bit3 -70758400000*V6TA24A_bit4 -141516800000*V6TA24A_bit5 -283033600000*V6TA24A_bit6 -566067200000*V6TA24A_bit7 -1132134400000*V6TA24A_bit8 -2264268800000*V6TA24A_bit9 -4528537600000*V6TA24A_bit10 -9057075200000*V6TA24A_bit11 -18114150400000*V6TA24A_bit12 -34550000*V6QA24A_bit_7 -69100000*V6QA24A_bit_6 -138200000*V6QA24A_bit_5 -276400000*V6QA24A_bit_4 -552800000*V6QA24A_bit_3 -1105600000*V6QA24A_bit_2 -2211200000*V6QA24A_bit_1 -4422400000*V6QA24A_bit0 -8844800000*V6QA24A_bit1 -17689600000*V6QA24A_bit2 -35379200000*V6QA24A_bit3 -70758400000*V6QA24A_bit4 -141516800000*V6QA24A_bit5 -283033600000*V6QA24A_bit6 -566067200000*V6QA24A_bit7 -1132134400000*V6QA24A_bit8 -2264268800000*V6QA24A_bit9 -4528537600000*V6QA24A_bit10 -9057075200000*V6QA24A_bit11 -18114150400000*V6QA24A_bit12 -34550000*V6SA24A_bit_7 -69100000*V6SA24A_bit_6 -138200000*V6SA24A_bit_5 -276400000*V6SA24A_bit_4 -552800000*V6SA24A_bit_3 -1105600000*V6SA24A_bit_2 -2211200000*V6SA24A_bit_1 -4422400000*V6SA24A_bit0 -8844800000*V6SA24A_bit1 -17689600000*V6SA24A_bit2 -35379200000*V6SA24A_bit3 -70758400000*V6SA24A_bit4 -141516800000*V6SA24A_bit5 -283033600000*V6SA24A_bit6 -566067200000*V6SA24A_bit7 -1132134400000*V6SA24A_bit8 -2264268800000*V6SA24A_bit9 -4528537600000*V6SA24A_bit10 -9057075200000*V6SA24A_bit11 -18114150400000*V6SA24A_bit12 -34800000*V6TA24K_bit_7 -69600000*V6TA24K_bit_6 -139200000*V6TA24K_bit_5 -278400000*V6TA24K_bit_4 -556800000*V6TA24K_bit_3 -1113600000*V6TA24K_bit_2 -2227200000*V6TA24K_bit_1 -4454400000*V6TA24K_bit0 -8908800000*V6TA24K_bit1 -17817600000*V6TA24K_bit2 -35635200000*V6TA24K_bit3 -71270400000*V6TA24K_bit4 -142540800000*V6TA24K_bit5 -285081600000*V6TA24K_bit6 -570163200000*V6TA24K_bit7 -1140326400000*V6TA24K_bit8 -2280652800000*V6TA24K_bit9 -4561305600000*V6TA24K_bit10 -9122611200000*V6TA24K_bit11 -18245222400000*V6TA24K_bit12 -34800000*V6SA24K_bit_7 -69600000*V6SA24K_bit_6 -139200000*V6SA24K_bit_5 -278400000*V6SA24K_bit_4 -556800000*V6SA24K_bit_3 -1113600000*V6SA24K_bit_2 -2227200000*V6SA24K_bit_1 -4454400000*V6SA24K_bit0 -8908800000*V6SA24K_bit1 -17817600000*V6SA24K_bit2 -35635200000*V6SA24K_bit3 -71270400000*V6SA24K_bit4 -142540800000*V6SA24K_bit5 -285081600000*V6SA24K_bit6 -570163200000*V6SA24K_bit7 -1140326400000*V6SA24K_bit8 -2280652800000*V6SA24K_bit9 -4561305600000*V6SA24K_bit10 -9122611200000*V6SA24K_bit11 -18245222400000*V6SA24K_bit12 >= +0;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-d2q06c.opb
s UNKNOWN
c Exit Code: 0
c Total time: 982.49 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.81 0.90 0.89 2/54 24711
Raw data (stat): 24711 (runsolver) R 24710 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898553991 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99999 s]
Raw data (loadavg): 0.84 0.90 0.89 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 1106 0 0 0 994 4 0 0 25 0 1 0 898553991 16203776 1026 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3956 1026 1111 63 0 3893 0
vsize: 15824
[startup+19.9999 s]
Raw data (loadavg): 0.86 0.90 0.89 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 1383 0 0 0 1994 4 0 0 25 0 1 0 898553991 17334272 1303 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4232 1303 1111 63 0 4169 0
vsize: 16928
[startup+29.9997 s]
Raw data (loadavg): 0.88 0.91 0.89 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 1668 0 0 0 2994 4 0 0 25 0 1 0 898553991 18468864 1588 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4509 1588 1111 63 0 4446 0
vsize: 18036
[startup+40.0003 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 1922 0 0 0 3994 5 0 0 25 0 1 0 898553991 19599360 1842 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4785 1842 1111 63 0 4722 0
vsize: 19140
[startup+50 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 2143 0 0 0 4994 5 0 0 25 0 1 0 898553991 20447232 2063 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4992 2063 1111 63 0 4929 0
vsize: 19968
[startup+59.9991 s]
Raw data (loadavg): 0.93 0.91 0.89 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 2403 0 0 0 5993 6 0 0 25 0 1 0 898553991 21573632 2323 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5267 2323 1111 63 0 5204 0
vsize: 21068
[startup+69.9987 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 2680 0 0 0 6993 6 0 0 25 0 1 0 898553991 22700032 2600 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5542 2600 1111 63 0 5479 0
vsize: 22168
[startup+79.9988 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 2928 0 0 0 7993 6 0 0 25 0 1 0 898553991 23691264 2848 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5784 2848 1111 63 0 5721 0
vsize: 23136
[startup+89.9986 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 3169 0 0 0 8993 7 0 0 25 0 1 0 898553991 24682496 3089 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6026 3089 1111 63 0 5963 0
vsize: 24104
[startup+99.9981 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 3420 0 0 0 9993 7 0 0 25 0 1 0 898553991 25665536 3340 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6266 3343 1111 63 0 6203 0
vsize: 25064
[startup+109.998 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 3713 0 0 0 10993 8 0 0 25 0 1 0 898553991 26955776 3633 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6581 3633 1111 63 0 6518 0
vsize: 26324
[startup+119.998 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 4004 0 0 0 11993 8 0 0 25 0 1 0 898553991 28086272 3924 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6857 3924 1111 63 0 6794 0
vsize: 27428
[startup+129.997 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 4259 0 0 0 12993 8 0 0 25 0 1 0 898553991 29216768 4179 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7133 4179 1111 63 0 7070 0
vsize: 28532
[startup+139.998 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 4516 0 0 0 13992 9 0 0 25 0 1 0 898553991 30203904 4436 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7374 4436 1111 63 0 7311 0
vsize: 29496
[startup+150.001 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 4833 0 0 0 14992 10 0 0 25 0 1 0 898553991 31477760 4753 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7685 4753 1111 63 0 7622 0
vsize: 30740
[startup+160.001 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 5117 0 0 0 15992 10 0 0 25 0 1 0 898553991 32604160 5037 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7960 5037 1111 63 0 7897 0
vsize: 31840
[startup+170 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 5394 0 0 0 16992 11 0 0 25 0 1 0 898553991 33734656 5314 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8236 5314 1111 63 0 8173 0
vsize: 32944
[startup+179.999 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 5676 0 0 0 17991 12 0 0 25 0 1 0 898553991 35004416 5596 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8546 5596 1111 63 0 8483 0
vsize: 34184
[startup+189.999 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 5966 0 0 0 18991 12 0 0 25 0 1 0 898553991 36134912 5886 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8822 5886 1111 63 0 8759 0
vsize: 35288
[startup+199.999 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 6242 0 0 0 19990 13 0 0 25 0 1 0 898553991 37265408 6162 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9098 6162 1111 63 0 9035 0
vsize: 36392
[startup+209.999 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 6543 0 0 0 20990 14 0 0 25 0 1 0 898553991 38547456 6463 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9411 6463 1111 63 0 9348 0
vsize: 37644
[startup+219.999 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 6820 0 0 0 21990 14 0 0 25 0 1 0 898553991 39677952 6740 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9687 6740 1111 63 0 9624 0
vsize: 38748
[startup+229.998 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 7097 0 0 0 22989 15 0 0 25 0 1 0 898553991 40808448 7017 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9963 7017 1111 63 0 9900 0
vsize: 39852
[startup+239.997 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 7414 0 0 0 23989 16 0 0 25 0 1 0 898553991 42078208 7334 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10273 7334 1111 63 0 10210 0
vsize: 41092
[startup+249.997 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 7718 0 0 0 24989 16 0 0 25 0 1 0 898553991 43347968 7638 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 7638 1111 63 0 10520 0
vsize: 42332
[startup+259.997 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 8016 0 0 0 25989 17 0 0 25 0 1 0 898553991 44621824 7936 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 7936 1111 63 0 10831 0
vsize: 43576
[startup+269.998 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 8348 0 0 0 26989 17 0 0 25 0 1 0 898553991 45887488 8268 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11203 8268 1111 63 0 11140 0
vsize: 44812
[startup+279.997 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 8659 0 0 0 27989 17 0 0 25 0 1 0 898553991 47161344 8579 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11514 8579 1111 63 0 11451 0
vsize: 46056
[startup+289.998 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24711
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 8956 0 0 0 28988 18 0 0 25 0 1 0 898553991 48431104 8876 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11824 8876 1111 63 0 11761 0
vsize: 47296
[startup+299.998 s]
Raw data (loadavg): 1.07 0.97 0.91 3/57 24752
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 9254 0 0 0 29988 18 0 0 25 0 1 0 898553991 49561600 9174 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12100 9174 1111 63 0 12037 0
vsize: 48400
[startup+309.997 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 24764
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 9557 0 0 0 30987 20 0 0 25 0 1 0 898553991 50831360 9477 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12410 9477 1111 63 0 12347 0
vsize: 49640
[startup+319.997 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 24764
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 9876 0 0 0 31987 20 0 0 25 0 1 0 898553991 52101120 9796 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12720 9796 1111 63 0 12657 0
vsize: 50880
[startup+329.996 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 24764
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 10178 0 0 0 32986 21 0 0 25 0 1 0 898553991 53370880 10098 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13030 10098 1111 63 0 12967 0
vsize: 52120
[startup+339.995 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 24764
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 10497 0 0 0 33985 22 0 0 25 0 1 0 898553991 54640640 10417 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13340 10417 1111 63 0 13277 0
vsize: 53360
[startup+349.995 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 24764
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 10787 0 0 0 34985 23 0 0 25 0 1 0 898553991 55914496 10707 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13651 10707 1111 63 0 13588 0
vsize: 54604
[startup+359.995 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 24764
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 11105 0 0 0 35985 23 0 0 25 0 1 0 898553991 57184256 11025 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13961 11025 1111 63 0 13898 0
vsize: 55844
[startup+369.994 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 11438 0 0 0 36985 24 0 0 25 0 1 0 898553991 58601472 11358 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14307 11358 1111 63 0 14244 0
vsize: 57228
[startup+379.994 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 11748 0 0 0 37984 24 0 0 25 0 1 0 898553991 59871232 11668 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14617 11668 1111 63 0 14554 0
vsize: 58468
[startup+389.993 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 12091 0 0 0 38984 25 0 0 25 0 1 0 898553991 61362176 12011 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14981 12011 1111 63 0 14918 0
vsize: 59924
[startup+399.993 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 12408 0 0 0 39983 26 0 0 25 0 1 0 898553991 62631936 12328 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15291 12328 1111 63 0 15228 0
vsize: 61164
[startup+409.992 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 12719 0 0 0 40983 26 0 0 25 0 1 0 898553991 63901696 12639 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15601 12639 1111 63 0 15538 0
vsize: 62404
[startup+419.992 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 13031 0 0 0 41983 27 0 0 25 0 1 0 898553991 65171456 12951 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15911 12951 1111 63 0 15848 0
vsize: 63644
[startup+429.992 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 13334 0 0 0 42982 28 0 0 25 0 1 0 898553991 66445312 13254 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16222 13254 1111 63 0 16159 0
vsize: 64888
[startup+439.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 13652 0 0 0 43982 29 0 0 25 0 1 0 898553991 67715072 13572 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16532 13572 1111 63 0 16469 0
vsize: 66128
[startup+449.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 13976 0 0 0 44982 29 0 0 25 0 1 0 898553991 68984832 13896 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16842 13896 1111 63 0 16779 0
vsize: 67368
[startup+459.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 14301 0 0 0 45981 30 0 0 25 0 1 0 898553991 70397952 14221 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17187 14221 1111 63 0 17124 0
vsize: 68748
[startup+469.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 14625 0 0 0 46981 30 0 0 25 0 1 0 898553991 71663616 14545 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17496 14545 1111 63 0 17433 0
vsize: 69984
[startup+479.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 14952 0 0 0 47981 31 0 0 25 0 1 0 898553991 73076736 14872 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17841 14872 1111 63 0 17778 0
vsize: 71364
[startup+489.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 15304 0 0 0 48980 32 0 0 25 0 1 0 898553991 74493952 15224 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18187 15224 1111 63 0 18124 0
vsize: 72748
[startup+499.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 15658 0 0 0 49980 32 0 0 25 0 1 0 898553991 75902976 15578 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 15578 1111 63 0 18468 0
vsize: 74124
[startup+509.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 16016 0 0 0 50980 32 0 0 25 0 1 0 898553991 77316096 15936 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18876 15936 1111 63 0 18813 0
vsize: 75504
[startup+519.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 16383 0 0 0 51980 33 0 0 25 0 1 0 898553991 78868480 16303 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19255 16303 1111 63 0 19192 0
vsize: 77020
[startup+529.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 16707 0 0 0 52980 34 0 0 25 0 1 0 898553991 80138240 16627 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19565 16627 1111 63 0 19502 0
vsize: 78260
[startup+539.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 17055 0 0 0 53979 34 0 0 25 0 1 0 898553991 81547264 16975 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19909 16975 1111 63 0 19846 0
vsize: 79636
[startup+549.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 17426 0 0 0 54979 35 0 0 25 0 1 0 898553991 83107840 17346 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20290 17346 1111 63 0 20227 0
vsize: 81160
[startup+559.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 17814 0 0 0 55979 36 0 0 25 0 1 0 898553991 84656128 17734 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20668 17734 1111 63 0 20605 0
vsize: 82672
[startup+569.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 18201 0 0 0 56979 36 0 0 25 0 1 0 898553991 86347776 18121 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21081 18121 1111 63 0 21018 0
vsize: 84324
[startup+579.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 18541 0 0 0 57978 37 0 0 25 0 1 0 898553991 87625728 18461 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21393 18461 1111 63 0 21330 0
vsize: 85572
[startup+589.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 18907 0 0 0 58978 37 0 0 25 0 1 0 898553991 89178112 18827 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21772 18827 1111 63 0 21709 0
vsize: 87088
[startup+599.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 19287 0 0 0 59978 38 0 0 25 0 1 0 898553991 90730496 19207 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22151 19207 1111 63 0 22088 0
vsize: 88604
[startup+609.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 19682 0 0 0 60977 39 0 0 25 0 1 0 898553991 92278784 19602 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22529 19602 1111 63 0 22466 0
vsize: 90116
[startup+619.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24766
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 20055 0 0 0 61976 40 0 0 25 0 1 0 898553991 93839360 19975 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22910 19975 1111 63 0 22847 0
vsize: 91640
[startup+629.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 20434 0 0 0 62974 42 0 0 25 0 1 0 898553991 95387648 20354 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23288 20354 1111 63 0 23225 0
vsize: 93152
[startup+639.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 20829 0 0 0 63973 43 0 0 25 0 1 0 898553991 97079296 20749 4294967295 134512640 134716908 3221224576 3221222928 134566754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23701 20749 1111 63 0 23638 0
vsize: 94804
[startup+649.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 21223 0 0 0 64973 44 0 0 25 0 1 0 898553991 98639872 21143 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24082 21143 1111 63 0 24019 0
vsize: 96328
[startup+659.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 21631 0 0 0 65972 45 0 0 25 0 1 0 898553991 100331520 21551 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24495 21551 1111 63 0 24432 0
vsize: 97980
[startup+669.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 22047 0 0 0 66971 46 0 0 25 0 1 0 898553991 102023168 21967 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24908 21967 1111 63 0 24845 0
vsize: 99632
[startup+679.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 22460 0 0 0 67971 47 0 0 25 0 1 0 898553991 103723008 22380 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25323 22380 1111 63 0 25260 0
vsize: 101292
[startup+689.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 22873 0 0 0 68970 48 0 0 25 0 1 0 898553991 105414656 22793 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25736 22793 1111 63 0 25673 0
vsize: 102944
[startup+699.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 23328 0 0 0 69968 49 0 0 25 0 1 0 898553991 107499520 23248 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26245 23248 1111 63 0 26182 0
vsize: 104980
[startup+709.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 23750 0 0 0 70968 50 0 0 25 0 1 0 898553991 109191168 23670 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26658 23670 1111 63 0 26595 0
vsize: 106632
[startup+719.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 24178 0 0 0 71968 51 0 0 25 0 1 0 898553991 111030272 24098 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27107 24098 1111 63 0 27044 0
vsize: 108428
[startup+729.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 24600 0 0 0 72967 52 0 0 25 0 1 0 898553991 112721920 24520 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27520 24520 1111 63 0 27457 0
vsize: 110080
[startup+739.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 25037 0 0 0 73967 52 0 0 25 0 1 0 898553991 114413568 24957 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27933 24957 1111 63 0 27870 0
vsize: 111732
[startup+749.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 25492 0 0 0 74966 54 0 0 25 0 1 0 898553991 116391936 25412 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28416 25412 1111 63 0 28353 0
vsize: 113664
[startup+759.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 25963 0 0 0 75965 54 0 0 25 0 1 0 898553991 118231040 25883 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28865 25883 1111 63 0 28802 0
vsize: 115460
[startup+769.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 26446 0 0 0 76964 56 0 0 25 0 1 0 898553991 120205312 26366 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29347 26366 1111 63 0 29284 0
vsize: 117388
[startup+779.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 26943 0 0 0 77963 57 0 0 25 0 1 0 898553991 122322944 26863 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29864 26863 1111 63 0 29801 0
vsize: 119456
[startup+789.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 27456 0 0 0 78962 59 0 0 25 0 1 0 898553991 124301312 27376 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30347 27376 1111 63 0 30284 0
vsize: 121388
[startup+800.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 27953 0 0 0 79962 60 0 0 25 0 1 0 898553991 126414848 27873 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30863 27873 1111 63 0 30800 0
vsize: 123452
[startup+810.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 28471 0 0 0 80960 61 0 0 25 0 1 0 898553991 128536576 28391 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31381 28391 1111 63 0 31318 0
vsize: 125524
[startup+820.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 29045 0 0 0 81959 63 0 0 25 0 1 0 898553991 130793472 28965 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31932 28965 1111 63 0 31869 0
vsize: 127728
[startup+830.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 29661 0 0 0 82958 65 0 0 25 0 1 0 898553991 133337088 29581 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32553 29581 1111 63 0 32490 0
vsize: 130212
[startup+840.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 30330 0 0 0 83957 66 0 0 25 0 1 0 898553991 136159232 30250 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33242 30250 1111 63 0 33179 0
vsize: 132968
[startup+850.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 31009 0 0 0 84955 68 0 0 25 0 1 0 898553991 138846208 30929 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33898 30929 1111 63 0 33835 0
vsize: 135592
[startup+860.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 31734 0 0 0 85954 69 0 0 25 0 1 0 898553991 141807616 31654 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34621 31654 1111 63 0 34558 0
vsize: 138484
[startup+870.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 32461 0 0 0 86953 70 0 0 25 0 1 0 898553991 144777216 32381 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35346 32381 1111 63 0 35283 0
vsize: 141384
[startup+880.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 33200 0 0 0 87952 72 0 0 25 0 1 0 898553991 147881984 33120 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36104 33120 1111 63 0 36041 0
vsize: 144416
[startup+890.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 33975 0 0 0 88951 73 0 0 25 0 1 0 898553991 150990848 33895 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36863 33895 1111 63 0 36800 0
vsize: 147452
[startup+900.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 34770 0 0 0 89949 75 0 0 25 0 1 0 898553991 154230784 34690 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37654 34690 1111 63 0 37591 0
vsize: 150616
[startup+910.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 35593 0 0 0 90947 78 0 0 25 0 1 0 898553991 157622272 35513 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38482 35513 1111 63 0 38419 0
vsize: 153928
[startup+920.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 36416 0 0 0 91945 80 0 0 25 0 1 0 898553991 161009664 36336 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39309 36336 1111 63 0 39246 0
vsize: 157236
[startup+930.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 37266 0 0 0 92943 82 0 0 25 0 1 0 898553991 164401152 37186 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40137 37186 1111 63 0 40074 0
vsize: 160548
[startup+940.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 38171 0 0 0 93941 84 0 0 25 0 1 0 898553991 168071168 38091 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41033 38091 1111 63 0 40970 0
vsize: 164132
[startup+950.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 39111 0 0 0 94939 86 0 0 25 0 1 0 898553991 172023808 39031 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41998 39031 1111 63 0 41935 0
vsize: 167992
[startup+960.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 40052 0 0 0 95938 88 0 0 25 0 1 0 898553991 175837184 39972 4294967295 134512640 134716908 3221224576 3221222804 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42929 39972 1111 63 0 42866 0
vsize: 171716
[startup+970.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 40986 0 0 0 96936 89 0 0 25 0 1 0 898553991 179654656 40906 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43861 40906 1111 63 0 43798 0
vsize: 175444
[startup+980.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 42024 0 0 0 97934 91 0 0 25 0 1 0 898553991 183885824 41944 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44894 41944 1111 63 0 44831 0
vsize: 179576
[startup+982.474 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 24768
Raw data (stat): 24711 (bsolo_lpr-v2) R 24710 25568 25567 0 -1 0 42024 0 0 0 97934 91 0 0 25 0 1 0 898553991 183885824 41944 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44894 41944 1111 63 0 44831 0
vsize: 0

Child status: 0
Real time (s): 982.474
CPU time (s): 982.579
CPU user time (s): 981.54
CPU system time (s): 1.03884
CPU usage (%): 100.011
Max. virtual memory (Kb): 179576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####