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-chnl50_51_pb.cnf.cr.opb
MD5SUM	00bdc6bb9bafd4b1100d8bfa4f886626
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	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	52
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.156976
Number of variables	5100
Total number of constraints	202
Number of constraints which are clauses	102
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	51
Trace number 23238

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 19:23:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=173 boxname=wulflinc31 idbench=20 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  00bdc6bb9bafd4b1100d8bfa4f886626  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_51_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_51_pb.cnf.cr.opb
IDLAUNCH: 173
/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:        930168 kB
Buffers:         36636 kB
Cached:          45936 kB
SwapCached:        864 kB
Active:          71080 kB
Inactive:        13888 kB
HighTotal:      131008 kB
HighFree:        83972 kB
LowTotal:       903652 kB
LowFree:        846196 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13956 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 19:43:22 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 173 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 5100 variables and 202 constraints.
c After prepocess the problem consists of 5100 variables and 202 constraints.
c preprocess terminated 2.389 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 14296
Raw data (stat): 14296 (runsolver) R 14295 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 633969320 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0012 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 1896 0 0 0 987 8 0 0 25 0 1 0 633969320 11055104 1817 4294967295 134512640 134714508 3221221776 3221220532 134652883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2699 1817 1111 63 0 2636 0
vsize: 10796
[startup+20.0023 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 1935 0 0 0 1986 10 0 0 25 0 1 0 633969320 11190272 1856 4294967295 134512640 134714508 3221221776 3221220352 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2732 1856 1111 63 0 2669 0
vsize: 10928
[startup+30.003 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 1940 0 0 0 2983 13 0 0 25 0 1 0 633969320 11190272 1861 4294967295 134512640 134714508 3221221776 3221220384 134549324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2732 1861 1111 63 0 2669 0
vsize: 10928
[startup+40.0042 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 1960 0 0 0 3981 15 0 0 25 0 1 0 633969320 11325440 1881 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1881 1111 63 0 2702 0
vsize: 11060
[startup+50.0049 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 1960 0 0 0 4979 17 0 0 25 0 1 0 633969320 11325440 1881 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1881 1111 63 0 2702 0
vsize: 11060
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 1968 0 0 0 5977 19 0 0 25 0 1 0 633969320 11325440 1889 4294967295 134512640 134714508 3221221776 3221220512 134535826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1889 1111 63 0 2702 0
vsize: 11060
[startup+70.0063 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 1984 0 0 0 6976 21 0 0 25 0 1 0 633969320 11325440 1905 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1905 1111 63 0 2702 0
vsize: 11060
[startup+80.0067 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 1984 0 0 0 7973 24 0 0 25 0 1 0 633969320 11325440 1905 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1905 1111 63 0 2702 0
vsize: 11060
[startup+90.0076 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 1999 0 0 0 8971 26 0 0 25 0 1 0 633969320 11456512 1920 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2797 1920 1111 63 0 2734 0
vsize: 11188
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2007 0 0 0 9969 28 0 0 25 0 1 0 633969320 11456512 1928 4294967295 134512640 134714508 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2797 1928 1111 63 0 2734 0
vsize: 11188
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2029 0 0 0 10967 30 0 0 25 0 1 0 633969320 11591680 1950 4294967295 134512640 134714508 3221221776 3221220416 134524198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2830 1950 1111 63 0 2767 0
vsize: 11320
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2045 0 0 0 11965 33 0 0 25 0 1 0 633969320 11591680 1966 4294967295 134512640 134714508 3221221776 3221220560 134529058 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2830 1966 1111 63 0 2767 0
vsize: 11320
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2070 0 0 0 12964 34 0 0 25 0 1 0 633969320 11726848 1991 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2863 1991 1111 63 0 2800 0
vsize: 11452
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2108 0 0 0 13963 35 0 0 25 0 1 0 633969320 11862016 2029 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2896 2029 1111 63 0 2833 0
vsize: 11584
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2139 0 0 0 14962 37 0 0 25 0 1 0 633969320 11997184 2060 4294967295 134512640 134714508 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2929 2060 1111 63 0 2866 0
vsize: 11716
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2179 0 0 0 15960 38 0 0 25 0 1 0 633969320 12132352 2100 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2962 2100 1111 63 0 2899 0
vsize: 11848
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2179 0 0 0 16959 39 0 0 25 0 1 0 633969320 12132352 2100 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2962 2100 1111 63 0 2899 0
vsize: 11848
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2220 0 0 0 17958 41 0 0 25 0 1 0 633969320 12402688 2141 4294967295 134512640 134714508 3221221776 3221220336 134696530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2141 1111 63 0 2965 0
vsize: 12112
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2261 0 0 0 18956 43 0 0 25 0 1 0 633969320 12537856 2182 4294967295 134512640 134714508 3221221776 3221220512 134535735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2261 0 0 0 19954 45 0 0 25 0 1 0 633969320 12537856 2182 4294967295 134512640 134714508 3221221776 3221220420 134613632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2261 0 0 0 20952 47 0 0 25 0 1 0 633969320 12537856 2182 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2261 0 0 0 21951 49 0 0 25 0 1 0 633969320 12537856 2182 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2261 0 0 0 22949 51 0 0 25 0 1 0 633969320 12537856 2182 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2261 0 0 0 23947 53 0 0 25 0 1 0 633969320 12537856 2182 4294967295 134512640 134714508 3221221776 3221220344 1077377771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2288 0 0 0 24945 55 0 0 25 0 1 0 633969320 12673024 2209 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3094 2209 1111 63 0 3031 0
vsize: 12376
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2314 0 0 0 25944 57 0 0 25 0 1 0 633969320 12673024 2235 4294967295 134512640 134714508 3221221776 3221220416 134696064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3094 2235 1111 63 0 3031 0
vsize: 12376
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2359 0 0 0 26943 58 0 0 25 0 1 0 633969320 12943360 2280 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3160 2280 1111 63 0 3097 0
vsize: 12640
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2359 0 0 0 27941 60 0 0 25 0 1 0 633969320 12943360 2280 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3160 2280 1111 63 0 3097 0
vsize: 12640
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2412 0 0 0 28939 62 0 0 25 0 1 0 633969320 13078528 2333 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3193 2333 1111 63 0 3130 0
vsize: 12772
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2443 0 0 0 29938 63 0 0 25 0 1 0 633969320 13213696 2364 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3226 2364 1111 63 0 3163 0
vsize: 12904
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2443 0 0 0 30937 65 0 0 25 0 1 0 633969320 13213696 2364 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3226 2364 1111 63 0 3163 0
vsize: 12904
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2443 0 0 0 31935 67 0 0 25 0 1 0 633969320 13213696 2364 4294967295 134512640 134714508 3221221776 3221220512 134558537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3226 2364 1111 63 0 3163 0
vsize: 12904
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2479 0 0 0 32934 68 0 0 25 0 1 0 633969320 13348864 2400 4294967295 134512640 134714508 3221221776 3221220344 1077377211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3259 2400 1111 63 0 3196 0
vsize: 13036
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2493 0 0 0 33933 69 0 0 25 0 1 0 633969320 13484032 2414 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3292 2414 1111 63 0 3229 0
vsize: 13168
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2512 0 0 0 34931 71 0 0 25 0 1 0 633969320 13484032 2433 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3292 2433 1111 63 0 3229 0
vsize: 13168
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2529 0 0 0 35930 73 0 0 25 0 1 0 633969320 13619200 2450 4294967295 134512640 134714508 3221221776 3221220544 134592134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2450 1111 63 0 3262 0
vsize: 13300
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2539 0 0 0 36928 75 0 0 25 0 1 0 633969320 13619200 2460 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2460 1111 63 0 3262 0
vsize: 13300
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2549 0 0 0 37927 76 0 0 25 0 1 0 633969320 13754368 2470 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3358 2470 1111 63 0 3295 0
vsize: 13432
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2560 0 0 0 38926 78 0 0 25 0 1 0 633969320 13754368 2481 4294967295 134512640 134714508 3221221776 3221220372 134543680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3358 2481 1111 63 0 3295 0
vsize: 13432
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2601 0 0 0 39925 79 0 0 25 0 1 0 633969320 13889536 2522 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3391 2522 1111 63 0 3328 0
vsize: 13564
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 40924 80 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220096 134697360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 41923 81 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 42922 82 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 43921 84 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 44920 84 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 45919 86 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220524 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 46916 88 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 47916 89 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 48915 90 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 49913 92 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2643 0 0 0 50911 93 0 0 25 0 1 0 633969320 14024704 2564 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2653 0 0 0 51911 94 0 0 25 0 1 0 633969320 14159872 2574 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3457 2574 1111 63 0 3394 0
vsize: 13828
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2679 0 0 0 52909 96 0 0 25 0 1 0 633969320 14295040 2600 4294967295 134512640 134714508 3221221776 3221220560 134529103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3490 2600 1111 63 0 3427 0
vsize: 13960
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2693 0 0 0 53908 98 0 0 25 0 1 0 633969320 14295040 2614 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3490 2614 1111 63 0 3427 0
vsize: 13960
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2706 0 0 0 54906 100 0 0 25 0 1 0 633969320 14295040 2627 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3490 2627 1111 63 0 3427 0
vsize: 13960
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2720 0 0 0 55904 102 0 0 25 0 1 0 633969320 14430208 2641 4294967295 134512640 134714508 3221221776 3221220464 134535844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2641 1111 63 0 3460 0
vsize: 14092
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2733 0 0 0 56903 103 0 0 25 0 1 0 633969320 14430208 2654 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2654 1111 63 0 3460 0
vsize: 14092
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2735 0 0 0 57902 104 0 0 25 0 1 0 633969320 14430208 2656 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2656 1111 63 0 3460 0
vsize: 14092
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2735 0 0 0 58901 105 0 0 25 0 1 0 633969320 14430208 2656 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2656 1111 63 0 3460 0
vsize: 14092
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2740 0 0 0 59900 106 0 0 25 0 1 0 633969320 14430208 2661 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2661 1111 63 0 3460 0
vsize: 14092
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2748 0 0 0 60900 107 0 0 25 0 1 0 633969320 14557184 2669 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2748 0 0 0 61897 110 0 0 25 0 1 0 633969320 14557184 2669 4294967295 134512640 134714508 3221221776 3221220452 1077374471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2748 0 0 0 62896 111 0 0 25 0 1 0 633969320 14557184 2669 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2748 0 0 0 63895 112 0 0 25 0 1 0 633969320 14557184 2669 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2748 0 0 0 64894 114 0 0 25 0 1 0 633969320 14557184 2669 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2748 0 0 0 65892 116 0 0 25 0 1 0 633969320 14557184 2669 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2748 0 0 0 66890 117 0 0 25 0 1 0 633969320 14557184 2669 4294967295 134512640 134714508 3221221776 3221220520 134551617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2748 0 0 0 67890 118 0 0 25 0 1 0 633969320 14557184 2669 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2757 0 0 0 68889 120 0 0 25 0 1 0 633969320 14557184 2678 4294967295 134512640 134714508 3221221776 3221220344 1077377239 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2678 1111 63 0 3491 0
vsize: 14216
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2757 0 0 0 69887 121 0 0 25 0 1 0 633969320 14557184 2678 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2678 1111 63 0 3491 0
vsize: 14216
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2757 0 0 0 70886 123 0 0 25 0 1 0 633969320 14557184 2678 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2678 1111 63 0 3491 0
vsize: 14216
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2757 0 0 0 71885 123 0 0 25 0 1 0 633969320 14557184 2678 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2678 1111 63 0 3491 0
vsize: 14216
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2757 0 0 0 72885 124 0 0 25 0 1 0 633969320 14557184 2678 4294967295 134512640 134714508 3221221776 3221220416 134696066 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2678 1111 63 0 3491 0
vsize: 14216
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2778 0 0 0 73883 126 0 0 25 0 1 0 633969320 14692352 2699 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3587 2699 1111 63 0 3524 0
vsize: 14348
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2778 0 0 0 74882 128 0 0 25 0 1 0 633969320 14655488 2699 4294967295 134512640 134714508 3221221776 3221220368 134549616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2699 1111 63 0 3515 0
vsize: 14312
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2789 0 0 0 75881 129 0 0 25 0 1 0 633969320 14655488 2710 4294967295 134512640 134714508 3221221776 3221220324 134696712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2710 1111 63 0 3515 0
vsize: 14312
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2789 0 0 0 76879 130 0 0 25 0 1 0 633969320 14655488 2710 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2710 1111 63 0 3515 0
vsize: 14312
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2789 0 0 0 77879 131 0 0 25 0 1 0 633969320 14655488 2710 4294967295 134512640 134714508 3221221776 3221220384 134549324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2710 1111 63 0 3515 0
vsize: 14312
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2790 0 0 0 78878 132 0 0 25 0 1 0 633969320 14655488 2711 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2711 1111 63 0 3515 0
vsize: 14312
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2819 0 0 0 79877 133 0 0 25 0 1 0 633969320 14790656 2740 4294967295 134512640 134714508 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3611 2740 1111 63 0 3548 0
vsize: 14444
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2819 0 0 0 80876 135 0 0 25 0 1 0 633969320 14790656 2740 4294967295 134512640 134714508 3221221776 3221220172 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3611 2740 1111 63 0 3548 0
vsize: 14444
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2867 0 0 0 81875 136 0 0 25 0 1 0 633969320 15048704 2788 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2788 1111 63 0 3611 0
vsize: 14696
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2902 0 0 0 82874 137 0 0 25 0 1 0 633969320 15171584 2823 4294967295 134512640 134714508 3221221776 3221220416 134695946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3704 2823 1111 63 0 3641 0
vsize: 14816
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2940 0 0 0 83872 139 0 0 25 0 1 0 633969320 15302656 2861 4294967295 134512640 134714508 3221221776 3221220496 1076647868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3736 2861 1111 63 0 3673 0
vsize: 14944
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2985 0 0 0 84871 140 0 0 25 0 1 0 633969320 15437824 2906 4294967295 134512640 134714508 3221221776 3221220584 134558561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3769 2906 1111 63 0 3706 0
vsize: 15076
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 2994 0 0 0 85870 142 0 0 25 0 1 0 633969320 15572992 2915 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3802 2915 1111 63 0 3739 0
vsize: 15208
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3016 0 0 0 86868 144 0 0 25 0 1 0 633969320 15572992 2937 4294967295 134512640 134714508 3221221776 3221220544 134592125 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3802 2937 1111 63 0 3739 0
vsize: 15208
[startup+880.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3023 0 0 0 87866 145 0 0 25 0 1 0 633969320 15708160 2944 4294967295 134512640 134714508 3221221776 3221220544 134592449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2944 1111 63 0 3772 0
vsize: 15340
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3023 0 0 0 88865 146 0 0 25 0 1 0 633969320 15708160 2944 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2944 1111 63 0 3772 0
vsize: 15340
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3036 0 0 0 89864 148 0 0 25 0 1 0 633969320 15708160 2957 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2957 1111 63 0 3772 0
vsize: 15340
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3036 0 0 0 90863 149 0 0 25 0 1 0 633969320 15708160 2957 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2957 1111 63 0 3772 0
vsize: 15340
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3052 0 0 0 91862 150 0 0 25 0 1 0 633969320 15708160 2973 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3052 0 0 0 92861 151 0 0 25 0 1 0 633969320 15708160 2973 4294967295 134512640 134714508 3221221776 3221220544 134587964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3052 0 0 0 93859 153 0 0 25 0 1 0 633969320 15708160 2973 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3052 0 0 0 94858 155 0 0 25 0 1 0 633969320 15708160 2973 4294967295 134512640 134714508 3221221776 3221220332 134535959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3052 0 0 0 95856 157 0 0 25 0 1 0 633969320 15708160 2973 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3052 0 0 0 96855 158 0 0 25 0 1 0 633969320 15708160 2973 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3062 0 0 0 97854 159 0 0 25 0 1 0 633969320 15843328 2983 4294967295 134512640 134714508 3221221776 3221220332 134535882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3868 2983 1111 63 0 3805 0
vsize: 15472
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3077 0 0 0 98853 160 0 0 25 0 1 0 633969320 15843328 2998 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3868 2998 1111 63 0 3805 0
vsize: 15472
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3077 0 0 0 99852 162 0 0 25 0 1 0 633969320 15843328 2998 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3868 2998 1111 63 0 3805 0
vsize: 15472
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3085 0 0 0 100851 163 0 0 25 0 1 0 633969320 15843328 3006 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3868 3006 1111 63 0 3805 0
vsize: 15472
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3102 0 0 0 101850 164 0 0 25 0 1 0 633969320 15974400 3023 4294967295 134512640 134714508 3221221776 3221220364 134551980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3900 3023 1111 63 0 3837 0
vsize: 15600
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3102 0 0 0 102849 165 0 0 25 0 1 0 633969320 15974400 3023 4294967295 134512640 134714508 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3900 3023 1111 63 0 3837 0
vsize: 15600
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3122 0 0 0 103848 166 0 0 25 0 1 0 633969320 16101376 3043 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3931 3043 1111 63 0 3868 0
vsize: 15724
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3122 0 0 0 104847 167 0 0 25 0 1 0 633969320 16101376 3043 4294967295 134512640 134714508 3221221776 3221220512 134558540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3931 3043 1111 63 0 3868 0
vsize: 15724
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3131 0 0 0 105845 169 0 0 25 0 1 0 633969320 16084992 3052 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3052 1111 63 0 3864 0
vsize: 15708
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3131 0 0 0 106844 171 0 0 25 0 1 0 633969320 16084992 3052 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3052 1111 63 0 3864 0
vsize: 15708
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3150 0 0 0 107843 172 0 0 25 0 1 0 633969320 16220160 3071 4294967295 134512640 134714508 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3960 3071 1111 63 0 3897 0
vsize: 15840
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3200 0 0 0 108842 173 0 0 25 0 1 0 633969320 16355328 3121 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3993 3121 1111 63 0 3930 0
vsize: 15972
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3239 0 0 0 109841 174 0 0 25 0 1 0 633969320 16490496 3160 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4026 3160 1111 63 0 3963 0
vsize: 16104
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3266 0 0 0 110840 175 0 0 25 0 1 0 633969320 16625664 3187 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3266 0 0 0 111838 176 0 0 25 0 1 0 633969320 16625664 3187 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3266 0 0 0 112837 178 0 0 25 0 1 0 633969320 16625664 3187 4294967295 134512640 134714508 3221221776 3221220336 134696567 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3266 0 0 0 113836 179 0 0 25 0 1 0 633969320 16625664 3187 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3266 0 0 0 114835 181 0 0 25 0 1 0 633969320 16625664 3187 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3266 0 0 0 115833 182 0 0 25 0 1 0 633969320 16625664 3187 4294967295 134512640 134714508 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3266 0 0 0 116832 184 0 0 25 0 1 0 633969320 16625664 3187 4294967295 134512640 134714508 3221221776 3221220352 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 14296
Raw data (stat): 14296 (bsolo_lpr_cuts) R 14295 7876 7672 0 -1 0 3266 0 0 0 116832 184 0 0 25 0 1 0 633969320 16625664 3187 4294967295 134512640 134714508 3221221776 3221220352 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.04
CPU user time (s): 1173.18
CPU system time (s): 1.85472
CPU usage (%): 100.01
Max. virtual memory (Kb): 16236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####