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 24263

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 06:46:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2018 boxname=wulflinc31 idbench=225 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  423b72910a463b7aa4b9bdae86b878a8  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa2670-141.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ssa2670-141.opb
IDLAUNCH: 2018
/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:        134120 kB
Buffers:         43724 kB
Cached:         822360 kB
SwapCached:        644 kB
Active:         496716 kB
Inactive:       371732 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        133868 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26480 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 07:06:23 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 2018 7 1175.18 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.71 s
c Initial Lower Bound: 922
c Lower Bound Elapsed time: 0.543333
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.1 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 1.01 1.25 2/54 25636
Raw data (stat): 25636 (runsolver) R 25635 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 698554882 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.94 1.01 1.25 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 5624 0 0 0 979 17 0 0 25 0 1 0 698554882 23666688 4933 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5778 4933 1111 63 0 5715 0
vsize: 23112
[startup+20.0012 s]
Raw data (loadavg): 0.95 1.00 1.24 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 6999 0 0 0 1976 20 0 0 25 0 1 0 698554882 27340800 5831 4294967295 134512640 134714508 3221221776 3221220240 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6675 5831 1111 63 0 6612 0
vsize: 26700
[startup+30.0015 s]
Raw data (loadavg): 0.95 1.00 1.24 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 8502 0 0 0 2972 24 0 0 25 0 1 0 698554882 33378304 7297 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8149 7297 1111 63 0 8086 0
vsize: 32596
[startup+40.0012 s]
Raw data (loadavg): 0.96 1.00 1.24 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 9092 0 0 0 3970 26 0 0 25 0 1 0 698554882 35868672 7887 4294967295 134512640 134714508 3221221776 3221220256 134539390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8757 7887 1111 63 0 8694 0
vsize: 35028
[startup+50.0013 s]
Raw data (loadavg): 0.97 1.00 1.24 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 10023 0 0 0 4968 28 0 0 25 0 1 0 698554882 38776832 8620 4294967295 134512640 134714508 3221221776 3221220152 134539340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9467 8620 1111 63 0 9404 0
vsize: 37868
[startup+60.0015 s]
Raw data (loadavg): 0.97 1.00 1.23 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 10220 0 0 0 5968 29 0 0 25 0 1 0 698554882 39583744 8817 4294967295 134512640 134714508 3221221776 3221220232 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8817 1111 63 0 9601 0
vsize: 38656
[startup+70.0012 s]
Raw data (loadavg): 0.97 1.00 1.23 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 10828 0 0 0 6966 30 0 0 25 0 1 0 698554882 41529344 9295 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10139 9295 1111 63 0 10076 0
vsize: 40556
[startup+80.0021 s]
Raw data (loadavg): 0.98 1.00 1.23 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 11366 0 0 0 7965 32 0 0 25 0 1 0 698554882 43175936 9690 4294967295 134512640 134714508 3221221776 3221220280 134543628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10541 9690 1111 63 0 10478 0
vsize: 42164
[startup+90.0016 s]
Raw data (loadavg): 0.98 1.00 1.22 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 11828 0 0 0 8964 33 0 0 25 0 1 0 698554882 45015040 10140 4294967295 134512640 134714508 3221221776 3221220256 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10990 10140 1111 63 0 10927 0
vsize: 43960
[startup+100.001 s]
Raw data (loadavg): 0.98 1.00 1.22 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 12313 0 0 0 9963 34 0 0 25 0 1 0 698554882 46977024 10625 4294967295 134512640 134714508 3221221776 3221220236 134539206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11469 10625 1111 63 0 11406 0
vsize: 45876
[startup+110.002 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 12591 0 0 0 10962 35 0 0 25 0 1 0 698554882 48115712 10900 4294967295 134512640 134714508 3221221776 3221220304 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11747 10900 1111 63 0 11684 0
vsize: 46988
[startup+120.003 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 12946 0 0 0 11961 36 0 0 25 0 1 0 698554882 48947200 11112 4294967295 134512640 134714508 3221221776 3221220436 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+130.002 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 12946 0 0 0 12961 36 0 0 25 0 1 0 698554882 48947200 11112 4294967295 134512640 134714508 3221221776 3221220448 134627250 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.002 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 12946 0 0 0 13961 37 0 0 25 0 1 0 698554882 48947200 11112 4294967295 134512640 134714508 3221221776 3221220448 134627241 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.002 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 12950 0 0 0 14961 37 0 0 25 0 1 0 698554882 49086464 11116 4294967295 134512640 134714508 3221221776 3221220448 134627250 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.001 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 12959 0 0 0 15961 37 0 0 25 0 1 0 698554882 49086464 11125 4294967295 134512640 134714508 3221221776 3221220448 134627250 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.001 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 12969 0 0 0 16962 37 0 0 25 0 1 0 698554882 49086464 11135 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11984 11135 1111 63 0 11921 0
vsize: 47936
[startup+180.002 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 12978 0 0 0 17962 37 0 0 25 0 1 0 698554882 49086464 11144 4294967295 134512640 134714508 3221221776 3221220448 134627187 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.002 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 16755 0 0 0 18953 46 0 0 25 0 1 0 698554882 64593920 14916 4294967295 134512640 134714508 3221221776 3221220200 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15803 14918 1111 63 0 15740 0
vsize: 63080
[startup+200.002 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 30720 0 0 0 19920 78 0 0 25 0 1 0 698554882 110268416 25845 4294967295 134512640 134714508 3221221776 3221218816 1075971417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26921 25845 1111 63 0 26858 0
vsize: 107684
[startup+210.002 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 33213 0 0 0 20912 86 0 0 25 0 1 0 698554882 110436352 25825 4294967295 134512640 134714508 3221221776 3221218432 1075967892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26962 25825 1111 63 0 26899 0
vsize: 107848
[startup+220.002 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 36678 0 0 0 21903 96 0 0 25 0 1 0 698554882 112488448 26419 4294967295 134512640 134714508 3221221776 3221217956 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27427 26383 1111 63 0 27364 0
vsize: 109852
[startup+230.002 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 39599 0 0 0 22895 104 0 0 25 0 1 0 698554882 112472064 26370 4294967295 134512640 134714508 3221221776 3221217876 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27459 26370 1111 63 0 27396 0
vsize: 109836
[startup+240.001 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 43024 0 0 0 23886 113 0 0 25 0 1 0 698554882 112357376 26420 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27431 26420 1111 63 0 27368 0
vsize: 109724
[startup+250.001 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 46458 0 0 0 24877 122 0 0 25 0 1 0 698554882 113614848 26650 4294967295 134512640 134714508 3221221776 3221217672 1074789548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27738 26650 1111 63 0 27675 0
vsize: 110952
[startup+260.001 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 48870 0 0 0 25871 128 0 0 25 0 1 0 698554882 112660480 26500 4294967295 134512640 134714508 3221221776 3221220240 1074119526 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27505 26500 1111 63 0 27442 0
vsize: 110020
[startup+270 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 52378 0 0 0 26861 139 0 0 25 0 1 0 698554882 112734208 26515 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27523 26515 1111 63 0 27460 0
vsize: 110092
[startup+280 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 55375 0 0 0 27853 147 0 0 25 0 1 0 698554882 112783360 26526 4294967295 134512640 134714508 3221221776 3221219172 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27535 26526 1111 63 0 27472 0
vsize: 110140
[startup+290.001 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 59051 0 0 0 28843 157 0 0 25 0 1 0 698554882 113016832 26587 4294967295 134512640 134714508 3221221776 3221219948 1074206203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27592 26587 1111 63 0 27529 0
vsize: 110368
[startup+300 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 61840 0 0 0 29837 163 0 0 25 0 1 0 698554882 114036736 26686 4294967295 134512640 134714508 3221221776 3221217772 1074860969 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27841 26686 1111 63 0 27778 0
vsize: 111364
[startup+310 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 64381 0 0 0 30830 170 0 0 25 0 1 0 698554882 114319360 26801 4294967295 134512640 134714508 3221221776 3221217984 1074815170 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27910 26801 1111 63 0 27847 0
vsize: 111640
[startup+320.001 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 66400 0 0 0 31824 176 0 0 25 0 1 0 698554882 113750016 26752 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27771 26752 1111 63 0 27708 0
vsize: 111084
[startup+330.001 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 68228 0 0 0 32819 181 0 0 25 0 1 0 698554882 113520640 26710 4294967295 134512640 134714508 3221221776 3221220176 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27715 26710 1111 63 0 27652 0
vsize: 110860
[startup+340.001 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 69982 0 0 0 33815 186 0 0 25 0 1 0 698554882 114262016 26772 4294967295 134512640 134714508 3221221776 3221217920 1074969672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27896 26772 1111 63 0 27833 0
vsize: 111584
[startup+350.001 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 72913 0 0 0 34807 194 0 0 25 0 1 0 698554882 113655808 26744 4294967295 134512640 134714508 3221221776 3221220052 1077374461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27748 26744 1111 63 0 27685 0
vsize: 110992
[startup+360.002 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 75520 0 0 0 35801 201 0 0 25 0 1 0 698554882 114114560 26811 4294967295 134512640 134714508 3221221776 3221219504 1075828215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27860 26811 1111 63 0 27797 0
vsize: 111440
[startup+370.002 s]
Raw data (loadavg): 0.99 1.00 1.15 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 78361 0 0 0 36795 206 0 0 25 0 1 0 698554882 114323456 26854 4294967295 134512640 134714508 3221221776 3221218816 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27911 26854 1111 63 0 27848 0
vsize: 111644
[startup+380.002 s]
Raw data (loadavg): 0.99 1.00 1.15 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 81771 0 0 0 37786 215 0 0 25 0 1 0 698554882 114266112 26839 4294967295 134512640 134714508 3221221776 3221218656 1075960291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27897 26839 1111 63 0 27834 0
vsize: 111588
[startup+390.003 s]
Raw data (loadavg): 0.99 1.00 1.15 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 85085 0 0 0 38778 224 0 0 25 0 1 0 698554882 115253248 27002 4294967295 134512640 134714508 3221221776 3221217924 1075964406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28138 27002 1111 63 0 28075 0
vsize: 112552
[startup+400.003 s]
Raw data (loadavg): 0.99 1.00 1.15 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 87578 0 0 0 39772 230 0 0 25 0 1 0 698554882 114294784 26908 4294967295 134512640 134714508 3221221776 3221220020 1077374082 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.003 s]
Raw data (loadavg): 0.99 1.00 1.15 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 91160 0 0 0 40763 239 0 0 25 0 1 0 698554882 114294784 26908 4294967295 134512640 134714508 3221221776 3221220060 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27904 26908 1111 63 0 27841 0
vsize: 111616
[startup+420.003 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 94366 0 0 0 41755 247 0 0 25 0 1 0 698554882 114348032 26921 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27917 26921 1111 63 0 27854 0
vsize: 111668
[startup+430.004 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 97905 0 0 0 42745 258 0 0 25 0 1 0 698554882 114737152 27009 4294967295 134512640 134714508 3221221776 3221219088 1075006807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28012 27009 1111 63 0 27949 0
vsize: 112048
[startup+440.004 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 100586 0 0 0 43737 265 0 0 25 0 1 0 698554882 114761728 27022 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28018 27022 1111 63 0 27955 0
vsize: 112072
[startup+450.004 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 103542 0 0 0 44731 272 0 0 25 0 1 0 698554882 114991104 27073 4294967295 134512640 134714508 3221221776 3221219728 1074918162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28074 27073 1111 63 0 28011 0
vsize: 112296
[startup+460.005 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 107145 0 0 0 45722 281 0 0 25 0 1 0 698554882 115085312 27101 4294967295 134512640 134714508 3221221776 3221219776 1074916974 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.005 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 110399 0 0 0 46714 289 0 0 25 0 1 0 698554882 115159040 27119 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28115 27119 1111 63 0 28052 0
vsize: 112460
[startup+480.006 s]
Raw data (loadavg): 0.99 1.00 1.13 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 112821 0 0 0 47707 296 0 0 25 0 1 0 698554882 115326976 27160 4294967295 134512640 134714508 3221221776 3221220152 1077410279 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.006 s]
Raw data (loadavg): 0.99 1.00 1.13 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 115564 0 0 0 48700 304 0 0 25 0 1 0 698554882 116224000 27221 4294967295 134512640 134714508 3221221776 3221217924 1075964396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28375 27221 1111 63 0 28312 0
vsize: 113500
[startup+500.006 s]
Raw data (loadavg): 0.99 1.00 1.13 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 118444 0 0 0 49692 312 0 0 25 0 1 0 698554882 116412416 27263 4294967295 134512640 134714508 3221221776 3221217820 1074873543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28421 27263 1111 63 0 28358 0
vsize: 113684
[startup+510.007 s]
Raw data (loadavg): 0.99 1.00 1.13 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 120606 0 0 0 50686 318 0 0 25 0 1 0 698554882 116584448 27290 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28463 27290 1111 63 0 28400 0
vsize: 113852
[startup+520.007 s]
Raw data (loadavg): 0.99 1.00 1.13 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 124192 0 0 0 51676 328 0 0 25 0 1 0 698554882 115879936 27295 4294967295 134512640 134714508 3221221776 3221220176 1074153648 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.008 s]
Raw data (loadavg): 0.99 1.00 1.12 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 126568 0 0 0 52669 335 0 0 25 0 1 0 698554882 116023296 27331 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28326 27331 1111 63 0 28263 0
vsize: 113304
[startup+540.008 s]
Raw data (loadavg): 0.99 1.00 1.12 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 129171 0 0 0 53663 342 0 0 25 0 1 0 698554882 116940800 27375 4294967295 134512640 134714508 3221221776 3221217680 1075965243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28550 27375 1111 63 0 28487 0
vsize: 114200
[startup+550.008 s]
Raw data (loadavg): 0.99 1.00 1.12 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 131766 0 0 0 54656 348 0 0 25 0 1 0 698554882 117403648 27480 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28663 27480 1111 63 0 28600 0
vsize: 114652
[startup+560.009 s]
Raw data (loadavg): 0.99 1.00 1.12 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 134216 0 0 0 55651 354 0 0 25 0 1 0 698554882 117264384 27560 4294967295 134512640 134714508 3221221776 3221219504 1075828451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28629 27560 1111 63 0 28566 0
vsize: 114516
[startup+570.009 s]
Raw data (loadavg): 0.99 1.00 1.12 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 136545 0 0 0 56646 359 0 0 25 0 1 0 698554882 116686848 27494 4294967295 134512640 134714508 3221221776 3221220176 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+580.009 s]
Raw data (loadavg): 0.99 1.00 1.11 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 138799 0 0 0 57639 366 0 0 25 0 1 0 698554882 117141504 27605 4294967295 134512640 134714508 3221221776 3221219776 1074916795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28599 27605 1111 63 0 28536 0
vsize: 114396
[startup+590.01 s]
Raw data (loadavg): 0.99 1.00 1.11 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 141373 0 0 0 58633 372 0 0 25 0 1 0 698554882 117002240 27571 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28565 27571 1111 63 0 28502 0
vsize: 114260
[startup+600.009 s]
Raw data (loadavg): 0.99 1.00 1.11 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 144976 0 0 0 59624 381 0 0 25 0 1 0 698554882 116912128 27549 4294967295 134512640 134714508 3221221776 3221220128 1074142688 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.01 s]
Raw data (loadavg): 0.99 1.00 1.11 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 147616 0 0 0 60618 388 0 0 25 0 1 0 698554882 116965376 27562 4294967295 134512640 134714508 3221221776 3221220152 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28556 27562 1111 63 0 28493 0
vsize: 114224
[startup+620.01 s]
Raw data (loadavg): 0.99 1.00 1.11 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 150336 0 0 0 61612 394 0 0 25 0 1 0 698554882 118075392 27678 4294967295 134512640 134714508 3221221776 3221218848 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28827 27678 1111 63 0 28764 0
vsize: 115308
[startup+630.01 s]
Raw data (loadavg): 0.99 1.00 1.10 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 153308 0 0 0 62604 402 0 0 25 0 1 0 698554882 118763520 27942 4294967295 134512640 134714508 3221221776 3221218112 1075113433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28995 27942 1111 63 0 28932 0
vsize: 115980
[startup+640.01 s]
Raw data (loadavg): 0.99 1.00 1.10 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 156140 0 0 0 63598 408 0 0 25 0 1 0 698554882 118390784 27741 4294967295 134512640 134714508 3221221776 3221218048 1074960768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28904 27741 1111 63 0 28841 0
vsize: 115616
[startup+650.01 s]
Raw data (loadavg): 0.99 1.00 1.10 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 158711 0 0 0 64591 415 0 0 25 0 1 0 698554882 118681600 27871 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28975 27871 1111 63 0 28912 0
vsize: 115900
[startup+660.011 s]
Raw data (loadavg): 0.99 1.00 1.10 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 161203 0 0 0 65584 422 0 0 25 0 1 0 698554882 118374400 27754 4294967295 134512640 134714508 3221221776 3221217860 1075964431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28900 27754 1111 63 0 28837 0
vsize: 115600
[startup+670.011 s]
Raw data (loadavg): 0.99 1.00 1.10 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 163927 0 0 0 66577 430 0 0 25 0 1 0 698554882 118951936 28015 4294967295 134512640 134714508 3221221776 3221217660 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29041 28015 1111 63 0 28978 0
vsize: 116164
[startup+680.012 s]
Raw data (loadavg): 0.99 1.00 1.09 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 166950 0 0 0 67569 438 0 0 25 0 1 0 698554882 118878208 27818 4294967295 134512640 134714508 3221221776 3221217724 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29023 27818 1111 63 0 28960 0
vsize: 116092
[startup+690.012 s]
Raw data (loadavg): 0.99 1.00 1.09 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 169492 0 0 0 68563 444 0 0 25 0 1 0 698554882 117645312 27728 4294967295 134512640 134714508 3221221776 3221220176 1074153782 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.012 s]
Raw data (loadavg): 0.99 1.00 1.09 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 171631 0 0 0 69557 450 0 0 25 0 1 0 698554882 118513664 27843 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28934 27843 1111 63 0 28871 0
vsize: 115736
[startup+710.013 s]
Raw data (loadavg): 0.99 1.00 1.09 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 174152 0 0 0 70550 457 0 0 25 0 1 0 698554882 117616640 27721 4294967295 134512640 134714508 3221221776 3221220056 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28715 27721 1111 63 0 28652 0
vsize: 114860
[startup+720.013 s]
Raw data (loadavg): 0.99 1.00 1.09 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 178274 0 0 0 71540 467 0 0 25 0 1 0 698554882 117616640 27721 4294967295 134512640 134714508 3221221776 3221219776 1074052293 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.013 s]
Raw data (loadavg): 0.99 1.00 1.09 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 183554 0 0 0 72527 481 0 0 25 0 1 0 698554882 117616640 27721 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28715 27721 1111 63 0 28652 0
vsize: 114860
[startup+740.014 s]
Raw data (loadavg): 0.99 1.00 1.09 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 186126 0 0 0 73521 487 0 0 25 0 1 0 698554882 117641216 27727 4294967295 134512640 134714508 3221221776 3221220160 1074153648 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.014 s]
Raw data (loadavg): 0.99 1.00 1.09 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 189583 0 0 0 74513 496 0 0 25 0 1 0 698554882 117641216 27722 4294967295 134512640 134714508 3221221776 3221220152 1077410279 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.014 s]
Raw data (loadavg): 0.99 1.00 1.08 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 193503 0 0 0 75502 507 0 0 25 0 1 0 698554882 117616640 27721 4294967295 134512640 134714508 3221221776 3221220088 1074138166 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.014 s]
Raw data (loadavg): 0.99 1.00 1.08 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 197914 0 0 0 76492 517 0 0 25 0 1 0 698554882 117817344 27764 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28764 27764 1111 63 0 28701 0
vsize: 115056
[startup+780.015 s]
Raw data (loadavg): 0.99 1.00 1.08 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 202149 0 0 0 77480 529 0 0 25 0 1 0 698554882 118255616 27865 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28871 27865 1111 63 0 28808 0
vsize: 115484
[startup+790.015 s]
Raw data (loadavg): 0.99 1.00 1.08 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 205810 0 0 0 78469 540 0 0 25 0 1 0 698554882 118382592 27899 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28902 27899 1111 63 0 28839 0
vsize: 115608
[startup+800.015 s]
Raw data (loadavg): 0.99 1.00 1.08 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 209758 0 0 0 79458 551 0 0 25 0 1 0 698554882 119582720 28001 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29195 28001 1111 63 0 29132 0
vsize: 116780
[startup+810.016 s]
Raw data (loadavg): 0.99 1.00 1.08 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 214014 0 0 0 80447 562 0 0 25 0 1 0 698554882 118939648 27977 4294967295 134512640 134714508 3221221776 3221217956 1075115109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29038 27977 1111 63 0 28975 0
vsize: 116152
[startup+820.015 s]
Raw data (loadavg): 0.99 1.00 1.08 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 216673 0 0 0 81441 568 0 0 25 0 1 0 698554882 119910400 28077 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29275 28077 1111 63 0 29212 0
vsize: 117100
[startup+830.016 s]
Raw data (loadavg): 0.99 1.00 1.08 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 219513 0 0 0 82433 576 0 0 25 0 1 0 698554882 120053760 28185 4294967295 134512640 134714508 3221221776 3221217936 1074794689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29310 28185 1111 63 0 29247 0
vsize: 117240
[startup+840.015 s]
Raw data (loadavg): 0.99 1.00 1.08 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 221625 0 0 0 83428 582 0 0 25 0 1 0 698554882 119906304 28054 4294967295 134512640 134714508 3221221776 3221218016 1075115696 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29274 28054 1111 63 0 29211 0
vsize: 117096
[startup+850.016 s]
Raw data (loadavg): 0.99 1.00 1.08 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 224057 0 0 0 84422 588 0 0 25 0 1 0 698554882 120266752 28149 4294967295 134512640 134714508 3221221776 3221217924 1075964433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29362 28149 1111 63 0 29299 0
vsize: 117448
[startup+860.017 s]
Raw data (loadavg): 0.99 1.00 1.07 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 226581 0 0 0 85416 595 0 0 25 0 1 0 698554882 120123392 28113 4294967295 134512640 134714508 3221221776 3221218048 1074961132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29327 28114 1111 63 0 29264 0
vsize: 117308
[startup+870.016 s]
Raw data (loadavg): 0.99 1.00 1.07 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 229025 0 0 0 86409 601 0 0 25 0 1 0 698554882 120061952 28101 4294967295 134512640 134714508 3221221776 3221218112 1075113628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29312 28101 1111 63 0 29249 0
vsize: 117248
[startup+880.017 s]
Raw data (loadavg): 0.99 1.00 1.07 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 231871 0 0 0 87402 609 0 0 25 0 1 0 698554882 119193600 28103 4294967295 134512640 134714508 3221221776 3221220080 1074153770 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.018 s]
Raw data (loadavg): 0.99 1.00 1.07 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 234291 0 0 0 88396 615 0 0 25 0 1 0 698554882 120750080 28310 4294967295 134512640 134714508 3221221776 3221217808 1075965187 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): 0.99 1.00 1.07 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 236559 0 0 0 89391 620 0 0 25 0 1 0 698554882 120881152 28319 4294967295 134512640 134714508 3221221776 3221218112 1075113493 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.018 s]
Raw data (loadavg): 0.99 1.00 1.07 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 238919 0 0 0 90384 627 0 0 25 0 1 0 698554882 119545856 28189 4294967295 134512640 134714508 3221221776 3221220128 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.019 s]
Raw data (loadavg): 0.99 1.00 1.07 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 240948 0 0 0 91379 633 0 0 25 0 1 0 698554882 119717888 28231 4294967295 134512640 134714508 3221221776 3221220128 1074153782 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.019 s]
Raw data (loadavg): 0.99 1.00 1.07 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 242351 0 0 0 92375 636 0 0 25 0 1 0 698554882 120418304 28402 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29399 28402 1111 63 0 29336 0
vsize: 117596
[startup+940.019 s]
Raw data (loadavg): 0.99 1.00 1.07 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 243951 0 0 0 93372 640 0 0 25 0 1 0 698554882 124014592 29182 4294967295 134512640 134714508 3221221776 3221218048 1074961246 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.019 s]
Raw data (loadavg): 0.99 1.00 1.07 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 245437 0 0 0 94369 643 0 0 25 0 1 0 698554882 120623104 28453 4294967295 134512640 134714508 3221221776 3221220488 134543168 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.02 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 254800 0 0 0 95346 666 0 0 25 0 1 0 698554882 119791616 28250 4294967295 134512640 134714508 3221221776 3221220172 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.02 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 262686 0 0 0 96327 685 0 0 25 0 1 0 698554882 119980032 28284 4294967295 134512640 134714508 3221221776 3221219504 1075828654 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29292 28284 1111 63 0 29229 0
vsize: 117168
[startup+980.021 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 269841 0 0 0 97310 702 0 0 25 0 1 0 698554882 119980032 28284 4294967295 134512640 134714508 3221221776 3221219992 1074138150 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.022 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 276613 0 0 0 98294 719 0 0 25 0 1 0 698554882 119980032 28285 4294967295 134512640 134714508 3221221776 3221220080 1074153782 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.02 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 281372 0 0 0 99281 731 0 0 25 0 1 0 698554882 123092992 28348 4294967295 134512640 134714508 3221221776 3221218768 1075110388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30052 28348 1111 63 0 29989 0
vsize: 120208
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 286507 0 0 0 100268 745 0 0 25 0 1 0 698554882 123170816 28387 4294967295 134512640 134714508 3221221776 3221218048 1074960964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30071 28387 1111 63 0 30008 0
vsize: 120284
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 289200 0 0 0 101260 753 0 0 25 0 1 0 698554882 120725504 28361 4294967295 134512640 134714508 3221221776 3221218384 1075967895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29474 28366 1111 63 0 29411 0
vsize: 117896
[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 291320 0 0 0 102255 759 0 0 25 0 1 0 698554882 124391424 29250 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30369 29250 1111 63 0 30306 0
vsize: 121476
[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 292608 0 0 0 103251 762 0 0 25 0 1 0 698554882 120676352 28463 4294967295 134512640 134714508 3221221776 3221219760 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29462 28463 1111 63 0 29399 0
vsize: 117848
[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 295184 0 0 0 104245 769 0 0 25 0 1 0 698554882 120504320 28391 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29420 28391 1111 63 0 29357 0
vsize: 117680
[startup+1060.02 s]
Raw data (loadavg): 0.99 1.00 1.06 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 298664 0 0 0 105237 777 0 0 25 0 1 0 698554882 120279040 28366 4294967295 134512640 134714508 3221221776 3221220056 1077410279 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.02 s]
Raw data (loadavg): 0.99 1.00 1.05 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 303632 0 0 0 106223 791 0 0 25 0 1 0 698554882 123252736 28392 4294967295 134512640 134714508 3221221776 3221218848 1074867347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30091 28392 1111 63 0 30028 0
vsize: 120364
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 1.05 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 307929 0 0 0 107211 803 0 0 25 0 1 0 698554882 123252736 28408 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30091 28408 1111 63 0 30028 0
vsize: 120364
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 1.05 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 316073 0 0 0 108193 822 0 0 25 0 1 0 698554882 120360960 28386 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29385 28386 1111 63 0 29322 0
vsize: 117540
[startup+1100.03 s]
Raw data (loadavg): 0.99 1.00 1.05 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 322603 0 0 0 109178 837 0 0 25 0 1 0 698554882 120750080 28478 4294967295 134512640 134714508 3221221776 3221220160 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29480 28478 1111 63 0 29417 0
vsize: 117920
[startup+1110.03 s]
Raw data (loadavg): 0.99 1.00 1.05 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 324722 0 0 0 110173 842 0 0 25 0 1 0 698554882 125992960 29521 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30760 29521 1111 63 0 30697 0
vsize: 123040
[startup+1120.03 s]
Raw data (loadavg): 0.99 1.00 1.05 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 326293 0 0 0 111170 845 0 0 25 0 1 0 698554882 121700352 28710 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29712 28710 1111 63 0 29649 0
vsize: 118848
[startup+1130.03 s]
Raw data (loadavg): 0.99 1.00 1.05 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 328962 0 0 0 112162 853 0 0 25 0 1 0 698554882 122019840 28788 4294967295 134512640 134714508 3221221776 3221219896 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29790 28788 1111 63 0 29727 0
vsize: 119160
[startup+1140.03 s]
Raw data (loadavg): 0.99 1.00 1.05 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 331165 0 0 0 113157 858 0 0 25 0 1 0 698554882 122060800 28798 4294967295 134512640 134714508 3221221776 3221220576 134622268 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.03 s]
Raw data (loadavg): 0.99 1.00 1.05 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 333498 0 0 0 114152 864 0 0 25 0 1 0 698554882 121712640 28713 4294967295 134512640 134714508 3221221776 3221219680 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29715 28713 1111 63 0 29652 0
vsize: 118860
[startup+1160.03 s]
Raw data (loadavg): 0.99 1.00 1.05 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 336816 0 0 0 115143 872 0 0 25 0 1 0 698554882 121106432 28565 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29567 28565 1111 63 0 29504 0
vsize: 118268
[startup+1170.03 s]
Raw data (loadavg): 0.99 1.00 1.04 2/54 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 339785 0 0 0 116136 880 0 0 25 0 1 0 698554882 121376768 28631 4294967295 134512640 134714508 3221221776 3221219056 1074140016 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29633 28631 1111 63 0 29570 0
vsize: 118532
[startup+1175.04 s]
Raw data (loadavg): 0.99 1.00 1.04 1/53 25636
Raw data (stat): 25636 (bsolo_lpr_cuts) R 25635 7876 7672 0 -1 0 339785 0 0 0 116136 880 0 0 25 0 1 0 698554882 121376768 28631 4294967295 134512640 134714508 3221221776 3221219056 1074140016 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29633 28631 1111 63 0 29570 0
vsize: 0

Child status: 0
Real time (s): 1175.04
CPU time (s): 1175.18
CPU user time (s): 1166.24
CPU system time (s): 8.93964
CPU usage (%): 100.012
Max. virtual memory (Kb): 123040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####