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-fpga10_10_sat_pb.cnf.cr.opb
MD5SUM	5a251e27b2dc8cbc7d3f3836a6772e10
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	11
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.044992
Number of variables	150
Total number of constraints	130
Number of constraints which are clauses	110
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	10
Trace number 23143

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-30 19:47:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2 boxname=wulflinc31 idbench=1 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5a251e27b2dc8cbc7d3f3836a6772e10  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_10_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_10_sat_pb.cnf.cr.opb
IDLAUNCH: 2
/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:        933640 kB
Buffers:         34908 kB
Cached:          44060 kB
SwapCached:        864 kB
Active:          59868 kB
Inactive:        21400 kB
HighTotal:      131008 kB
HighFree:        85988 kB
LowTotal:       903652 kB
LowFree:        847652 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            14172 kB
Committed_AS:    63668 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-30 20:02:59 (client local time) WITH STATUS 10 IN 929.355 SECONDS
stats: 2 0 929.355 10
#### 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 150 variables and 130 constraints.
c After prepocess the problem consists of 150 variables and 130 constraints.
c preprocess terminated 0.081 s
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 0 @ 929.273
s SATISFIABLE
v -v30 v146 -v147 -v148 -v149 -v150 -v80 v39 -v141 -v142 v143 -v144 -v145 v27 -v131 -v132 -v133 -v134 v135 -v18 -v136 -v137 -v138 v139 -v140 -v11 -v12 -v13 -v14 -v15 v16 -v17 -v19 -v20 -v40 -v81 -v82 -v83 -v84 -v85 -v86 -v87 -v88 -v89 v90 -v49 -v93 v111 -v112 -v113 -v114 -v115 -v73 -v21 -v101 -v102 -v103 v104 -v105 -v7 -v106 -v107 v108 -v109 -v110 -v75 -v121 -v122 -v123 -v124 v125 -v65 -v9 -v35 -v99 -v31 -v61 -v8 -v24 -v116 v117 -v118 -v119 -v120 -v22 -v23 -v25 -v26 -v28 -v29 -v52 v78 -v70 v45 -v50 -v97 -v126 v127 -v128 -v129 -v130 -v1 v2 -v3 -v4 -v5 -v6 -v10 -v62 -v36 -v32 -v46 -v55 -v33 -v58 -v96 -v98 -v79 -v59 -v37 -v63 v64 -v66 -v67 -v68 -v69 -v47 v91 -v44 -v76 -v34 -v38 -v92 -v94 -v95 -v100 -v54 -v72 v53 -v57 -v41 -v42 -v43 -v48 -v60 -v71 -v74 -v77 -v51 -v56 
c Exit Code: 10
c Total time: 929.274 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.93 0.60 2/54 3873
Raw data (stat): 3873 (runsolver) R 3872 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 625470661 1056768 100 4294967295 134512640 135381576 3221221632 3221216848 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.93 0.60 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 2147 0 0 0 985 11 0 0 25 0 1 0 625470661 11833344 2068 4294967295 134512640 134714508 3221221728 3221220384 134523856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2889 2068 1111 63 0 2826 0
vsize: 11556
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.93 0.61 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 3393 0 0 0 1979 16 0 0 25 0 1 0 625470661 17104896 3314 4294967295 134512640 134714508 3221221728 3221220368 134696103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4176 3314 1111 63 0 4113 0
vsize: 16704
[startup+30.002 s]
Raw data (loadavg): 0.95 0.93 0.61 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 4347 0 0 0 2974 22 0 0 25 0 1 0 625470661 21049344 4267 4294967295 134512640 134714508 3221221728 3221220320 134549517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5139 4267 1111 63 0 5076 0
vsize: 20556
[startup+40.003 s]
Raw data (loadavg): 0.96 0.93 0.62 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 5007 0 0 0 3970 26 0 0 25 0 1 0 625470661 23793664 4926 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5809 4926 1111 63 0 5746 0
vsize: 23236
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.94 0.62 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 5773 0 0 0 4967 29 0 0 25 0 1 0 625470661 26931200 5689 4294967295 134512640 134714508 3221221728 3221220320 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6575 5689 1111 63 0 6512 0
vsize: 26300
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.94 0.62 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 6324 0 0 0 5963 33 0 0 25 0 1 0 625470661 29245440 6240 4294967295 134512640 134714508 3221221728 3221220372 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7140 6240 1111 63 0 7077 0
vsize: 28560
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.94 0.63 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 7215 0 0 0 6958 38 0 0 25 0 1 0 625470661 32894976 7131 4294967295 134512640 134714508 3221221728 3221220284 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8031 7131 1111 63 0 7968 0
vsize: 32124
[startup+80.0064 s]
Raw data (loadavg): 0.98 0.94 0.63 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 7846 0 0 0 7956 40 0 0 25 0 1 0 625470661 35463168 7762 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8658 7762 1111 63 0 8595 0
vsize: 34632
[startup+90.0074 s]
Raw data (loadavg): 0.98 0.94 0.64 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 8296 0 0 0 8954 42 0 0 25 0 1 0 625470661 37240832 8210 4294967295 134512640 134714508 3221221728 3221220384 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9092 8210 1111 63 0 9029 0
vsize: 36368
[startup+100.007 s]
Raw data (loadavg): 0.98 0.94 0.64 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 8688 0 0 0 9952 45 0 0 25 0 1 0 625470661 38866944 8602 4294967295 134512640 134714508 3221221728 3221220320 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9489 8602 1111 63 0 9426 0
vsize: 37956
[startup+110.008 s]
Raw data (loadavg): 0.98 0.94 0.64 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 9184 0 0 0 10950 47 0 0 25 0 1 0 625470661 40894464 9098 4294967295 134512640 134714508 3221221728 3221220320 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9984 9098 1111 63 0 9921 0
vsize: 39936
[startup+120.008 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 9681 0 0 0 11948 49 0 0 25 0 1 0 625470661 42921984 9595 4294967295 134512640 134714508 3221221728 3221220304 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10479 9595 1111 63 0 10416 0
vsize: 41916
[startup+130.008 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 10116 0 0 0 12946 51 0 0 25 0 1 0 625470661 44826624 10028 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10944 10028 1111 63 0 10881 0
vsize: 43776
[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 10500 0 0 0 13944 53 0 0 25 0 1 0 625470661 46313472 10412 4294967295 134512640 134714508 3221221728 3221220300 134535488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11307 10412 1111 63 0 11244 0
vsize: 45228
[startup+150.01 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 10808 0 0 0 14943 54 0 0 25 0 1 0 625470661 47665152 10720 4294967295 134512640 134714508 3221221728 3221220512 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11637 10720 1111 63 0 11574 0
vsize: 46548
[startup+160.01 s]
Raw data (loadavg): 0.99 0.95 0.66 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 11208 0 0 0 15942 56 0 0 25 0 1 0 625470661 49295360 11119 4294967295 134512640 134714508 3221221728 3221220384 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12035 11119 1111 63 0 11972 0
vsize: 48140
[startup+170.011 s]
Raw data (loadavg): 0.99 0.95 0.66 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 11470 0 0 0 16941 57 0 0 25 0 1 0 625470661 50241536 11380 4294967295 134512640 134714508 3221221728 3221220284 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12266 11380 1111 63 0 12203 0
vsize: 49064
[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.66 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 11756 0 0 0 17939 59 0 0 25 0 1 0 625470661 51458048 11666 4294967295 134512640 134714508 3221221728 3221220168 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12563 11666 1111 63 0 12500 0
vsize: 50252
[startup+190.012 s]
Raw data (loadavg): 0.99 0.95 0.67 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 11990 0 0 0 18938 60 0 0 25 0 1 0 625470661 52420608 11900 4294967295 134512640 134714508 3221221728 3221220512 134529192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12798 11900 1111 63 0 12735 0
vsize: 51192
[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.67 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 12206 0 0 0 19937 61 0 0 25 0 1 0 625470661 53403648 12116 4294967295 134512640 134714508 3221221728 3221220440 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13038 12116 1111 63 0 12975 0
vsize: 52152
[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.67 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 12406 0 0 0 20936 62 0 0 25 0 1 0 625470661 54079488 12316 4294967295 134512640 134714508 3221221728 3221220304 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13203 12316 1111 63 0 13140 0
vsize: 52812
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 12657 0 0 0 21935 64 0 0 25 0 1 0 625470661 55185408 12567 4294967295 134512640 134714508 3221221728 3221220320 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13473 12567 1111 63 0 13410 0
vsize: 53892
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 12871 0 0 0 22934 65 0 0 25 0 1 0 625470661 56156160 12779 4294967295 134512640 134714508 3221221728 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13710 12779 1111 63 0 13647 0
vsize: 54840
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 13026 0 0 0 23934 66 0 0 25 0 1 0 625470661 56881152 12934 4294967295 134512640 134714508 3221221728 3221220224 134535335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13887 12934 1111 63 0 13824 0
vsize: 55548
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 13227 0 0 0 24933 67 0 0 25 0 1 0 625470661 57696256 13135 4294967295 134512640 134714508 3221221728 3221220296 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14086 13135 1111 63 0 14023 0
vsize: 56344
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.69 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 13384 0 0 0 25932 68 0 0 25 0 1 0 625470661 58249216 13292 4294967295 134512640 134714508 3221221728 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14221 13292 1111 63 0 14158 0
vsize: 56884
[startup+270.015 s]
Raw data (loadavg): 0.99 0.96 0.69 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 13683 0 0 0 26932 68 0 0 25 0 1 0 625470661 59609088 13591 4294967295 134512640 134714508 3221221728 3221220288 134542365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14553 13591 1111 63 0 14490 0
vsize: 58212
[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.69 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 14470 0 0 0 27929 71 0 0 25 0 1 0 625470661 62857216 14378 4294967295 134512640 134714508 3221221728 3221220284 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15346 14378 1111 63 0 15283 0
vsize: 61384
[startup+290.017 s]
Raw data (loadavg): 0.99 0.96 0.70 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 15048 0 0 0 28927 73 0 0 25 0 1 0 625470661 65155072 14956 4294967295 134512640 134714508 3221221728 3221220456 134535787 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15907 14956 1111 63 0 15844 0
vsize: 63628
[startup+300.017 s]
Raw data (loadavg): 0.99 0.96 0.70 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 15513 0 0 0 29925 76 0 0 25 0 1 0 625470661 67047424 15421 4294967295 134512640 134714508 3221221728 3221220320 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16369 15421 1111 63 0 16306 0
vsize: 65476
[startup+310.017 s]
Raw data (loadavg): 0.99 0.96 0.70 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 15799 0 0 0 30923 78 0 0 25 0 1 0 625470661 68128768 15707 4294967295 134512640 134714508 3221221728 3221220384 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16633 15707 1111 63 0 16570 0
vsize: 66532
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 16053 0 0 0 31922 79 0 0 25 0 1 0 625470661 69210112 15961 4294967295 134512640 134714508 3221221728 3221220380 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16897 15961 1111 63 0 16834 0
vsize: 67588
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 16384 0 0 0 32920 81 0 0 25 0 1 0 625470661 70737920 16291 4294967295 134512640 134714508 3221221728 3221220384 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17270 16291 1111 63 0 17207 0
vsize: 69080
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 16965 0 0 0 33918 83 0 0 25 0 1 0 625470661 73109504 16871 4294967295 134512640 134714508 3221221728 3221220368 134523362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17849 16871 1111 63 0 17786 0
vsize: 71396
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 17391 0 0 0 34917 85 0 0 25 0 1 0 625470661 74895360 17295 4294967295 134512640 134714508 3221221728 3221220464 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18285 17295 1111 63 0 18222 0
vsize: 73140
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 17769 0 0 0 35915 87 0 0 25 0 1 0 625470661 76382208 17673 4294967295 134512640 134714508 3221221728 3221220348 1076647867 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18648 17673 1111 63 0 18585 0
vsize: 74592
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 18097 0 0 0 36913 89 0 0 25 0 1 0 625470661 77750272 18001 4294967295 134512640 134714508 3221221728 3221220444 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18982 18001 1111 63 0 18919 0
vsize: 75928
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 18352 0 0 0 37912 91 0 0 25 0 1 0 625470661 78884864 18256 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19259 18256 1111 63 0 19196 0
vsize: 77036
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 18643 0 0 0 38911 92 0 0 25 0 1 0 625470661 80068608 18542 4294967295 134512640 134714508 3221221728 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19548 18542 1111 63 0 19485 0
vsize: 78192
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 18955 0 0 0 39910 93 0 0 25 0 1 0 625470661 81354752 18852 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19862 18852 1111 63 0 19799 0
vsize: 79448
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 19240 0 0 0 40909 94 0 0 25 0 1 0 625470661 82669568 19135 4294967295 134512640 134714508 3221221728 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20183 19135 1111 63 0 20120 0
vsize: 80732
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 19447 0 0 0 41908 95 0 0 25 0 1 0 625470661 83681280 19333 4294967295 134512640 134714508 3221221728 3221220320 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20430 19333 1111 63 0 20367 0
vsize: 81720
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 19862 0 0 0 42906 97 0 0 25 0 1 0 625470661 85520384 19746 4294967295 134512640 134714508 3221221728 3221220400 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20879 19746 1111 63 0 20816 0
vsize: 83516
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 20294 0 0 0 43904 100 0 0 25 0 1 0 625470661 87277568 20178 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21308 20178 1111 63 0 21245 0
vsize: 85232
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 20682 0 0 0 44902 102 0 0 25 0 1 0 625470661 88907776 20566 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21706 20566 1111 63 0 21643 0
vsize: 86824
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 20917 0 0 0 45901 103 0 0 25 0 1 0 625470661 89853952 20801 4294967295 134512640 134714508 3221221728 3221220384 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21937 20801 1111 63 0 21874 0
vsize: 87748
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 21127 0 0 0 46900 104 0 0 25 0 1 0 625470661 90664960 21011 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22135 21011 1111 63 0 22072 0
vsize: 88540
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 21342 0 0 0 47899 105 0 0 25 0 1 0 625470661 91611136 21226 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22366 21226 1111 63 0 22303 0
vsize: 89464
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 21558 0 0 0 48898 106 0 0 25 0 1 0 625470661 92639232 21436 4294967295 134512640 134714508 3221221728 3221220284 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22617 21436 1111 63 0 22554 0
vsize: 90468
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 21742 0 0 0 49897 108 0 0 25 0 1 0 625470661 93315072 21620 4294967295 134512640 134714508 3221221728 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22782 21620 1111 63 0 22719 0
vsize: 91128
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 21989 0 0 0 50896 109 0 0 25 0 1 0 625470661 94375936 21859 4294967295 134512640 134714508 3221221728 3221220384 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23041 21859 1111 63 0 22978 0
vsize: 92164
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 22153 0 0 0 51895 110 0 0 25 0 1 0 625470661 95096832 22023 4294967295 134512640 134714508 3221221728 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23217 22023 1111 63 0 23154 0
vsize: 92868
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 22277 0 0 0 52894 111 0 0 25 0 1 0 625470661 95637504 22147 4294967295 134512640 134714508 3221221728 3221220432 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23349 22147 1111 63 0 23286 0
vsize: 93396
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 22491 0 0 0 53894 112 0 0 25 0 1 0 625470661 96448512 22361 4294967295 134512640 134714508 3221221728 3221220356 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23547 22361 1111 63 0 23484 0
vsize: 94188
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 22877 0 0 0 54892 113 0 0 25 0 1 0 625470661 98136064 22743 4294967295 134512640 134714508 3221221728 3221220384 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23959 22743 1111 63 0 23896 0
vsize: 95836
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 23188 0 0 0 55891 115 0 0 25 0 1 0 625470661 99389440 23054 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24265 23054 1111 63 0 24202 0
vsize: 97060
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 23406 0 0 0 56890 116 0 0 25 0 1 0 625470661 100335616 23272 4294967295 134512640 134714508 3221221728 3221220380 134536793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24496 23272 1111 63 0 24433 0
vsize: 97984
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.76 3/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 23617 0 0 0 57888 118 0 0 25 0 1 0 625470661 101224448 23483 4294967295 134512640 134714508 3221221728 3221220364 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24713 23483 1111 63 0 24650 0
vsize: 98852
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 23934 0 0 0 58886 120 0 0 25 0 1 0 625470661 102563840 23797 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25040 23797 1111 63 0 24977 0
vsize: 100160
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 24207 0 0 0 59885 122 0 0 25 0 1 0 625470661 103858176 24069 4294967295 134512640 134714508 3221221728 3221220464 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25356 24069 1111 63 0 25293 0
vsize: 101424
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 24396 0 0 0 60884 123 0 0 25 0 1 0 625470661 104534016 24258 4294967295 134512640 134714508 3221221728 3221220320 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25521 24258 1111 63 0 25458 0
vsize: 102084
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 24528 0 0 0 61884 123 0 0 25 0 1 0 625470661 105074688 24390 4294967295 134512640 134714508 3221221728 3221220464 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25653 24390 1111 63 0 25590 0
vsize: 102612
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 24769 0 0 0 62883 124 0 0 25 0 1 0 625470661 106250240 24623 4294967295 134512640 134714508 3221221728 3221220416 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25940 24623 1111 63 0 25877 0
vsize: 103760
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 24928 0 0 0 63882 125 0 0 25 0 1 0 625470661 106926080 24782 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26105 24782 1111 63 0 26042 0
vsize: 104420
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 25100 0 0 0 64882 126 0 0 25 0 1 0 625470661 107536384 24953 4294967295 134512640 134714508 3221221728 3221220372 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26254 24953 1111 63 0 26191 0
vsize: 105016
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 25361 0 0 0 65881 127 0 0 25 0 1 0 625470661 108683264 25205 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26534 25205 1111 63 0 26471 0
vsize: 106136
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 25559 0 0 0 66880 128 0 0 25 0 1 0 625470661 109522944 25403 4294967295 134512640 134714508 3221221728 3221220304 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26739 25403 1111 63 0 26676 0
vsize: 106956
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 25848 0 0 0 67879 130 0 0 25 0 1 0 625470661 110682112 25692 4294967295 134512640 134714508 3221221728 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27022 25692 1111 63 0 26959 0
vsize: 108088
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26100 0 0 0 68878 131 0 0 25 0 1 0 625470661 111828992 25937 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27302 25937 1111 63 0 27239 0
vsize: 109208
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26264 0 0 0 69878 131 0 0 25 0 1 0 625470661 112504832 26101 4294967295 134512640 134714508 3221221728 3221220416 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27467 26101 1111 63 0 27404 0
vsize: 109868
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26439 0 0 0 70877 132 0 0 25 0 1 0 625470661 113180672 26276 4294967295 134512640 134714508 3221221728 3221220320 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27632 26276 1111 63 0 27569 0
vsize: 110528
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26653 0 0 0 71875 134 0 0 25 0 1 0 625470661 113999872 26488 4294967295 134512640 134714508 3221221728 3221220432 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27832 26488 1111 63 0 27769 0
vsize: 111328
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26828 0 0 0 72875 135 0 0 25 0 1 0 625470661 114675712 26663 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27997 26663 1111 63 0 27934 0
vsize: 111988
[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26987 0 0 0 73874 136 0 0 25 0 1 0 625470661 115351552 26822 4294967295 134512640 134714508 3221221728 3221220304 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28162 26822 1111 63 0 28099 0
vsize: 112648
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 3873
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27157 0 0 0 74874 136 0 0 25 0 1 0 625470661 116027392 26992 4294967295 134512640 134714508 3221221728 3221220400 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28327 26992 1111 63 0 28264 0
vsize: 113308
[startup+760.12 s]
Raw data (loadavg): 1.23 1.02 0.81 3/58 3925
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27384 0 0 0 75880 137 0 0 25 0 1 0 625470661 117035008 27219 4294967295 134512640 134714508 3221221728 3221220512 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28573 27219 1111 63 0 28510 0
vsize: 114292
[startup+770.121 s]
Raw data (loadavg): 1.20 1.02 0.82 2/54 3926
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27569 0 0 0 76879 138 0 0 25 0 1 0 625470661 117846016 27404 4294967295 134512640 134714508 3221221728 3221220284 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28771 27404 1111 63 0 28708 0
vsize: 115084
[startup+780.121 s]
Raw data (loadavg): 1.17 1.02 0.82 2/54 3926
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27715 0 0 0 77879 139 0 0 25 0 1 0 625470661 118386688 27550 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28903 27550 1111 63 0 28840 0
vsize: 115612
[startup+790.123 s]
Raw data (loadavg): 1.14 1.02 0.82 2/54 3926
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27854 0 0 0 78879 139 0 0 25 0 1 0 625470661 118927360 27689 4294967295 134512640 134714508 3221221728 3221220308 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29035 27689 1111 63 0 28972 0
vsize: 116140
[startup+800.122 s]
Raw data (loadavg): 1.12 1.02 0.82 2/54 3926
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27992 0 0 0 79878 140 0 0 25 0 1 0 625470661 119533568 27818 4294967295 134512640 134714508 3221221728 3221220500 134529372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29183 27818 1111 63 0 29120 0
vsize: 116732
[startup+810.122 s]
Raw data (loadavg): 1.10 1.02 0.82 2/54 3926
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 28216 0 0 0 80877 142 0 0 25 0 1 0 625470661 120545280 28036 4294967295 134512640 134714508 3221221728 3221220336 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29430 28036 1111 63 0 29367 0
vsize: 117720
[startup+820.122 s]
Raw data (loadavg): 1.08 1.01 0.82 2/54 3926
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 28359 0 0 0 81877 142 0 0 25 0 1 0 625470661 121298944 28173 4294967295 134512640 134714508 3221221728 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29614 28173 1111 63 0 29551 0
vsize: 118456
[startup+830.123 s]
Raw data (loadavg): 1.07 1.01 0.82 2/54 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 28541 0 0 0 82876 143 0 0 25 0 1 0 625470661 122142720 28353 4294967295 134512640 134714508 3221221728 3221220320 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29820 28353 1111 63 0 29757 0
vsize: 119280
[startup+840.123 s]
Raw data (loadavg): 1.06 1.01 0.82 2/54 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 28714 0 0 0 83876 143 0 0 25 0 1 0 625470661 122818560 28526 4294967295 134512640 134714508 3221221728 3221220384 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29985 28526 1111 63 0 29922 0
vsize: 119940
[startup+850.124 s]
Raw data (loadavg): 1.05 1.01 0.83 2/54 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 28885 0 0 0 84875 144 0 0 25 0 1 0 625470661 123559936 28692 4294967295 134512640 134714508 3221221728 3221220400 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30166 28692 1111 63 0 30103 0
vsize: 120664
[startup+860.124 s]
Raw data (loadavg): 1.04 1.01 0.83 2/54 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29010 0 0 0 85875 144 0 0 25 0 1 0 625470661 124100608 28817 4294967295 134512640 134714508 3221221728 3221220320 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30298 28817 1111 63 0 30235 0
vsize: 121192
[startup+870.124 s]
Raw data (loadavg): 1.04 1.01 0.83 2/54 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29123 0 0 0 86875 145 0 0 25 0 1 0 625470661 124506112 28930 4294967295 134512640 134714508 3221221728 3221220512 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30397 28930 1111 63 0 30334 0
vsize: 121588
[startup+880.124 s]
Raw data (loadavg): 1.03 1.01 0.83 2/54 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29217 0 0 0 87875 145 0 0 25 0 1 0 625470661 124940288 29024 4294967295 134512640 134714508 3221221728 3221220652 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30503 29024 1111 63 0 30440 0
vsize: 122012
[startup+890.125 s]
Raw data (loadavg): 1.02 1.01 0.83 2/54 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29316 0 0 0 88874 146 0 0 25 0 1 0 625470661 125345792 29123 4294967295 134512640 134714508 3221221728 3221220320 134549742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30602 29123 1111 63 0 30539 0
vsize: 122408
[startup+900.125 s]
Raw data (loadavg): 1.02 1.01 0.83 2/54 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29415 0 0 0 89874 146 0 0 25 0 1 0 625470661 125751296 29222 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30701 29222 1111 63 0 30638 0
vsize: 122804
[startup+910.125 s]
Raw data (loadavg): 1.02 1.01 0.83 2/54 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29510 0 0 0 90874 147 0 0 25 0 1 0 625470661 126021632 29317 4294967295 134512640 134714508 3221221728 3221220360 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30767 29317 1111 63 0 30704 0
vsize: 123068
[startup+920.126 s]
Raw data (loadavg): 1.01 1.00 0.83 2/54 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29584 0 0 0 91874 147 0 0 25 0 1 0 625470661 126443520 29390 4294967295 134512640 134714508 3221221728 3221220452 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30870 29390 1111 63 0 30807 0
vsize: 123480
[startup+929.267 s]
Raw data (loadavg): 1.01 1.00 0.83 1/53 3928
Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29584 0 0 0 91874 147 0 0 25 0 1 0 625470661 126443520 29390 4294967295 134512640 134714508 3221221728 3221220452 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30870 29390 1111 63 0 30807 0
vsize: 0

Child status: 10
Real time (s): 929.266
CPU time (s): 929.355
CPU user time (s): 927.826
CPU system time (s): 1.52877
CPU usage (%): 100.01
Max. virtual memory (Kb): 123480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####