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 27850

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-24 23:25:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15655 boxname=wulflinc29 idbench=1205 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  8e2638ad794b39b950927d7f3192369b  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-d2q06c.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-d2q06c.opb
IDLAUNCH: 15655
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        740488 kB
Buffers:         27132 kB
Cached:         245180 kB
SwapCached:        776 kB
Active:          56720 kB
Inactive:       218200 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        740236 kB
SwapTotal:     2097892 kB
SwapFree:      2096724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5640 kB
Slab:            13552 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:42:02 (client local time) WITH STATUS 0 IN 970.858 SECONDS
stats: 15655 7 970.858 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
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/wulflinc29/normalized-mps-v2-13-7-d2q06c.opb
s UNKNOWN
c Exit Code: 0
c Total time: 970.768 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.93 0.97 0.99 2/54 23430
Raw data (stat): 23430 (runsolver) R 23429 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834179892 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99969 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 948 0 0 0 996 3 0 0 25 0 1 0 834179892 16191488 926 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 926 1111 63 0 3890 0
vsize: 15812
[startup+20.0004 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 1225 0 0 0 1996 3 0 0 25 0 1 0 834179892 17321984 1203 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4229 1203 1111 63 0 4166 0
vsize: 16916
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 1510 0 0 0 2995 4 0 0 25 0 1 0 834179892 18464768 1488 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4508 1488 1111 63 0 4445 0
vsize: 18032
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 1764 0 0 0 3995 4 0 0 25 0 1 0 834179892 19447808 1742 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4748 1742 1111 63 0 4685 0
vsize: 18992
[startup+50.0007 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 1992 0 0 0 4994 5 0 0 25 0 1 0 834179892 20434944 1970 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4989 1970 1111 63 0 4926 0
vsize: 19956
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 2251 0 0 0 5994 5 0 0 25 0 1 0 834179892 21422080 2229 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5230 2229 1111 63 0 5167 0
vsize: 20920
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 2521 0 0 0 6994 6 0 0 25 0 1 0 834179892 22552576 2499 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5506 2499 1111 63 0 5443 0
vsize: 22024
[startup+80.001 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 2777 0 0 0 7993 7 0 0 25 0 1 0 834179892 23683072 2755 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5782 2755 1111 63 0 5719 0
vsize: 23128
[startup+90.0008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 3012 0 0 0 8993 7 0 0 25 0 1 0 834179892 24530944 2990 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 2990 1111 63 0 5926 0
vsize: 23956
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 3267 0 0 0 9993 7 0 0 25 0 1 0 834179892 25653248 3245 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6263 3245 1111 63 0 6200 0
vsize: 25052
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 3562 0 0 0 10993 8 0 0 25 0 1 0 834179892 26804224 3540 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3540 1111 63 0 6481 0
vsize: 26176
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 3852 0 0 0 11992 8 0 0 25 0 1 0 834179892 28073984 3830 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6854 3830 1111 63 0 6791 0
vsize: 27416
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 4108 0 0 0 12992 9 0 0 25 0 1 0 834179892 29065216 4086 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7096 4086 1111 63 0 7033 0
vsize: 28384
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 4364 0 0 0 13991 9 0 0 25 0 1 0 834179892 30195712 4342 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7372 4342 1111 63 0 7309 0
vsize: 29488
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 4675 0 0 0 14991 10 0 0 25 0 1 0 834179892 31465472 4653 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7682 4653 1111 63 0 7619 0
vsize: 30728
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 4966 0 0 0 15991 11 0 0 25 0 1 0 834179892 32595968 4944 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7958 4944 1111 63 0 7895 0
vsize: 31832
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 5242 0 0 0 16990 11 0 0 25 0 1 0 834179892 33726464 5220 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8234 5220 1111 63 0 8171 0
vsize: 32936
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 5519 0 0 0 17990 11 0 0 25 0 1 0 834179892 34852864 5497 4294967295 134512640 134714540 3221224592 3221222460 1077244511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8509 5497 1111 63 0 8446 0
vsize: 34036
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 5808 0 0 0 18990 12 0 0 25 0 1 0 834179892 35983360 5786 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8785 5786 1111 63 0 8722 0
vsize: 35140
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 6084 0 0 0 19990 12 0 0 25 0 1 0 834179892 37113856 6062 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9061 6062 1111 63 0 8998 0
vsize: 36244
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 6386 0 0 0 20989 13 0 0 25 0 1 0 834179892 38424576 6364 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9381 6364 1111 63 0 9318 0
vsize: 37524
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 6669 0 0 0 21989 14 0 0 25 0 1 0 834179892 39555072 6647 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 6647 1111 63 0 9594 0
vsize: 38628
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 6939 0 0 0 22989 14 0 0 25 0 1 0 834179892 40685568 6917 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9933 6917 1111 63 0 9870 0
vsize: 39732
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 7256 0 0 0 23988 15 0 0 25 0 1 0 834179892 41955328 7234 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10243 7234 1111 63 0 10180 0
vsize: 40972
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 7560 0 0 0 24988 15 0 0 25 0 1 0 834179892 43225088 7538 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10553 7538 1111 63 0 10490 0
vsize: 42212
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 7863 0 0 0 25987 16 0 0 25 0 1 0 834179892 44494848 7841 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10863 7841 1111 63 0 10800 0
vsize: 43452
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 8195 0 0 0 26987 16 0 0 25 0 1 0 834179892 45907968 8173 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11208 8173 1111 63 0 11145 0
vsize: 44832
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 8513 0 0 0 27987 17 0 0 25 0 1 0 834179892 47177728 8491 4294967295 134512640 134714540 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11518 8491 1111 63 0 11455 0
vsize: 46072
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 8804 0 0 0 28986 18 0 0 25 0 1 0 834179892 48308224 8782 4294967295 134512640 134714540 3221224592 3221222740 1077374077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11794 8782 1111 63 0 11731 0
vsize: 47176
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 9101 0 0 0 29986 18 0 0 25 0 1 0 834179892 49577984 9079 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12104 9079 1111 63 0 12041 0
vsize: 48416
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 9398 0 0 0 30985 19 0 0 25 0 1 0 834179892 50708480 9376 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12380 9376 1111 63 0 12317 0
vsize: 49520
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 9731 0 0 0 31985 19 0 0 25 0 1 0 834179892 52117504 9709 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12724 9709 1111 63 0 12661 0
vsize: 50896
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 10034 0 0 0 32985 20 0 0 25 0 1 0 834179892 53391360 10012 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13035 10012 1111 63 0 12972 0
vsize: 52140
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 10352 0 0 0 33984 20 0 0 25 0 1 0 834179892 54661120 10330 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13345 10330 1111 63 0 13282 0
vsize: 53380
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 10643 0 0 0 34984 21 0 0 25 0 1 0 834179892 55791616 10621 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13621 10621 1111 63 0 13558 0
vsize: 54484
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 10975 0 0 0 35984 21 0 0 25 0 1 0 834179892 57208832 10953 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13967 10953 1111 63 0 13904 0
vsize: 55868
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 11306 0 0 0 36983 22 0 0 25 0 1 0 834179892 58617856 11284 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14311 11284 1111 63 0 14248 0
vsize: 57244
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 11624 0 0 0 37982 23 0 0 25 0 1 0 834179892 59887616 11602 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14621 11602 1111 63 0 14558 0
vsize: 58484
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 11965 0 0 0 38982 24 0 0 25 0 1 0 834179892 61407232 11943 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14992 11943 1111 63 0 14929 0
vsize: 59968
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 12284 0 0 0 39982 24 0 0 25 0 1 0 834179892 62676992 12262 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15302 12262 1111 63 0 15239 0
vsize: 61208
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 12601 0 0 0 40982 24 0 0 25 0 1 0 834179892 63946752 12579 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15612 12579 1111 63 0 15549 0
vsize: 62448
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 12913 0 0 0 41982 25 0 0 25 0 1 0 834179892 65220608 12891 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15923 12891 1111 63 0 15860 0
vsize: 63692
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 13231 0 0 0 42982 25 0 0 25 0 1 0 834179892 66490368 13209 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16233 13209 1111 63 0 16170 0
vsize: 64932
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 13549 0 0 0 43981 25 0 0 25 0 1 0 834179892 67899392 13527 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16577 13527 1111 63 0 16514 0
vsize: 66308
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 13880 0 0 0 44981 26 0 0 25 0 1 0 834179892 69173248 13858 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16888 13858 1111 63 0 16825 0
vsize: 67552
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 14199 0 0 0 45980 27 0 0 25 0 1 0 834179892 70438912 14177 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17197 14177 1111 63 0 17134 0
vsize: 68788
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 14531 0 0 0 46980 28 0 0 25 0 1 0 834179892 71856128 14509 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17543 14509 1111 63 0 17480 0
vsize: 70172
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 14864 0 0 0 47980 28 0 0 25 0 1 0 834179892 73269248 14842 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17888 14842 1111 63 0 17825 0
vsize: 71552
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 15229 0 0 0 48979 29 0 0 25 0 1 0 834179892 74678272 15207 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18232 15207 1111 63 0 18169 0
vsize: 72928
[startup+500.016 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 15582 0 0 0 49979 30 0 0 25 0 1 0 834179892 76091392 15560 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18577 15560 1111 63 0 18514 0
vsize: 74308
[startup+510.016 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 15948 0 0 0 50978 30 0 0 25 0 1 0 834179892 77643776 15926 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18956 15926 1111 63 0 18893 0
vsize: 75824
[startup+520.017 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 16302 0 0 0 51978 31 0 0 25 0 1 0 834179892 79060992 16280 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19302 16280 1111 63 0 19239 0
vsize: 77208
[startup+530.017 s]
Raw data (loadavg): 1.11 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 16647 0 0 0 52977 32 0 0 25 0 1 0 834179892 80470016 16625 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19646 16625 1111 63 0 19583 0
vsize: 78584
[startup+540.036 s]
Raw data (loadavg): 1.10 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 17013 0 0 0 53979 32 0 0 25 0 1 0 834179892 82022400 16991 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20025 16991 1111 63 0 19962 0
vsize: 80100
[startup+550.036 s]
Raw data (loadavg): 1.08 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 17386 0 0 0 54979 33 0 0 25 0 1 0 834179892 83574784 17364 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20404 17364 1111 63 0 20341 0
vsize: 81616
[startup+560.036 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 17781 0 0 0 55978 34 0 0 25 0 1 0 834179892 85131264 17759 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20784 17759 1111 63 0 20721 0
vsize: 83136
[startup+570.036 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 18154 0 0 0 56977 34 0 0 25 0 1 0 834179892 86683648 18132 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21163 18132 1111 63 0 21100 0
vsize: 84652
[startup+580.035 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 18513 0 0 0 57977 35 0 0 25 0 1 0 834179892 88092672 18491 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21507 18491 1111 63 0 21444 0
vsize: 86028
[startup+590.039 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 18879 0 0 0 58977 36 0 0 25 0 1 0 834179892 89645056 18857 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21886 18857 1111 63 0 21823 0
vsize: 87544
[startup+600.052 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 19268 0 0 0 59977 37 0 0 25 0 1 0 834179892 91201536 19246 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22266 19246 1111 63 0 22203 0
vsize: 89064
[startup+610.052 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 19661 0 0 0 60976 38 0 0 25 0 1 0 834179892 92753920 19639 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22645 19639 1111 63 0 22582 0
vsize: 90580
[startup+620.052 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 20034 0 0 0 61975 39 0 0 25 0 1 0 834179892 94306304 20012 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23024 20012 1111 63 0 22961 0
vsize: 92096
[startup+630.059 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 20422 0 0 0 62976 39 0 0 25 0 1 0 834179892 95854592 20400 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23402 20400 1111 63 0 23339 0
vsize: 93608
[startup+640.06 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 20823 0 0 0 63975 41 0 0 25 0 1 0 834179892 97554432 20801 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23817 20802 1111 63 0 23754 0
vsize: 95268
[startup+650.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 21210 0 0 0 64975 41 0 0 25 0 1 0 834179892 99106816 21188 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24196 21188 1111 63 0 24133 0
vsize: 96784
[startup+660.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 21625 0 0 0 65974 42 0 0 25 0 1 0 834179892 100806656 21603 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24611 21603 1111 63 0 24548 0
vsize: 98444
[startup+670.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 22046 0 0 0 66974 43 0 0 25 0 1 0 834179892 102498304 22024 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25024 22024 1111 63 0 24961 0
vsize: 100096
[startup+680.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 22475 0 0 0 67973 44 0 0 25 0 1 0 834179892 104329216 22453 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25471 22453 1111 63 0 25408 0
vsize: 101884
[startup+690.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 22949 0 0 0 68973 44 0 0 25 0 1 0 834179892 106557440 22927 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26015 22927 1111 63 0 25952 0
vsize: 104060
[startup+700.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 23399 0 0 0 69972 45 0 0 25 0 1 0 834179892 108392448 23377 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26463 23377 1111 63 0 26400 0
vsize: 105852
[startup+710.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 23867 0 0 0 70972 46 0 0 25 0 1 0 834179892 110227456 23845 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26911 23845 1111 63 0 26848 0
vsize: 107644
[startup+720.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 24332 0 0 0 71972 47 0 0 25 0 1 0 834179892 112205824 24310 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27394 24310 1111 63 0 27331 0
vsize: 109576
[startup+730.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 24800 0 0 0 72971 48 0 0 25 0 1 0 834179892 114036736 24778 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27841 24778 1111 63 0 27778 0
vsize: 111364
[startup+740.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 25279 0 0 0 73970 49 0 0 25 0 1 0 834179892 116015104 25257 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28324 25257 1111 63 0 28261 0
vsize: 113296
[startup+750.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 25764 0 0 0 74969 50 0 0 25 0 1 0 834179892 117989376 25742 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28806 25742 1111 63 0 28743 0
vsize: 115224
[startup+760.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 26253 0 0 0 75968 51 0 0 25 0 1 0 834179892 119967744 26231 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29289 26231 1111 63 0 29226 0
vsize: 117156
[startup+770.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 26758 0 0 0 76967 53 0 0 25 0 1 0 834179892 122089472 26736 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29807 26736 1111 63 0 29744 0
vsize: 119228
[startup+780.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 27305 0 0 0 77968 53 0 0 25 0 1 0 834179892 124350464 27283 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30359 27283 1111 63 0 30296 0
vsize: 121436
[startup+790.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 27845 0 0 0 78969 54 0 0 25 0 1 0 834179892 126468096 27823 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30876 27823 1111 63 0 30813 0
vsize: 123504
[startup+800.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 28404 0 0 0 79968 55 0 0 25 0 1 0 834179892 128720896 28382 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31426 28382 1111 63 0 31363 0
vsize: 125704
[startup+810.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 28977 0 0 0 80966 56 0 0 25 0 1 0 834179892 131121152 28955 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32012 28955 1111 63 0 31949 0
vsize: 128048
[startup+820.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 29607 0 0 0 81965 58 0 0 25 0 1 0 834179892 133668864 29585 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32634 29585 1111 63 0 32571 0
vsize: 130536
[startup+830.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 30283 0 0 0 82963 60 0 0 25 0 1 0 834179892 136491008 30261 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33323 30261 1111 63 0 33260 0
vsize: 133292
[startup+840.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 30974 0 0 0 83962 61 0 0 25 0 1 0 834179892 139313152 30952 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34012 30952 1111 63 0 33949 0
vsize: 136048
[startup+850.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 31707 0 0 0 84962 62 0 0 25 0 1 0 834179892 142282752 31685 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34737 31685 1111 63 0 34674 0
vsize: 138948
[startup+860.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 32427 0 0 0 85961 63 0 0 25 0 1 0 834179892 145244160 32405 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35460 32405 1111 63 0 35397 0
vsize: 141840
[startup+870.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 33173 0 0 0 86960 65 0 0 25 0 1 0 834179892 148213760 33151 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36185 33151 1111 63 0 36122 0
vsize: 144740
[startup+880.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 33961 0 0 0 87958 66 0 0 25 0 1 0 834179892 151457792 33939 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36977 33939 1111 63 0 36914 0
vsize: 147908
[startup+890.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 34758 0 0 0 88958 67 0 0 25 0 1 0 834179892 154705920 34736 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37770 34736 1111 63 0 37707 0
vsize: 151080
[startup+900.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 35574 0 0 0 89957 68 0 0 25 0 1 0 834179892 158093312 35552 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38597 35552 1111 63 0 38534 0
vsize: 154388
[startup+910.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 36403 0 0 0 90956 69 0 0 25 0 1 0 834179892 161484800 36381 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39425 36381 1111 63 0 39362 0
vsize: 157700
[startup+920.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 37267 0 0 0 91954 71 0 0 25 0 1 0 834179892 165015552 37245 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40287 37245 1111 63 0 40224 0
vsize: 161148
[startup+930.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 38166 0 0 0 92953 73 0 0 25 0 1 0 834179892 168685568 38144 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41183 38144 1111 63 0 41120 0
vsize: 164732
[startup+940.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 39106 0 0 0 93951 75 0 0 25 0 1 0 834179892 172498944 39084 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42114 39084 1111 63 0 42051 0
vsize: 168456
[startup+950.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 40039 0 0 0 94949 77 0 0 25 0 1 0 834179892 176308224 40017 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43044 40017 1111 63 0 42981 0
vsize: 172176
[startup+960.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 41000 0 0 0 95947 79 0 0 25 0 1 0 834179892 180260864 40978 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44009 40978 1111 63 0 43946 0
vsize: 176036
[startup+970.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 42052 0 0 0 96945 81 0 0 25 0 1 0 834179892 184500224 42030 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45044 42030 1111 63 0 44981 0
vsize: 180176
[startup+970.704 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 23430
Raw data (stat): 23430 (bsolo_mis) R 23429 20001 20000 0 -1 0 42052 0 0 0 96945 81 0 0 25 0 1 0 834179892 184500224 42030 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45044 42030 1111 63 0 44981 0
vsize: 0

Child status: 0
Real time (s): 970.703
CPU time (s): 970.858
CPU user time (s): 969.939
CPU system time (s): 0.91986
CPU usage (%): 100.016
Max. virtual memory (Kb): 180176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####