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 40551

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 14:10:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28615 boxname=wulflinc2 idbench=1 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5a251e27b2dc8cbc7d3f3836a6772e10  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga10_10_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga10_10_sat_pb.cnf.cr.opb
IDLAUNCH: 28615
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        777568 kB
Buffers:         25128 kB
Cached:         209692 kB
SwapCached:       1344 kB
Active:          28996 kB
Inactive:       207836 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        777316 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14564 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:24:53 (client local time) WITH STATUS 10 IN 879.2 SECONDS
stats: 28615 0 879.2 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 @ 879.136
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: 879.139 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.97 0.91 1/54 10709
Raw data (stat): 10709 (runsolver) R 10708 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 20 0 1 0 902249942 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 2150 0 0 0 988 8 0 0 25 0 1 0 902249942 11837440 2068 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 2068 1111 63 0 2827 0
vsize: 11560
[startup+20.001 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 3417 0 0 0 1983 13 0 0 25 0 1 0 902249942 17113088 3335 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3335 1111 63 0 4115 0
vsize: 16712
[startup+30.002 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 4382 0 0 0 2980 17 0 0 25 0 1 0 902249942 21082112 4299 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5147 4299 1111 63 0 5084 0
vsize: 20588
[startup+40.0013 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 5063 0 0 0 3976 21 0 0 25 0 1 0 902249942 23937024 4979 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5844 4979 1111 63 0 5781 0
vsize: 23376
[startup+50.0021 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 5847 0 0 0 4973 24 0 0 25 0 1 0 902249942 27238400 5760 4294967295 134512640 134716908 3221224560 3221223152 134549520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6650 5760 1111 63 0 6587 0
vsize: 26600
[startup+60.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 6528 0 0 0 5971 26 0 0 25 0 1 0 902249942 30089216 6441 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7346 6441 1111 63 0 7283 0
vsize: 29384
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 7318 0 0 0 6968 30 0 0 25 0 1 0 902249942 33353728 7231 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8143 7231 1111 63 0 8080 0
vsize: 32572
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 7951 0 0 0 7966 32 0 0 25 0 1 0 902249942 35921920 7862 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8770 7862 1111 63 0 8707 0
vsize: 35080
[startup+90.0032 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 8392 0 0 0 8964 34 0 0 25 0 1 0 902249942 37687296 8303 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9201 8303 1111 63 0 9138 0
vsize: 36804
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 8825 0 0 0 9962 36 0 0 25 0 1 0 902249942 39456768 8736 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9633 8736 1111 63 0 9570 0
vsize: 38532
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 9354 0 0 0 10960 39 0 0 25 0 1 0 902249942 41619456 9265 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 9265 1111 63 0 10098 0
vsize: 40644
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 9838 0 0 0 11958 40 0 0 25 0 1 0 902249942 43646976 9749 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10656 9749 1111 63 0 10593 0
vsize: 42624
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 10319 0 0 0 12957 42 0 0 25 0 1 0 902249942 45592576 10228 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11131 10228 1111 63 0 11068 0
vsize: 44524
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 10665 0 0 0 13955 44 0 0 25 0 1 0 902249942 47079424 10574 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11494 10574 1111 63 0 11431 0
vsize: 45976
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 11060 0 0 0 14954 45 0 0 25 0 1 0 902249942 48701440 10968 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11890 10968 1111 63 0 11827 0
vsize: 47560
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 11369 0 0 0 15953 47 0 0 25 0 1 0 902249942 49917952 11277 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12187 11277 1111 63 0 12124 0
vsize: 48748
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 11686 0 0 0 16952 48 0 0 25 0 1 0 902249942 51134464 11593 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12484 11593 1111 63 0 12421 0
vsize: 49936
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 11940 0 0 0 17951 49 0 0 25 0 1 0 902249942 52215808 11847 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12748 11847 1111 63 0 12685 0
vsize: 50992
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 12169 0 0 0 18950 50 0 0 25 0 1 0 902249942 53161984 12076 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12979 12076 1111 63 0 12916 0
vsize: 51916
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 12391 0 0 0 19950 51 0 0 25 0 1 0 902249942 54108160 12298 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 12298 1111 63 0 13147 0
vsize: 52840
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 12658 0 0 0 20949 52 0 0 25 0 1 0 902249942 55222272 12565 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13482 12565 1111 63 0 13419 0
vsize: 53928
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 12877 0 0 0 21948 53 0 0 25 0 1 0 902249942 56193024 12782 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13719 12782 1111 63 0 13656 0
vsize: 54876
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 13069 0 0 0 22947 54 0 0 25 0 1 0 902249942 57069568 12974 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13933 12974 1111 63 0 13870 0
vsize: 55732
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 13262 0 0 0 23947 54 0 0 25 0 1 0 902249942 57745408 13167 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14098 13167 1111 63 0 14035 0
vsize: 56392
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 13438 0 0 0 24946 55 0 0 25 0 1 0 902249942 58556416 13343 4294967295 134512640 134716908 3221224560 3221223212 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14296 13343 1111 63 0 14233 0
vsize: 57184
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 13979 0 0 0 25945 56 0 0 25 0 1 0 902249942 60768256 13884 4294967295 134512640 134716908 3221224560 3221222912 134699726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14836 13884 1111 63 0 14773 0
vsize: 59344
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 14718 0 0 0 26943 59 0 0 25 0 1 0 902249942 63741952 14623 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15562 14623 1111 63 0 15499 0
vsize: 62248
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 15240 0 0 0 27941 61 0 0 25 0 1 0 902249942 65904640 15145 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16090 15145 1111 63 0 16027 0
vsize: 64360
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 15673 0 0 0 28939 63 0 0 25 0 1 0 902249942 67678208 15578 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16523 15578 1111 63 0 16460 0
vsize: 66092
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 15947 0 0 0 29938 64 0 0 25 0 1 0 902249942 68759552 15852 4294967295 134512640 134716908 3221224560 3221223212 134536788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16787 15852 1111 63 0 16724 0
vsize: 67148
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 16182 0 0 0 30938 64 0 0 25 0 1 0 902249942 69779456 16087 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17036 16087 1111 63 0 16973 0
vsize: 68144
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 16788 0 0 0 31935 67 0 0 25 0 1 0 902249942 72429568 16691 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17683 16691 1111 63 0 17620 0
vsize: 70732
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 17272 0 0 0 32933 70 0 0 25 0 1 0 902249942 74321920 17175 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18145 17175 1111 63 0 18082 0
vsize: 72580
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 17696 0 0 0 33931 73 0 0 25 0 1 0 902249942 76107776 17597 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18581 17597 1111 63 0 18518 0
vsize: 74324
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 18043 0 0 0 34929 74 0 0 25 0 1 0 902249942 77475840 17944 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18915 17944 1111 63 0 18852 0
vsize: 75660
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 18327 0 0 0 35928 76 0 0 25 0 1 0 902249942 78716928 18228 4294967295 134512640 134716908 3221224560 3221223144 134549708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19218 18228 1111 63 0 19155 0
vsize: 76872
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 18634 0 0 0 36926 77 0 0 25 0 1 0 902249942 79929344 18530 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19514 18530 1111 63 0 19451 0
vsize: 78056
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 18963 0 0 0 37925 79 0 0 25 0 1 0 902249942 81350656 18857 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19861 18857 1111 63 0 19798 0
vsize: 79444
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 19241 0 0 0 38924 80 0 0 25 0 1 0 902249942 82665472 19133 4294967295 134512640 134716908 3221224560 3221223116 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20182 19133 1111 63 0 20119 0
vsize: 80728
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 19455 0 0 0 39924 81 0 0 25 0 1 0 902249942 83677184 19338 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20429 19338 1111 63 0 20366 0
vsize: 81716
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 19939 0 0 0 40922 82 0 0 25 0 1 0 902249942 85786624 19820 4294967295 134512640 134716908 3221224560 3221223324 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20944 19820 1111 63 0 20881 0
vsize: 83776
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 20440 0 0 0 41920 84 0 0 25 0 1 0 902249942 87814144 20321 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21439 20321 1111 63 0 21376 0
vsize: 85756
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 20753 0 0 0 42919 86 0 0 25 0 1 0 902249942 89174016 20634 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21771 20634 1111 63 0 21708 0
vsize: 87084
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 20994 0 0 0 43918 87 0 0 25 0 1 0 902249942 90120192 20875 4294967295 134512640 134716908 3221224560 3221223152 134549825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22002 20875 1111 63 0 21939 0
vsize: 88008
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 21191 0 0 0 44917 88 0 0 25 0 1 0 902249942 90931200 21072 4294967295 134512640 134716908 3221224560 3221223296 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22200 21072 1111 63 0 22137 0
vsize: 88800
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 21460 0 0 0 45915 90 0 0 25 0 1 0 902249942 92229632 21335 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22517 21335 1111 63 0 22454 0
vsize: 90068
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 21666 0 0 0 46914 91 0 0 25 0 1 0 902249942 93040640 21541 4294967295 134512640 134716908 3221224560 3221223264 134528653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22715 21541 1111 63 0 22652 0
vsize: 90860
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 21871 0 0 0 47913 92 0 0 25 0 1 0 902249942 93900800 21746 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22925 21746 1111 63 0 22862 0
vsize: 91700
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 22113 0 0 0 48913 92 0 0 25 0 1 0 902249942 94957568 21980 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23183 21980 1111 63 0 23120 0
vsize: 92732
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 22238 0 0 0 49913 93 0 0 25 0 1 0 902249942 95498240 22105 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23315 22105 1111 63 0 23252 0
vsize: 93260
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 22433 0 0 0 50912 93 0 0 25 0 1 0 902249942 96174080 22300 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23480 22300 1111 63 0 23417 0
vsize: 93920
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 22852 0 0 0 51910 96 0 0 25 0 1 0 902249942 97996800 22715 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23925 22715 1111 63 0 23862 0
vsize: 95700
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 23173 0 0 0 52909 98 0 0 25 0 1 0 902249942 99385344 23036 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24264 23036 1111 63 0 24201 0
vsize: 97056
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 23403 0 0 0 53908 98 0 0 25 0 1 0 902249942 100331520 23266 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24495 23266 1111 63 0 24432 0
vsize: 97980
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 23634 0 0 0 54907 99 0 0 25 0 1 0 902249942 101355520 23497 4294967295 134512640 134716908 3221224560 3221223144 134549705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24745 23497 1111 63 0 24682 0
vsize: 98980
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 23972 0 0 0 55907 100 0 0 25 0 1 0 902249942 102834176 23832 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25106 23832 1111 63 0 25043 0
vsize: 100424
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 24243 0 0 0 56905 102 0 0 25 0 1 0 902249942 103989248 24102 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25388 24102 1111 63 0 25325 0
vsize: 101552
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 24425 0 0 0 57904 103 0 0 25 0 1 0 902249942 104665088 24284 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25553 24284 1111 63 0 25490 0
vsize: 102212
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 24596 0 0 0 58904 103 0 0 25 0 1 0 902249942 105504768 24455 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25758 24455 1111 63 0 25695 0
vsize: 103032
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 24810 0 0 0 59903 104 0 0 25 0 1 0 902249942 106381312 24661 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25972 24661 1111 63 0 25909 0
vsize: 103888
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 24982 0 0 0 60902 105 0 0 25 0 1 0 902249942 107057152 24833 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26137 24833 1111 63 0 26074 0
vsize: 104548
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 25226 0 0 0 61901 107 0 0 25 0 1 0 902249942 108072960 25076 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26385 25076 1111 63 0 26322 0
vsize: 105540
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 25476 0 0 0 62900 108 0 0 25 0 1 0 902249942 109248512 25317 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26672 25317 1111 63 0 26609 0
vsize: 106688
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 25689 0 0 0 63900 109 0 0 25 0 1 0 902249942 110059520 25530 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26870 25530 1111 63 0 26807 0
vsize: 107480
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 26021 0 0 0 64898 110 0 0 25 0 1 0 902249942 111419392 25855 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27202 25855 1111 63 0 27139 0
vsize: 108808
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 26204 0 0 0 65897 111 0 0 25 0 1 0 902249942 112230400 26038 4294967295 134512640 134716908 3221224560 3221223296 134523886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27400 26038 1111 63 0 27337 0
vsize: 109600
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 26403 0 0 0 66896 113 0 0 25 0 1 0 902249942 113041408 26237 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27598 26237 1111 63 0 27535 0
vsize: 110392
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 26622 0 0 0 67895 114 0 0 25 0 1 0 902249942 113860608 26454 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27798 26454 1111 63 0 27735 0
vsize: 111192
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 26806 0 0 0 68895 115 0 0 25 0 1 0 902249942 114671616 26638 4294967295 134512640 134716908 3221224560 3221223344 134529393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27996 26638 1111 63 0 27933 0
vsize: 111984
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 26978 0 0 0 69894 116 0 0 25 0 1 0 902249942 115347456 26810 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28161 26810 1111 63 0 28098 0
vsize: 112644
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 27157 0 0 0 70893 117 0 0 25 0 1 0 902249942 116023296 26989 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28326 26989 1111 63 0 28263 0
vsize: 113304
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 27397 0 0 0 71892 118 0 0 25 0 1 0 902249942 117166080 27229 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28605 27229 1111 63 0 28542 0
vsize: 114420
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 27589 0 0 0 72892 119 0 0 25 0 1 0 902249942 117977088 27421 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28803 27421 1111 63 0 28740 0
vsize: 115212
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 27742 0 0 0 73891 119 0 0 25 0 1 0 902249942 118517760 27574 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28935 27574 1111 63 0 28872 0
vsize: 115740
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 27928 0 0 0 74891 120 0 0 25 0 1 0 902249942 119394304 27751 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29149 27751 1111 63 0 29086 0
vsize: 116596
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 28072 0 0 0 75890 121 0 0 25 0 1 0 902249942 120000512 27889 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29297 27889 1111 63 0 29234 0
vsize: 117188
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 28280 0 0 0 76889 122 0 0 25 0 1 0 902249942 120811520 28097 4294967295 134512640 134716908 3221224560 3221223048 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29495 28097 1111 63 0 29432 0
vsize: 117980
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 28439 0 0 0 77888 123 0 0 25 0 1 0 902249942 121597952 28248 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29687 28248 1111 63 0 29624 0
vsize: 118748
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 28628 0 0 0 78888 123 0 0 25 0 1 0 902249942 122408960 28437 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29885 28437 1111 63 0 29822 0
vsize: 119540
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 28821 0 0 0 79887 124 0 0 25 0 1 0 902249942 123420672 28625 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30132 28625 1111 63 0 30069 0
vsize: 120528
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 28965 0 0 0 80887 125 0 0 25 0 1 0 902249942 123826176 28769 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30231 28769 1111 63 0 30168 0
vsize: 120924
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 29090 0 0 0 81887 125 0 0 25 0 1 0 902249942 124366848 28894 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30363 28894 1111 63 0 30300 0
vsize: 121452
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 29190 0 0 0 82887 125 0 0 25 0 1 0 902249942 124801024 28994 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30469 28994 1111 63 0 30406 0
vsize: 121876
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 29292 0 0 0 83887 126 0 0 25 0 1 0 902249942 125206528 29096 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30568 29096 1111 63 0 30505 0
vsize: 122272
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 29398 0 0 0 84886 126 0 0 25 0 1 0 902249942 125612032 29202 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30667 29202 1111 63 0 30604 0
vsize: 122668
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 29498 0 0 0 85886 126 0 0 25 0 1 0 902249942 126017536 29302 4294967295 134512640 134716908 3221224560 3221223192 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30766 29302 1111 63 0 30703 0
vsize: 123064
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 29576 0 0 0 86886 127 0 0 25 0 1 0 902249942 126439424 29379 4294967295 134512640 134716908 3221224560 3221223296 134528702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30869 29379 1111 63 0 30806 0
vsize: 123476
[startup+879.084 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10709
Raw data (stat): 10709 (bsolo_lpr_cuts-) R 10708 31399 31398 0 -1 0 29576 0 0 0 86886 127 0 0 25 0 1 0 902249942 126439424 29379 4294967295 134512640 134716908 3221224560 3221223296 134528702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30869 29379 1111 63 0 30806 0
vsize: 0

Child status: 10
Real time (s): 879.083
CPU time (s): 879.2
CPU user time (s): 877.866
CPU system time (s): 1.3348
CPU usage (%): 100.013
Max. virtual memory (Kb): 123476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####