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/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb
MD5SUM	423b72910a463b7aa4b9bdae86b878a8
Bench Category	optimization, small integers (OPTSMALLINT)
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	1972
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1972
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1972
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.158974
Number of variables	1972
Total number of constraints	3301
Number of constraints which are clauses	3301
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 24262

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 06:27:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2017 boxname=wulflinc31 idbench=225 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  423b72910a463b7aa4b9bdae86b878a8  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa2670-141.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ssa2670-141.opb
IDLAUNCH: 2017
/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:        133920 kB
Buffers:         43708 kB
Cached:         822376 kB
SwapCached:        644 kB
Active:         496616 kB
Inactive:       371804 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        133668 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26596 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 06:46:38 (client local time) WITH STATUS 0 IN 1175.24 SECONDS
stats: 2017 7 1175.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1972 variables and 3301 constraints.
c After prepocess the problem consists of 470 variables and 1251 constraints.
c preprocess terminated 191.237 s
c Initial Lower Bound: 922
c Lower Bound Elapsed time: 0.541667
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.16 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): 2.03 2.89 2.03 2/54 25543
Raw data (stat): 25543 (runsolver) R 25542 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 698436326 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.0007 s]
Raw data (loadavg): 1.87 2.83 2.02 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 5637 0 0 0 977 15 0 0 25 0 1 0 698436326 23801856 4946 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5811 4946 1111 63 0 5748 0
vsize: 23244
[startup+20.0016 s]
Raw data (loadavg): 1.74 2.77 2.01 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 7005 0 0 0 1974 18 0 0 25 0 1 0 698436326 27340800 5837 4294967295 134512640 134714508 3221221792 3221220204 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6675 5837 1111 63 0 6612 0
vsize: 26700
[startup+30.0015 s]
Raw data (loadavg): 1.62 2.71 1.99 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 8529 0 0 0 2971 21 0 0 25 0 1 0 698436326 33468416 7324 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8171 7324 1111 63 0 8108 0
vsize: 32684
[startup+40.0014 s]
Raw data (loadavg): 1.53 2.65 1.98 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 9282 0 0 0 3969 23 0 0 25 0 1 0 698436326 35766272 7894 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8732 7894 1111 63 0 8669 0
vsize: 34928
[startup+50.0016 s]
Raw data (loadavg): 1.45 2.60 1.97 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 10042 0 0 0 4967 25 0 0 25 0 1 0 698436326 38858752 8639 4294967295 134512640 134714508 3221221792 3221220236 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9487 8639 1111 63 0 9424 0
vsize: 37948
[startup+60.0023 s]
Raw data (loadavg): 1.38 2.54 1.96 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 10231 0 0 0 5967 26 0 0 25 0 1 0 698436326 39723008 8828 4294967295 134512640 134714508 3221221792 3221220272 134539419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9698 8828 1111 63 0 9635 0
vsize: 38792
[startup+70.0032 s]
Raw data (loadavg): 1.32 2.49 1.95 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 10864 0 0 0 6966 27 0 0 25 0 1 0 698436326 41697280 9331 4294967295 134512640 134714508 3221221792 3221220208 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10180 9331 1111 63 0 10117 0
vsize: 40720
[startup+80.0031 s]
Raw data (loadavg): 1.27 2.44 1.94 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 11400 0 0 0 7964 29 0 0 25 0 1 0 698436326 43302912 9724 4294967295 134512640 134714508 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10572 9724 1111 63 0 10509 0
vsize: 42288
[startup+90.003 s]
Raw data (loadavg): 1.23 2.39 1.93 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 11943 0 0 0 8962 31 0 0 25 0 1 0 698436326 45445120 10255 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11095 10255 1111 63 0 11032 0
vsize: 44380
[startup+100.003 s]
Raw data (loadavg): 1.19 2.35 1.92 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 12323 0 0 0 9961 33 0 0 25 0 1 0 698436326 47054848 10635 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11488 10635 1111 63 0 11425 0
vsize: 45952
[startup+110.004 s]
Raw data (loadavg): 1.16 2.30 1.91 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 12594 0 0 0 10960 34 0 0 25 0 1 0 698436326 48115712 10903 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11747 10903 1111 63 0 11684 0
vsize: 46988
[startup+120.005 s]
Raw data (loadavg): 1.14 2.26 1.90 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 12946 0 0 0 11959 35 0 0 25 0 1 0 698436326 48947200 11112 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11950 11112 1111 63 0 11887 0
vsize: 47800
[startup+130.005 s]
Raw data (loadavg): 1.11 2.22 1.89 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 12946 0 0 0 12959 35 0 0 25 0 1 0 698436326 48947200 11112 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11950 11112 1111 63 0 11887 0
vsize: 47800
[startup+140.005 s]
Raw data (loadavg): 1.10 2.18 1.88 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 12946 0 0 0 13959 35 0 0 25 0 1 0 698436326 48947200 11112 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11950 11112 1111 63 0 11887 0
vsize: 47800
[startup+150.005 s]
Raw data (loadavg): 1.08 2.14 1.87 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 12950 0 0 0 14959 35 0 0 25 0 1 0 698436326 49086464 11116 4294967295 134512640 134714508 3221221792 3221220464 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11984 11116 1111 63 0 11921 0
vsize: 47936
[startup+160.006 s]
Raw data (loadavg): 1.07 2.10 1.86 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 12959 0 0 0 15960 35 0 0 25 0 1 0 698436326 49086464 11125 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11984 11125 1111 63 0 11921 0
vsize: 47936
[startup+170.006 s]
Raw data (loadavg): 1.06 2.06 1.85 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 12970 0 0 0 16960 35 0 0 25 0 1 0 698436326 49086464 11136 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11984 11136 1111 63 0 11921 0
vsize: 47936
[startup+180.005 s]
Raw data (loadavg): 1.05 2.03 1.84 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 12978 0 0 0 17960 35 0 0 25 0 1 0 698436326 49086464 11144 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11984 11144 1111 63 0 11921 0
vsize: 47936
[startup+190.005 s]
Raw data (loadavg): 1.04 1.99 1.83 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 19287 0 0 0 18947 48 0 0 25 0 1 0 698436326 75120640 17442 4294967295 134512640 134714508 3221221792 3221220064 134672623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18340 17444 1111 63 0 18277 0
vsize: 73360
[startup+200.005 s]
Raw data (loadavg): 1.03 1.96 1.82 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 30797 0 0 0 19919 75 0 0 25 0 1 0 698436326 109506560 25729 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26735 25729 1111 63 0 26672 0
vsize: 106940
[startup+210.006 s]
Raw data (loadavg): 1.03 1.93 1.81 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 33423 0 0 0 20913 83 0 0 25 0 1 0 698436326 110436352 25883 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26962 25883 1111 63 0 26899 0
vsize: 107848
[startup+220.006 s]
Raw data (loadavg): 1.02 1.90 1.80 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 36776 0 0 0 21904 91 0 0 25 0 1 0 698436326 112054272 26351 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27357 26351 1111 63 0 27294 0
vsize: 109428
[startup+230.006 s]
Raw data (loadavg): 1.02 1.87 1.79 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 39728 0 0 0 22897 98 0 0 25 0 1 0 698436326 112099328 26362 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27368 26362 1111 63 0 27305 0
vsize: 109472
[startup+240.007 s]
Raw data (loadavg): 1.02 1.84 1.79 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 43141 0 0 0 23887 109 0 0 25 0 1 0 698436326 112332800 26416 4294967295 134512640 134714508 3221221792 3221220096 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27425 26416 1111 63 0 27362 0
vsize: 109700
[startup+250.007 s]
Raw data (loadavg): 1.01 1.81 1.78 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 46672 0 0 0 24877 119 0 0 25 0 1 0 698436326 112635904 26493 4294967295 134512640 134714508 3221221792 3221220144 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27499 26493 1111 63 0 27436 0
vsize: 109996
[startup+260.008 s]
Raw data (loadavg): 1.01 1.78 1.77 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 49077 0 0 0 25871 125 0 0 25 0 1 0 698436326 113025024 26528 4294967295 134512640 134714508 3221221792 3221217984 1075115712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27594 26528 1111 63 0 27531 0
vsize: 110376
[startup+270.009 s]
Raw data (loadavg): 1.01 1.76 1.76 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 52656 0 0 0 26861 135 0 0 25 0 1 0 698436326 112758784 26524 4294967295 134512640 134714508 3221221792 3221220520 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27529 26524 1111 63 0 27466 0
vsize: 110116
[startup+280.009 s]
Raw data (loadavg): 1.01 1.73 1.75 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 55645 0 0 0 27854 142 0 0 25 0 1 0 698436326 112758784 26524 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27529 26524 1111 63 0 27466 0
vsize: 110116
[startup+290.009 s]
Raw data (loadavg): 1.00 1.71 1.74 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 59255 0 0 0 28845 151 0 0 25 0 1 0 698436326 113127424 26611 4294967295 134512640 134714508 3221221792 3221220096 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27619 26611 1111 63 0 27556 0
vsize: 110476
[startup+300.01 s]
Raw data (loadavg): 1.00 1.68 1.73 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 61967 0 0 0 29838 159 0 0 25 0 1 0 698436326 113315840 26660 4294967295 134512640 134714508 3221221792 3221219576 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27665 26660 1111 63 0 27602 0
vsize: 110660
[startup+310.011 s]
Raw data (loadavg): 1.00 1.66 1.72 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 64512 0 0 0 30830 167 0 0 25 0 1 0 698436326 114253824 26725 4294967295 134512640 134714508 3221221792 3221217952 1074883570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27894 26725 1111 63 0 27831 0
vsize: 111576
[startup+320.011 s]
Raw data (loadavg): 1.00 1.64 1.72 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 66525 0 0 0 31826 171 0 0 25 0 1 0 698436326 114212864 26746 4294967295 134512640 134714508 3221221792 3221219216 1076060967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27884 26747 1111 63 0 27821 0
vsize: 111536
[startup+330.01 s]
Raw data (loadavg): 1.00 1.62 1.71 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 68359 0 0 0 32821 177 0 0 25 0 1 0 698436326 114270208 26754 4294967295 134512640 134714508 3221221792 3221218020 1075115028 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27898 26754 1111 63 0 27835 0
vsize: 111592
[startup+340.011 s]
Raw data (loadavg): 1.00 1.59 1.70 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 70210 0 0 0 33814 183 0 0 25 0 1 0 698436326 113655808 26743 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27748 26743 1111 63 0 27685 0
vsize: 110992
[startup+350.012 s]
Raw data (loadavg): 1.00 1.57 1.69 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 73067 0 0 0 34805 192 0 0 25 0 1 0 698436326 114368512 26780 4294967295 134512640 134714508 3221221792 3221218604 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27922 26780 1111 63 0 27859 0
vsize: 111688
[startup+360.012 s]
Raw data (loadavg): 1.00 1.56 1.68 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 75664 0 0 0 35799 199 0 0 25 0 1 0 698436326 114503680 26837 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27955 26837 1111 63 0 27892 0
vsize: 111820
[startup+370.013 s]
Raw data (loadavg): 1.00 1.54 1.68 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 78592 0 0 0 36791 207 0 0 25 0 1 0 698436326 113897472 26810 4294967295 134512640 134714508 3221221792 3221219792 1074919717 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27807 26810 1111 63 0 27744 0
vsize: 111228
[startup+380.013 s]
Raw data (loadavg): 1.00 1.52 1.67 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 81953 0 0 0 37782 216 0 0 25 0 1 0 698436326 113922048 26816 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27813 26816 1111 63 0 27750 0
vsize: 111252
[startup+390.013 s]
Raw data (loadavg): 1.00 1.50 1.66 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 85270 0 0 0 38773 225 0 0 25 0 1 0 698436326 114053120 26849 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27845 26849 1111 63 0 27782 0
vsize: 111380
[startup+400.013 s]
Raw data (loadavg): 1.00 1.48 1.65 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 87722 0 0 0 39767 232 0 0 25 0 1 0 698436326 114294784 26908 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27904 26908 1111 63 0 27841 0
vsize: 111616
[startup+410.013 s]
Raw data (loadavg): 1.00 1.47 1.65 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 91311 0 0 0 40758 240 0 0 25 0 1 0 698436326 114823168 26923 4294967295 134512640 134714508 3221221792 3221218016 1074960964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28033 26923 1111 63 0 27970 0
vsize: 112132
[startup+420.013 s]
Raw data (loadavg): 1.00 1.45 1.64 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 94786 0 0 0 41749 250 0 0 25 0 1 0 698436326 114372608 26927 4294967295 134512640 134714508 3221221792 3221220192 1074118870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27923 26927 1111 63 0 27860 0
vsize: 111692
[startup+430.013 s]
Raw data (loadavg): 1.00 1.44 1.63 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 98032 0 0 0 42742 258 0 0 25 0 1 0 698436326 114708480 27009 4294967295 134512640 134714508 3221221792 3221220192 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28005 27009 1111 63 0 27942 0
vsize: 112020
[startup+440.014 s]
Raw data (loadavg): 1.00 1.42 1.62 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 100823 0 0 0 43736 263 0 0 25 0 1 0 698436326 115650560 27068 4294967295 134512640 134714508 3221221792 3221217952 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28235 27069 1111 63 0 28172 0
vsize: 112940
[startup+450.014 s]
Raw data (loadavg): 1.00 1.41 1.62 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 103821 0 0 0 44728 271 0 0 25 0 1 0 698436326 114966528 27072 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28068 27072 1111 63 0 28005 0
vsize: 112272
[startup+460.014 s]
Raw data (loadavg): 1.00 1.39 1.61 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 107472 0 0 0 45719 280 0 0 25 0 1 0 698436326 115085312 27101 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28097 27101 1111 63 0 28034 0
vsize: 112388
[startup+470.015 s]
Raw data (loadavg): 1.00 1.38 1.60 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 110561 0 0 0 46712 287 0 0 25 0 1 0 698436326 115183616 27120 4294967295 134512640 134714508 3221221792 3221220008 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28121 27120 1111 63 0 28058 0
vsize: 112484
[startup+480.014 s]
Raw data (loadavg): 1.00 1.37 1.60 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 112947 0 0 0 47706 294 0 0 25 0 1 0 698436326 115326976 27160 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28156 27160 1111 63 0 28093 0
vsize: 112624
[startup+490.014 s]
Raw data (loadavg): 1.00 1.35 1.59 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 115691 0 0 0 48698 302 0 0 25 0 1 0 698436326 115326976 27160 4294967295 134512640 134714508 3221221792 3221219960 1077377470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28156 27160 1111 63 0 28093 0
vsize: 112624
[startup+500.014 s]
Raw data (loadavg): 1.00 1.34 1.58 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 118554 0 0 0 49690 310 0 0 25 0 1 0 698436326 115576832 27221 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28217 27221 1111 63 0 28154 0
vsize: 112868
[startup+510.014 s]
Raw data (loadavg): 1.00 1.33 1.58 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 120925 0 0 0 50684 316 0 0 25 0 1 0 698436326 116305920 27308 4294967295 134512640 134714508 3221221792 3221218176 1074972710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28395 27308 1111 63 0 28332 0
vsize: 113580
[startup+520.014 s]
Raw data (loadavg): 1.00 1.32 1.57 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 124321 0 0 0 51675 326 0 0 25 0 1 0 698436326 115879936 27295 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28291 27295 1111 63 0 28228 0
vsize: 113164
[startup+530.014 s]
Raw data (loadavg): 1.00 1.31 1.56 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 126904 0 0 0 52669 332 0 0 25 0 1 0 698436326 117653504 27634 4294967295 134512640 134714508 3221221792 3221217740 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28724 27634 1111 63 0 28661 0
vsize: 114896
[startup+540.015 s]
Raw data (loadavg): 1.00 1.30 1.56 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 129297 0 0 0 53663 338 0 0 25 0 1 0 698436326 116105216 27351 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28346 27351 1111 63 0 28283 0
vsize: 113384
[startup+550.015 s]
Raw data (loadavg): 1.00 1.29 1.55 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 131916 0 0 0 54656 346 0 0 25 0 1 0 698436326 117178368 27431 4294967295 134512640 134714508 3221221792 3221217952 1075091821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 27431 1111 63 0 28545 0
vsize: 114432
[startup+560.015 s]
Raw data (loadavg): 1.00 1.28 1.54 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 134532 0 0 0 55648 353 0 0 25 0 1 0 698436326 116686848 27494 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28488 27494 1111 63 0 28425 0
vsize: 113952
[startup+570.016 s]
Raw data (loadavg): 1.00 1.27 1.54 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 136707 0 0 0 56644 358 0 0 25 0 1 0 698436326 116686848 27494 4294967295 134512640 134714508 3221221792 3221220048 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28488 27494 1111 63 0 28425 0
vsize: 113952
[startup+580.016 s]
Raw data (loadavg): 1.00 1.26 1.53 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 139046 0 0 0 57638 363 0 0 25 0 1 0 698436326 116920320 27551 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28545 27551 1111 63 0 28482 0
vsize: 114180
[startup+590.016 s]
Raw data (loadavg): 1.00 1.25 1.52 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 141524 0 0 0 58633 369 0 0 25 0 1 0 698436326 117506048 27596 4294967295 134512640 134714508 3221221792 3221217952 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28688 27596 1111 63 0 28625 0
vsize: 114752
[startup+600.017 s]
Raw data (loadavg): 1.00 1.24 1.52 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 145058 0 0 0 59625 378 0 0 25 0 1 0 698436326 116912128 27549 4294967295 134512640 134714508 3221221792 3221219792 1074052308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28543 27549 1111 63 0 28480 0
vsize: 114172
[startup+610.017 s]
Raw data (loadavg): 1.00 1.23 1.51 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 147646 0 0 0 60618 384 0 0 25 0 1 0 698436326 117116928 27592 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28593 27592 1111 63 0 28530 0
vsize: 114372
[startup+620.017 s]
Raw data (loadavg): 1.00 1.22 1.51 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 150487 0 0 0 61610 392 0 0 25 0 1 0 698436326 117248000 27631 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28625 27631 1111 63 0 28562 0
vsize: 114500
[startup+630.016 s]
Raw data (loadavg): 1.00 1.22 1.50 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 153501 0 0 0 62603 400 0 0 25 0 1 0 698436326 117374976 27662 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28656 27662 1111 63 0 28593 0
vsize: 114624
[startup+640.017 s]
Raw data (loadavg): 1.00 1.21 1.50 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 156238 0 0 0 63596 406 0 0 25 0 1 0 698436326 117420032 27673 4294967295 134512640 134714508 3221221792 3221218896 1074138844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28667 27673 1111 63 0 28604 0
vsize: 114668
[startup+650.018 s]
Raw data (loadavg): 1.00 1.20 1.49 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 158867 0 0 0 64590 413 0 0 25 0 1 0 698436326 117538816 27702 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28696 27702 1111 63 0 28633 0
vsize: 114784
[startup+660.017 s]
Raw data (loadavg): 1.00 1.19 1.48 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 161320 0 0 0 65584 419 0 0 25 0 1 0 698436326 118423552 27769 4294967295 134512640 134714508 3221221792 3221217952 1075091544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28912 27769 1111 63 0 28849 0
vsize: 115648
[startup+670.018 s]
Raw data (loadavg): 1.00 1.19 1.48 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 164222 0 0 0 66578 426 0 0 25 0 1 0 698436326 117567488 27709 4294967295 134512640 134714508 3221221792 3221219768 1074138271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28703 27709 1111 63 0 28640 0
vsize: 114812
[startup+680.018 s]
Raw data (loadavg): 1.00 1.18 1.47 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 167020 0 0 0 67571 433 0 0 25 0 1 0 698436326 117649408 27729 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28723 27729 1111 63 0 28660 0
vsize: 114892
[startup+690.018 s]
Raw data (loadavg): 1.00 1.17 1.47 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 169667 0 0 0 68564 439 0 0 25 0 1 0 698436326 117645312 27728 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28722 27728 1111 63 0 28659 0
vsize: 114888
[startup+700.018 s]
Raw data (loadavg): 1.00 1.17 1.46 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 171693 0 0 0 69559 445 0 0 25 0 1 0 698436326 117641216 27727 4294967295 134512640 134714508 3221221792 3221220008 1077377190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28721 27727 1111 63 0 28658 0
vsize: 114884
[startup+710.018 s]
Raw data (loadavg): 1.00 1.16 1.45 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 174244 0 0 0 70552 452 0 0 25 0 1 0 698436326 117641216 27727 4294967295 134512640 134714508 3221221792 3221220152 1077410285 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28721 27727 1111 63 0 28658 0
vsize: 114884
[startup+720.017 s]
Raw data (loadavg): 1.00 1.16 1.45 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 178502 0 0 0 71542 462 0 0 25 0 1 0 698436326 117616640 27721 4294967295 134512640 134714508 3221221792 3221220144 1074153587 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28715 27721 1111 63 0 28652 0
vsize: 114860
[startup+730.017 s]
Raw data (loadavg): 1.00 1.15 1.44 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 183740 0 0 0 72529 475 0 0 25 0 1 0 698436326 118624256 27753 4294967295 134512640 134714508 3221221792 3221218856 1075007310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28961 27753 1111 63 0 28898 0
vsize: 115844
[startup+740.018 s]
Raw data (loadavg): 1.00 1.14 1.44 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 186197 0 0 0 73523 482 0 0 25 0 1 0 698436326 117641216 27727 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28721 27727 1111 63 0 28658 0
vsize: 114884
[startup+750.018 s]
Raw data (loadavg): 1.00 1.14 1.43 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 189714 0 0 0 74514 491 0 0 25 0 1 0 698436326 117641216 27722 4294967295 134512640 134714508 3221221792 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28721 27722 1111 63 0 28658 0
vsize: 114884
[startup+760.018 s]
Raw data (loadavg): 1.00 1.13 1.43 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 193705 0 0 0 75505 500 0 0 25 0 1 0 698436326 117616640 27721 4294967295 134512640 134714508 3221221792 3221219072 1074139984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28715 27721 1111 63 0 28652 0
vsize: 114860
[startup+770.019 s]
Raw data (loadavg): 1.00 1.13 1.42 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 197980 0 0 0 76494 511 0 0 25 0 1 0 698436326 117817344 27770 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28764 27770 1111 63 0 28701 0
vsize: 115056
[startup+780.018 s]
Raw data (loadavg): 1.00 1.12 1.42 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 202369 0 0 0 77483 522 0 0 25 0 1 0 698436326 118255616 27866 4294967295 134512640 134714508 3221221792 3221220096 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28871 27866 1111 63 0 28808 0
vsize: 115484
[startup+790.018 s]
Raw data (loadavg): 1.00 1.12 1.41 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 205990 0 0 0 78474 531 0 0 25 0 1 0 698436326 118358016 27899 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28896 27899 1111 63 0 28833 0
vsize: 115584
[startup+800.018 s]
Raw data (loadavg): 1.00 1.12 1.41 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 209804 0 0 0 79465 540 0 0 25 0 1 0 698436326 118788096 27938 4294967295 134512640 134714508 3221221792 3221219760 1075810662 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29001 27938 1111 63 0 28938 0
vsize: 116004
[startup+810.018 s]
Raw data (loadavg): 1.00 1.11 1.41 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 214165 0 0 0 80454 551 0 0 25 0 1 0 698436326 119312384 28012 4294967295 134512640 134714508 3221221792 3221218064 1074960964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29129 28012 1111 63 0 29066 0
vsize: 116516
[startup+820.017 s]
Raw data (loadavg): 1.00 1.11 1.40 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 216716 0 0 0 81449 557 0 0 25 0 1 0 698436326 118841344 28017 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29014 28017 1111 63 0 28951 0
vsize: 116056
[startup+830.017 s]
Raw data (loadavg): 1.00 1.10 1.40 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 219563 0 0 0 82442 564 0 0 25 0 1 0 698436326 118841344 28017 4294967295 134512640 134714508 3221221792 3221219772 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29014 28017 1111 63 0 28951 0
vsize: 116056
[startup+840.018 s]
Raw data (loadavg): 1.00 1.10 1.39 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 221668 0 0 0 83436 570 0 0 25 0 1 0 698436326 118898688 28031 4294967295 134512640 134714508 3221221792 3221220192 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29028 28031 1111 63 0 28965 0
vsize: 116112
[startup+850.018 s]
Raw data (loadavg): 1.00 1.10 1.39 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 224062 0 0 0 84431 576 0 0 25 0 1 0 698436326 120266752 28154 4294967295 134512640 134714508 3221221792 3221218384 1074885341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29362 28154 1111 63 0 29299 0
vsize: 117448
[startup+860.017 s]
Raw data (loadavg): 1.00 1.09 1.38 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 226585 0 0 0 85424 582 0 0 25 0 1 0 698436326 120123392 28117 4294967295 134512640 134714508 3221221792 3221217688 1074789722 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29327 28117 1111 63 0 29264 0
vsize: 117308
[startup+870.017 s]
Raw data (loadavg): 1.00 1.09 1.38 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 229026 0 0 0 86418 589 0 0 25 0 1 0 698436326 120061952 28102 4294967295 134512640 134714508 3221221792 3221218128 1075113561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29312 28102 1111 63 0 29249 0
vsize: 117248
[startup+880.017 s]
Raw data (loadavg): 1.00 1.08 1.37 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 231871 0 0 0 87411 596 0 0 25 0 1 0 698436326 119193600 28103 4294967295 134512640 134714508 3221221792 3221220024 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29100 28103 1111 63 0 29037 0
vsize: 116400
[startup+890.017 s]
Raw data (loadavg): 1.00 1.08 1.37 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 234291 0 0 0 88404 603 0 0 25 0 1 0 698436326 120750080 28310 4294967295 134512640 134714508 3221221792 3221217920 1075561201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29480 28310 1111 63 0 29417 0
vsize: 117920
[startup+900.017 s]
Raw data (loadavg): 1.00 1.08 1.36 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 236559 0 0 0 89399 609 0 0 25 0 1 0 698436326 120881152 28319 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29512 28319 1111 63 0 29449 0
vsize: 118048
[startup+910.016 s]
Raw data (loadavg): 1.00 1.08 1.36 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 238919 0 0 0 90392 615 0 0 25 0 1 0 698436326 119545856 28189 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29186 28189 1111 63 0 29123 0
vsize: 116744
[startup+920.016 s]
Raw data (loadavg): 1.00 1.07 1.35 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 240948 0 0 0 91387 620 0 0 25 0 1 0 698436326 119717888 28231 4294967295 134512640 134714508 3221221792 3221220144 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29228 28231 1111 63 0 29165 0
vsize: 116912
[startup+930.016 s]
Raw data (loadavg): 1.00 1.07 1.35 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 242353 0 0 0 92384 624 0 0 25 0 1 0 698436326 120426496 28404 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29401 28404 1111 63 0 29338 0
vsize: 117604
[startup+940.016 s]
Raw data (loadavg): 1.00 1.07 1.35 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 243951 0 0 0 93379 628 0 0 25 0 1 0 698436326 124014592 29182 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30277 29182 1111 63 0 30214 0
vsize: 121108
[startup+950.016 s]
Raw data (loadavg): 1.00 1.06 1.34 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 245437 0 0 0 94376 632 0 0 25 0 1 0 698436326 120623104 28453 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29449 28453 1111 63 0 29386 0
vsize: 117796
[startup+960.015 s]
Raw data (loadavg): 1.00 1.06 1.34 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 254800 0 0 0 95353 655 0 0 25 0 1 0 698436326 119791616 28250 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29246 28250 1111 63 0 29183 0
vsize: 116984
[startup+970.015 s]
Raw data (loadavg): 1.00 1.06 1.33 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 262715 0 0 0 96334 674 0 0 25 0 1 0 698436326 122953728 28313 4294967295 134512640 134714508 3221221792 3221217996 1075564177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30018 28313 1111 63 0 29955 0
vsize: 120072
[startup+980.015 s]
Raw data (loadavg): 1.00 1.06 1.33 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 269841 0 0 0 97317 691 0 0 25 0 1 0 698436326 119980032 28284 4294967295 134512640 134714508 3221221792 3221219456 1075828392 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29292 28284 1111 63 0 29229 0
vsize: 117168
[startup+990.014 s]
Raw data (loadavg): 1.00 1.05 1.33 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 276613 0 0 0 98301 707 0 0 25 0 1 0 698436326 119980032 28285 4294967295 134512640 134714508 3221221792 3221219552 1075823498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29292 28285 1111 63 0 29229 0
vsize: 117168
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.05 1.32 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 281376 0 0 0 99289 720 0 0 25 0 1 0 698436326 120119296 28327 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29326 28327 1111 63 0 29263 0
vsize: 117304
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.05 1.32 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 286546 0 0 0 100276 733 0 0 25 0 1 0 698436326 120197120 28340 4294967295 134512640 134714508 3221221792 3221220496 134652514 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29345 28340 1111 63 0 29282 0
vsize: 117380
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.05 1.31 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 289206 0 0 0 101270 739 0 0 25 0 1 0 698436326 120172544 28340 4294967295 134512640 134714508 3221221792 3221219792 1074056231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29339 28340 1111 63 0 29276 0
vsize: 117356
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.05 1.31 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 291314 0 0 0 102264 745 0 0 25 0 1 0 698436326 125382656 29486 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30611 29486 1111 63 0 30548 0
vsize: 122444
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.04 1.31 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 292607 0 0 0 103261 748 0 0 25 0 1 0 698436326 120672256 28462 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29461 28462 1111 63 0 29398 0
vsize: 117844
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.04 1.30 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 295180 0 0 0 104255 754 0 0 25 0 1 0 698436326 120365056 28387 4294967295 134512640 134714508 3221221792 3221220192 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29386 28387 1111 63 0 29323 0
vsize: 117544
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.04 1.30 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 298054 0 0 0 105248 761 0 0 25 0 1 0 698436326 120279040 28366 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29365 28366 1111 63 0 29302 0
vsize: 117460
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.04 1.29 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 303424 0 0 0 106236 774 0 0 25 0 1 0 698436326 120279040 28366 4294967295 134512640 134714508 3221221792 3221219520 1075828608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29365 28366 1111 63 0 29302 0
vsize: 117460
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.04 1.29 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 307776 0 0 0 107227 783 0 0 25 0 1 0 698436326 123252736 28404 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30091 28404 1111 63 0 30028 0
vsize: 120364
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.04 1.29 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 315319 0 0 0 108209 801 0 0 25 0 1 0 698436326 123359232 28416 4294967295 134512640 134714508 3221221792 3221217848 1074789548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30117 28416 1111 63 0 30054 0
vsize: 120468
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.03 1.28 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 322051 0 0 0 109192 818 0 0 25 0 1 0 698436326 121036800 28544 4294967295 134512640 134714508 3221221792 3221219028 1074208589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29596 28545 1111 63 0 29533 0
vsize: 118200
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.03 1.28 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 324670 0 0 0 110187 823 0 0 25 0 1 0 698436326 125992960 29469 4294967295 134512640 134714508 3221221792 3221217952 1074883509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30760 29469 1111 63 0 30697 0
vsize: 123040
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.03 1.28 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 326037 0 0 0 111184 827 0 0 25 0 1 0 698436326 120967168 28531 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29533 28531 1111 63 0 29470 0
vsize: 118132
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.03 1.27 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 328919 0 0 0 112177 834 0 0 25 0 1 0 698436326 121843712 28745 4294967295 134512640 134714508 3221221792 3221219792 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29747 28745 1111 63 0 29684 0
vsize: 118988
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.03 1.27 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 331165 0 0 0 113172 839 0 0 25 0 1 0 698436326 122060800 28798 4294967295 134512640 134714508 3221221792 3221220576 134622606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29800 28798 1111 63 0 29737 0
vsize: 119200
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.03 1.27 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 333454 0 0 0 114166 845 0 0 25 0 1 0 698436326 121532416 28669 4294967295 134512640 134714508 3221221792 3221219904 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28669 1111 63 0 29608 0
vsize: 118684
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.03 1.26 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 336608 0 0 0 115159 852 0 0 25 0 1 0 698436326 122531840 28609 4294967295 134512640 134714508 3221221792 3221218128 1074972801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29915 28609 1111 63 0 29852 0
vsize: 119660
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.02 1.26 2/54 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 339646 0 0 0 116152 860 0 0 25 0 1 0 698436326 124350464 28726 4294967295 134512640 134714508 3221221792 3221218032 1075115712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30359 28726 1111 63 0 30296 0
vsize: 121436
[startup+1175.13 s]
Raw data (loadavg): 1.00 1.02 1.26 1/53 25543
Raw data (stat): 25543 (bsolo_lpr) R 25542 7876 7672 0 -1 0 339646 0 0 0 116152 860 0 0 25 0 1 0 698436326 124350464 28726 4294967295 134512640 134714508 3221221792 3221218032 1075115712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30359 28726 1111 63 0 30296 0
vsize: 0

Child status: 0
Real time (s): 1175.13
CPU time (s): 1175.24
CPU user time (s): 1166.51
CPU system time (s): 8.72267
CPU usage (%): 100.009
Max. virtual memory (Kb): 123040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####