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/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
Bench Category	optimization, medium integers (OPTMEDINT)
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.120981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 25708

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 21:22:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18162 boxname=wulflinc31 idbench=1398 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 18162
/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:        908636 kB
Buffers:         18500 kB
Cached:          84440 kB
SwapCached:        964 kB
Active:          57956 kB
Inactive:        47132 kB
HighTotal:      131008 kB
HighFree:        75656 kB
LowTotal:       903652 kB
LowFree:        832980 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15160 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 21:41:54 (client local time) WITH STATUS 0 IN 1175.27 SECONDS
stats: 18162 7 1175.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 394.166 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 89.972
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.08 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.98 0.98 2/55 16309
Raw data (stat): 16309 (runsolver) R 16308 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 807500461 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 36885 0 0 0 920 75 0 0 25 0 1 0 807500461 164077568 36808 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40058 36808 1111 63 0 39995 0
vsize: 160232
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 55042 0 0 0 1888 108 0 0 25 0 1 0 807500461 238444544 54965 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58214 54965 1111 63 0 58151 0
vsize: 232856
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 55921 0 0 0 2885 111 0 0 25 0 1 0 807500461 242094080 55844 4294967295 134512640 134714508 3221221776 3221218252 1077196420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59105 55844 1111 63 0 59042 0
vsize: 236420
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 56763 0 0 0 3883 112 0 0 25 0 1 0 807500461 245608448 56686 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59963 56686 1111 63 0 59900 0
vsize: 239852
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 58883 0 0 0 4878 118 0 0 25 0 1 0 807500461 244355072 58763 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59657 58763 1111 63 0 59594 0
vsize: 238628
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 61582 0 0 0 5873 123 0 0 25 0 1 0 807500461 255451136 61462 4294967295 134512640 134714508 3221221776 3221220184 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62366 61462 1111 63 0 62303 0
vsize: 249464
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 64167 0 0 0 6867 128 0 0 25 0 1 0 807500461 266018816 64047 4294967295 134512640 134714508 3221221776 3221220140 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64946 64047 1111 63 0 64883 0
vsize: 259784
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 66423 0 0 0 7862 134 0 0 25 0 1 0 807500461 275230720 66303 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67195 66303 1111 63 0 67132 0
vsize: 268780
[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 68745 0 0 0 8858 138 0 0 25 0 1 0 807500461 284839936 68625 4294967295 134512640 134714508 3221221776 3221220288 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69541 68625 1111 63 0 69478 0
vsize: 278164
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 70796 0 0 0 9853 143 0 0 25 0 1 0 807500461 293244928 70676 4294967295 134512640 134714508 3221221776 3221220156 134539208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71593 70676 1111 63 0 71530 0
vsize: 286372
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 72860 0 0 0 10847 149 0 0 25 0 1 0 807500461 301637632 72740 4294967295 134512640 134714508 3221221776 3221220416 134584901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73642 72740 1111 63 0 73579 0
vsize: 294568
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 74717 0 0 0 11844 153 0 0 25 0 1 0 807500461 309231616 74597 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75496 74597 1111 63 0 75433 0
vsize: 301984
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 76636 0 0 0 12840 157 0 0 25 0 1 0 807500461 317083648 76516 4294967295 134512640 134714508 3221221776 3221220188 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77413 76516 1111 63 0 77350 0
vsize: 309652
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 78328 0 0 0 13837 160 0 0 25 0 1 0 807500461 323989504 78208 4294967295 134512640 134714508 3221221776 3221220184 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79099 78208 1111 63 0 79036 0
vsize: 316396
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 80029 0 0 0 14833 163 0 0 25 0 1 0 807500461 331034624 79909 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80819 79909 1111 63 0 80756 0
vsize: 323276
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 81783 0 0 0 15830 167 0 0 25 0 1 0 807500461 338219008 81663 4294967295 134512640 134714508 3221221776 3221220172 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82573 81663 1111 63 0 82510 0
vsize: 330292
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 83198 0 0 0 16828 169 0 0 25 0 1 0 807500461 344043520 83078 4294967295 134512640 134714508 3221221776 3221220268 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83995 83078 1111 63 0 83932 0
vsize: 335980
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 84595 0 0 0 17825 172 0 0 25 0 1 0 807500461 349732864 84475 4294967295 134512640 134714508 3221221776 3221220192 134542680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85384 84475 1111 63 0 85321 0
vsize: 341536
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 85878 0 0 0 18824 174 0 0 25 0 1 0 807500461 355024896 85758 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86676 85758 1111 63 0 86613 0
vsize: 346704
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 87016 0 0 0 19821 177 0 0 25 0 1 0 807500461 359628800 86896 4294967295 134512640 134714508 3221221776 3221220160 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87800 86896 1111 63 0 87737 0
vsize: 351200
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 88172 0 0 0 20818 180 0 0 25 0 1 0 807500461 364363776 88052 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88956 88052 1111 63 0 88893 0
vsize: 355824
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 89112 0 0 0 21816 182 0 0 25 0 1 0 807500461 368160768 88992 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89883 88992 1111 63 0 89820 0
vsize: 359532
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 89989 0 0 0 22814 184 0 0 25 0 1 0 807500461 371830784 89869 4294967295 134512640 134714508 3221221776 3221220160 134542306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90779 89869 1111 63 0 90716 0
vsize: 363116
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 90710 0 0 0 23812 186 0 0 25 0 1 0 807500461 374808576 90590 4294967295 134512640 134714508 3221221776 3221220304 134528521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91506 90590 1111 63 0 91443 0
vsize: 366024
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 91310 0 0 0 24811 188 0 0 25 0 1 0 807500461 377257984 91190 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92104 91190 1111 63 0 92041 0
vsize: 368416
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 91858 0 0 0 25810 189 0 0 25 0 1 0 807500461 379432960 91738 4294967295 134512640 134714508 3221221776 3221220400 134528780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92635 91738 1111 63 0 92572 0
vsize: 370540
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 92256 0 0 0 26809 191 0 0 25 0 1 0 807500461 381054976 92136 4294967295 134512640 134714508 3221221776 3221220192 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93031 92137 1111 63 0 92968 0
vsize: 372124
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 92801 0 0 0 27807 192 0 0 25 0 1 0 807500461 383365120 92681 4294967295 134512640 134714508 3221221776 3221220256 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93595 92681 1111 63 0 93532 0
vsize: 374380
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 92968 0 0 0 28807 193 0 0 25 0 1 0 807500461 384045056 92848 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93761 92848 1111 63 0 93698 0
vsize: 375044
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 92980 0 0 0 29807 193 0 0 25 0 1 0 807500461 384045056 92860 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93761 92860 1111 63 0 93698 0
vsize: 375044
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 92994 0 0 0 30807 193 0 0 25 0 1 0 807500461 384180224 92874 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93794 92874 1111 63 0 93731 0
vsize: 375176
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 93000 0 0 0 31807 193 0 0 25 0 1 0 807500461 384180224 92880 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93794 92880 1111 63 0 93731 0
vsize: 375176
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 93003 0 0 0 32808 193 0 0 25 0 1 0 807500461 384180224 92883 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93794 92883 1111 63 0 93731 0
vsize: 375176
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 93007 0 0 0 33808 193 0 0 25 0 1 0 807500461 384180224 92887 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93794 92887 1111 63 0 93731 0
vsize: 375176
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 93008 0 0 0 34808 193 0 0 25 0 1 0 807500461 384180224 92888 4294967295 134512640 134714508 3221221776 3221220448 134627231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93794 92888 1111 63 0 93731 0
vsize: 375176
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 93011 0 0 0 35808 193 0 0 25 0 1 0 807500461 384180224 92891 4294967295 134512640 134714508 3221221776 3221220428 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93794 92891 1111 63 0 93731 0
vsize: 375176
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 93016 0 0 0 36808 193 0 0 25 0 1 0 807500461 384180224 92896 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93794 92896 1111 63 0 93731 0
vsize: 375176
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 93021 0 0 0 37808 193 0 0 25 0 1 0 807500461 384180224 92901 4294967295 134512640 134714508 3221221776 3221220448 134627252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93794 92901 1111 63 0 93731 0
vsize: 375176
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 93021 0 0 0 38809 193 0 0 25 0 1 0 807500461 384180224 92901 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93794 92901 1111 63 0 93731 0
vsize: 375176
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 93991 0 0 0 39805 196 0 0 25 0 1 0 807500461 387858432 93804 4294967295 134512640 134714508 3221221776 3221219664 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94692 93804 1111 63 0 94629 0
vsize: 378768
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 96094 0 0 0 40800 201 0 0 25 0 1 0 807500461 391749632 94814 4294967295 134512640 134714508 3221221776 3221217740 1074873543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95642 94814 1111 63 0 95579 0
vsize: 382568
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 96110 0 0 0 41800 201 0 0 25 0 1 0 807500461 391794688 94830 4294967295 134512640 134714508 3221221776 3221217856 1075095151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95653 94830 1111 63 0 95590 0
vsize: 382612
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 96110 0 0 0 42801 201 0 0 25 0 1 0 807500461 391794688 94830 4294967295 134512640 134714508 3221221776 3221217680 1074875093 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95653 94830 1111 63 0 95590 0
vsize: 382612
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 96140 0 0 0 43801 201 0 0 25 0 1 0 807500461 391794688 94846 4294967295 134512640 134714508 3221221776 3221217872 1074882601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95653 94846 1111 63 0 95590 0
vsize: 382612
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 96140 0 0 0 44801 201 0 0 25 0 1 0 807500461 391794688 94846 4294967295 134512640 134714508 3221221776 3221217552 1074868745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95653 94846 1111 63 0 95590 0
vsize: 382612
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 96140 0 0 0 45801 201 0 0 25 0 1 0 807500461 391794688 94846 4294967295 134512640 134714508 3221221776 3221217552 1074868370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95653 94846 1111 63 0 95590 0
vsize: 382612
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97552 0 0 0 46798 204 0 0 25 0 1 0 807500461 388464640 94077 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94840 94077 1111 63 0 94777 0
vsize: 379360
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97552 0 0 0 47798 205 0 0 25 0 1 0 807500461 388464640 94077 4294967295 134512640 134714508 3221221776 3221220224 134648651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94840 94077 1111 63 0 94777 0
vsize: 379360
[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97553 0 0 0 48797 206 0 0 25 0 1 0 807500461 388464640 94078 4294967295 134512640 134714508 3221221776 3221220276 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94840 94078 1111 63 0 94777 0
vsize: 379360
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97553 0 0 0 49796 207 0 0 25 0 1 0 807500461 388464640 94078 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94840 94078 1111 63 0 94777 0
vsize: 379360
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97596 0 0 0 50795 207 0 0 25 0 1 0 807500461 388714496 94121 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94901 94121 1111 63 0 94838 0
vsize: 379604
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97642 0 0 0 51794 209 0 0 25 0 1 0 807500461 388849664 94167 4294967295 134512640 134714508 3221221776 3221220560 134528889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94934 94167 1111 63 0 94871 0
vsize: 379736
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97689 0 0 0 52794 209 0 0 25 0 1 0 807500461 389103616 94214 4294967295 134512640 134714508 3221221776 3221220528 134592007 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94996 94214 1111 63 0 94933 0
vsize: 379984
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97707 0 0 0 53793 210 0 0 25 0 1 0 807500461 389103616 94232 4294967295 134512640 134714508 3221221776 3221220316 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94996 94232 1111 63 0 94933 0
vsize: 379984
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97768 0 0 0 54791 212 0 0 25 0 1 0 807500461 389361664 94293 4294967295 134512640 134714508 3221221776 3221220512 134528996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95059 94293 1111 63 0 94996 0
vsize: 380236
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97870 0 0 0 55791 213 0 0 25 0 1 0 807500461 389787648 94395 4294967295 134512640 134714508 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95163 94395 1111 63 0 95100 0
vsize: 380652
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97886 0 0 0 56790 213 0 0 25 0 1 0 807500461 389828608 94411 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95173 94411 1111 63 0 95110 0
vsize: 380692
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97943 0 0 0 57790 214 0 0 25 0 1 0 807500461 389939200 94442 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95200 94442 1111 63 0 95137 0
vsize: 380800
[startup+590.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97943 0 0 0 58789 215 0 0 25 0 1 0 807500461 389939200 94442 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95200 94442 1111 63 0 95137 0
vsize: 380800
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 97981 0 0 0 59789 215 0 0 25 0 1 0 807500461 390193152 94480 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95262 94480 1111 63 0 95199 0
vsize: 381048
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98008 0 0 0 60787 217 0 0 25 0 1 0 807500461 390197248 94499 4294967295 134512640 134714508 3221221776 3221220316 134539262 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95263 94499 1111 63 0 95200 0
vsize: 381052
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98008 0 0 0 61787 217 0 0 25 0 1 0 807500461 390197248 94499 4294967295 134512640 134714508 3221221776 3221220532 134592078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95263 94499 1111 63 0 95200 0
vsize: 381052
[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98046 0 0 0 62787 218 0 0 25 0 1 0 807500461 390356992 94518 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95302 94518 1111 63 0 95239 0
vsize: 381208
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98063 0 0 0 63787 218 0 0 25 0 1 0 807500461 390225920 94512 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95270 94512 1111 63 0 95207 0
vsize: 381080
[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98077 0 0 0 64786 219 0 0 25 0 1 0 807500461 390332416 94526 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95296 94526 1111 63 0 95233 0
vsize: 381184
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.98 3/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98077 0 0 0 65786 219 0 0 25 0 1 0 807500461 390332416 94526 4294967295 134512640 134714508 3221221776 3221220456 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95296 94526 1111 63 0 95233 0
vsize: 381184
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98086 0 0 0 66785 220 0 0 25 0 1 0 807500461 390332416 94535 4294967295 134512640 134714508 3221221776 3221220404 134696227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95296 94535 1111 63 0 95233 0
vsize: 381184
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98086 0 0 0 67785 221 0 0 25 0 1 0 807500461 390332416 94535 4294967295 134512640 134714508 3221221776 3221220504 134543777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95296 94535 1111 63 0 95233 0
vsize: 381184
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98086 0 0 0 68784 221 0 0 25 0 1 0 807500461 390332416 94535 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95296 94535 1111 63 0 95233 0
vsize: 381184
[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98124 0 0 0 69784 222 0 0 25 0 1 0 807500461 390602752 94573 4294967295 134512640 134714508 3221221776 3221220352 134542773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95362 94573 1111 63 0 95299 0
vsize: 381448
[startup+710.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98162 0 0 0 70784 222 0 0 25 0 1 0 807500461 390737920 94611 4294967295 134512640 134714508 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98162 0 0 0 71783 223 0 0 25 0 1 0 807500461 390737920 94611 4294967295 134512640 134714508 3221221776 3221220432 134536683 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98162 0 0 0 72783 223 0 0 25 0 1 0 807500461 390737920 94611 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98162 0 0 0 73783 224 0 0 25 0 1 0 807500461 390737920 94611 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+750.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98162 0 0 0 74783 224 0 0 25 0 1 0 807500461 390737920 94611 4294967295 134512640 134714508 3221221776 3221220360 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+760.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98162 0 0 0 75782 225 0 0 25 0 1 0 807500461 390737920 94611 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+770.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98187 0 0 0 76782 225 0 0 25 0 1 0 807500461 390737920 94636 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95395 94636 1111 63 0 95332 0
vsize: 381580
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98197 0 0 0 77781 226 0 0 25 0 1 0 807500461 390873088 94646 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95428 94646 1111 63 0 95365 0
vsize: 381712
[startup+790.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98236 0 0 0 78781 227 0 0 25 0 1 0 807500461 390946816 94685 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95446 94685 1111 63 0 95383 0
vsize: 381784
[startup+800.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98243 0 0 0 79781 227 0 0 25 0 1 0 807500461 391004160 94692 4294967295 134512640 134714508 3221221776 3221220560 134528943 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95460 94692 1111 63 0 95397 0
vsize: 381840
[startup+810.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98251 0 0 0 80780 228 0 0 25 0 1 0 807500461 391004160 94700 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95460 94700 1111 63 0 95397 0
vsize: 381840
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98251 0 0 0 81779 229 0 0 25 0 1 0 807500461 391004160 94700 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95460 94700 1111 63 0 95397 0
vsize: 381840
[startup+830.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98296 0 0 0 82779 229 0 0 25 0 1 0 807500461 391159808 94740 4294967295 134512640 134714508 3221221776 3221220336 134696434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95498 94740 1111 63 0 95435 0
vsize: 381992
[startup+840.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98296 0 0 0 83779 230 0 0 25 0 1 0 807500461 391159808 94740 4294967295 134512640 134714508 3221221776 3221220360 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95498 94740 1111 63 0 95435 0
vsize: 381992
[startup+850.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98316 0 0 0 84779 230 0 0 25 0 1 0 807500461 391176192 94744 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95502 94744 1111 63 0 95439 0
vsize: 382008
[startup+860.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98316 0 0 0 85778 230 0 0 25 0 1 0 807500461 391176192 94744 4294967295 134512640 134714508 3221221776 3221220368 134539518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95502 94744 1111 63 0 95439 0
vsize: 382008
[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98336 0 0 0 86777 232 0 0 25 0 1 0 807500461 391311360 94764 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95535 94764 1111 63 0 95472 0
vsize: 382140
[startup+880.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98398 0 0 0 87777 232 0 0 25 0 1 0 807500461 391585792 94826 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95602 94826 1111 63 0 95539 0
vsize: 382408
[startup+890.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98398 0 0 0 88777 232 0 0 25 0 1 0 807500461 391585792 94826 4294967295 134512640 134714508 3221221776 3221220368 134542677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95602 94826 1111 63 0 95539 0
vsize: 382408
[startup+900.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98398 0 0 0 89777 233 0 0 25 0 1 0 807500461 391585792 94826 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95602 94826 1111 63 0 95539 0
vsize: 382408
[startup+910.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98398 0 0 0 90776 233 0 0 25 0 1 0 807500461 391585792 94826 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95602 94826 1111 63 0 95539 0
vsize: 382408
[startup+920.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98428 0 0 0 91776 233 0 0 25 0 1 0 807500461 391585792 94844 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95602 94844 1111 63 0 95539 0
vsize: 382408
[startup+930.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98428 0 0 0 92776 234 0 0 25 0 1 0 807500461 391585792 94844 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95602 94844 1111 63 0 95539 0
vsize: 382408
[startup+940.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98480 0 0 0 93776 234 0 0 25 0 1 0 807500461 391856128 94896 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+950.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98480 0 0 0 94775 235 0 0 25 0 1 0 807500461 391856128 94896 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+960.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98480 0 0 0 95775 236 0 0 25 0 1 0 807500461 391856128 94896 4294967295 134512640 134714508 3221221776 3221220400 134543671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+970.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98480 0 0 0 96774 237 0 0 25 0 1 0 807500461 391856128 94896 4294967295 134512640 134714508 3221221776 3221220488 134552678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+980.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98480 0 0 0 97773 238 0 0 25 0 1 0 807500461 391856128 94896 4294967295 134512640 134714508 3221221776 3221220432 134613587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+990.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98480 0 0 0 98773 238 0 0 25 0 1 0 807500461 391856128 94896 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98480 0 0 0 99773 238 0 0 25 0 1 0 807500461 391811072 94896 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95657 94896 1111 63 0 95594 0
vsize: 382628
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98513 0 0 0 100773 238 0 0 25 0 1 0 807500461 391995392 94910 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95702 94910 1111 63 0 95639 0
vsize: 382808
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98513 0 0 0 101773 239 0 0 25 0 1 0 807500461 391995392 94910 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95702 94910 1111 63 0 95639 0
vsize: 382808
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98513 0 0 0 102772 240 0 0 25 0 1 0 807500461 391852032 94908 4294967295 134512640 134714508 3221221776 3221220388 134523611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94908 1111 63 0 95604 0
vsize: 382668
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98513 0 0 0 103771 241 0 0 25 0 1 0 807500461 391852032 94908 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94908 1111 63 0 95604 0
vsize: 382668
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98513 0 0 0 104771 241 0 0 25 0 1 0 807500461 391630848 94855 4294967295 134512640 134714508 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95613 94855 1111 63 0 95550 0
vsize: 382452
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98527 0 0 0 105771 241 0 0 25 0 1 0 807500461 391766016 94869 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95646 94869 1111 63 0 95583 0
vsize: 382584
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98555 0 0 0 106770 242 0 0 25 0 1 0 807500461 391831552 94897 4294967295 134512640 134714508 3221221776 3221220500 134591841 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95662 94897 1111 63 0 95599 0
vsize: 382648
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98602 0 0 0 107770 242 0 0 25 0 1 0 807500461 392028160 94944 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95710 94944 1111 63 0 95647 0
vsize: 382840
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98602 0 0 0 108770 242 0 0 25 0 1 0 807500461 392028160 94944 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95710 94944 1111 63 0 95647 0
vsize: 382840
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98602 0 0 0 109770 243 0 0 25 0 1 0 807500461 391950336 94933 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95691 94933 1111 63 0 95628 0
vsize: 382764
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98602 0 0 0 110770 243 0 0 25 0 1 0 807500461 391950336 94933 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95691 94933 1111 63 0 95628 0
vsize: 382764
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98602 0 0 0 111769 244 0 0 25 0 1 0 807500461 391950336 94933 4294967295 134512640 134714508 3221221776 3221220392 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95691 94933 1111 63 0 95628 0
vsize: 382764
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98602 0 0 0 112769 244 0 0 25 0 1 0 807500461 391950336 94933 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95691 94933 1111 63 0 95628 0
vsize: 382764
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98602 0 0 0 113769 244 0 0 25 0 1 0 807500461 391950336 94933 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95691 94933 1111 63 0 95628 0
vsize: 382764
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98614 0 0 0 114769 245 0 0 25 0 1 0 807500461 392085504 94945 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95724 94945 1111 63 0 95661 0
vsize: 382896
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98628 0 0 0 115768 245 0 0 25 0 1 0 807500461 392085504 94959 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95724 94959 1111 63 0 95661 0
vsize: 382896
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98635 0 0 0 116768 246 0 0 25 0 1 0 807500461 392220672 94966 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95757 94966 1111 63 0 95694 0
vsize: 383028
[startup+1175.16 s]
Raw data (loadavg): 0.99 0.98 0.98 1/54 16309
Raw data (stat): 16309 (bsolo_lpr) R 16308 7876 7672 0 -1 0 98635 0 0 0 116768 246 0 0 25 0 1 0 807500461 392220672 94966 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95757 94966 1111 63 0 95694 0
vsize: 0

Child status: 0
Real time (s): 1175.16
CPU time (s): 1175.27
CPU user time (s): 1172.64
CPU system time (s): 2.6356
CPU usage (%): 100.01
Max. virtual memory (Kb): 383028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####