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-fpga30_30_sat_pb.cnf.cr.opb
MD5SUM	511f20f1868f397c99d8a26ca62146c0
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	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04984
Number of variables	1350
Total number of constraints	990
Number of constraints which are clauses	930
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 23378

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 23:21:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=425 boxname=wulflinc31 idbench=48 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  511f20f1868f397c99d8a26ca62146c0  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_30_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_30_sat_pb.cnf.cr.opb
IDLAUNCH: 425
/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:        925140 kB
Buffers:         38952 kB
Cached:          48436 kB
SwapCached:        944 kB
Active:          73296 kB
Inactive:        16532 kB
HighTotal:      131008 kB
HighFree:        81592 kB
LowTotal:       903652 kB
LowFree:        843548 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14100 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 23:41:29 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 425 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 1350 variables and 990 constraints.
c After prepocess the problem consists of 1350 variables and 990 constraints.
c preprocess terminated 2.008 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.93 2/54 29259
Raw data (stat): 29259 (runsolver) R 29258 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 644039203 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.001 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 1994 0 0 0 985 11 0 0 25 0 1 0 644039203 11296768 1915 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2758 1915 1111 63 0 2695 0
vsize: 11032
[startup+20.0018 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2173 0 0 0 1984 13 0 0 25 0 1 0 644039203 11972608 2094 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2923 2094 1111 63 0 2860 0
vsize: 11692
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2285 0 0 0 2982 14 0 0 25 0 1 0 644039203 12513280 2206 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2206 1111 63 0 2992 0
vsize: 12220
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2369 0 0 0 3981 16 0 0 25 0 1 0 644039203 12783616 2290 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3121 2290 1111 63 0 3058 0
vsize: 12484
[startup+50.0016 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2432 0 0 0 4979 18 0 0 25 0 1 0 644039203 13025280 2353 4294967295 134512640 134714508 3221221760 3221220352 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3180 2353 1111 63 0 3117 0
vsize: 12720
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2480 0 0 0 5978 18 0 0 25 0 1 0 644039203 13295616 2401 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3246 2401 1111 63 0 3183 0
vsize: 12984
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2528 0 0 0 6977 20 0 0 25 0 1 0 644039203 13430784 2449 4294967295 134512640 134714508 3221221760 3221220464 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3279 2449 1111 63 0 3216 0
vsize: 13116
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2749 0 0 0 7976 21 0 0 25 0 1 0 644039203 14376960 2670 4294967295 134512640 134714508 3221221760 3221220216 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3510 2670 1111 63 0 3447 0
vsize: 14040
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2859 0 0 0 8975 22 0 0 25 0 1 0 644039203 14782464 2780 4294967295 134512640 134714508 3221221760 3221220296 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3609 2780 1111 63 0 3546 0
vsize: 14436
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2865 0 0 0 9975 23 0 0 25 0 1 0 644039203 14917632 2786 4294967295 134512640 134714508 3221221760 3221220416 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3642 2786 1111 63 0 3579 0
vsize: 14568
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2905 0 0 0 10974 23 0 0 25 0 1 0 644039203 15028224 2826 4294967295 134512640 134714508 3221221760 3221219912 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2826 1111 63 0 3606 0
vsize: 14676
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2935 0 0 0 11973 25 0 0 25 0 1 0 644039203 15163392 2856 4294967295 134512640 134714508 3221221760 3221220216 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2856 1111 63 0 3639 0
vsize: 14808
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2975 0 0 0 12972 26 0 0 25 0 1 0 644039203 15298560 2896 4294967295 134512640 134714508 3221221760 3221220344 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2896 1111 63 0 3672 0
vsize: 14940
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 2975 0 0 0 13971 27 0 0 25 0 1 0 644039203 15298560 2896 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2896 1111 63 0 3672 0
vsize: 14940
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3057 0 0 0 14970 28 0 0 25 0 1 0 644039203 15523840 2946 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3790 2946 1111 63 0 3727 0
vsize: 15160
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3072 0 0 0 15970 29 0 0 25 0 1 0 644039203 15515648 2961 4294967295 134512640 134714508 3221221760 3221220528 134529113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3788 2961 1111 63 0 3725 0
vsize: 15152
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3106 0 0 0 16969 30 0 0 25 0 1 0 644039203 15785984 2995 4294967295 134512640 134714508 3221221760 3221220320 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3854 2995 1111 63 0 3791 0
vsize: 15416
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3106 0 0 0 17968 31 0 0 25 0 1 0 644039203 15785984 2995 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3854 2995 1111 63 0 3791 0
vsize: 15416
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3106 0 0 0 18968 32 0 0 25 0 1 0 644039203 15785984 2995 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3854 2995 1111 63 0 3791 0
vsize: 15416
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3148 0 0 0 19967 33 0 0 25 0 1 0 644039203 15917056 3037 4294967295 134512640 134714508 3221221760 3221220464 134528662 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3886 3037 1111 63 0 3823 0
vsize: 15544
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3200 0 0 0 20966 34 0 0 25 0 1 0 644039203 16052224 3089 4294967295 134512640 134714508 3221221760 3221220428 1076647536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3919 3089 1111 63 0 3856 0
vsize: 15676
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3264 0 0 0 21964 36 0 0 25 0 1 0 644039203 16371712 3147 4294967295 134512640 134714508 3221221760 3221220544 134529328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 3147 1111 63 0 3934 0
vsize: 15988
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3568 0 0 0 22962 38 0 0 25 0 1 0 644039203 17571840 3451 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4290 3451 1111 63 0 4227 0
vsize: 17160
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3782 0 0 0 23960 40 0 0 25 0 1 0 644039203 18509824 3665 4294967295 134512640 134714508 3221221760 3221220316 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4519 3665 1111 63 0 4456 0
vsize: 18076
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3877 0 0 0 24958 43 0 0 25 0 1 0 644039203 18882560 3760 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4610 3760 1111 63 0 4547 0
vsize: 18440
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 3973 0 0 0 25957 43 0 0 25 0 1 0 644039203 19288064 3856 4294967295 134512640 134714508 3221221760 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3856 1111 63 0 4646 0
vsize: 18836
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4148 0 0 0 26955 46 0 0 25 0 1 0 644039203 19951616 4031 4294967295 134512640 134714508 3221221760 3221220352 134696260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4871 4031 1111 63 0 4808 0
vsize: 19484
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4261 0 0 0 27953 48 0 0 25 0 1 0 644039203 20463616 4144 4294967295 134512640 134714508 3221221760 3221220464 134528538 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4144 1111 63 0 4933 0
vsize: 19984
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4339 0 0 0 28952 49 0 0 25 0 1 0 644039203 20729856 4222 4294967295 134512640 134714508 3221221760 3221220156 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5061 4222 1111 63 0 4998 0
vsize: 20244
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4402 0 0 0 29950 51 0 0 25 0 1 0 644039203 20983808 4285 4294967295 134512640 134714508 3221221760 3221220408 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5123 4285 1111 63 0 5060 0
vsize: 20492
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4492 0 0 0 30948 53 0 0 25 0 1 0 644039203 21364736 4375 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5216 4375 1111 63 0 5153 0
vsize: 20864
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4604 0 0 0 31947 54 0 0 25 0 1 0 644039203 21893120 4487 4294967295 134512640 134714508 3221221760 3221220448 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4487 1111 63 0 5282 0
vsize: 21380
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4655 0 0 0 32946 55 0 0 25 0 1 0 644039203 22028288 4538 4294967295 134512640 134714508 3221221760 3221220440 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5378 4538 1111 63 0 5315 0
vsize: 21512
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4694 0 0 0 33944 57 0 0 25 0 1 0 644039203 22163456 4577 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5411 4577 1111 63 0 5348 0
vsize: 21644
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4795 0 0 0 34943 59 0 0 25 0 1 0 644039203 22564864 4678 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4678 1111 63 0 5446 0
vsize: 22036
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4858 0 0 0 35941 61 0 0 25 0 1 0 644039203 22835200 4741 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5575 4741 1111 63 0 5512 0
vsize: 22300
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4880 0 0 0 36939 63 0 0 25 0 1 0 644039203 22970368 4763 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5608 4763 1111 63 0 5545 0
vsize: 22432
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4918 0 0 0 37938 64 0 0 25 0 1 0 644039203 23085056 4801 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5636 4801 1111 63 0 5573 0
vsize: 22544
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4959 0 0 0 38937 66 0 0 25 0 1 0 644039203 23220224 4842 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5669 4842 1111 63 0 5606 0
vsize: 22676
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 4978 0 0 0 39936 67 0 0 25 0 1 0 644039203 23355392 4861 4294967295 134512640 134714508 3221221760 3221220496 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5702 4861 1111 63 0 5639 0
vsize: 22808
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5015 0 0 0 40935 68 0 0 25 0 1 0 644039203 23490560 4898 4294967295 134512640 134714508 3221221760 3221220592 134551450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5735 4898 1111 63 0 5672 0
vsize: 22940
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5129 0 0 0 41932 71 0 0 25 0 1 0 644039203 24023040 5012 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5865 5012 1111 63 0 5802 0
vsize: 23460
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5171 0 0 0 42930 73 0 0 25 0 1 0 644039203 24129536 5054 4294967295 134512640 134714508 3221221760 3221220448 134534098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5891 5054 1111 63 0 5828 0
vsize: 23564
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5184 0 0 0 43929 74 0 0 25 0 1 0 644039203 24207360 5067 4294967295 134512640 134714508 3221221760 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5910 5067 1111 63 0 5847 0
vsize: 23640
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5198 0 0 0 44928 75 0 0 25 0 1 0 644039203 24207360 5081 4294967295 134512640 134714508 3221221760 3221220200 1077377495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5910 5081 1111 63 0 5847 0
vsize: 23640
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5214 0 0 0 45927 77 0 0 25 0 1 0 644039203 24342528 5097 4294967295 134512640 134714508 3221221760 3221220372 134523611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5943 5097 1111 63 0 5880 0
vsize: 23772
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5226 0 0 0 46926 78 0 0 25 0 1 0 644039203 24342528 5109 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5943 5109 1111 63 0 5880 0
vsize: 23772
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5275 0 0 0 47924 80 0 0 25 0 1 0 644039203 24596480 5158 4294967295 134512640 134714508 3221221760 3221220528 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6005 5158 1111 63 0 5942 0
vsize: 24020
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5310 0 0 0 48921 83 0 0 25 0 1 0 644039203 24727552 5193 4294967295 134512640 134714508 3221221760 3221220524 134592404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6037 5193 1111 63 0 5974 0
vsize: 24148
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5310 0 0 0 49920 84 0 0 25 0 1 0 644039203 24727552 5193 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6037 5193 1111 63 0 5974 0
vsize: 24148
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5353 0 0 0 50919 86 0 0 25 0 1 0 644039203 24858624 5236 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6069 5236 1111 63 0 6006 0
vsize: 24276
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5371 0 0 0 51918 87 0 0 25 0 1 0 644039203 24944640 5254 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6090 5254 1111 63 0 6027 0
vsize: 24360
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5378 0 0 0 52917 88 0 0 25 0 1 0 644039203 24944640 5261 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6090 5261 1111 63 0 6027 0
vsize: 24360
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5415 0 0 0 53916 89 0 0 25 0 1 0 644039203 25202688 5298 4294967295 134512640 134714508 3221221760 3221220364 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6153 5298 1111 63 0 6090 0
vsize: 24612
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5592 0 0 0 54914 91 0 0 25 0 1 0 644039203 25878528 5475 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6318 5475 1111 63 0 6255 0
vsize: 25272
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5668 0 0 0 55913 93 0 0 25 0 1 0 644039203 26136576 5551 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6381 5551 1111 63 0 6318 0
vsize: 25524
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5735 0 0 0 56911 94 0 0 25 0 1 0 644039203 26497024 5618 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6469 5618 1111 63 0 6406 0
vsize: 25876
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5800 0 0 0 57910 96 0 0 25 0 1 0 644039203 26742784 5683 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6529 5683 1111 63 0 6466 0
vsize: 26116
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5913 0 0 0 58909 98 0 0 25 0 1 0 644039203 27148288 5796 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6628 5796 1111 63 0 6565 0
vsize: 26512
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 5947 0 0 0 59908 99 0 0 25 0 1 0 644039203 27283456 5830 4294967295 134512640 134714508 3221221760 3221220456 134552678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6661 5830 1111 63 0 6598 0
vsize: 26644
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6083 0 0 0 60906 101 0 0 25 0 1 0 644039203 27889664 5966 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6809 5966 1111 63 0 6746 0
vsize: 27236
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6137 0 0 0 61905 102 0 0 25 0 1 0 644039203 28155904 6020 4294967295 134512640 134714508 3221221760 3221220336 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6874 6020 1111 63 0 6811 0
vsize: 27496
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6177 0 0 0 62904 103 0 0 25 0 1 0 644039203 28291072 6060 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6907 6060 1111 63 0 6844 0
vsize: 27628
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6211 0 0 0 63903 104 0 0 25 0 1 0 644039203 28413952 6094 4294967295 134512640 134714508 3221221760 3221220516 134592339 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6937 6094 1111 63 0 6874 0
vsize: 27748
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6260 0 0 0 64903 105 0 0 25 0 1 0 644039203 28549120 6143 4294967295 134512640 134714508 3221221760 3221220368 134549321 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 6143 1111 63 0 6907 0
vsize: 27880
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6301 0 0 0 65902 106 0 0 25 0 1 0 644039203 28819456 6184 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7036 6184 1111 63 0 6973 0
vsize: 28144
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6456 0 0 0 66900 108 0 0 25 0 1 0 644039203 29417472 6339 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7182 6339 1111 63 0 7119 0
vsize: 28728
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6589 0 0 0 67899 109 0 0 25 0 1 0 644039203 29958144 6472 4294967295 134512640 134714508 3221221760 3221220368 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7314 6472 1111 63 0 7251 0
vsize: 29256
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6666 0 0 0 68898 110 0 0 25 0 1 0 644039203 30228480 6549 4294967295 134512640 134714508 3221221760 3221220304 134551650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7380 6549 1111 63 0 7317 0
vsize: 29520
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6704 0 0 0 69897 111 0 0 25 0 1 0 644039203 30498816 6587 4294967295 134512640 134714508 3221221760 3221220440 134524426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7446 6587 1111 63 0 7383 0
vsize: 29784
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6747 0 0 0 70896 113 0 0 25 0 1 0 644039203 30593024 6630 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7469 6630 1111 63 0 7406 0
vsize: 29876
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6768 0 0 0 71895 114 0 0 25 0 1 0 644039203 30720000 6651 4294967295 134512640 134714508 3221221760 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7500 6651 1111 63 0 7437 0
vsize: 30000
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 6915 0 0 0 72894 115 0 0 25 0 1 0 644039203 31260672 6798 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7632 6798 1111 63 0 7569 0
vsize: 30528
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7063 0 0 0 73893 116 0 0 25 0 1 0 644039203 31936512 6946 4294967295 134512640 134714508 3221221760 3221220400 134696066 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7797 6946 1111 63 0 7734 0
vsize: 31188
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7143 0 0 0 74891 118 0 0 25 0 1 0 644039203 32206848 7026 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7863 7026 1111 63 0 7800 0
vsize: 31452
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7204 0 0 0 75889 120 0 0 25 0 1 0 644039203 32477184 7087 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7929 7087 1111 63 0 7866 0
vsize: 31716
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7263 0 0 0 76888 121 0 0 25 0 1 0 644039203 32739328 7146 4294967295 134512640 134714508 3221221760 3221220544 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7993 7146 1111 63 0 7930 0
vsize: 31972
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7342 0 0 0 77886 123 0 0 25 0 1 0 644039203 33107968 7225 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8083 7225 1111 63 0 8020 0
vsize: 32332
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7371 0 0 0 78885 125 0 0 25 0 1 0 644039203 33107968 7254 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8083 7254 1111 63 0 8020 0
vsize: 32332
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7448 0 0 0 79884 126 0 0 25 0 1 0 644039203 33513472 7331 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8182 7331 1111 63 0 8119 0
vsize: 32728
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7555 0 0 0 80882 128 0 0 25 0 1 0 644039203 33914880 7438 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8280 7438 1111 63 0 8217 0
vsize: 33120
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7595 0 0 0 81881 129 0 0 25 0 1 0 644039203 34050048 7478 4294967295 134512640 134714508 3221221760 3221220544 134529094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8313 7478 1111 63 0 8250 0
vsize: 33252
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7647 0 0 0 82880 130 0 0 25 0 1 0 644039203 34320384 7530 4294967295 134512640 134714508 3221221760 3221220368 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8379 7530 1111 63 0 8316 0
vsize: 33516
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7690 0 0 0 83879 132 0 0 25 0 1 0 644039203 34439168 7573 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8408 7573 1111 63 0 8345 0
vsize: 33632
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7719 0 0 0 84878 133 0 0 25 0 1 0 644039203 34562048 7602 4294967295 134512640 134714508 3221221760 3221220400 134536650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8438 7602 1111 63 0 8375 0
vsize: 33752
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7719 0 0 0 85877 134 0 0 25 0 1 0 644039203 34562048 7602 4294967295 134512640 134714508 3221221760 3221220336 134549718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8438 7602 1111 63 0 8375 0
vsize: 33752
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7751 0 0 0 86875 136 0 0 25 0 1 0 644039203 34697216 7634 4294967295 134512640 134714508 3221221760 3221220464 134528687 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8471 7634 1111 63 0 8408 0
vsize: 33884
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7787 0 0 0 87874 138 0 0 25 0 1 0 644039203 34832384 7670 4294967295 134512640 134714508 3221221760 3221220252 1076648036 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8504 7670 1111 63 0 8441 0
vsize: 34016
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7811 0 0 0 88872 140 0 0 25 0 1 0 644039203 34967552 7694 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8537 7694 1111 63 0 8474 0
vsize: 34148
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7881 0 0 0 89870 141 0 0 25 0 1 0 644039203 35315712 7764 4294967295 134512640 134714508 3221221760 3221220752 134574928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8622 7764 1111 63 0 8559 0
vsize: 34488
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7950 0 0 0 90868 144 0 0 25 0 1 0 644039203 35565568 7833 4294967295 134512640 134714508 3221221760 3221220544 134529200 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8683 7833 1111 63 0 8620 0
vsize: 34732
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7960 0 0 0 91867 145 0 0 25 0 1 0 644039203 35545088 7843 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8678 7843 1111 63 0 8615 0
vsize: 34712
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 7985 0 0 0 92865 147 0 0 25 0 1 0 644039203 35680256 7868 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8711 7868 1111 63 0 8648 0
vsize: 34844
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8004 0 0 0 93864 148 0 0 25 0 1 0 644039203 35815424 7887 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8744 7887 1111 63 0 8681 0
vsize: 34976
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8080 0 0 0 94863 149 0 0 25 0 1 0 644039203 36085760 7963 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8810 7963 1111 63 0 8747 0
vsize: 35240
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8113 0 0 0 95861 151 0 0 25 0 1 0 644039203 36192256 7996 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8836 7996 1111 63 0 8773 0
vsize: 35344
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8144 0 0 0 96860 152 0 0 25 0 1 0 644039203 36327424 8027 4294967295 134512640 134714508 3221221760 3221220412 1077374048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8869 8027 1111 63 0 8806 0
vsize: 35476
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8164 0 0 0 97859 154 0 0 25 0 1 0 644039203 36454400 8047 4294967295 134512640 134714508 3221221760 3221220156 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8900 8047 1111 63 0 8837 0
vsize: 35600
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8186 0 0 0 98857 155 0 0 25 0 1 0 644039203 36454400 8069 4294967295 134512640 134714508 3221221760 3221220320 134696508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8900 8069 1111 63 0 8837 0
vsize: 35600
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8215 0 0 0 99857 156 0 0 25 0 1 0 644039203 36589568 8098 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8933 8098 1111 63 0 8870 0
vsize: 35732
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8215 0 0 0 100855 157 0 0 25 0 1 0 644039203 36589568 8098 4294967295 134512640 134714508 3221221760 3221220384 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8933 8098 1111 63 0 8870 0
vsize: 35732
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8259 0 0 0 101854 159 0 0 25 0 1 0 644039203 36859904 8142 4294967295 134512640 134714508 3221221760 3221220368 134523607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8999 8142 1111 63 0 8936 0
vsize: 35996
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8277 0 0 0 102853 160 0 0 25 0 1 0 644039203 36859904 8160 4294967295 134512640 134714508 3221221760 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8999 8160 1111 63 0 8936 0
vsize: 35996
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8282 0 0 0 103851 162 0 0 25 0 1 0 644039203 36859904 8165 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8999 8165 1111 63 0 8936 0
vsize: 35996
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8305 0 0 0 104850 164 0 0 25 0 1 0 644039203 36995072 8188 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9032 8188 1111 63 0 8969 0
vsize: 36128
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8333 0 0 0 105849 164 0 0 25 0 1 0 644039203 37130240 8216 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9065 8216 1111 63 0 9002 0
vsize: 36260
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8360 0 0 0 106848 166 0 0 25 0 1 0 644039203 37265408 8243 4294967295 134512640 134714508 3221221760 3221220436 134594355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9098 8243 1111 63 0 9035 0
vsize: 36392
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8398 0 0 0 107847 167 0 0 25 0 1 0 644039203 37392384 8281 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9129 8281 1111 63 0 9066 0
vsize: 36516
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8447 0 0 0 108846 168 0 0 25 0 1 0 644039203 37617664 8330 4294967295 134512640 134714508 3221221760 3221220496 134524376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9184 8330 1111 63 0 9121 0
vsize: 36736
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8460 0 0 0 109845 169 0 0 25 0 1 0 644039203 37617664 8343 4294967295 134512640 134714508 3221221760 3221220524 134592362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9184 8343 1111 63 0 9121 0
vsize: 36736
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8511 0 0 0 110844 170 0 0 25 0 1 0 644039203 37888000 8394 4294967295 134512640 134714508 3221221760 3221220156 1077379947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9250 8394 1111 63 0 9187 0
vsize: 37000
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8592 0 0 0 111842 172 0 0 25 0 1 0 644039203 38158336 8475 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9316 8475 1111 63 0 9253 0
vsize: 37264
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8607 0 0 0 112841 173 0 0 25 0 1 0 644039203 38293504 8490 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9349 8490 1111 63 0 9286 0
vsize: 37396
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8635 0 0 0 113839 176 0 0 25 0 1 0 644039203 38293504 8518 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9349 8518 1111 63 0 9286 0
vsize: 37396
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8658 0 0 0 114838 177 0 0 25 0 1 0 644039203 38428672 8541 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9382 8541 1111 63 0 9319 0
vsize: 37528
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8662 0 0 0 115837 178 0 0 25 0 1 0 644039203 38428672 8545 4294967295 134512640 134714508 3221221760 3221220384 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9382 8545 1111 63 0 9319 0
vsize: 37528
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8704 0 0 0 116836 179 0 0 25 0 1 0 644039203 38563840 8587 4294967295 134512640 134714508 3221221760 3221220172 1077379840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9415 8587 1111 63 0 9352 0
vsize: 37660
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 29259
Raw data (stat): 29259 (bsolo_lpr_cuts) R 29258 7876 7672 0 -1 0 8704 0 0 0 116836 179 0 0 25 0 1 0 644039203 38563840 8587 4294967295 134512640 134714508 3221221760 3221220172 1077379840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9415 8587 1111 63 0 9352 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.05
CPU user time (s): 1173.23
CPU system time (s): 1.81772
CPU usage (%): 100.011
Max. virtual memory (Kb): 37660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####