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-fpga40_40_sat_pb.cnf.cr.opb
MD5SUM	f9a3a990ebca4aa5457d0675d3f1fe27
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	41
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.9477
Number of variables	2400
Total number of constraints	1720
Number of constraints which are clauses	1640
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 23408

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 07:24:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=479 boxname=wulflinc31 idbench=54 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  f9a3a990ebca4aa5457d0675d3f1fe27  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_40_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_40_sat_pb.cnf.cr.opb
IDLAUNCH: 479
/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:        922716 kB
Buffers:         39532 kB
Cached:          50236 kB
SwapCached:        944 kB
Active:          75264 kB
Inactive:        16964 kB
HighTotal:      131008 kB
HighFree:        79800 kB
LowTotal:       903652 kB
LowFree:        842916 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14220 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 07:43:37 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 479 7 1175.05 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 2400 variables and 1720 constraints.
c After prepocess the problem consists of 2400 variables and 1720 constraints.
c preprocess terminated 5.815 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.98 0.99 2/54 32563
Raw data (stat): 32563 (runsolver) R 32562 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 646932401 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 1918 0 0 0 988 7 0 0 25 0 1 0 646932401 11022336 1839 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2691 1839 1111 63 0 2628 0
vsize: 10764
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2006 0 0 0 1986 9 0 0 25 0 1 0 646932401 11399168 1927 4294967295 134512640 134714508 3221221760 3221220368 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2783 1927 1111 63 0 2720 0
vsize: 11132
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2102 0 0 0 2985 10 0 0 25 0 1 0 646932401 11804672 2023 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2882 2023 1111 63 0 2819 0
vsize: 11528
[startup+40.003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2133 0 0 0 3984 12 0 0 25 0 1 0 646932401 11939840 2054 4294967295 134512640 134714508 3221221760 3221220348 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2054 1111 63 0 2852 0
vsize: 11660
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2156 0 0 0 4982 14 0 0 25 0 1 0 646932401 11939840 2077 4294967295 134512640 134714508 3221221760 3221220404 134613657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2077 1111 63 0 2852 0
vsize: 11660
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2186 0 0 0 5980 16 0 0 25 0 1 0 646932401 12075008 2107 4294967295 134512640 134714508 3221221760 3221220428 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2948 2107 1111 63 0 2885 0
vsize: 11792
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2219 0 0 0 6978 18 0 0 25 0 1 0 646932401 12193792 2140 4294967295 134512640 134714508 3221221760 3221220544 134529401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2140 1111 63 0 2914 0
vsize: 11908
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2283 0 0 0 7977 20 0 0 25 0 1 0 646932401 12455936 2204 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3041 2204 1111 63 0 2978 0
vsize: 12164
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2321 0 0 0 8974 23 0 0 25 0 1 0 646932401 12726272 2242 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3107 2242 1111 63 0 3044 0
vsize: 12428
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2447 0 0 0 9973 24 0 0 25 0 1 0 646932401 13225984 2368 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3229 2368 1111 63 0 3166 0
vsize: 12916
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2592 0 0 0 10971 26 0 0 25 0 1 0 646932401 13758464 2513 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3359 2513 1111 63 0 3296 0
vsize: 13436
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 2877 0 0 0 11969 28 0 0 25 0 1 0 646932401 14974976 2798 4294967295 134512640 134714508 3221221760 3221220488 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3656 2798 1111 63 0 3593 0
vsize: 14624
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3010 0 0 0 12968 29 0 0 25 0 1 0 646932401 15425536 2931 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3766 2931 1111 63 0 3703 0
vsize: 15064
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3035 0 0 0 13967 30 0 0 25 0 1 0 646932401 15560704 2956 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3035 0 0 0 14967 31 0 0 25 0 1 0 646932401 15560704 2956 4294967295 134512640 134714508 3221221760 3221220344 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3035 0 0 0 15966 32 0 0 25 0 1 0 646932401 15560704 2956 4294967295 134512640 134714508 3221221760 3221220416 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3035 0 0 0 16966 32 0 0 25 0 1 0 646932401 15560704 2956 4294967295 134512640 134714508 3221221760 3221220388 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3035 0 0 0 17964 34 0 0 25 0 1 0 646932401 15560704 2956 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3035 0 0 0 18963 35 0 0 25 0 1 0 646932401 15560704 2956 4294967295 134512640 134714508 3221221760 3221220544 134529421 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3035 0 0 0 19963 36 0 0 25 0 1 0 646932401 15560704 2956 4294967295 134512640 134714508 3221221760 3221220320 134696528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3035 0 0 0 20962 37 0 0 25 0 1 0 646932401 15560704 2956 4294967295 134512640 134714508 3221221760 3221220304 134539338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3035 0 0 0 21961 38 0 0 25 0 1 0 646932401 15560704 2956 4294967295 134512640 134714508 3221221760 3221220400 134696044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3085 0 0 0 22961 38 0 0 25 0 1 0 646932401 15831040 3006 4294967295 134512640 134714508 3221221760 3221220352 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3865 3006 1111 63 0 3802 0
vsize: 15460
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3115 0 0 0 23961 39 0 0 25 0 1 0 646932401 15958016 3036 4294967295 134512640 134714508 3221221760 3221220428 134543056 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3896 3036 1111 63 0 3833 0
vsize: 15584
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3115 0 0 0 24960 39 0 0 25 0 1 0 646932401 15958016 3036 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3896 3036 1111 63 0 3833 0
vsize: 15584
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3115 0 0 0 25959 41 0 0 25 0 1 0 646932401 15958016 3036 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3896 3036 1111 63 0 3833 0
vsize: 15584
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3115 0 0 0 26958 42 0 0 25 0 1 0 646932401 15958016 3036 4294967295 134512640 134714508 3221221760 3221220416 134536707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3896 3036 1111 63 0 3833 0
vsize: 15584
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3115 0 0 0 27956 44 0 0 25 0 1 0 646932401 15867904 3036 4294967295 134512640 134714508 3221221760 3221220324 134542296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3036 1111 63 0 3811 0
vsize: 15496
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3115 0 0 0 28956 45 0 0 25 0 1 0 646932401 15867904 3036 4294967295 134512640 134714508 3221221760 3221220512 134592345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3036 1111 63 0 3811 0
vsize: 15496
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3117 0 0 0 29955 45 0 0 25 0 1 0 646932401 15867904 3038 4294967295 134512640 134714508 3221221760 3221220400 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3038 1111 63 0 3811 0
vsize: 15496
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3120 0 0 0 30955 46 0 0 25 0 1 0 646932401 15876096 3041 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3041 1111 63 0 3813 0
vsize: 15504
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3120 0 0 0 31955 46 0 0 25 0 1 0 646932401 15876096 3041 4294967295 134512640 134714508 3221221760 3221220448 134542958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3041 1111 63 0 3813 0
vsize: 15504
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3120 0 0 0 32955 46 0 0 25 0 1 0 646932401 15876096 3041 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3041 1111 63 0 3813 0
vsize: 15504
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3120 0 0 0 33955 46 0 0 25 0 1 0 646932401 15867904 3039 4294967295 134512640 134714508 3221221760 3221220344 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3120 0 0 0 34955 47 0 0 25 0 1 0 646932401 15867904 3039 4294967295 134512640 134714508 3221221760 3221220452 134523378 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3120 0 0 0 35955 47 0 0 25 0 1 0 646932401 15867904 3039 4294967295 134512640 134714508 3221221760 3221220544 134529404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3120 0 0 0 36954 48 0 0 25 0 1 0 646932401 15867904 3039 4294967295 134512640 134714508 3221221760 3221220368 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3120 0 0 0 37953 49 0 0 25 0 1 0 646932401 15867904 3039 4294967295 134512640 134714508 3221221760 3221220516 134592339 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3120 0 0 0 38953 50 0 0 25 0 1 0 646932401 15867904 3039 4294967295 134512640 134714508 3221221760 3221220156 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3137 0 0 0 39951 51 0 0 25 0 1 0 646932401 16003072 3056 4294967295 134512640 134714508 3221221760 3221220328 1077378438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3907 3056 1111 63 0 3844 0
vsize: 15628
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3160 0 0 0 40951 52 0 0 25 0 1 0 646932401 16138240 3079 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3940 3079 1111 63 0 3877 0
vsize: 15760
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3172 0 0 0 41950 53 0 0 25 0 1 0 646932401 16138240 3091 4294967295 134512640 134714508 3221221760 3221220496 134535740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3940 3091 1111 63 0 3877 0
vsize: 15760
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3216 0 0 0 42950 53 0 0 25 0 1 0 646932401 16359424 3135 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3994 3135 1111 63 0 3931 0
vsize: 15976
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3277 0 0 0 43948 55 0 0 25 0 1 0 646932401 16355328 3153 4294967295 134512640 134714508 3221221760 3221220464 134528410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3993 3153 1111 63 0 3930 0
vsize: 15972
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3277 0 0 0 44948 56 0 0 25 0 1 0 646932401 16355328 3153 4294967295 134512640 134714508 3221221760 3221220488 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3993 3153 1111 63 0 3930 0
vsize: 15972
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 45946 58 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220412 1077374113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 46945 59 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220496 134534154 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 47943 61 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 48942 62 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 49942 63 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220388 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 50940 65 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 51938 67 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220328 1077377501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 52937 68 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220480 134584759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 53936 69 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+550.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 54935 70 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220576 134590248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 55934 72 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220332 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 56933 72 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 57932 74 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220464 134528625 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 58931 75 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220320 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3479 0 0 0 59930 76 0 0 25 0 1 0 646932401 17166336 3355 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3487 0 0 0 60929 78 0 0 25 0 1 0 646932401 17301504 3363 4294967295 134512640 134714508 3221221760 3221220352 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3363 1111 63 0 4161 0
vsize: 16896
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3487 0 0 0 61928 79 0 0 25 0 1 0 646932401 17301504 3363 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3363 1111 63 0 4161 0
vsize: 16896
[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3487 0 0 0 62927 79 0 0 25 0 1 0 646932401 17256448 3363 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4213 3363 1111 63 0 4150 0
vsize: 16852
[startup+640.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3487 0 0 0 63926 81 0 0 25 0 1 0 646932401 17256448 3363 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4213 3363 1111 63 0 4150 0
vsize: 16852
[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3511 0 0 0 64925 82 0 0 25 0 1 0 646932401 17391616 3387 4294967295 134512640 134714508 3221221760 3221220592 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4246 3387 1111 63 0 4183 0
vsize: 16984
[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3535 0 0 0 65925 83 0 0 25 0 1 0 646932401 17391616 3402 4294967295 134512640 134714508 3221221760 3221220568 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4246 3402 1111 63 0 4183 0
vsize: 16984
[startup+670.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 66924 84 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220300 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 67922 85 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220544 134528936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 68922 86 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220140 134697487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+700.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 69920 88 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 70919 89 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+720.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 71919 90 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220388 1077374062 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+730.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 72919 90 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+740.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 73918 91 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220312 134696445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+750.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 74918 91 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220368 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+760.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 75917 92 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+770.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 76917 93 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220368 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+780.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 77916 94 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220352 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 78916 94 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220432 134551968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 79915 95 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220392 134696001 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+810.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 80915 96 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220384 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 81914 97 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220200 1077377790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+830.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 82914 97 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220316 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+840.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 83913 98 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+850.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3591 0 0 0 84912 99 0 0 25 0 1 0 646932401 17657856 3458 4294967295 134512640 134714508 3221221760 3221220504 134551601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3594 0 0 0 85912 100 0 0 25 0 1 0 646932401 17657856 3461 4294967295 134512640 134714508 3221221760 3221220320 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3594 0 0 0 86911 100 0 0 25 0 1 0 646932401 17657856 3461 4294967295 134512640 134714508 3221221760 3221220320 134696492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+880.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3594 0 0 0 87911 101 0 0 25 0 1 0 646932401 17657856 3461 4294967295 134512640 134714508 3221221760 3221220400 134696069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+890.033 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3594 0 0 0 88910 102 0 0 25 0 1 0 646932401 17657856 3461 4294967295 134512640 134714508 3221221760 3221220420 134536674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+900.033 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3594 0 0 0 89910 102 0 0 25 0 1 0 646932401 17657856 3461 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+910.034 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3594 0 0 0 90909 103 0 0 25 0 1 0 646932401 17657856 3461 4294967295 134512640 134714508 3221221760 3221220448 134536710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+920.034 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3594 0 0 0 91908 105 0 0 25 0 1 0 646932401 17657856 3461 4294967295 134512640 134714508 3221221760 3221220496 134528623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+930.035 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 92907 105 0 0 25 0 1 0 646932401 17928192 3514 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3514 1111 63 0 4314 0
vsize: 17508
[startup+940.035 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 93907 106 0 0 25 0 1 0 646932401 17928192 3514 4294967295 134512640 134714508 3221221760 3221220380 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3514 1111 63 0 4314 0
vsize: 17508
[startup+950.035 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 94906 107 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220492 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+960.036 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 95905 108 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220368 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+970.036 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 96903 110 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+980.036 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 97902 112 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220376 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+990.036 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 98900 113 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1000.04 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 99899 115 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220368 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1010.04 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 100897 117 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 101896 118 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 102895 120 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 103893 121 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 104892 123 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220520 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 105891 124 0 0 25 0 1 0 646932401 17756160 3500 4294967295 134512640 134714508 3221221760 3221220416 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 106890 125 0 0 25 0 1 0 646932401 17739776 3496 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4331 3496 1111 63 0 4268 0
vsize: 17324
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 107889 126 0 0 25 0 1 0 646932401 17739776 3496 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4331 3496 1111 63 0 4268 0
vsize: 17324
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 108887 128 0 0 25 0 1 0 646932401 17739776 3496 4294967295 134512640 134714508 3221221760 3221220304 134696684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4331 3496 1111 63 0 4268 0
vsize: 17324
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3647 0 0 0 109887 129 0 0 25 0 1 0 646932401 17739776 3496 4294967295 134512640 134714508 3221221760 3221220528 134529281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4331 3496 1111 63 0 4268 0
vsize: 17324
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3681 0 0 0 110887 129 0 0 25 0 1 0 646932401 18010112 3530 4294967295 134512640 134714508 3221221760 3221220464 134535807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3530 1111 63 0 4334 0
vsize: 17588
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3681 0 0 0 111886 130 0 0 25 0 1 0 646932401 18010112 3530 4294967295 134512640 134714508 3221221760 3221220156 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3530 1111 63 0 4334 0
vsize: 17588
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3681 0 0 0 112884 132 0 0 25 0 1 0 646932401 18010112 3530 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3530 1111 63 0 4334 0
vsize: 17588
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3681 0 0 0 113883 133 0 0 25 0 1 0 646932401 18010112 3530 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3530 1111 63 0 4334 0
vsize: 17588
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3681 0 0 0 114883 134 0 0 25 0 1 0 646932401 17969152 3530 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4387 3530 1111 63 0 4324 0
vsize: 17548
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3773 0 0 0 115882 135 0 0 25 0 1 0 646932401 18374656 3622 4294967295 134512640 134714508 3221221760 3221220512 134592421 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4486 3622 1111 63 0 4423 0
vsize: 17944
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3773 0 0 0 116881 136 0 0 25 0 1 0 646932401 18374656 3622 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4486 3622 1111 63 0 4423 0
vsize: 17944
[startup+1174.91 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 32563
Raw data (stat): 32563 (bsolo_lpr_cuts) R 32562 7876 7672 0 -1 0 3773 0 0 0 116881 136 0 0 25 0 1 0 646932401 18374656 3622 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4486 3622 1111 63 0 4423 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.05
CPU user time (s): 1173.67
CPU system time (s): 1.37379
CPU usage (%): 100.012
Max. virtual memory (Kb): 17944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####