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/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
MD5SUM	b0b9c98556325dcf5a5811fc2d17a816
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	4.5833
Number of variables	2340
Total number of constraints	1678
Number of constraints which are clauses	1599
Number of constraints which are cardinality constraints (but not clauses)	79
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 23403

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 06:03:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=470 boxname=wulflinc31 idbench=53 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  b0b9c98556325dcf5a5811fc2d17a816  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_39_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_39_sat_pb.cnf.cr.opb
IDLAUNCH: 470
/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:        923284 kB
Buffers:         39436 kB
Cached:          49856 kB
SwapCached:        944 kB
Active:          74884 kB
Inactive:        16860 kB
HighTotal:      131008 kB
HighFree:        80136 kB
LowTotal:       903652 kB
LowFree:        843148 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14164 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 06:23:24 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 470 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2340 variables and 1678 constraints.
c After prepocess the problem consists of 2340 variables and 1678 constraints.
c preprocess terminated 5.432 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.00 0.99 2/54 32030
Raw data (stat): 32030 (runsolver) R 32029 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 646451047 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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+9.99982 s]
Raw data (loadavg): 0.94 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 1846 0 0 0 987 8 0 0 25 0 1 0 646451047 10670080 1767 4294967295 134512640 134714508 3221221760 3221220468 134591892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2605 1767 1111 63 0 2542 0
vsize: 10420
[startup+20.0012 s]
Raw data (loadavg): 0.95 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 1884 0 0 0 1984 11 0 0 25 0 1 0 646451047 10932224 1805 4294967295 134512640 134714508 3221221760 3221220368 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2669 1805 1111 63 0 2606 0
vsize: 10676
[startup+30.0017 s]
Raw data (loadavg): 0.95 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 1931 0 0 0 2982 13 0 0 25 0 1 0 646451047 11067392 1852 4294967295 134512640 134714508 3221221760 3221220492 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1852 1111 63 0 2639 0
vsize: 10808
[startup+40.0024 s]
Raw data (loadavg): 0.96 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 1961 0 0 0 3980 15 0 0 25 0 1 0 646451047 11202560 1882 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2735 1882 1111 63 0 2672 0
vsize: 10940
[startup+50.0026 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 1991 0 0 0 4979 17 0 0 25 0 1 0 646451047 11333632 1912 4294967295 134512640 134714508 3221221760 3221220552 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2767 1912 1111 63 0 2704 0
vsize: 11068
[startup+60.0022 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2008 0 0 0 5977 19 0 0 25 0 1 0 646451047 11333632 1929 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2767 1929 1111 63 0 2704 0
vsize: 11068
[startup+70.0032 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2008 0 0 0 6975 21 0 0 25 0 1 0 646451047 11333632 1929 4294967295 134512640 134714508 3221221760 3221220428 1077378650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2767 1929 1111 63 0 2704 0
vsize: 11068
[startup+80.0034 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2046 0 0 0 7973 23 0 0 25 0 1 0 646451047 11603968 1967 4294967295 134512640 134714508 3221221760 3221220480 134591885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2833 1967 1111 63 0 2770 0
vsize: 11332
[startup+90.004 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2063 0 0 0 8972 25 0 0 25 0 1 0 646451047 11546624 1984 4294967295 134512640 134714508 3221221760 3221220368 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1984 1111 63 0 2756 0
vsize: 11276
[startup+100.004 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2070 0 0 0 9970 26 0 0 25 0 1 0 646451047 11661312 1991 4294967295 134512640 134714508 3221221760 3221220556 134554961 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2847 1991 1111 63 0 2784 0
vsize: 11388
[startup+110.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2074 0 0 0 10970 27 0 0 25 0 1 0 646451047 11661312 1995 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2847 1995 1111 63 0 2784 0
vsize: 11388
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32030
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2105 0 0 0 11968 29 0 0 25 0 1 0 646451047 11796480 2026 4294967295 134512640 134714508 3221221760 3221220400 134696097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 2026 1111 63 0 2817 0
vsize: 11520
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2133 0 0 0 12967 30 0 0 25 0 1 0 646451047 11931648 2054 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2913 2054 1111 63 0 2850 0
vsize: 11652
[startup+140.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2164 0 0 0 13966 32 0 0 25 0 1 0 646451047 12050432 2085 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2942 2085 1111 63 0 2879 0
vsize: 11768
[startup+150.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2168 0 0 0 14964 34 0 0 25 0 1 0 646451047 12050432 2089 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2942 2089 1111 63 0 2879 0
vsize: 11768
[startup+160.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2176 0 0 0 15962 35 0 0 25 0 1 0 646451047 12050432 2097 4294967295 134512640 134714508 3221221760 3221220448 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2942 2097 1111 63 0 2879 0
vsize: 11768
[startup+170.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2199 0 0 0 16961 37 0 0 25 0 1 0 646451047 12185600 2120 4294967295 134512640 134714508 3221221760 3221220416 134524132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2975 2120 1111 63 0 2912 0
vsize: 11900
[startup+180.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2214 0 0 0 17959 39 0 0 25 0 1 0 646451047 12185600 2135 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2975 2135 1111 63 0 2912 0
vsize: 11900
[startup+190.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2232 0 0 0 18958 40 0 0 25 0 1 0 646451047 12296192 2153 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3002 2153 1111 63 0 2939 0
vsize: 12008
[startup+200.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2249 0 0 0 19956 42 0 0 25 0 1 0 646451047 12419072 2170 4294967295 134512640 134714508 3221221760 3221220352 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3032 2170 1111 63 0 2969 0
vsize: 12128
[startup+210.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2252 0 0 0 20955 43 0 0 25 0 1 0 646451047 12419072 2173 4294967295 134512640 134714508 3221221760 3221220400 134696069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3032 2173 1111 63 0 2969 0
vsize: 12128
[startup+220.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2303 0 0 0 21954 45 0 0 25 0 1 0 646451047 12529664 2224 4294967295 134512640 134714508 3221221760 3221220368 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3059 2224 1111 63 0 2996 0
vsize: 12236
[startup+230.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2314 0 0 0 22953 46 0 0 25 0 1 0 646451047 12664832 2235 4294967295 134512640 134714508 3221221760 3221220388 1077374123 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3092 2235 1111 63 0 3029 0
vsize: 12368
[startup+240.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2319 0 0 0 23951 48 0 0 25 0 1 0 646451047 12664832 2240 4294967295 134512640 134714508 3221221760 3221220400 134613422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3092 2240 1111 63 0 3029 0
vsize: 12368
[startup+250.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2332 0 0 0 24949 50 0 0 25 0 1 0 646451047 12664832 2253 4294967295 134512640 134714508 3221221760 3221220480 134535795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3092 2253 1111 63 0 3029 0
vsize: 12368
[startup+260.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2338 0 0 0 25947 52 0 0 25 0 1 0 646451047 12800000 2259 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3125 2259 1111 63 0 3062 0
vsize: 12500
[startup+270.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2367 0 0 0 26946 54 0 0 25 0 1 0 646451047 12902400 2288 4294967295 134512640 134714508 3221221760 3221220388 134696248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3150 2288 1111 63 0 3087 0
vsize: 12600
[startup+280.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2383 0 0 0 27944 56 0 0 25 0 1 0 646451047 12902400 2304 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3150 2304 1111 63 0 3087 0
vsize: 12600
[startup+290.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2402 0 0 0 28943 57 0 0 25 0 1 0 646451047 13037568 2323 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2323 1111 63 0 3120 0
vsize: 12732
[startup+300.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2402 0 0 0 29943 57 0 0 25 0 1 0 646451047 13037568 2323 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2323 1111 63 0 3120 0
vsize: 12732
[startup+310.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2414 0 0 0 30941 59 0 0 25 0 1 0 646451047 13037568 2335 4294967295 134512640 134714508 3221221760 3221220236 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2335 1111 63 0 3120 0
vsize: 12732
[startup+320.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2430 0 0 0 31939 61 0 0 25 0 1 0 646451047 13168640 2351 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2351 1111 63 0 3152 0
vsize: 12860
[startup+330.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2430 0 0 0 32938 62 0 0 25 0 1 0 646451047 13168640 2351 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2351 1111 63 0 3152 0
vsize: 12860
[startup+340.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2430 0 0 0 33936 64 0 0 25 0 1 0 646451047 13160448 2351 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3213 2351 1111 63 0 3150 0
vsize: 12852
[startup+350.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2462 0 0 0 34935 66 0 0 25 0 1 0 646451047 13279232 2383 4294967295 134512640 134714508 3221221760 3221220412 134539582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3242 2383 1111 63 0 3179 0
vsize: 12968
[startup+360.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2471 0 0 0 35933 68 0 0 25 0 1 0 646451047 13279232 2392 4294967295 134512640 134714508 3221221760 3221220528 134592140 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3242 2392 1111 63 0 3179 0
vsize: 12968
[startup+370.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2492 0 0 0 36932 69 0 0 25 0 1 0 646451047 13414400 2413 4294967295 134512640 134714508 3221221760 3221220504 134551632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3275 2413 1111 63 0 3212 0
vsize: 13100
[startup+380.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2492 0 0 0 37930 71 0 0 25 0 1 0 646451047 13414400 2413 4294967295 134512640 134714508 3221221760 3221220488 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3275 2413 1111 63 0 3212 0
vsize: 13100
[startup+390.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2503 0 0 0 38930 72 0 0 25 0 1 0 646451047 13414400 2424 4294967295 134512640 134714508 3221221760 3221220376 134549509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3275 2424 1111 63 0 3212 0
vsize: 13100
[startup+400.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2508 0 0 0 39929 73 0 0 25 0 1 0 646451047 13414400 2429 4294967295 134512640 134714508 3221221760 3221220448 134594387 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3275 2429 1111 63 0 3212 0
vsize: 13100
[startup+410.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2537 0 0 0 40928 74 0 0 25 0 1 0 646451047 13549568 2458 4294967295 134512640 134714508 3221221760 3221220384 134696009 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2458 1111 63 0 3245 0
vsize: 13232
[startup+420.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2537 0 0 0 41927 76 0 0 25 0 1 0 646451047 13549568 2458 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2458 1111 63 0 3245 0
vsize: 13232
[startup+430.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2551 0 0 0 42925 77 0 0 25 0 1 0 646451047 13549568 2472 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2472 1111 63 0 3245 0
vsize: 13232
[startup+440.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2551 0 0 0 43924 78 0 0 25 0 1 0 646451047 13549568 2472 4294967295 134512640 134714508 3221221760 3221220524 134534136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2472 1111 63 0 3245 0
vsize: 13232
[startup+450.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2563 0 0 0 44923 80 0 0 25 0 1 0 646451047 13684736 2484 4294967295 134512640 134714508 3221221760 3221220400 134524129 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2484 1111 63 0 3278 0
vsize: 13364
[startup+460.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2577 0 0 0 45922 81 0 0 25 0 1 0 646451047 13684736 2498 4294967295 134512640 134714508 3221221760 3221220388 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2498 1111 63 0 3278 0
vsize: 13364
[startup+470.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2577 0 0 0 46921 82 0 0 25 0 1 0 646451047 13684736 2498 4294967295 134512640 134714508 3221221760 3221220528 134592137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2498 1111 63 0 3278 0
vsize: 13364
[startup+480.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2577 0 0 0 47920 83 0 0 25 0 1 0 646451047 13684736 2498 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2498 1111 63 0 3278 0
vsize: 13364
[startup+490.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2585 0 0 0 48919 84 0 0 25 0 1 0 646451047 13684736 2506 4294967295 134512640 134714508 3221221760 3221220164 134697324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+500.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2585 0 0 0 49918 86 0 0 25 0 1 0 646451047 13684736 2506 4294967295 134512640 134714508 3221221760 3221220368 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+510.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2585 0 0 0 50917 87 0 0 25 0 1 0 646451047 13684736 2506 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+520.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2585 0 0 0 51916 88 0 0 25 0 1 0 646451047 13684736 2506 4294967295 134512640 134714508 3221221760 3221220412 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+530.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2585 0 0 0 52915 89 0 0 25 0 1 0 646451047 13684736 2506 4294967295 134512640 134714508 3221221760 3221220156 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+540.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2585 0 0 0 53914 90 0 0 25 0 1 0 646451047 13684736 2506 4294967295 134512640 134714508 3221221760 3221220544 134529412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+550.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2585 0 0 0 54912 92 0 0 25 0 1 0 646451047 13684736 2506 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+560.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2585 0 0 0 55911 94 0 0 25 0 1 0 646451047 13684736 2506 4294967295 134512640 134714508 3221221760 3221220368 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+570.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2585 0 0 0 56910 95 0 0 25 0 1 0 646451047 13684736 2506 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+580.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2585 0 0 0 57908 97 0 0 25 0 1 0 646451047 13684736 2506 4294967295 134512640 134714508 3221221760 3221220480 134584814 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+590.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2586 0 0 0 58906 99 0 0 25 0 1 0 646451047 13684736 2507 4294967295 134512640 134714508 3221221760 3221220476 1076648032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2507 1111 63 0 3278 0
vsize: 13364
[startup+600.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2597 0 0 0 59904 101 0 0 25 0 1 0 646451047 13819904 2518 4294967295 134512640 134714508 3221221760 3221220328 1077377498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2518 1111 63 0 3311 0
vsize: 13496
[startup+610.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2598 0 0 0 60903 102 0 0 25 0 1 0 646451047 13819904 2519 4294967295 134512640 134714508 3221221760 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2519 1111 63 0 3311 0
vsize: 13496
[startup+620.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2598 0 0 0 61902 104 0 0 25 0 1 0 646451047 13819904 2519 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2519 1111 63 0 3311 0
vsize: 13496
[startup+630.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2598 0 0 0 62901 105 0 0 25 0 1 0 646451047 13819904 2519 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2519 1111 63 0 3311 0
vsize: 13496
[startup+640.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2605 0 0 0 63899 107 0 0 25 0 1 0 646451047 13819904 2526 4294967295 134512640 134714508 3221221760 3221220460 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2526 1111 63 0 3311 0
vsize: 13496
[startup+650.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2614 0 0 0 64898 108 0 0 25 0 1 0 646451047 13819904 2535 4294967295 134512640 134714508 3221221760 3221220400 134696069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2535 1111 63 0 3311 0
vsize: 13496
[startup+660.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2617 0 0 0 65897 109 0 0 25 0 1 0 646451047 13819904 2538 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2538 1111 63 0 3311 0
vsize: 13496
[startup+670.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2622 0 0 0 66896 111 0 0 25 0 1 0 646451047 13926400 2543 4294967295 134512640 134714508 3221221760 3221220352 134543710 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2543 1111 63 0 3337 0
vsize: 13600
[startup+680.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2638 0 0 0 67895 111 0 0 25 0 1 0 646451047 13914112 2559 4294967295 134512640 134714508 3221221760 3221220524 134552693 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3397 2559 1111 63 0 3334 0
vsize: 13588
[startup+690.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2659 0 0 0 68894 113 0 0 25 0 1 0 646451047 14032896 2580 4294967295 134512640 134714508 3221221760 3221220448 134534107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2580 1111 63 0 3363 0
vsize: 13704
[startup+700.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2666 0 0 0 69893 114 0 0 25 0 1 0 646451047 14032896 2587 4294967295 134512640 134714508 3221221760 3221220216 1077377507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2587 1111 63 0 3363 0
vsize: 13704
[startup+710.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2674 0 0 0 70891 116 0 0 25 0 1 0 646451047 14168064 2595 4294967295 134512640 134714508 3221221760 3221220368 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2595 1111 63 0 3396 0
vsize: 13836
[startup+720.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2681 0 0 0 71890 117 0 0 25 0 1 0 646451047 14168064 2602 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+730.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2681 0 0 0 72889 118 0 0 25 0 1 0 646451047 14168064 2602 4294967295 134512640 134714508 3221221760 3221220576 134590269 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+740.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2681 0 0 0 73888 120 0 0 25 0 1 0 646451047 14168064 2602 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+750.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2689 0 0 0 74886 121 0 0 25 0 1 0 646451047 14168064 2610 4294967295 134512640 134714508 3221221760 3221220316 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2610 1111 63 0 3396 0
vsize: 13836
[startup+760.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2702 0 0 0 75885 123 0 0 25 0 1 0 646451047 14168064 2623 4294967295 134512640 134714508 3221221760 3221220368 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2623 1111 63 0 3396 0
vsize: 13836
[startup+770.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2727 0 0 0 76884 124 0 0 25 0 1 0 646451047 14303232 2648 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2648 1111 63 0 3429 0
vsize: 13968
[startup+780.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2727 0 0 0 77882 126 0 0 25 0 1 0 646451047 14303232 2648 4294967295 134512640 134714508 3221221760 3221220252 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2648 1111 63 0 3429 0
vsize: 13968
[startup+790.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2736 0 0 0 78881 128 0 0 25 0 1 0 646451047 14303232 2657 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2657 1111 63 0 3429 0
vsize: 13968
[startup+800.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2741 0 0 0 79879 130 0 0 25 0 1 0 646451047 14397440 2662 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3515 2662 1111 63 0 3452 0
vsize: 14060
[startup+810.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2753 0 0 0 80878 131 0 0 25 0 1 0 646451047 14397440 2674 4294967295 134512640 134714508 3221221760 3221220516 134592339 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3515 2674 1111 63 0 3452 0
vsize: 14060
[startup+820.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2765 0 0 0 81877 132 0 0 25 0 1 0 646451047 14503936 2686 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3541 2686 1111 63 0 3478 0
vsize: 14164
[startup+830.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2779 0 0 0 82876 133 0 0 25 0 1 0 646451047 14503936 2700 4294967295 134512640 134714508 3221221760 3221220484 1076647544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3541 2700 1111 63 0 3478 0
vsize: 14164
[startup+840.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2784 0 0 0 83875 134 0 0 25 0 1 0 646451047 14503936 2705 4294967295 134512640 134714508 3221221760 3221220368 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3541 2705 1111 63 0 3478 0
vsize: 14164
[startup+850.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2798 0 0 0 84873 136 0 0 25 0 1 0 646451047 14639104 2719 4294967295 134512640 134714508 3221221760 3221220316 134535623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2719 1111 63 0 3511 0
vsize: 14296
[startup+860.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2798 0 0 0 85873 137 0 0 25 0 1 0 646451047 14639104 2719 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2719 1111 63 0 3511 0
vsize: 14296
[startup+870.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2798 0 0 0 86872 138 0 0 25 0 1 0 646451047 14639104 2719 4294967295 134512640 134714508 3221221760 3221220328 134613957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2719 1111 63 0 3511 0
vsize: 14296
[startup+880.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2815 0 0 0 87870 140 0 0 25 0 1 0 646451047 14639104 2736 4294967295 134512640 134714508 3221221760 3221220508 134551608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2736 1111 63 0 3511 0
vsize: 14296
[startup+890.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2817 0 0 0 88868 142 0 0 25 0 1 0 646451047 14639104 2738 4294967295 134512640 134714508 3221221760 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2738 1111 63 0 3511 0
vsize: 14296
[startup+900.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2845 0 0 0 89867 143 0 0 25 0 1 0 646451047 14766080 2766 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2766 1111 63 0 3542 0
vsize: 14420
[startup+910.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2845 0 0 0 90866 144 0 0 25 0 1 0 646451047 14766080 2766 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2766 1111 63 0 3542 0
vsize: 14420
[startup+920.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2845 0 0 0 91865 146 0 0 25 0 1 0 646451047 14766080 2766 4294967295 134512640 134714508 3221221760 3221219924 134697427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2766 1111 63 0 3542 0
vsize: 14420
[startup+930.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2865 0 0 0 92863 148 0 0 25 0 1 0 646451047 14901248 2786 4294967295 134512640 134714508 3221221760 3221220480 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2786 1111 63 0 3575 0
vsize: 14552
[startup+940.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2879 0 0 0 93862 149 0 0 25 0 1 0 646451047 14901248 2800 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2800 1111 63 0 3575 0
vsize: 14552
[startup+950.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2896 0 0 0 94861 151 0 0 25 0 1 0 646451047 15036416 2817 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+960.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2896 0 0 0 95859 153 0 0 25 0 1 0 646451047 15036416 2817 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+970.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2896 0 0 0 96857 154 0 0 25 0 1 0 646451047 15036416 2817 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+980.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2896 0 0 0 97857 155 0 0 25 0 1 0 646451047 15036416 2817 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+990.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2896 0 0 0 98856 156 0 0 25 0 1 0 646451047 15036416 2817 4294967295 134512640 134714508 3221221760 3221220464 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2896 0 0 0 99855 157 0 0 25 0 1 0 646451047 15036416 2817 4294967295 134512640 134714508 3221221760 3221220416 134524376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2896 0 0 0 100854 159 0 0 25 0 1 0 646451047 15036416 2817 4294967295 134512640 134714508 3221221760 3221220252 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2910 0 0 0 101853 160 0 0 25 0 1 0 646451047 15036416 2831 4294967295 134512640 134714508 3221221760 3221220488 134532455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2831 1111 63 0 3608 0
vsize: 14684
[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2910 0 0 0 102851 162 0 0 25 0 1 0 646451047 15036416 2831 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2831 1111 63 0 3608 0
vsize: 14684
[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2919 0 0 0 103850 163 0 0 25 0 1 0 646451047 15163392 2840 4294967295 134512640 134714508 3221221760 3221220368 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2840 1111 63 0 3639 0
vsize: 14808
[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2919 0 0 0 104849 164 0 0 25 0 1 0 646451047 15163392 2840 4294967295 134512640 134714508 3221221760 3221220328 1077377371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2840 1111 63 0 3639 0
vsize: 14808
[startup+1060.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2919 0 0 0 105847 166 0 0 25 0 1 0 646451047 15163392 2840 4294967295 134512640 134714508 3221221760 3221220516 134652855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2840 1111 63 0 3639 0
vsize: 14808
[startup+1070.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2928 0 0 0 106846 168 0 0 25 0 1 0 646451047 15147008 2849 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2849 1111 63 0 3635 0
vsize: 14792
[startup+1080.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2928 0 0 0 107845 169 0 0 25 0 1 0 646451047 15147008 2849 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2849 1111 63 0 3635 0
vsize: 14792
[startup+1090.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2928 0 0 0 108844 170 0 0 25 0 1 0 646451047 15147008 2849 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2849 1111 63 0 3635 0
vsize: 14792
[startup+1100.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2928 0 0 0 109843 171 0 0 25 0 1 0 646451047 15147008 2849 4294967295 134512640 134714508 3221221760 3221220500 134591993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2849 1111 63 0 3635 0
vsize: 14792
[startup+1110.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2954 0 0 0 110842 172 0 0 25 0 1 0 646451047 15200256 2875 4294967295 134512640 134714508 3221221760 3221220368 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3711 2875 1111 63 0 3648 0
vsize: 14844
[startup+1120.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2954 0 0 0 111840 174 0 0 25 0 1 0 646451047 15200256 2875 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3711 2875 1111 63 0 3648 0
vsize: 14844
[startup+1130.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2961 0 0 0 112839 175 0 0 25 0 1 0 646451047 15335424 2882 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1140.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2961 0 0 0 113838 177 0 0 25 0 1 0 646451047 15335424 2882 4294967295 134512640 134714508 3221221760 3221220512 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1150.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2961 0 0 0 114837 178 0 0 25 0 1 0 646451047 15335424 2882 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1160.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2961 0 0 0 115836 179 0 0 25 0 1 0 646451047 15335424 2882 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1170.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2961 0 0 0 116835 181 0 0 25 0 1 0 646451047 15335424 2882 4294967295 134512640 134714508 3221221760 3221220424 134552678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1174.9 s]
Raw data (loadavg): 0.99 1.00 0.99 1/53 32032
Raw data (stat): 32030 (bsolo_lpr_cuts) R 32029 7876 7672 0 -1 0 2961 0 0 0 116835 181 0 0 25 0 1 0 646451047 15335424 2882 4294967295 134512640 134714508 3221221760 3221220424 134552678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1173.21
CPU system time (s): 1.82272
CPU usage (%): 100.012
Max. virtual memory (Kb): 14976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####