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 26068

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 01:36:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15654 boxname=wulflinc31 idbench=1205 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  8e2638ad794b39b950927d7f3192369b  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-d2q06c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-d2q06c.opb
IDLAUNCH: 15654
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        625616 kB
Buffers:         25408 kB
Cached:         362268 kB
SwapCached:       1352 kB
Active:         281836 kB
Inactive:       108312 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        625364 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13132 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 01:53:23 (client local time) WITH STATUS 0 IN 995.104 SECONDS
stats: 15654 7 995.104 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/wulflinc31/normalized-mps-v2-13-7-d2q06c.opb
s UNKNOWN
c Exit Code: 0
c Total time: 995 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.86 0.95 0.91 2/55 20918
Raw data (stat): 20918 (runsolver) R 20917 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 826309566 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.88 0.95 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 1100 0 0 0 991 5 0 0 25 0 1 0 826309566 16207872 1023 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3957 1023 1111 63 0 3894 0
vsize: 15828
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.95 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 1382 0 0 0 1991 5 0 0 25 0 1 0 826309566 17338368 1305 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4233 1305 1111 63 0 4170 0
vsize: 16932
[startup+30.0013 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 1661 0 0 0 2991 5 0 0 25 0 1 0 826309566 18472960 1584 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4510 1584 1111 63 0 4447 0
vsize: 18040
[startup+40.0019 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 1915 0 0 0 3990 6 0 0 25 0 1 0 826309566 19603456 1838 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4786 1838 1111 63 0 4723 0
vsize: 19144
[startup+50.0029 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 2143 0 0 0 4990 6 0 0 25 0 1 0 826309566 20451328 2066 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4993 2066 1111 63 0 4930 0
vsize: 19972
[startup+60.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 2396 0 0 0 5990 7 0 0 25 0 1 0 826309566 21577728 2319 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5268 2319 1111 63 0 5205 0
vsize: 21072
[startup+70.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 2673 0 0 0 6990 7 0 0 25 0 1 0 826309566 22704128 2596 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5543 2596 1111 63 0 5480 0
vsize: 22172
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 2921 0 0 0 7989 8 0 0 25 0 1 0 826309566 23695360 2844 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5785 2844 1111 63 0 5722 0
vsize: 23140
[startup+90.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 3156 0 0 0 8989 8 0 0 25 0 1 0 826309566 24686592 3079 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6027 3079 1111 63 0 5964 0
vsize: 24108
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 3410 0 0 0 9989 9 0 0 25 0 1 0 826309566 25669632 3333 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6267 3333 1111 63 0 6204 0
vsize: 25068
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 3699 0 0 0 10989 9 0 0 25 0 1 0 826309566 26816512 3622 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6547 3622 1111 63 0 6484 0
vsize: 26188
[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 3990 0 0 0 11988 10 0 0 25 0 1 0 826309566 28090368 3913 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6858 3913 1111 63 0 6795 0
vsize: 27432
[startup+130.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 4245 0 0 0 12988 10 0 0 25 0 1 0 826309566 29077504 4168 4294967295 134512640 134714508 3221221776 3221220200 1077377291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7099 4168 1111 63 0 7036 0
vsize: 28396
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 4502 0 0 0 13987 11 0 0 25 0 1 0 826309566 30208000 4425 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7375 4425 1111 63 0 7312 0
vsize: 29500
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 4806 0 0 0 14987 11 0 0 25 0 1 0 826309566 31338496 4729 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7651 4729 1111 63 0 7588 0
vsize: 30604
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 5097 0 0 0 15987 11 0 0 25 0 1 0 826309566 32608256 5020 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7961 5020 1111 63 0 7898 0
vsize: 31844
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 5373 0 0 0 16987 12 0 0 25 0 1 0 826309566 33738752 5296 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8237 5296 1111 63 0 8174 0
vsize: 32948
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 5649 0 0 0 17986 12 0 0 25 0 1 0 826309566 34869248 5572 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8513 5572 1111 63 0 8450 0
vsize: 34052
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 5938 0 0 0 18986 13 0 0 25 0 1 0 826309566 35999744 5861 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8789 5861 1111 63 0 8726 0
vsize: 35156
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 6215 0 0 0 19985 14 0 0 25 0 1 0 826309566 37130240 6138 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9065 6138 1111 63 0 9002 0
vsize: 36260
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 6509 0 0 0 20985 14 0 0 25 0 1 0 826309566 38412288 6432 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9378 6432 1111 63 0 9315 0
vsize: 37512
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 6779 0 0 0 21985 15 0 0 25 0 1 0 826309566 39542784 6702 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9654 6702 1111 63 0 9591 0
vsize: 38616
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 7055 0 0 0 22984 15 0 0 25 0 1 0 826309566 40673280 6978 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9930 6978 1111 63 0 9867 0
vsize: 39720
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 7372 0 0 0 23984 16 0 0 25 0 1 0 826309566 41943040 7295 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10240 7295 1111 63 0 10177 0
vsize: 40960
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 7677 0 0 0 24983 17 0 0 25 0 1 0 826309566 43212800 7600 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10550 7600 1111 63 0 10487 0
vsize: 42200
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 7982 0 0 0 25983 17 0 0 25 0 1 0 826309566 44482560 7905 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10860 7905 1111 63 0 10797 0
vsize: 43440
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 8299 0 0 0 26983 18 0 0 25 0 1 0 826309566 45752320 8222 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11170 8222 1111 63 0 11107 0
vsize: 44680
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 8618 0 0 0 27982 18 0 0 25 0 1 0 826309566 47022080 8541 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8541 1111 63 0 11417 0
vsize: 45920
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 8908 0 0 0 28982 19 0 0 25 0 1 0 826309566 48152576 8831 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11756 8831 1111 63 0 11693 0
vsize: 47024
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 9199 0 0 0 29982 19 0 0 25 0 1 0 826309566 49426432 9122 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12067 9122 1111 63 0 12004 0
vsize: 48268
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 9502 0 0 0 30981 20 0 0 25 0 1 0 826309566 50696192 9425 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12377 9425 1111 63 0 12314 0
vsize: 49508
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 9820 0 0 0 31981 20 0 0 25 0 1 0 826309566 51965952 9743 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12687 9743 1111 63 0 12624 0
vsize: 50748
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 10123 0 0 0 32980 21 0 0 25 0 1 0 826309566 53235712 10046 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12997 10046 1111 63 0 12934 0
vsize: 51988
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 10448 0 0 0 33980 21 0 0 25 0 1 0 826309566 54505472 10371 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13307 10371 1111 63 0 13244 0
vsize: 53228
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 10739 0 0 0 34980 22 0 0 25 0 1 0 826309566 55635968 10662 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13583 10662 1111 63 0 13520 0
vsize: 54332
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 11050 0 0 0 35979 23 0 0 25 0 1 0 826309566 56905728 10973 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13893 10973 1111 63 0 13830 0
vsize: 55572
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 11387 0 0 0 36979 23 0 0 25 0 1 0 826309566 58318848 11310 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14238 11310 1111 63 0 14175 0
vsize: 56952
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 11697 0 0 0 37978 24 0 0 25 0 1 0 826309566 59588608 11620 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14548 11620 1111 63 0 14485 0
vsize: 58192
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 12036 0 0 0 38978 25 0 0 25 0 1 0 826309566 61083648 11959 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14913 11959 1111 63 0 14850 0
vsize: 59652
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 12354 0 0 0 39978 25 0 0 25 0 1 0 826309566 62353408 12277 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12277 1111 63 0 15160 0
vsize: 60892
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 12672 0 0 0 40977 26 0 0 25 0 1 0 826309566 63766528 12595 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15568 12595 1111 63 0 15505 0
vsize: 62272
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 12989 0 0 0 41977 26 0 0 25 0 1 0 826309566 65036288 12912 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15878 12912 1111 63 0 15815 0
vsize: 63512
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 13299 0 0 0 42976 27 0 0 25 0 1 0 826309566 66306048 13222 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16188 13222 1111 63 0 16125 0
vsize: 64752
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 13611 0 0 0 43976 28 0 0 25 0 1 0 826309566 67579904 13534 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16499 13534 1111 63 0 16436 0
vsize: 65996
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 13928 0 0 0 44975 28 0 0 25 0 1 0 826309566 68849664 13851 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16809 13851 1111 63 0 16746 0
vsize: 67236
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 14254 0 0 0 45975 29 0 0 25 0 1 0 826309566 70119424 14177 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17119 14177 1111 63 0 17056 0
vsize: 68476
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 14578 0 0 0 46974 30 0 0 25 0 1 0 826309566 71528448 14501 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17463 14501 1111 63 0 17400 0
vsize: 69852
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 14910 0 0 0 47974 30 0 0 25 0 1 0 826309566 72798208 14833 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17773 14833 1111 63 0 17710 0
vsize: 71092
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 15254 0 0 0 48973 31 0 0 25 0 1 0 826309566 74211328 15177 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18118 15177 1111 63 0 18055 0
vsize: 72472
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 15608 0 0 0 49973 32 0 0 25 0 1 0 826309566 75767808 15531 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18498 15531 1111 63 0 18435 0
vsize: 73992
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 15968 0 0 0 50972 33 0 0 25 0 1 0 826309566 77180928 15891 4294967295 134512640 134714508 3221221776 3221219636 1076880017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18843 15891 1111 63 0 18780 0
vsize: 75372
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 16335 0 0 0 51971 34 0 0 25 0 1 0 826309566 78729216 16258 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19221 16258 1111 63 0 19158 0
vsize: 76884
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 16658 0 0 0 52971 34 0 0 25 0 1 0 826309566 80003072 16581 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19532 16581 1111 63 0 19469 0
vsize: 78128
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 17004 0 0 0 53971 35 0 0 25 0 1 0 826309566 81412096 16927 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19876 16927 1111 63 0 19813 0
vsize: 79504
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 17379 0 0 0 54971 35 0 0 25 0 1 0 826309566 82968576 17302 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20256 17302 1111 63 0 20193 0
vsize: 81024
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 17766 0 0 0 55970 36 0 0 25 0 1 0 826309566 84520960 17689 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20635 17689 1111 63 0 20572 0
vsize: 82540
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 18153 0 0 0 56970 36 0 0 25 0 1 0 826309566 86073344 18076 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21014 18076 1111 63 0 20951 0
vsize: 84056
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 18492 0 0 0 57969 37 0 0 25 0 1 0 826309566 87482368 18415 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21358 18415 1111 63 0 21295 0
vsize: 85432
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 18866 0 0 0 58969 37 0 0 25 0 1 0 826309566 89042944 18789 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21739 18789 1111 63 0 21676 0
vsize: 86956
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 19260 0 0 0 59969 38 0 0 25 0 1 0 826309566 90591232 19183 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22117 19183 1111 63 0 22054 0
vsize: 88468
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 19674 0 0 0 60969 38 0 0 25 0 1 0 826309566 92282880 19597 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22530 19597 1111 63 0 22467 0
vsize: 90120
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 20075 0 0 0 61968 40 0 0 25 0 1 0 826309566 93982720 19998 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22945 19998 1111 63 0 22882 0
vsize: 91780
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 20489 0 0 0 62967 40 0 0 25 0 1 0 826309566 95674368 20412 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23358 20412 1111 63 0 23295 0
vsize: 93432
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 20912 0 0 0 63966 41 0 0 25 0 1 0 826309566 97374208 20835 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23773 20835 1111 63 0 23710 0
vsize: 95092
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 21327 0 0 0 64966 42 0 0 25 0 1 0 826309566 99065856 21250 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24186 21250 1111 63 0 24123 0
vsize: 96744
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 21763 0 0 0 65965 42 0 0 25 0 1 0 826309566 100904960 21686 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24635 21686 1111 63 0 24572 0
vsize: 98540
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 22198 0 0 0 66965 43 0 0 25 0 1 0 826309566 102596608 22121 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25048 22121 1111 63 0 24985 0
vsize: 100192
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 22633 0 0 0 67964 44 0 0 25 0 1 0 826309566 104427520 22556 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25495 22556 1111 63 0 25432 0
vsize: 101980
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 23100 0 0 0 68964 44 0 0 25 0 1 0 826309566 106516480 23023 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26005 23023 1111 63 0 25942 0
vsize: 104020
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 23541 0 0 0 69963 45 0 0 25 0 1 0 826309566 108347392 23464 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26452 23464 1111 63 0 26389 0
vsize: 105808
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 23991 0 0 0 70963 46 0 0 25 0 1 0 826309566 110182400 23914 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26900 23914 1111 63 0 26837 0
vsize: 107600
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 24442 0 0 0 71962 47 0 0 25 0 1 0 826309566 112017408 24365 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27348 24365 1111 63 0 27285 0
vsize: 109392
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 24896 0 0 0 72962 47 0 0 25 0 1 0 826309566 113856512 24819 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27797 24819 1111 63 0 27734 0
vsize: 111188
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 25354 0 0 0 73962 48 0 0 25 0 1 0 826309566 115834880 25277 4294967295 134512640 134714508 3221221776 3221220004 1077414368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28280 25277 1111 63 0 28217 0
vsize: 113120
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 25810 0 0 0 74961 49 0 0 25 0 1 0 826309566 117665792 25733 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28727 25733 1111 63 0 28664 0
vsize: 114908
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 26280 0 0 0 75959 50 0 0 25 0 1 0 826309566 119504896 26203 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29176 26203 1111 63 0 29113 0
vsize: 116704
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 26736 0 0 0 76959 51 0 0 25 0 1 0 826309566 121479168 26659 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29658 26659 1111 63 0 29595 0
vsize: 118632
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 27201 0 0 0 77958 52 0 0 25 0 1 0 826309566 123318272 27124 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30107 27124 1111 63 0 30044 0
vsize: 120428
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 27675 0 0 0 78957 53 0 0 25 0 1 0 826309566 125288448 27598 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30588 27598 1111 63 0 30525 0
vsize: 122352
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 28147 0 0 0 79957 53 0 0 25 0 1 0 826309566 127127552 28070 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31037 28070 1111 63 0 30974 0
vsize: 124148
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 28646 0 0 0 80956 54 0 0 25 0 1 0 826309566 129249280 28569 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31555 28569 1111 63 0 31492 0
vsize: 126220
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 29141 0 0 0 81956 55 0 0 25 0 1 0 826309566 131219456 29064 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32036 29064 1111 63 0 31973 0
vsize: 128144
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 29647 0 0 0 82955 56 0 0 25 0 1 0 826309566 133341184 29570 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32554 29570 1111 63 0 32491 0
vsize: 130216
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 30166 0 0 0 83954 57 0 0 25 0 1 0 826309566 135458816 30089 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33071 30089 1111 63 0 33008 0
vsize: 132284
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 30726 0 0 0 84953 58 0 0 25 0 1 0 826309566 137719808 30649 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33623 30649 1111 63 0 33560 0
vsize: 134492
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 31349 0 0 0 85953 59 0 0 25 0 1 0 826309566 140259328 31272 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34243 31272 1111 63 0 34180 0
vsize: 136972
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 32025 0 0 0 86952 60 0 0 25 0 1 0 826309566 143081472 31948 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34932 31948 1111 63 0 34869 0
vsize: 139728
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 32717 0 0 0 87951 61 0 0 25 0 1 0 826309566 145911808 32640 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35623 32640 1111 63 0 35560 0
vsize: 142492
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 33442 0 0 0 88950 62 0 0 25 0 1 0 826309566 148873216 33365 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36346 33365 1111 63 0 36283 0
vsize: 145384
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 34197 0 0 0 89949 64 0 0 25 0 1 0 826309566 151842816 34120 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37071 34120 1111 63 0 37008 0
vsize: 148284
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 34957 0 0 0 90947 66 0 0 25 0 1 0 826309566 154943488 34880 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37828 34880 1111 63 0 37765 0
vsize: 151312
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 35732 0 0 0 91946 67 0 0 25 0 1 0 826309566 158191616 35655 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38621 35655 1111 63 0 38558 0
vsize: 154484
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 36519 0 0 0 92945 68 0 0 25 0 1 0 826309566 161439744 36442 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39414 36442 1111 63 0 39351 0
vsize: 157656
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 37335 0 0 0 93943 70 0 0 25 0 1 0 826309566 164687872 37258 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40207 37258 1111 63 0 40144 0
vsize: 160828
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 38185 0 0 0 94941 72 0 0 25 0 1 0 826309566 168218624 38108 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41069 38108 1111 63 0 41006 0
vsize: 164276
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 39077 0 0 0 95939 74 0 0 25 0 1 0 826309566 171888640 39000 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41965 39000 1111 63 0 41902 0
vsize: 167860
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 39963 0 0 0 96938 76 0 0 25 0 1 0 826309566 175419392 39886 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42827 39886 1111 63 0 42764 0
vsize: 171308
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 40827 0 0 0 97936 77 0 0 25 0 1 0 826309566 178950144 40750 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43689 40750 1111 63 0 43626 0
vsize: 174756
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 41774 0 0 0 98934 79 0 0 25 0 1 0 826309566 182902784 41697 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44654 41697 1111 63 0 44591 0
vsize: 178616
[startup+995.007 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 20918
Raw data (stat): 20918 (bsolo_lpr_cuts) R 20917 7876 7672 0 -1 0 41774 0 0 0 98934 79 0 0 25 0 1 0 826309566 182902784 41697 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44654 41697 1111 63 0 44591 0
vsize: 0

Child status: 0
Real time (s): 995.006
CPU time (s): 995.104
CPU user time (s): 994.188
CPU system time (s): 0.91586
CPU usage (%): 100.01
Max. virtual memory (Kb): 178616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####