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 41354

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 10:56:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29421 boxname=wulflinc3 idbench=1205 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8e2638ad794b39b950927d7f3192369b  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-d2q06c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-d2q06c.opb
IDLAUNCH: 29421
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        718880 kB
Buffers:         16160 kB
Cached:         278864 kB
SwapCached:        708 kB
Active:          47348 kB
Inactive:       249704 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        718628 kB
SwapTotal:     2097136 kB
SwapFree:      2095380 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            13072 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:12:51 (client local time) WITH STATUS 0 IN 977.957 SECONDS
stats: 29421 7 977.957 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/wulflinc3/normalized-mps-v2-13-7-d2q06c.opb
s UNKNOWN
c Exit Code: 0
c Total time: 977.865 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.71 0.88 0.88 1/54 8242
Raw data (stat): 8242 (runsolver) R 8241 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909716496 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.76 0.89 0.88 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 1106 0 0 0 994 3 0 0 25 0 1 0 909716496 16203776 1026 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 1026 1111 63 0 3893 0
vsize: 15824
[startup+20.0014 s]
Raw data (loadavg): 0.79 0.89 0.88 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 1383 0 0 0 1994 4 0 0 25 0 1 0 909716496 17334272 1303 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4232 1303 1111 63 0 4169 0
vsize: 16928
[startup+30.0013 s]
Raw data (loadavg): 0.83 0.89 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 1668 0 0 0 2993 5 0 0 25 0 1 0 909716496 18468864 1588 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4509 1588 1111 63 0 4446 0
vsize: 18036
[startup+40.0015 s]
Raw data (loadavg): 0.85 0.90 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 1922 0 0 0 3992 6 0 0 25 0 1 0 909716496 19599360 1842 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4785 1842 1111 63 0 4722 0
vsize: 19140
[startup+50.002 s]
Raw data (loadavg): 0.87 0.90 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 2143 0 0 0 4991 7 0 0 25 0 1 0 909716496 20447232 2063 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4992 2063 1111 63 0 4929 0
vsize: 19968
[startup+60.0018 s]
Raw data (loadavg): 0.89 0.90 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 2403 0 0 0 5990 8 0 0 25 0 1 0 909716496 21573632 2323 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5267 2323 1111 63 0 5204 0
vsize: 21068
[startup+70.0021 s]
Raw data (loadavg): 0.91 0.90 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 2680 0 0 0 6990 8 0 0 25 0 1 0 909716496 22700032 2600 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5542 2600 1111 63 0 5479 0
vsize: 22168
[startup+80.0029 s]
Raw data (loadavg): 0.92 0.91 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 2928 0 0 0 7989 9 0 0 25 0 1 0 909716496 23691264 2848 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5784 2848 1111 63 0 5721 0
vsize: 23136
[startup+90.0023 s]
Raw data (loadavg): 0.93 0.91 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 3169 0 0 0 8989 10 0 0 25 0 1 0 909716496 24682496 3089 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6026 3089 1111 63 0 5963 0
vsize: 24104
[startup+100.004 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 3424 0 0 0 9988 10 0 0 25 0 1 0 909716496 25665536 3344 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6266 3344 1111 63 0 6203 0
vsize: 25064
[startup+110.004 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 3713 0 0 0 10988 11 0 0 25 0 1 0 909716496 26955776 3633 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 3633 1111 63 0 6518 0
vsize: 26324
[startup+120.004 s]
Raw data (loadavg): 0.96 0.92 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 4004 0 0 0 11987 11 0 0 25 0 1 0 909716496 28086272 3924 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6857 3924 1111 63 0 6794 0
vsize: 27428
[startup+130.004 s]
Raw data (loadavg): 0.96 0.92 0.89 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 4259 0 0 0 12987 12 0 0 25 0 1 0 909716496 29216768 4179 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7133 4179 1111 63 0 7070 0
vsize: 28532
[startup+140.005 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 4516 0 0 0 13987 12 0 0 25 0 1 0 909716496 30203904 4436 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7374 4436 1111 63 0 7311 0
vsize: 29496
[startup+150.005 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 4833 0 0 0 14986 13 0 0 25 0 1 0 909716496 31477760 4753 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7685 4753 1111 63 0 7622 0
vsize: 30740
[startup+160.006 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 5117 0 0 0 15986 14 0 0 25 0 1 0 909716496 32604160 5037 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7960 5037 1111 63 0 7897 0
vsize: 31840
[startup+170.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 5388 0 0 0 16985 14 0 0 25 0 1 0 909716496 33734656 5308 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8236 5308 1111 63 0 8173 0
vsize: 32944
[startup+180.006 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 5670 0 0 0 17985 15 0 0 25 0 1 0 909716496 34865152 5590 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8512 5590 1111 63 0 8449 0
vsize: 34048
[startup+190.006 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 5960 0 0 0 18984 16 0 0 25 0 1 0 909716496 36134912 5880 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8822 5880 1111 63 0 8759 0
vsize: 35288
[startup+200.007 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 8242
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 6236 0 0 0 19983 17 0 0 25 0 1 0 909716496 37265408 6156 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9098 6156 1111 63 0 9035 0
vsize: 36392
[startup+210.007 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 8243
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 6543 0 0 0 20980 19 0 0 25 0 1 0 909716496 38547456 6463 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9411 6463 1111 63 0 9348 0
vsize: 37644
[startup+220.008 s]
Raw data (loadavg): 1.06 0.95 0.91 2/54 8295
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 6820 0 0 0 21980 20 0 0 25 0 1 0 909716496 39677952 6740 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9687 6740 1111 63 0 9624 0
vsize: 38748
[startup+230.008 s]
Raw data (loadavg): 1.05 0.95 0.91 2/54 8295
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 7097 0 0 0 22979 21 0 0 25 0 1 0 909716496 40808448 7017 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9963 7017 1111 63 0 9900 0
vsize: 39852
[startup+240.008 s]
Raw data (loadavg): 1.04 0.95 0.91 2/54 8295
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 7407 0 0 0 23979 21 0 0 25 0 1 0 909716496 42078208 7327 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10273 7327 1111 63 0 10210 0
vsize: 41092
[startup+250.009 s]
Raw data (loadavg): 1.04 0.96 0.91 2/54 8295
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 7718 0 0 0 24979 22 0 0 25 0 1 0 909716496 43347968 7638 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10583 7638 1111 63 0 10520 0
vsize: 42332
[startup+260.009 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 8295
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 8009 0 0 0 25978 22 0 0 25 0 1 0 909716496 44478464 7929 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10859 7929 1111 63 0 10796 0
vsize: 43436
[startup+270.008 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 8295
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 8347 0 0 0 26978 22 0 0 25 0 1 0 909716496 45887488 8267 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11203 8267 1111 63 0 11140 0
vsize: 44812
[startup+280.009 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 8295
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 8659 0 0 0 27978 23 0 0 25 0 1 0 909716496 47161344 8579 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11514 8579 1111 63 0 11451 0
vsize: 46056
[startup+290.009 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 8956 0 0 0 28977 24 0 0 25 0 1 0 909716496 48431104 8876 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11824 8876 1111 63 0 11761 0
vsize: 47296
[startup+300.01 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 9253 0 0 0 29977 24 0 0 25 0 1 0 909716496 49561600 9173 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12100 9173 1111 63 0 12037 0
vsize: 48400
[startup+310.011 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 9550 0 0 0 30977 25 0 0 25 0 1 0 909716496 50831360 9470 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12410 9470 1111 63 0 12347 0
vsize: 49640
[startup+320.011 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 9882 0 0 0 31976 26 0 0 25 0 1 0 909716496 52244480 9802 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12755 9802 1111 63 0 12692 0
vsize: 51020
[startup+330.011 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 10179 0 0 0 32976 26 0 0 25 0 1 0 909716496 53370880 10099 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13030 10099 1111 63 0 12967 0
vsize: 52120
[startup+340.011 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 10510 0 0 0 33975 27 0 0 25 0 1 0 909716496 54784000 10430 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13375 10430 1111 63 0 13312 0
vsize: 53500
[startup+350.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 10800 0 0 0 34975 27 0 0 25 0 1 0 909716496 55914496 10720 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13651 10720 1111 63 0 13588 0
vsize: 54604
[startup+360.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 11120 0 0 0 35975 28 0 0 25 0 1 0 909716496 57184256 11040 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13961 11040 1111 63 0 13898 0
vsize: 55844
[startup+370.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 11458 0 0 0 36974 29 0 0 25 0 1 0 909716496 58601472 11378 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14307 11378 1111 63 0 14244 0
vsize: 57228
[startup+380.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 11775 0 0 0 37974 29 0 0 25 0 1 0 909716496 59871232 11695 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14617 11695 1111 63 0 14554 0
vsize: 58468
[startup+390.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 12118 0 0 0 38973 30 0 0 25 0 1 0 909716496 61501440 12038 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15015 12038 1111 63 0 14952 0
vsize: 60060
[startup+400.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 12436 0 0 0 39973 30 0 0 25 0 1 0 909716496 62775296 12356 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15326 12356 1111 63 0 15263 0
vsize: 61304
[startup+410.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 12754 0 0 0 40972 31 0 0 25 0 1 0 909716496 64040960 12674 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15635 12674 1111 63 0 15572 0
vsize: 62540
[startup+420.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 13071 0 0 0 41972 31 0 0 25 0 1 0 909716496 65314816 12991 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15946 12991 1111 63 0 15883 0
vsize: 63784
[startup+430.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 13376 0 0 0 42971 32 0 0 25 0 1 0 909716496 66584576 13296 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16256 13296 1111 63 0 16193 0
vsize: 65024
[startup+440.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 13700 0 0 0 43971 33 0 0 25 0 1 0 909716496 67854336 13620 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16566 13620 1111 63 0 16503 0
vsize: 66264
[startup+450.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 14025 0 0 0 44971 33 0 0 25 0 1 0 909716496 69267456 13945 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16911 13945 1111 63 0 16848 0
vsize: 67644
[startup+460.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 14356 0 0 0 45970 34 0 0 25 0 1 0 909716496 70537216 14276 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17221 14276 1111 63 0 17158 0
vsize: 68884
[startup+470.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 14682 0 0 0 46970 35 0 0 25 0 1 0 909716496 71954432 14602 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17567 14602 1111 63 0 17504 0
vsize: 70268
[startup+480.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 15021 0 0 0 47969 36 0 0 25 0 1 0 909716496 73363456 14941 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17911 14941 1111 63 0 17848 0
vsize: 71644
[startup+490.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 15373 0 0 0 48969 36 0 0 25 0 1 0 909716496 74772480 15293 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18255 15293 1111 63 0 18192 0
vsize: 73020
[startup+500.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 15733 0 0 0 49968 37 0 0 25 0 1 0 909716496 76185600 15653 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18600 15653 1111 63 0 18537 0
vsize: 74400
[startup+510.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 16099 0 0 0 50968 38 0 0 25 0 1 0 909716496 77737984 16019 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18979 16019 1111 63 0 18916 0
vsize: 75916
[startup+520.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 16453 0 0 0 51967 39 0 0 25 0 1 0 909716496 79155200 16373 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19325 16373 1111 63 0 19262 0
vsize: 77300
[startup+530.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8297
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 16792 0 0 0 52967 39 0 0 25 0 1 0 909716496 80564224 16712 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19669 16712 1111 63 0 19606 0
vsize: 78676
[startup+540.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 17158 0 0 0 53967 39 0 0 25 0 1 0 909716496 81977344 17078 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20014 17078 1111 63 0 19951 0
vsize: 80056
[startup+550.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 17530 0 0 0 54967 40 0 0 25 0 1 0 909716496 83525632 17450 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20392 17450 1111 63 0 20329 0
vsize: 81568
[startup+560.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 17925 0 0 0 55966 40 0 0 25 0 1 0 909716496 85225472 17845 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20807 17845 1111 63 0 20744 0
vsize: 83228
[startup+570.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 18299 0 0 0 56966 41 0 0 25 0 1 0 909716496 86634496 18219 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21151 18219 1111 63 0 21088 0
vsize: 84604
[startup+580.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 18657 0 0 0 57965 42 0 0 25 0 1 0 909716496 88186880 18577 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21530 18577 1111 63 0 21467 0
vsize: 86120
[startup+590.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 19017 0 0 0 58965 42 0 0 25 0 1 0 909716496 89600000 18937 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21875 18937 1111 63 0 21812 0
vsize: 87500
[startup+600.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 19412 0 0 0 59964 43 0 0 25 0 1 0 909716496 91299840 19332 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22290 19332 1111 63 0 22227 0
vsize: 89160
[startup+610.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 19805 0 0 0 60964 43 0 0 25 0 1 0 909716496 92848128 19725 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22668 19725 1111 63 0 22605 0
vsize: 90672
[startup+620.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 20178 0 0 0 61963 44 0 0 25 0 1 0 909716496 94400512 20098 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23047 20098 1111 63 0 22984 0
vsize: 92188
[startup+630.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 20566 0 0 0 62963 45 0 0 25 0 1 0 909716496 95952896 20486 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23426 20486 1111 63 0 23363 0
vsize: 93704
[startup+640.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 20967 0 0 0 63962 45 0 0 25 0 1 0 909716496 97648640 20887 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23840 20887 1111 63 0 23777 0
vsize: 95360
[startup+650.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 21348 0 0 0 64962 46 0 0 25 0 1 0 909716496 99201024 21268 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24219 21268 1111 63 0 24156 0
vsize: 96876
[startup+660.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 21756 0 0 0 65962 47 0 0 25 0 1 0 909716496 100753408 21676 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24598 21676 1111 63 0 24535 0
vsize: 98392
[startup+670.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 22177 0 0 0 66962 47 0 0 25 0 1 0 909716496 102592512 22097 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25047 22097 1111 63 0 24984 0
vsize: 100188
[startup+680.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 22590 0 0 0 67961 48 0 0 25 0 1 0 909716496 104284160 22510 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25460 22510 1111 63 0 25397 0
vsize: 101840
[startup+690.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 23050 0 0 0 68960 49 0 0 25 0 1 0 909716496 106356736 22970 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25966 22970 1111 63 0 25903 0
vsize: 103864
[startup+700.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 23458 0 0 0 69960 50 0 0 25 0 1 0 909716496 108060672 23378 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26382 23378 1111 63 0 26319 0
vsize: 105528
[startup+710.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 23882 0 0 0 70959 50 0 0 25 0 1 0 909716496 109760512 23802 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26797 23802 1111 63 0 26734 0
vsize: 107188
[startup+720.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 24317 0 0 0 71958 51 0 0 25 0 1 0 909716496 111591424 24237 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27244 24237 1111 63 0 27181 0
vsize: 108976
[startup+730.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 24760 0 0 0 72958 51 0 0 25 0 1 0 909716496 113287168 24680 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27658 24680 1111 63 0 27595 0
vsize: 110632
[startup+740.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 25229 0 0 0 73958 52 0 0 25 0 1 0 909716496 115261440 25149 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28140 25149 1111 63 0 28077 0
vsize: 112560
[startup+750.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 25699 0 0 0 74957 53 0 0 25 0 1 0 909716496 117239808 25619 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28623 25619 1111 63 0 28560 0
vsize: 114492
[startup+760.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 26196 0 0 0 75957 54 0 0 25 0 1 0 909716496 119214080 26116 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29105 26116 1111 63 0 29042 0
vsize: 116420
[startup+770.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 26688 0 0 0 76955 55 0 0 25 0 1 0 909716496 121192448 26608 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29588 26608 1111 63 0 29525 0
vsize: 118352
[startup+780.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 27215 0 0 0 77955 56 0 0 25 0 1 0 909716496 123314176 27135 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30106 27135 1111 63 0 30043 0
vsize: 120424
[startup+790.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 27773 0 0 0 78954 57 0 0 25 0 1 0 909716496 125714432 27693 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30692 27693 1111 63 0 30629 0
vsize: 122768
[startup+800.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 28334 0 0 0 79953 58 0 0 25 0 1 0 909716496 127971328 28254 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31243 28254 1111 63 0 31180 0
vsize: 124972
[startup+810.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 28921 0 0 0 80952 60 0 0 25 0 1 0 909716496 130375680 28841 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31830 28841 1111 63 0 31767 0
vsize: 127320
[startup+820.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 29510 0 0 0 81952 60 0 0 25 0 1 0 909716496 132771840 29430 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32415 29430 1111 63 0 32352 0
vsize: 129660
[startup+830.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 30110 0 0 0 82951 61 0 0 25 0 1 0 909716496 135176192 30030 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33002 30030 1111 63 0 32939 0
vsize: 132008
[startup+840.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 30712 0 0 0 83950 62 0 0 25 0 1 0 909716496 137715712 30632 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33622 30632 1111 63 0 33559 0
vsize: 134488
[startup+850.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 31362 0 0 0 84949 64 0 0 25 0 1 0 909716496 140255232 31282 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34242 31282 1111 63 0 34179 0
vsize: 136968
[startup+860.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 32074 0 0 0 85948 65 0 0 25 0 1 0 909716496 143216640 31994 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34965 31994 1111 63 0 34902 0
vsize: 139860
[startup+870.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 32807 0 0 0 86946 67 0 0 25 0 1 0 909716496 146186240 32727 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35690 32727 1111 63 0 35627 0
vsize: 142760
[startup+880.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 33560 0 0 0 87945 68 0 0 25 0 1 0 909716496 149291008 33480 4294967295 134512640 134716908 3221224560 3221223216 134527941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36448 33480 1111 63 0 36385 0
vsize: 145792
[startup+890.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 34356 0 0 0 88943 70 0 0 25 0 1 0 909716496 152539136 34276 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37241 34276 1111 63 0 37178 0
vsize: 148964
[startup+900.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 35157 0 0 0 89942 72 0 0 25 0 1 0 909716496 155791360 35077 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38035 35077 1111 63 0 37972 0
vsize: 152140
[startup+910.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 35973 0 0 0 90941 73 0 0 25 0 1 0 909716496 159178752 35893 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38862 35893 1111 63 0 38799 0
vsize: 155448
[startup+920.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 36809 0 0 0 91940 74 0 0 25 0 1 0 909716496 162562048 36729 4294967295 134512640 134716908 3221224560 3221222428 1077244422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39688 36729 1111 63 0 39625 0
vsize: 158752
[startup+930.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 37687 0 0 0 92939 76 0 0 25 0 1 0 909716496 166092800 37607 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40550 37607 1111 63 0 40487 0
vsize: 162200
[startup+940.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 38601 0 0 0 93937 77 0 0 25 0 1 0 909716496 169910272 38521 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41482 38521 1111 63 0 41419 0
vsize: 165928
[startup+950.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 39527 0 0 0 94935 80 0 0 25 0 1 0 909716496 173723648 39447 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42413 39447 1111 63 0 42350 0
vsize: 169652
[startup+960.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 40467 0 0 0 95933 82 0 0 25 0 1 0 909716496 177532928 40387 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43343 40387 1111 63 0 43280 0
vsize: 173372
[startup+970.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 41435 0 0 0 96932 83 0 0 25 0 1 0 909716496 181485568 41355 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44308 41355 1111 63 0 44245 0
vsize: 177232
[startup+977.839 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 8299
Raw data (stat): 8242 (bsolo_lpr_cuts-) R 8241 20224 20223 0 -1 0 41435 0 0 0 96932 83 0 0 25 0 1 0 909716496 181485568 41355 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44308 41355 1111 63 0 44245 0
vsize: 0

Child status: 0
Real time (s): 977.839
CPU time (s): 977.957
CPU user time (s): 976.992
CPU system time (s): 0.964853
CPU usage (%): 100.012
Max. virtual memory (Kb): 177232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####