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-fpga30_28_sat_pb.cnf.cr.opb
MD5SUM	888577ab8fe81abf9fdd366d65e4c3b7
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	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.810876
Number of variables	1260
Total number of constraints	926
Number of constraints which are clauses	868
Number of constraints which are cardinality constraints (but not clauses)	58
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 23368

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 20:41:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=407 boxname=wulflinc31 idbench=46 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  888577ab8fe81abf9fdd366d65e4c3b7  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_28_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_28_sat_pb.cnf.cr.opb
IDLAUNCH: 407
/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:        926076 kB
Buffers:         38772 kB
Cached:          47732 kB
SwapCached:        944 kB
Active:          72920 kB
Inactive:        16092 kB
HighTotal:      131008 kB
HighFree:        82208 kB
LowTotal:       903652 kB
LowFree:        843868 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14000 kB
Committed_AS:    63684 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 21:01:12 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 407 7 1175.04 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 1260 variables and 926 constraints.
c After prepocess the problem consists of 1260 variables and 926 constraints.
c preprocess terminated 1.678 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.92 0.97 0.95 2/54 28140
Raw data (stat): 28140 (runsolver) R 28139 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 643077407 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+10.0013 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 1467 0 0 0 989 6 0 0 25 0 1 0 643077407 9129984 1388 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2229 1388 1111 63 0 2166 0
vsize: 8916
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 1527 0 0 0 1987 8 0 0 25 0 1 0 643077407 9400320 1448 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2295 1448 1111 63 0 2232 0
vsize: 9180
[startup+30.002 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 1584 0 0 0 2986 10 0 0 25 0 1 0 643077407 9654272 1505 4294967295 134512640 134714508 3221221760 3221220544 134529217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2357 1505 1111 63 0 2294 0
vsize: 9428
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 1624 0 0 0 3984 12 0 0 25 0 1 0 643077407 9789440 1545 4294967295 134512640 134714508 3221221760 3221220388 134696229 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2390 1545 1111 63 0 2327 0
vsize: 9560
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 1680 0 0 0 4983 13 0 0 25 0 1 0 643077407 10059776 1601 4294967295 134512640 134714508 3221221760 3221220268 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2456 1601 1111 63 0 2393 0
vsize: 9824
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 1892 0 0 0 5981 15 0 0 25 0 1 0 643077407 10870784 1813 4294967295 134512640 134714508 3221221760 3221220404 134613632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2654 1813 1111 63 0 2591 0
vsize: 10616
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2010 0 0 0 6980 17 0 0 25 0 1 0 643077407 11411456 1931 4294967295 134512640 134714508 3221221760 3221220496 134523939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1931 1111 63 0 2723 0
vsize: 11144
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2010 0 0 0 7980 17 0 0 25 0 1 0 643077407 11276288 1927 4294967295 134512640 134714508 3221221760 3221220416 1077378571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2753 1927 1111 63 0 2690 0
vsize: 11012
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2010 0 0 0 8980 17 0 0 25 0 1 0 643077407 11276288 1927 4294967295 134512640 134714508 3221221760 3221220232 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2753 1927 1111 63 0 2690 0
vsize: 11012
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2010 0 0 0 9979 18 0 0 25 0 1 0 643077407 11276288 1927 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2753 1927 1111 63 0 2690 0
vsize: 11012
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2025 0 0 0 10978 20 0 0 25 0 1 0 643077407 11411456 1942 4294967295 134512640 134714508 3221221760 3221220432 134524436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1942 1111 63 0 2723 0
vsize: 11144
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2025 0 0 0 11977 20 0 0 25 0 1 0 643077407 11411456 1942 4294967295 134512640 134714508 3221221760 3221220416 134523904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1942 1111 63 0 2723 0
vsize: 11144
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2034 0 0 0 12977 21 0 0 25 0 1 0 643077407 11411456 1951 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1951 1111 63 0 2723 0
vsize: 11144
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2100 0 0 0 13976 22 0 0 25 0 1 0 643077407 11681792 2017 4294967295 134512640 134714508 3221221760 3221220164 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2852 2017 1111 63 0 2789 0
vsize: 11408
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2115 0 0 0 14975 24 0 0 25 0 1 0 643077407 11816960 2032 4294967295 134512640 134714508 3221221760 3221220364 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2885 2032 1111 63 0 2822 0
vsize: 11540
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2148 0 0 0 15974 24 0 0 25 0 1 0 643077407 11952128 2065 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2918 2065 1111 63 0 2855 0
vsize: 11672
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2178 0 0 0 16974 25 0 0 25 0 1 0 643077407 12087296 2095 4294967295 134512640 134714508 3221221760 3221220320 134696528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2951 2095 1111 63 0 2888 0
vsize: 11804
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2197 0 0 0 17972 26 0 0 25 0 1 0 643077407 12152832 2114 4294967295 134512640 134714508 3221221760 3221220400 134695995 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2967 2114 1111 63 0 2904 0
vsize: 11868
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2227 0 0 0 18971 28 0 0 25 0 1 0 643077407 12238848 2144 4294967295 134512640 134714508 3221221760 3221220352 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2144 1111 63 0 2925 0
vsize: 11952
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2244 0 0 0 19970 29 0 0 25 0 1 0 643077407 12238848 2161 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2161 1111 63 0 2925 0
vsize: 11952
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2264 0 0 0 20970 29 0 0 25 0 1 0 643077407 12320768 2181 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3008 2181 1111 63 0 2945 0
vsize: 12032
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2274 0 0 0 21969 30 0 0 25 0 1 0 643077407 12455936 2191 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3041 2191 1111 63 0 2978 0
vsize: 12164
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2274 0 0 0 22968 31 0 0 25 0 1 0 643077407 12455936 2191 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3041 2191 1111 63 0 2978 0
vsize: 12164
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2284 0 0 0 23968 32 0 0 25 0 1 0 643077407 12455936 2201 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3041 2201 1111 63 0 2978 0
vsize: 12164
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2288 0 0 0 24966 34 0 0 25 0 1 0 643077407 12455936 2205 4294967295 134512640 134714508 3221221760 3221220400 134536653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3041 2205 1111 63 0 2978 0
vsize: 12164
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2304 0 0 0 25966 34 0 0 25 0 1 0 643077407 12578816 2221 4294967295 134512640 134714508 3221221760 3221220380 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2221 1111 63 0 3008 0
vsize: 12284
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2304 0 0 0 26965 36 0 0 25 0 1 0 643077407 12578816 2221 4294967295 134512640 134714508 3221221760 3221220176 134697239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2221 1111 63 0 3008 0
vsize: 12284
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2314 0 0 0 27964 36 0 0 25 0 1 0 643077407 12578816 2231 4294967295 134512640 134714508 3221221760 3221220384 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2231 1111 63 0 3008 0
vsize: 12284
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2314 0 0 0 28963 38 0 0 25 0 1 0 643077407 12578816 2231 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2231 1111 63 0 3008 0
vsize: 12284
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2314 0 0 0 29962 39 0 0 25 0 1 0 643077407 12578816 2231 4294967295 134512640 134714508 3221221760 3221220544 134528840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2231 1111 63 0 3008 0
vsize: 12284
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2355 0 0 0 30961 40 0 0 25 0 1 0 643077407 12713984 2272 4294967295 134512640 134714508 3221221760 3221220392 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3104 2272 1111 63 0 3041 0
vsize: 12416
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2377 0 0 0 31960 41 0 0 25 0 1 0 643077407 12828672 2294 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3132 2294 1111 63 0 3069 0
vsize: 12528
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2492 0 0 0 32960 42 0 0 25 0 1 0 643077407 13377536 2409 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3266 2409 1111 63 0 3203 0
vsize: 13064
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2571 0 0 0 33959 43 0 0 25 0 1 0 643077407 13643776 2488 4294967295 134512640 134714508 3221221760 3221220464 134535807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2488 1111 63 0 3268 0
vsize: 13324
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2571 0 0 0 34958 44 0 0 25 0 1 0 643077407 13643776 2488 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2488 1111 63 0 3268 0
vsize: 13324
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2584 0 0 0 35958 44 0 0 25 0 1 0 643077407 13643776 2501 4294967295 134512640 134714508 3221221760 3221220344 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2501 1111 63 0 3268 0
vsize: 13324
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2630 0 0 0 36957 46 0 0 25 0 1 0 643077407 13914112 2547 4294967295 134512640 134714508 3221221760 3221220244 134697354 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3397 2547 1111 63 0 3334 0
vsize: 13588
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2765 0 0 0 37955 47 0 0 25 0 1 0 643077407 14454784 2682 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3529 2682 1111 63 0 3466 0
vsize: 14116
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2895 0 0 0 38955 48 0 0 25 0 1 0 643077407 14987264 2812 4294967295 134512640 134714508 3221221760 3221220352 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3659 2812 1111 63 0 3596 0
vsize: 14636
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 2928 0 0 0 39953 50 0 0 25 0 1 0 643077407 15118336 2845 4294967295 134512640 134714508 3221221760 3221220544 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3691 2845 1111 63 0 3628 0
vsize: 14764
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3006 0 0 0 40952 51 0 0 25 0 1 0 643077407 15388672 2923 4294967295 134512640 134714508 3221221760 3221220420 134613669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2923 1111 63 0 3694 0
vsize: 15028
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3049 0 0 0 41950 53 0 0 25 0 1 0 643077407 15659008 2966 4294967295 134512640 134714508 3221221760 3221220200 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3823 2967 1111 63 0 3760 0
vsize: 15292
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3197 0 0 0 42949 54 0 0 25 0 1 0 643077407 16183296 3114 4294967295 134512640 134714508 3221221760 3221220348 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3951 3114 1111 63 0 3888 0
vsize: 15804
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3246 0 0 0 43947 57 0 0 25 0 1 0 643077407 16453632 3163 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4017 3163 1111 63 0 3954 0
vsize: 16068
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3308 0 0 0 44944 59 0 0 25 0 1 0 643077407 16707584 3225 4294967295 134512640 134714508 3221221760 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4079 3225 1111 63 0 4016 0
vsize: 16316
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3370 0 0 0 45943 61 0 0 25 0 1 0 643077407 16973824 3287 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4144 3287 1111 63 0 4081 0
vsize: 16576
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3432 0 0 0 46942 62 0 0 25 0 1 0 643077407 17108992 3349 4294967295 134512640 134714508 3221221760 3221220464 134528702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3349 1111 63 0 4114 0
vsize: 16708
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3432 0 0 0 47941 63 0 0 25 0 1 0 643077407 17108992 3349 4294967295 134512640 134714508 3221221760 3221220316 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3349 1111 63 0 4114 0
vsize: 16708
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3434 0 0 0 48940 64 0 0 25 0 1 0 643077407 17108992 3351 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3351 1111 63 0 4114 0
vsize: 16708
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3457 0 0 0 49939 66 0 0 25 0 1 0 643077407 17240064 3374 4294967295 134512640 134714508 3221221760 3221220400 134696069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4209 3374 1111 63 0 4146 0
vsize: 16836
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3485 0 0 0 50938 67 0 0 25 0 1 0 643077407 17375232 3402 4294967295 134512640 134714508 3221221760 3221220544 134585106 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4242 3402 1111 63 0 4179 0
vsize: 16968
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3594 0 0 0 51935 70 0 0 25 0 1 0 643077407 17780736 3511 4294967295 134512640 134714508 3221221760 3221220352 134549588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3511 1111 63 0 4278 0
vsize: 17364
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3647 0 0 0 52934 71 0 0 25 0 1 0 643077407 18051072 3564 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4407 3564 1111 63 0 4344 0
vsize: 17628
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3648 0 0 0 53934 72 0 0 25 0 1 0 643077407 18051072 3565 4294967295 134512640 134714508 3221221760 3221220320 134696410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4407 3565 1111 63 0 4344 0
vsize: 17628
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3658 0 0 0 54932 73 0 0 25 0 1 0 643077407 18051072 3575 4294967295 134512640 134714508 3221221760 3221220400 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4407 3575 1111 63 0 4344 0
vsize: 17628
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3685 0 0 0 55931 75 0 0 25 0 1 0 643077407 18186240 3602 4294967295 134512640 134714508 3221221760 3221220528 134592137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3602 1111 63 0 4377 0
vsize: 17760
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3734 0 0 0 56929 77 0 0 25 0 1 0 643077407 18452480 3651 4294967295 134512640 134714508 3221221760 3221220544 134529412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4505 3651 1111 63 0 4442 0
vsize: 18020
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3810 0 0 0 57927 79 0 0 25 0 1 0 643077407 18722816 3727 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3727 1111 63 0 4508 0
vsize: 18284
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3890 0 0 0 58925 81 0 0 25 0 1 0 643077407 18993152 3807 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4637 3807 1111 63 0 4574 0
vsize: 18548
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3927 0 0 0 59923 83 0 0 25 0 1 0 643077407 19255296 3844 4294967295 134512640 134714508 3221221760 3221220572 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4701 3844 1111 63 0 4638 0
vsize: 18804
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 3984 0 0 0 60922 85 0 0 25 0 1 0 643077407 19386368 3901 4294967295 134512640 134714508 3221221760 3221220524 134552684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4733 3901 1111 63 0 4670 0
vsize: 18932
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4012 0 0 0 61921 86 0 0 25 0 1 0 643077407 19521536 3929 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3929 1111 63 0 4703 0
vsize: 19064
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4014 0 0 0 62919 88 0 0 25 0 1 0 643077407 19521536 3931 4294967295 134512640 134714508 3221221760 3221220496 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3931 1111 63 0 4703 0
vsize: 19064
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4034 0 0 0 63918 89 0 0 25 0 1 0 643077407 19656704 3951 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4799 3951 1111 63 0 4736 0
vsize: 19196
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4114 0 0 0 64916 92 0 0 25 0 1 0 643077407 19927040 4031 4294967295 134512640 134714508 3221221760 3221220512 134534148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4031 1111 63 0 4802 0
vsize: 19460
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4158 0 0 0 65915 93 0 0 25 0 1 0 643077407 20197376 4075 4294967295 134512640 134714508 3221221760 3221220512 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4075 1111 63 0 4868 0
vsize: 19724
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4165 0 0 0 66914 94 0 0 25 0 1 0 643077407 20197376 4082 4294967295 134512640 134714508 3221221760 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4082 1111 63 0 4868 0
vsize: 19724
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4220 0 0 0 67912 96 0 0 25 0 1 0 643077407 20332544 4137 4294967295 134512640 134714508 3221221760 3221220528 134529113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4964 4137 1111 63 0 4901 0
vsize: 19856
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4255 0 0 0 68912 97 0 0 25 0 1 0 643077407 20602880 4172 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5030 4172 1111 63 0 4967 0
vsize: 20120
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4259 0 0 0 69910 98 0 0 25 0 1 0 643077407 20602880 4176 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5030 4176 1111 63 0 4967 0
vsize: 20120
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4278 0 0 0 70909 100 0 0 25 0 1 0 643077407 20602880 4195 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5030 4195 1111 63 0 4967 0
vsize: 20120
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4300 0 0 0 71908 101 0 0 25 0 1 0 643077407 20738048 4217 4294967295 134512640 134714508 3221221760 3221220368 134523345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4217 1111 63 0 5000 0
vsize: 20252
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4310 0 0 0 72907 102 0 0 25 0 1 0 643077407 20738048 4227 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4227 1111 63 0 5000 0
vsize: 20252
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4310 0 0 0 73907 103 0 0 25 0 1 0 643077407 20738048 4227 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4227 1111 63 0 5000 0
vsize: 20252
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4324 0 0 0 74905 104 0 0 25 0 1 0 643077407 20873216 4241 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5096 4241 1111 63 0 5033 0
vsize: 20384
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4358 0 0 0 75904 105 0 0 25 0 1 0 643077407 21008384 4275 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5129 4275 1111 63 0 5066 0
vsize: 20516
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4380 0 0 0 76904 106 0 0 25 0 1 0 643077407 21008384 4297 4294967295 134512640 134714508 3221221760 3221220568 134558585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5129 4297 1111 63 0 5066 0
vsize: 20516
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4414 0 0 0 77902 108 0 0 25 0 1 0 643077407 21123072 4331 4294967295 134512640 134714508 3221221760 3221220384 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5157 4331 1111 63 0 5094 0
vsize: 20628
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4470 0 0 0 78902 109 0 0 25 0 1 0 643077407 21364736 4387 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5216 4387 1111 63 0 5153 0
vsize: 20864
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4619 0 0 0 79900 110 0 0 25 0 1 0 643077407 22020096 4536 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5376 4536 1111 63 0 5313 0
vsize: 21504
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4673 0 0 0 80899 112 0 0 25 0 1 0 643077407 22286336 4590 4294967295 134512640 134714508 3221221760 3221220520 134592382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5441 4590 1111 63 0 5378 0
vsize: 21764
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4706 0 0 0 81898 113 0 0 25 0 1 0 643077407 22421504 4623 4294967295 134512640 134714508 3221221760 3221220448 134528605 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4623 1111 63 0 5411 0
vsize: 21896
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4706 0 0 0 82897 114 0 0 25 0 1 0 643077407 22421504 4623 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4623 1111 63 0 5411 0
vsize: 21896
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4720 0 0 0 83896 116 0 0 25 0 1 0 643077407 22421504 4637 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4637 1111 63 0 5411 0
vsize: 21896
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4726 0 0 0 84894 117 0 0 25 0 1 0 643077407 22421504 4643 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4643 1111 63 0 5411 0
vsize: 21896
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4747 0 0 0 85894 118 0 0 25 0 1 0 643077407 22556672 4664 4294967295 134512640 134714508 3221221760 3221220316 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5507 4664 1111 63 0 5444 0
vsize: 22028
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4764 0 0 0 86893 119 0 0 25 0 1 0 643077407 22556672 4681 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5507 4681 1111 63 0 5444 0
vsize: 22028
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4781 0 0 0 87891 121 0 0 25 0 1 0 643077407 22691840 4698 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5540 4698 1111 63 0 5477 0
vsize: 22160
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4838 0 0 0 88891 122 0 0 25 0 1 0 643077407 22962176 4755 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4755 1111 63 0 5543 0
vsize: 22424
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4878 0 0 0 89890 123 0 0 25 0 1 0 643077407 23097344 4795 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5639 4795 1111 63 0 5576 0
vsize: 22556
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4926 0 0 0 90888 124 0 0 25 0 1 0 643077407 23232512 4843 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5672 4843 1111 63 0 5609 0
vsize: 22688
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 4984 0 0 0 91887 126 0 0 25 0 1 0 643077407 23482368 4901 4294967295 134512640 134714508 3221221760 3221220460 134534084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5733 4901 1111 63 0 5670 0
vsize: 22932
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5002 0 0 0 92885 128 0 0 25 0 1 0 643077407 23617536 4919 4294967295 134512640 134714508 3221221760 3221220508 134672920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5766 4919 1111 63 0 5703 0
vsize: 23064
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5002 0 0 0 93884 129 0 0 25 0 1 0 643077407 23617536 4919 4294967295 134512640 134714508 3221221760 3221220320 134696542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5766 4919 1111 63 0 5703 0
vsize: 23064
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5020 0 0 0 94883 131 0 0 25 0 1 0 643077407 23617536 4937 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5766 4937 1111 63 0 5703 0
vsize: 23064
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5067 0 0 0 95882 131 0 0 25 0 1 0 643077407 23879680 4984 4294967295 134512640 134714508 3221221760 3221220388 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5123 0 0 0 96881 133 0 0 25 0 1 0 643077407 24150016 5040 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5040 1111 63 0 5833 0
vsize: 23584
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5139 0 0 0 97880 134 0 0 25 0 1 0 643077407 24150016 5056 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5056 1111 63 0 5833 0
vsize: 23584
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5139 0 0 0 98879 135 0 0 25 0 1 0 643077407 24150016 5056 4294967295 134512640 134714508 3221221760 3221220488 1076647870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5056 1111 63 0 5833 0
vsize: 23584
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5171 0 0 0 99878 136 0 0 25 0 1 0 643077407 24285184 5088 4294967295 134512640 134714508 3221221760 3221220492 134554929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5929 5088 1111 63 0 5866 0
vsize: 23716
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5213 0 0 0 100878 137 0 0 25 0 1 0 643077407 24420352 5130 4294967295 134512640 134714508 3221221760 3221220544 134528840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5962 5130 1111 63 0 5899 0
vsize: 23848
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5240 0 0 0 101877 138 0 0 25 0 1 0 643077407 24555520 5157 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5995 5157 1111 63 0 5932 0
vsize: 23980
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5267 0 0 0 102876 139 0 0 25 0 1 0 643077407 24662016 5184 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6021 5184 1111 63 0 5958 0
vsize: 24084
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5296 0 0 0 103874 141 0 0 25 0 1 0 643077407 24793088 5213 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6053 5213 1111 63 0 5990 0
vsize: 24212
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5377 0 0 0 104872 143 0 0 25 0 1 0 643077407 25161728 5294 4294967295 134512640 134714508 3221221760 3221220400 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6143 5294 1111 63 0 6080 0
vsize: 24572
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5391 0 0 0 105871 144 0 0 25 0 1 0 643077407 25161728 5308 4294967295 134512640 134714508 3221221760 3221220392 134536668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6143 5308 1111 63 0 6080 0
vsize: 24572
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5400 0 0 0 106870 146 0 0 25 0 1 0 643077407 25161728 5317 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6143 5317 1111 63 0 6080 0
vsize: 24572
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5463 0 0 0 107869 147 0 0 25 0 1 0 643077407 25427968 5380 4294967295 134512640 134714508 3221221760 3221220316 134536825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5380 1111 63 0 6145 0
vsize: 24832
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5463 0 0 0 108868 148 0 0 25 0 1 0 643077407 25427968 5380 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5380 1111 63 0 6145 0
vsize: 24832
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28140
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5463 0 0 0 109868 148 0 0 25 0 1 0 643077407 25427968 5380 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5380 1111 63 0 6145 0
vsize: 24832
[startup+1110.04 s]
Raw data (loadavg): 1.23 1.02 0.97 3/57 28181
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5463 0 0 0 110866 150 0 0 25 0 1 0 643077407 25427968 5380 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5380 1111 63 0 6145 0
vsize: 24832
[startup+1120.04 s]
Raw data (loadavg): 1.20 1.02 0.97 2/54 28193
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5463 0 0 0 111865 152 0 0 25 0 1 0 643077407 25427968 5380 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5380 1111 63 0 6145 0
vsize: 24832
[startup+1130.04 s]
Raw data (loadavg): 1.17 1.02 0.97 2/54 28193
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5469 0 0 0 112863 153 0 0 25 0 1 0 643077407 25563136 5386 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6241 5386 1111 63 0 6178 0
vsize: 24964
[startup+1140.04 s]
Raw data (loadavg): 1.14 1.02 0.97 2/54 28193
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5475 0 0 0 113862 154 0 0 25 0 1 0 643077407 25563136 5392 4294967295 134512640 134714508 3221221760 3221220388 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6241 5392 1111 63 0 6178 0
vsize: 24964
[startup+1150.04 s]
Raw data (loadavg): 1.12 1.02 0.97 2/54 28193
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5521 0 0 0 114861 156 0 0 25 0 1 0 643077407 25698304 5438 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6274 5438 1111 63 0 6211 0
vsize: 25096
[startup+1160.04 s]
Raw data (loadavg): 1.10 1.02 0.97 2/54 28193
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5525 0 0 0 115859 157 0 0 25 0 1 0 643077407 25698304 5442 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6274 5442 1111 63 0 6211 0
vsize: 25096
[startup+1170.04 s]
Raw data (loadavg): 1.08 1.01 0.97 2/54 28193
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5525 0 0 0 116859 159 0 0 25 0 1 0 643077407 25698304 5442 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6274 5442 1111 63 0 6211 0
vsize: 25096
[startup+1174.9 s]
Raw data (loadavg): 1.08 1.01 0.97 1/53 28193
Raw data (stat): 28140 (bsolo_lpr_cuts) R 28139 7876 7672 0 -1 0 5525 0 0 0 116859 159 0 0 25 0 1 0 643077407 25698304 5442 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6274 5442 1111 63 0 6211 0
vsize: 0

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