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-fpga35_33_sat_pb.cnf.cr.opb
MD5SUM	d4fd8917eebbcee2e1b2df9714e1fab8
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	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.59276
Number of variables	1733
Total number of constraints	1256
Number of constraints which are clauses	1188
Number of constraints which are cardinality constraints (but not clauses)	68
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 23383

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 00:42:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=434 boxname=wulflinc31 idbench=49 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  d4fd8917eebbcee2e1b2df9714e1fab8  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_33_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_33_sat_pb.cnf.cr.opb
IDLAUNCH: 434
/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:        925232 kB
Buffers:         39052 kB
Cached:          48404 kB
SwapCached:        944 kB
Active:          73516 kB
Inactive:        16376 kB
HighTotal:      131008 kB
HighFree:        81676 kB
LowTotal:       903652 kB
LowFree:        843556 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14096 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 01:02:16 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 434 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 1733 variables and 1256 constraints.
c After prepocess the problem consists of 1733 variables and 1256 constraints.
c preprocess terminated 3.097 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.98 1.03 2/54 29790
Raw data (stat): 29790 (runsolver) R 29789 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 644524030 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.98 1.03 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 1843 0 0 0 986 9 0 0 25 0 1 0 644524030 10625024 1764 4294967295 134512640 134714508 3221221760 3221220400 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2594 1764 1111 63 0 2531 0
vsize: 10376
[startup+20.0006 s]
Raw data (loadavg): 0.95 0.98 1.03 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2061 0 0 0 1984 11 0 0 25 0 1 0 644524030 11571200 1982 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2825 1982 1111 63 0 2762 0
vsize: 11300
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.98 1.03 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2119 0 0 0 2981 14 0 0 25 0 1 0 644524030 11841536 2040 4294967295 134512640 134714508 3221221760 3221220416 134524193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2891 2040 1111 63 0 2828 0
vsize: 11564
[startup+40.001 s]
Raw data (loadavg): 0.96 0.98 1.03 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2267 0 0 0 3979 16 0 0 25 0 1 0 644524030 12378112 2188 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3022 2188 1111 63 0 2959 0
vsize: 12088
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.98 1.03 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2320 0 0 0 4977 18 0 0 25 0 1 0 644524030 12648448 2241 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3088 2241 1111 63 0 3025 0
vsize: 12352
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.98 1.03 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2361 0 0 0 5976 19 0 0 25 0 1 0 644524030 12783616 2282 4294967295 134512640 134714508 3221221760 3221220496 134558535 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3121 2282 1111 63 0 3058 0
vsize: 12484
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.98 1.03 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2402 0 0 0 6975 21 0 0 25 0 1 0 644524030 12918784 2323 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3154 2323 1111 63 0 3091 0
vsize: 12616
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.98 1.03 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2429 0 0 0 7974 22 0 0 25 0 1 0 644524030 13045760 2350 4294967295 134512640 134714508 3221221760 3221220176 134697239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2350 1111 63 0 3122 0
vsize: 12740
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.98 1.03 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2507 0 0 0 8973 24 0 0 25 0 1 0 644524030 13430784 2428 4294967295 134512640 134714508 3221221760 3221220464 134584838 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3279 2428 1111 63 0 3216 0
vsize: 13116
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 1.02 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2546 0 0 0 9971 26 0 0 25 0 1 0 644524030 13565952 2467 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2467 1111 63 0 3249 0
vsize: 13248
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2783 0 0 0 10969 27 0 0 25 0 1 0 644524030 14508032 2704 4294967295 134512640 134714508 3221221760 3221220400 134696069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2704 1111 63 0 3479 0
vsize: 14168
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2802 0 0 0 11968 29 0 0 25 0 1 0 644524030 14643200 2723 4294967295 134512640 134714508 3221221760 3221220368 134523607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2723 1111 63 0 3512 0
vsize: 14300
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2874 0 0 0 12968 29 0 0 25 0 1 0 644524030 14909440 2795 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3640 2795 1111 63 0 3577 0
vsize: 14560
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2874 0 0 0 13967 30 0 0 25 0 1 0 644524030 14909440 2795 4294967295 134512640 134714508 3221221760 3221220308 134696665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3640 2795 1111 63 0 3577 0
vsize: 14560
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2908 0 0 0 14966 32 0 0 25 0 1 0 644524030 15044608 2829 4294967295 134512640 134714508 3221221760 3221220528 134592449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3673 2829 1111 63 0 3610 0
vsize: 14692
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 2933 0 0 0 15965 32 0 0 25 0 1 0 644524030 15179776 2854 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3706 2854 1111 63 0 3643 0
vsize: 14824
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3019 0 0 0 16963 34 0 0 25 0 1 0 644524030 15450112 2940 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3772 2940 1111 63 0 3709 0
vsize: 15088
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3055 0 0 0 17963 35 0 0 25 0 1 0 644524030 15585280 2976 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3805 2976 1111 63 0 3742 0
vsize: 15220
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3074 0 0 0 18962 36 0 0 25 0 1 0 644524030 15720448 2995 4294967295 134512640 134714508 3221221760 3221220428 1076647536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3838 2995 1111 63 0 3775 0
vsize: 15352
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3130 0 0 0 19961 37 0 0 25 0 1 0 644524030 15990784 3051 4294967295 134512640 134714508 3221221760 3221220148 1077379572 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3904 3051 1111 63 0 3841 0
vsize: 15616
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3130 0 0 0 20961 38 0 0 25 0 1 0 644524030 15990784 3051 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3904 3051 1111 63 0 3841 0
vsize: 15616
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3196 0 0 0 21960 39 0 0 25 0 1 0 644524030 16261120 3117 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3970 3117 1111 63 0 3907 0
vsize: 15880
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3223 0 0 0 22959 40 0 0 25 0 1 0 644524030 16388096 3144 4294967295 134512640 134714508 3221221760 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4001 3144 1111 63 0 3938 0
vsize: 16004
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3223 0 0 0 23959 40 0 0 25 0 1 0 644524030 16338944 3144 4294967295 134512640 134714508 3221221760 3221220448 134528420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3989 3144 1111 63 0 3926 0
vsize: 15956
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3276 0 0 0 24957 41 0 0 25 0 1 0 644524030 16601088 3197 4294967295 134512640 134714508 3221221760 3221220416 134524259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4053 3197 1111 63 0 3990 0
vsize: 16212
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3292 0 0 0 25956 43 0 0 25 0 1 0 644524030 16601088 3213 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4053 3213 1111 63 0 3990 0
vsize: 16212
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3449 0 0 0 26955 44 0 0 25 0 1 0 644524030 17276928 3370 4294967295 134512640 134714508 3221221760 3221220448 134542851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4218 3370 1111 63 0 4155 0
vsize: 16872
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3503 0 0 0 27953 46 0 0 25 0 1 0 644524030 17547264 3424 4294967295 134512640 134714508 3221221760 3221220488 134528393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4284 3424 1111 63 0 4221 0
vsize: 17136
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3584 0 0 0 28952 47 0 0 25 0 1 0 644524030 17809408 3505 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3505 1111 63 0 4285 0
vsize: 17392
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3715 0 0 0 29951 49 0 0 25 0 1 0 644524030 18337792 3636 4294967295 134512640 134714508 3221221760 3221220400 134523869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4477 3636 1111 63 0 4414 0
vsize: 17908
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 3886 0 0 0 30950 50 0 0 25 0 1 0 644524030 19009536 3807 4294967295 134512640 134714508 3221221760 3221220424 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4641 3808 1111 63 0 4578 0
vsize: 18564
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4077 0 0 0 31948 52 0 0 25 0 1 0 644524030 19783680 3998 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4830 3998 1111 63 0 4767 0
vsize: 19320
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4216 0 0 0 32947 53 0 0 25 0 1 0 644524030 20455424 4137 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4994 4137 1111 63 0 4931 0
vsize: 19976
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4363 0 0 0 33945 55 0 0 25 0 1 0 644524030 20996096 4284 4294967295 134512640 134714508 3221221760 3221220448 134543698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5126 4284 1111 63 0 5063 0
vsize: 20504
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4498 0 0 0 34944 57 0 0 25 0 1 0 644524030 21536768 4419 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4419 1111 63 0 5195 0
vsize: 21032
[startup+360.013 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4567 0 0 0 35943 58 0 0 25 0 1 0 644524030 21807104 4488 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4488 1111 63 0 5261 0
vsize: 21296
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4623 0 0 0 36942 59 0 0 25 0 1 0 644524030 22077440 4544 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5390 4544 1111 63 0 5327 0
vsize: 21560
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4732 0 0 0 37939 62 0 0 25 0 1 0 644524030 22482944 4653 4294967295 134512640 134714508 3221221760 3221220368 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5489 4653 1111 63 0 5426 0
vsize: 21956
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4807 0 0 0 38938 63 0 0 25 0 1 0 644524030 22867968 4728 4294967295 134512640 134714508 3221221760 3221220592 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5583 4728 1111 63 0 5520 0
vsize: 22332
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4892 0 0 0 39937 65 0 0 25 0 1 0 644524030 23138304 4813 4294967295 134512640 134714508 3221221760 3221220288 1076999584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5649 4813 1111 63 0 5586 0
vsize: 22596
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4915 0 0 0 40936 66 0 0 25 0 1 0 644524030 23273472 4836 4294967295 134512640 134714508 3221221760 3221220464 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5682 4836 1111 63 0 5619 0
vsize: 22728
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 4947 0 0 0 41935 67 0 0 25 0 1 0 644524030 23408640 4868 4294967295 134512640 134714508 3221221760 3221220332 134539306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5715 4868 1111 63 0 5652 0
vsize: 22860
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5025 0 0 0 42934 68 0 0 25 0 1 0 644524030 23678976 4946 4294967295 134512640 134714508 3221221760 3221220544 134584866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5781 4946 1111 63 0 5718 0
vsize: 23124
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5052 0 0 0 43933 69 0 0 25 0 1 0 644524030 23814144 4973 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5814 4973 1111 63 0 5751 0
vsize: 23256
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5062 0 0 0 44932 71 0 0 25 0 1 0 644524030 23814144 4983 4294967295 134512640 134714508 3221221760 3221220528 134592140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5814 4983 1111 63 0 5751 0
vsize: 23256
[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5089 0 0 0 45930 72 0 0 25 0 1 0 644524030 23949312 5010 4294967295 134512640 134714508 3221221760 3221220528 134592513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5847 5010 1111 63 0 5784 0
vsize: 23388
[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5134 0 0 0 46929 74 0 0 25 0 1 0 644524030 24174592 5055 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5902 5055 1111 63 0 5839 0
vsize: 23608
[startup+480.028 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5167 0 0 0 47928 75 0 0 25 0 1 0 644524030 24309760 5088 4294967295 134512640 134714508 3221221760 3221220320 134696567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5935 5088 1111 63 0 5872 0
vsize: 23740
[startup+490.029 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5177 0 0 0 48926 77 0 0 25 0 1 0 644524030 24309760 5098 4294967295 134512640 134714508 3221221760 3221220412 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5935 5098 1111 63 0 5872 0
vsize: 23740
[startup+500.031 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5197 0 0 0 49925 79 0 0 25 0 1 0 644524030 24444928 5118 4294967295 134512640 134714508 3221221760 3221220328 1077378438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5968 5118 1111 63 0 5905 0
vsize: 23872
[startup+510.032 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5212 0 0 0 50924 80 0 0 25 0 1 0 644524030 24444928 5133 4294967295 134512640 134714508 3221221760 3221220496 134535728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5968 5133 1111 63 0 5905 0
vsize: 23872
[startup+520.033 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5279 0 0 0 51923 81 0 0 25 0 1 0 644524030 24715264 5200 4294967295 134512640 134714508 3221221760 3221220400 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6034 5200 1111 63 0 5971 0
vsize: 24136
[startup+530.035 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5307 0 0 0 52922 82 0 0 25 0 1 0 644524030 24850432 5228 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6067 5228 1111 63 0 6004 0
vsize: 24268
[startup+540.036 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5321 0 0 0 53921 83 0 0 25 0 1 0 644524030 24985600 5242 4294967295 134512640 134714508 3221221760 3221220416 134523904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6100 5242 1111 63 0 6037 0
vsize: 24400
[startup+550.038 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5340 0 0 0 54919 85 0 0 25 0 1 0 644524030 24948736 5261 4294967295 134512640 134714508 3221221760 3221220396 134523381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6091 5261 1111 63 0 6028 0
vsize: 24364
[startup+560.039 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5379 0 0 0 55919 86 0 0 25 0 1 0 644524030 25210880 5300 4294967295 134512640 134714508 3221221760 3221220388 134696209 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6155 5300 1111 63 0 6092 0
vsize: 24620
[startup+570.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5408 0 0 0 56918 87 0 0 25 0 1 0 644524030 25337856 5329 4294967295 134512640 134714508 3221221760 3221220532 134551788 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5329 1111 63 0 6123 0
vsize: 24744
[startup+580.041 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5417 0 0 0 57916 88 0 0 25 0 1 0 644524030 25337856 5338 4294967295 134512640 134714508 3221221760 3221220400 134523869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5338 1111 63 0 6123 0
vsize: 24744
[startup+590.042 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5435 0 0 0 58915 90 0 0 25 0 1 0 644524030 25337856 5356 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5356 1111 63 0 6123 0
vsize: 24744
[startup+600.043 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5445 0 0 0 59914 91 0 0 25 0 1 0 644524030 25452544 5366 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6214 5366 1111 63 0 6151 0
vsize: 24856
[startup+610.045 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5467 0 0 0 60912 93 0 0 25 0 1 0 644524030 25587712 5388 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6247 5388 1111 63 0 6184 0
vsize: 24988
[startup+620.046 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5492 0 0 0 61911 95 0 0 25 0 1 0 644524030 25571328 5413 4294967295 134512640 134714508 3221221760 3221220504 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6243 5413 1111 63 0 6180 0
vsize: 24972
[startup+630.049 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5522 0 0 0 62910 96 0 0 25 0 1 0 644524030 25706496 5443 4294967295 134512640 134714508 3221221760 3221220496 134591875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6276 5443 1111 63 0 6213 0
vsize: 25104
[startup+640.051 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5585 0 0 0 63909 97 0 0 25 0 1 0 644524030 25976832 5506 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6342 5506 1111 63 0 6279 0
vsize: 25368
[startup+650.053 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5598 0 0 0 64908 98 0 0 25 0 1 0 644524030 26107904 5519 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6374 5519 1111 63 0 6311 0
vsize: 25496
[startup+660.055 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5619 0 0 0 65907 99 0 0 25 0 1 0 644524030 26107904 5540 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6374 5540 1111 63 0 6311 0
vsize: 25496
[startup+670.057 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5705 0 0 0 66905 101 0 0 25 0 1 0 644524030 26492928 5626 4294967295 134512640 134714508 3221221760 3221220484 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6468 5626 1111 63 0 6405 0
vsize: 25872
[startup+680.059 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5810 0 0 0 67904 102 0 0 25 0 1 0 644524030 26898432 5731 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6567 5731 1111 63 0 6504 0
vsize: 26268
[startup+690.06 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5860 0 0 0 68903 104 0 0 25 0 1 0 644524030 27156480 5781 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6630 5781 1111 63 0 6567 0
vsize: 26520
[startup+700.063 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5865 0 0 0 69903 105 0 0 25 0 1 0 644524030 27156480 5786 4294967295 134512640 134714508 3221221760 3221220544 134584866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6630 5786 1111 63 0 6567 0
vsize: 26520
[startup+710.064 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 5951 0 0 0 70901 106 0 0 25 0 1 0 644524030 27557888 5872 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6728 5872 1111 63 0 6665 0
vsize: 26912
[startup+720.066 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6033 0 0 0 71899 108 0 0 25 0 1 0 644524030 27791360 5954 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6785 5954 1111 63 0 6722 0
vsize: 27140
[startup+730.069 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6091 0 0 0 72899 109 0 0 25 0 1 0 644524030 28057600 6012 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6850 6012 1111 63 0 6787 0
vsize: 27400
[startup+740.069 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6134 0 0 0 73897 110 0 0 25 0 1 0 644524030 28327936 6055 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6916 6055 1111 63 0 6853 0
vsize: 27664
[startup+750.071 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6160 0 0 0 74897 111 0 0 25 0 1 0 644524030 28327936 6081 4294967295 134512640 134714508 3221221760 3221220460 134534084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6916 6081 1111 63 0 6853 0
vsize: 27664
[startup+760.074 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6161 0 0 0 75896 113 0 0 25 0 1 0 644524030 28327936 6082 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6916 6082 1111 63 0 6853 0
vsize: 27664
[startup+770.075 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6242 0 0 0 76894 114 0 0 25 0 1 0 644524030 28733440 6163 4294967295 134512640 134714508 3221221760 3221220544 134529103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7015 6163 1111 63 0 6952 0
vsize: 28060
[startup+780.076 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6336 0 0 0 77893 116 0 0 25 0 1 0 644524030 29130752 6257 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7112 6257 1111 63 0 7049 0
vsize: 28448
[startup+790.077 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6389 0 0 0 78891 118 0 0 25 0 1 0 644524030 29265920 6310 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7145 6310 1111 63 0 7082 0
vsize: 28580
[startup+800.079 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6447 0 0 0 79890 119 0 0 25 0 1 0 644524030 29532160 6368 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6368 1111 63 0 7147 0
vsize: 28840
[startup+810.08 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6474 0 0 0 80888 121 0 0 25 0 1 0 644524030 29667328 6395 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7243 6395 1111 63 0 7180 0
vsize: 28972
[startup+820.081 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6511 0 0 0 81887 122 0 0 25 0 1 0 644524030 29802496 6432 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7276 6432 1111 63 0 7213 0
vsize: 29104
[startup+830.082 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6521 0 0 0 82886 124 0 0 25 0 1 0 644524030 29802496 6442 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7276 6442 1111 63 0 7213 0
vsize: 29104
[startup+840.083 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6538 0 0 0 83885 125 0 0 25 0 1 0 644524030 29937664 6459 4294967295 134512640 134714508 3221221760 3221220424 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7309 6459 1111 63 0 7246 0
vsize: 29236
[startup+850.085 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6565 0 0 0 84884 126 0 0 25 0 1 0 644524030 30072832 6486 4294967295 134512640 134714508 3221221760 3221220272 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7342 6486 1111 63 0 7279 0
vsize: 29368
[startup+860.086 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6580 0 0 0 85883 127 0 0 25 0 1 0 644524030 30072832 6501 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7342 6501 1111 63 0 7279 0
vsize: 29368
[startup+870.087 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6606 0 0 0 86882 128 0 0 25 0 1 0 644524030 30208000 6527 4294967295 134512640 134714508 3221221760 3221220384 1077377192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7375 6527 1111 63 0 7312 0
vsize: 29500
[startup+880.089 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6634 0 0 0 87881 129 0 0 25 0 1 0 644524030 30343168 6555 4294967295 134512640 134714508 3221221760 3221220496 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7408 6555 1111 63 0 7345 0
vsize: 29632
[startup+890.089 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6671 0 0 0 88880 131 0 0 25 0 1 0 644524030 30478336 6592 4294967295 134512640 134714508 3221221760 3221220304 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6592 1111 63 0 7378 0
vsize: 29764
[startup+900.091 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6688 0 0 0 89879 132 0 0 25 0 1 0 644524030 30478336 6609 4294967295 134512640 134714508 3221221760 3221220444 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6609 1111 63 0 7378 0
vsize: 29764
[startup+910.093 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6698 0 0 0 90878 133 0 0 25 0 1 0 644524030 30613504 6619 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6619 1111 63 0 7411 0
vsize: 29896
[startup+920.093 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6708 0 0 0 91878 134 0 0 25 0 1 0 644524030 30613504 6629 4294967295 134512640 134714508 3221221760 3221220396 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6629 1111 63 0 7411 0
vsize: 29896
[startup+930.094 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6733 0 0 0 92877 135 0 0 25 0 1 0 644524030 30748672 6654 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7507 6654 1111 63 0 7444 0
vsize: 30028
[startup+940.094 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6768 0 0 0 93875 136 0 0 25 0 1 0 644524030 30883840 6689 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7540 6689 1111 63 0 7477 0
vsize: 30160
[startup+950.096 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6784 0 0 0 94874 138 0 0 25 0 1 0 644524030 30883840 6705 4294967295 134512640 134714508 3221221760 3221220496 134558542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7540 6705 1111 63 0 7477 0
vsize: 30160
[startup+960.096 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6827 0 0 0 95872 140 0 0 25 0 1 0 644524030 31141888 6748 4294967295 134512640 134714508 3221221760 3221220384 134696254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7603 6748 1111 63 0 7540 0
vsize: 30412
[startup+970.097 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6862 0 0 0 96871 141 0 0 25 0 1 0 644524030 31268864 6783 4294967295 134512640 134714508 3221221760 3221220520 134592385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7634 6783 1111 63 0 7571 0
vsize: 30536
[startup+980.098 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6887 0 0 0 97870 142 0 0 25 0 1 0 644524030 31404032 6808 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7667 6808 1111 63 0 7604 0
vsize: 30668
[startup+990.098 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6916 0 0 0 98870 143 0 0 25 0 1 0 644524030 31404032 6837 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7667 6837 1111 63 0 7604 0
vsize: 30668
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6935 0 0 0 99869 144 0 0 25 0 1 0 644524030 31539200 6856 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7700 6856 1111 63 0 7637 0
vsize: 30800
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6955 0 0 0 100867 146 0 0 25 0 1 0 644524030 31674368 6876 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7733 6876 1111 63 0 7670 0
vsize: 30932
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6970 0 0 0 101866 147 0 0 25 0 1 0 644524030 31674368 6891 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7733 6891 1111 63 0 7670 0
vsize: 30932
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 6997 0 0 0 102865 148 0 0 25 0 1 0 644524030 31809536 6918 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7766 6918 1111 63 0 7703 0
vsize: 31064
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 29790
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7017 0 0 0 103864 149 0 0 25 0 1 0 644524030 31940608 6938 4294967295 134512640 134714508 3221221760 3221220544 134529259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1050.1 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 29843
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7017 0 0 0 104863 151 0 0 25 0 1 0 644524030 31940608 6938 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1060.1 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 29843
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7017 0 0 0 105862 152 0 0 25 0 1 0 644524030 31940608 6938 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1070.1 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 29843
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7017 0 0 0 106861 153 0 0 25 0 1 0 644524030 31940608 6938 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1080.1 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 29843
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7017 0 0 0 107860 154 0 0 25 0 1 0 644524030 31940608 6938 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1090.1 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 29843
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7017 0 0 0 108859 156 0 0 25 0 1 0 644524030 31940608 6938 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1100.11 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 29843
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7017 0 0 0 109858 157 0 0 25 0 1 0 644524030 31940608 6938 4294967295 134512640 134714508 3221221760 3221220352 134549616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1110.11 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 29843
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7038 0 0 0 110857 158 0 0 25 0 1 0 644524030 31940608 6959 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6959 1111 63 0 7735 0
vsize: 31192
[startup+1120.11 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 29845
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7038 0 0 0 111855 159 0 0 25 0 1 0 644524030 31940608 6959 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6959 1111 63 0 7735 0
vsize: 31192
[startup+1130.11 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 29845
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7044 0 0 0 112854 161 0 0 25 0 1 0 644524030 31940608 6965 4294967295 134512640 134714508 3221221760 3221220488 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6965 1111 63 0 7735 0
vsize: 31192
[startup+1140.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 29845
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7056 0 0 0 113853 162 0 0 25 0 1 0 644524030 32075776 6977 4294967295 134512640 134714508 3221221760 3221220528 134529110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7831 6977 1111 63 0 7768 0
vsize: 31324
[startup+1150.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 29845
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7102 0 0 0 114852 163 0 0 25 0 1 0 644524030 32210944 7023 4294967295 134512640 134714508 3221221760 3221220544 134528943 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7864 7023 1111 63 0 7801 0
vsize: 31456
[startup+1160.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 29845
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7133 0 0 0 115851 164 0 0 25 0 1 0 644524030 32342016 7054 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7896 7054 1111 63 0 7833 0
vsize: 31584
[startup+1170.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 29845
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7165 0 0 0 116850 165 0 0 25 0 1 0 644524030 32477184 7086 4294967295 134512640 134714508 3221221760 3221220368 134549450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7929 7086 1111 63 0 7866 0
vsize: 31716
[startup+1174.99 s]
Raw data (loadavg): 1.01 1.00 1.00 1/53 29845
Raw data (stat): 29790 (bsolo_lpr_cuts) R 29789 7876 7672 0 -1 0 7165 0 0 0 116850 165 0 0 25 0 1 0 644524030 32477184 7086 4294967295 134512640 134714508 3221221760 3221220368 134549450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7929 7086 1111 63 0 7866 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.04
CPU user time (s): 1173.37
CPU system time (s): 1.67274
CPU usage (%): 100.005
Max. virtual memory (Kb): 31716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####