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 27852

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 23:25:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15653 boxname=wulflinc12 idbench=1205 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8e2638ad794b39b950927d7f3192369b  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-d2q06c.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-d2q06c.opb
IDLAUNCH: 15653
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        646416 kB
Buffers:         37212 kB
Cached:         329760 kB
SwapCached:        568 kB
Active:          99884 kB
Inactive:       269576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        646164 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            13108 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:42:27 (client local time) WITH STATUS 0 IN 990.357 SECONDS
stats: 15653 7 990.357 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/wulflinc12/normalized-mps-v2-13-7-d2q06c.opb
s UNKNOWN
c Exit Code: 0
c Total time: 990.269 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.91 2/54 5438
Raw data (stat): 5438 (runsolver) R 5437 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775956865 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 1098 0 0 0 995 3 0 0 25 0 1 0 775956865 16203776 1022 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 1022 1111 63 0 3893 0
vsize: 15824
[startup+20 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 1374 0 0 0 1994 3 0 0 25 0 1 0 775956865 17334272 1298 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4232 1298 1111 63 0 4169 0
vsize: 16928
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 1659 0 0 0 2994 4 0 0 25 0 1 0 775956865 18468864 1583 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4509 1583 1111 63 0 4446 0
vsize: 18036
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 1906 0 0 0 3994 4 0 0 25 0 1 0 775956865 19456000 1830 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 1830 1111 63 0 4687 0
vsize: 19000
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 2128 0 0 0 4994 4 0 0 25 0 1 0 775956865 20447232 2052 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4992 2052 1111 63 0 4929 0
vsize: 19968
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 2381 0 0 0 5994 5 0 0 25 0 1 0 775956865 21434368 2305 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2305 1111 63 0 5170 0
vsize: 20932
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 2657 0 0 0 6993 5 0 0 25 0 1 0 775956865 22560768 2581 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5508 2581 1111 63 0 5445 0
vsize: 22032
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 2906 0 0 0 7993 6 0 0 25 0 1 0 775956865 23552000 2830 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5750 2830 1111 63 0 5687 0
vsize: 23000
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 3140 0 0 0 8992 7 0 0 25 0 1 0 775956865 24535040 3064 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 3064 1111 63 0 5927 0
vsize: 23960
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 3388 0 0 0 9992 7 0 0 25 0 1 0 775956865 25522176 3312 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 3312 1111 63 0 6168 0
vsize: 24924
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 3670 0 0 0 10992 7 0 0 25 0 1 0 775956865 26812416 3594 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6546 3594 1111 63 0 6483 0
vsize: 26184
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 3967 0 0 0 11991 8 0 0 25 0 1 0 775956865 27942912 3891 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6822 3891 1111 63 0 6759 0
vsize: 27288
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 4223 0 0 0 12991 8 0 0 25 0 1 0 775956865 29073408 4147 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7098 4147 1111 63 0 7035 0
vsize: 28392
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 4472 0 0 0 13991 9 0 0 25 0 1 0 775956865 30064640 4396 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7340 4396 1111 63 0 7277 0
vsize: 29360
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 4776 0 0 0 14991 9 0 0 25 0 1 0 775956865 31334400 4700 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7650 4700 1111 63 0 7587 0
vsize: 30600
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 5067 0 0 0 15991 10 0 0 25 0 1 0 775956865 32464896 4991 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7926 4991 1111 63 0 7863 0
vsize: 31704
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 5343 0 0 0 16991 10 0 0 25 0 1 0 775956865 33595392 5267 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8202 5267 1111 63 0 8139 0
vsize: 32808
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 5606 0 0 0 17990 11 0 0 25 0 1 0 775956865 34725888 5530 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8478 5530 1111 63 0 8415 0
vsize: 33912
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 5896 0 0 0 18989 11 0 0 25 0 1 0 775956865 35852288 5820 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8753 5820 1111 63 0 8690 0
vsize: 35012
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 6172 0 0 0 19989 12 0 0 25 0 1 0 775956865 36982784 6096 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9029 6096 1111 63 0 8966 0
vsize: 36116
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 6472 0 0 0 20989 12 0 0 25 0 1 0 775956865 38264832 6396 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9342 6396 1111 63 0 9279 0
vsize: 37368
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 6735 0 0 0 21989 12 0 0 25 0 1 0 775956865 39395328 6659 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9618 6659 1111 63 0 9555 0
vsize: 38472
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 7018 0 0 0 22989 13 0 0 25 0 1 0 775956865 40525824 6942 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9894 6942 1111 63 0 9831 0
vsize: 39576
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 7317 0 0 0 23988 13 0 0 25 0 1 0 775956865 41656320 7241 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7241 1111 63 0 10107 0
vsize: 40680
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 7634 0 0 0 24988 14 0 0 25 0 1 0 775956865 43065344 7558 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10514 7558 1111 63 0 10451 0
vsize: 42056
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 7925 0 0 0 25987 15 0 0 25 0 1 0 775956865 44195840 7849 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10790 7849 1111 63 0 10727 0
vsize: 43160
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 8243 0 0 0 26987 15 0 0 25 0 1 0 775956865 45469696 8167 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11101 8167 1111 63 0 11038 0
vsize: 44404
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 8561 0 0 0 27987 16 0 0 25 0 1 0 775956865 46739456 8485 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11411 8485 1111 63 0 11348 0
vsize: 45644
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 8851 0 0 0 28986 16 0 0 25 0 1 0 775956865 48009216 8775 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11721 8775 1111 63 0 11658 0
vsize: 46884
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 9141 0 0 0 29986 17 0 0 25 0 1 0 775956865 49139712 9065 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11997 9065 1111 63 0 11934 0
vsize: 47988
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 9452 0 0 0 30986 17 0 0 25 0 1 0 775956865 50409472 9376 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12307 9376 1111 63 0 12244 0
vsize: 49228
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 9756 0 0 0 31985 18 0 0 25 0 1 0 775956865 51679232 9680 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12617 9680 1111 63 0 12554 0
vsize: 50468
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 10060 0 0 0 32984 19 0 0 25 0 1 0 775956865 52948992 9984 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12927 9984 1111 63 0 12864 0
vsize: 51708
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 10384 0 0 0 33984 20 0 0 25 0 1 0 775956865 54222848 10308 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13238 10308 1111 63 0 13175 0
vsize: 52952
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 10675 0 0 0 34983 20 0 0 25 0 1 0 775956865 55492608 10599 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13548 10599 1111 63 0 13485 0
vsize: 54192
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 10979 0 0 0 35983 21 0 0 25 0 1 0 775956865 56623104 10903 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13824 10903 1111 63 0 13761 0
vsize: 55296
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 11311 0 0 0 36983 21 0 0 25 0 1 0 775956865 58032128 11235 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14168 11235 1111 63 0 14105 0
vsize: 56672
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 11627 0 0 0 37982 22 0 0 25 0 1 0 775956865 59301888 11551 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14478 11551 1111 63 0 14415 0
vsize: 57912
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 11970 0 0 0 38982 22 0 0 25 0 1 0 775956865 60801024 11894 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14844 11894 1111 63 0 14781 0
vsize: 59376
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 12288 0 0 0 39982 23 0 0 25 0 1 0 775956865 62205952 12212 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15187 12212 1111 63 0 15124 0
vsize: 60748
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 12600 0 0 0 40981 23 0 0 25 0 1 0 775956865 63475712 12524 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15497 12524 1111 63 0 15434 0
vsize: 61988
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 12918 0 0 0 41981 24 0 0 25 0 1 0 775956865 64753664 12842 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15809 12842 1111 63 0 15746 0
vsize: 63236
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 13223 0 0 0 42980 25 0 0 25 0 1 0 775956865 66023424 13147 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16119 13147 1111 63 0 16056 0
vsize: 64476
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 13540 0 0 0 43980 25 0 0 25 0 1 0 775956865 67293184 13464 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16429 13464 1111 63 0 16366 0
vsize: 65716
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 13857 0 0 0 44979 26 0 0 25 0 1 0 775956865 68562944 13781 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16739 13781 1111 63 0 16676 0
vsize: 66956
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 14175 0 0 0 45979 27 0 0 25 0 1 0 775956865 69832704 14099 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17049 14099 1111 63 0 16986 0
vsize: 68196
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 14500 0 0 0 46979 27 0 0 25 0 1 0 775956865 71245824 14424 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17394 14424 1111 63 0 17331 0
vsize: 69576
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 14825 0 0 0 47979 28 0 0 25 0 1 0 775956865 72515584 14749 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17704 14749 1111 63 0 17641 0
vsize: 70816
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 15157 0 0 0 48978 28 0 0 25 0 1 0 775956865 73924608 15081 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18048 15081 1111 63 0 17985 0
vsize: 72192
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 15523 0 0 0 49978 29 0 0 25 0 1 0 775956865 75337728 15447 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18393 15447 1111 63 0 18330 0
vsize: 73572
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 15877 0 0 0 50977 30 0 0 25 0 1 0 775956865 76754944 15801 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18739 15801 1111 63 0 18676 0
vsize: 74956
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 16243 0 0 0 51976 31 0 0 25 0 1 0 775956865 78307328 16167 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19118 16167 1111 63 0 19055 0
vsize: 76472
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 16568 0 0 0 52977 31 0 0 25 0 1 0 775956865 79577088 16492 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19428 16492 1111 63 0 19365 0
vsize: 77712
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 16920 0 0 0 53977 32 0 0 25 0 1 0 775956865 81129472 16844 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19807 16844 1111 63 0 19744 0
vsize: 79228
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 17286 0 0 0 54977 32 0 0 25 0 1 0 775956865 82538496 17210 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20151 17210 1111 63 0 20088 0
vsize: 80604
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 17674 0 0 0 55976 33 0 0 25 0 1 0 775956865 84094976 17598 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20531 17598 1111 63 0 20468 0
vsize: 82124
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 18061 0 0 0 56976 34 0 0 25 0 1 0 775956865 85786624 17985 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20944 17985 1111 63 0 20881 0
vsize: 83776
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 18413 0 0 0 57975 35 0 0 25 0 1 0 775956865 87199744 18337 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21289 18337 1111 63 0 21226 0
vsize: 85156
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 18766 0 0 0 58974 35 0 0 25 0 1 0 775956865 88608768 18690 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21633 18690 1111 63 0 21570 0
vsize: 86532
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 19148 0 0 0 59974 36 0 0 25 0 1 0 775956865 90169344 19072 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22014 19072 1111 63 0 21951 0
vsize: 88056
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 19534 0 0 0 60974 36 0 0 25 0 1 0 775956865 91717632 19458 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22392 19458 1111 63 0 22329 0
vsize: 89568
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 19907 0 0 0 61974 37 0 0 25 0 1 0 775956865 93270016 19831 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22771 19831 1111 63 0 22708 0
vsize: 91084
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 20275 0 0 0 62974 37 0 0 25 0 1 0 775956865 94826496 20199 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23151 20199 1111 63 0 23088 0
vsize: 92604
[startup+640.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 20675 0 0 0 63975 37 0 0 25 0 1 0 775956865 96378880 20599 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23530 20599 1111 63 0 23467 0
vsize: 94120
[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 21062 0 0 0 64974 38 0 0 25 0 1 0 775956865 97931264 20986 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23909 20986 1111 63 0 23846 0
vsize: 95636
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 21450 0 0 0 65974 39 0 0 25 0 1 0 775956865 99622912 21374 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24322 21374 1111 63 0 24259 0
vsize: 97288
[startup+670.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 21864 0 0 0 66973 39 0 0 25 0 1 0 775956865 101318656 21788 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24736 21788 1111 63 0 24673 0
vsize: 98944
[startup+680.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 22278 0 0 0 67974 40 0 0 25 0 1 0 775956865 103010304 22202 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25149 22202 1111 63 0 25086 0
vsize: 100596
[startup+690.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 22686 0 0 0 68973 41 0 0 25 0 1 0 775956865 104570880 22610 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25530 22610 1111 63 0 25467 0
vsize: 102120
[startup+700.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 23126 0 0 0 69973 41 0 0 25 0 1 0 775956865 106651648 23050 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26038 23050 1111 63 0 25975 0
vsize: 104152
[startup+710.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 23547 0 0 0 70974 42 0 0 25 0 1 0 775956865 108343296 23471 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26451 23471 1111 63 0 26388 0
vsize: 105804
[startup+720.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 23969 0 0 0 71973 43 0 0 25 0 1 0 775956865 110178304 23893 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26899 23893 1111 63 0 26836 0
vsize: 107596
[startup+730.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 24390 0 0 0 72973 43 0 0 25 0 1 0 775956865 111869952 24314 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27312 24314 1111 63 0 27249 0
vsize: 109248
[startup+740.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 24812 0 0 0 73972 44 0 0 25 0 1 0 775956865 113569792 24736 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27727 24736 1111 63 0 27664 0
vsize: 110908
[startup+750.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 25255 0 0 0 74971 46 0 0 25 0 1 0 775956865 115404800 25179 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28175 25179 1111 63 0 28112 0
vsize: 112700
[startup+760.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 25698 0 0 0 75970 46 0 0 25 0 1 0 775956865 117239808 25622 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28623 25622 1111 63 0 28560 0
vsize: 114492
[startup+770.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 26188 0 0 0 76972 47 0 0 25 0 1 0 775956865 119214080 26112 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29105 26112 1111 63 0 29042 0
vsize: 116420
[startup+780.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 26672 0 0 0 77973 48 0 0 25 0 1 0 775956865 121192448 26596 4294967295 134512640 134714508 3221224592 3221222944 134567424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29588 26596 1111 63 0 29525 0
vsize: 118352
[startup+790.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 27163 0 0 0 78972 49 0 0 25 0 1 0 775956865 123170816 27087 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30071 27087 1111 63 0 30008 0
vsize: 120284
[startup+800.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 27660 0 0 0 79972 50 0 0 25 0 1 0 775956865 125145088 27584 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30553 27584 1111 63 0 30490 0
vsize: 122212
[startup+810.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 28159 0 0 0 80971 50 0 0 25 0 1 0 775956865 127266816 28083 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31071 28083 1111 63 0 31008 0
vsize: 124284
[startup+820.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 28712 0 0 0 81970 52 0 0 25 0 1 0 775956865 129523712 28636 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31622 28636 1111 63 0 31559 0
vsize: 126488
[startup+830.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 29307 0 0 0 82969 53 0 0 25 0 1 0 775956865 131923968 29231 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32208 29231 1111 63 0 32145 0
vsize: 128832
[startup+840.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 29949 0 0 0 83968 54 0 0 25 0 1 0 775956865 134606848 29873 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32863 29873 1111 63 0 32800 0
vsize: 131452
[startup+850.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 30603 0 0 0 84967 56 0 0 25 0 1 0 775956865 137285632 30527 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33517 30527 1111 63 0 33454 0
vsize: 134068
[startup+860.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 31296 0 0 0 85965 57 0 0 25 0 1 0 775956865 140115968 31220 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34208 31220 1111 63 0 34145 0
vsize: 136832
[startup+870.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 32015 0 0 0 86965 58 0 0 25 0 1 0 775956865 142938112 31939 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34897 31939 1111 63 0 34834 0
vsize: 139588
[startup+880.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 32729 0 0 0 87963 59 0 0 25 0 1 0 775956865 145907712 32653 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35622 32653 1111 63 0 35559 0
vsize: 142488
[startup+890.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 33476 0 0 0 88962 61 0 0 25 0 1 0 775956865 149008384 33400 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36379 33400 1111 63 0 36316 0
vsize: 145516
[startup+900.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 34258 0 0 0 89961 62 0 0 25 0 1 0 775956865 152117248 34182 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37138 34182 1111 63 0 37075 0
vsize: 148552
[startup+910.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 35044 0 0 0 90960 63 0 0 25 0 1 0 775956865 155361280 34968 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37930 34968 1111 63 0 37867 0
vsize: 151720
[startup+920.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 35847 0 0 0 91958 66 0 0 25 0 1 0 775956865 158613504 35771 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38724 35771 1111 63 0 38661 0
vsize: 154896
[startup+930.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 36676 0 0 0 92956 68 0 0 25 0 1 0 775956865 162000896 36600 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39551 36600 1111 63 0 39488 0
vsize: 158204
[startup+940.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 37533 0 0 0 93955 69 0 0 25 0 1 0 775956865 165531648 37457 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40413 37457 1111 63 0 40350 0
vsize: 161652
[startup+950.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 38433 0 0 0 94954 71 0 0 25 0 1 0 775956865 169201664 38357 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41309 38357 1111 63 0 41246 0
vsize: 165236
[startup+960.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 39352 0 0 0 95952 73 0 0 25 0 1 0 775956865 173015040 39276 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42240 39276 1111 63 0 42177 0
vsize: 168960
[startup+970.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 40270 0 0 0 96950 75 0 0 25 0 1 0 775956865 176685056 40194 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43136 40194 1111 63 0 43073 0
vsize: 172544
[startup+980.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 41225 0 0 0 97948 77 0 0 25 0 1 0 775956865 180637696 41149 4294967295 134512640 134714508 3221224592 3221223248 134527941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44101 41149 1111 63 0 44038 0
vsize: 176404
[startup+990.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 43357 0 0 0 98944 80 0 0 25 0 1 0 775956865 188354560 43045 4294967295 134512640 134714508 3221224592 3221221212 1077253597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45985 43045 1111 63 0 45922 0
vsize: 183940
[startup+990.252 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 5438
Raw data (stat): 5438 (bsolo_lpr) R 5437 32284 32283 0 -1 0 43357 0 0 0 98944 80 0 0 25 0 1 0 775956865 188354560 43045 4294967295 134512640 134714508 3221224592 3221221212 1077253597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45985 43045 1111 63 0 45922 0
vsize: 0

Child status: 0
Real time (s): 990.251
CPU time (s): 990.357
CPU user time (s): 989.466
CPU system time (s): 0.891864
CPU usage (%): 100.011
Max. virtual memory (Kb): 183940
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####