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_35_sat_pb.cnf.cr.opb
MD5SUM	022f43a9cfc62e9c9c77f51c14f8e5bf
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.88771
Number of variables	1838
Total number of constraints	1330
Number of constraints which are clauses	1260
Number of constraints which are cardinality constraints (but not clauses)	70
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 23393

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 03:23:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=452 boxname=wulflinc31 idbench=51 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  022f43a9cfc62e9c9c77f51c14f8e5bf  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_35_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_35_sat_pb.cnf.cr.opb
IDLAUNCH: 452
/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:        924024 kB
Buffers:         39244 kB
Cached:          49232 kB
SwapCached:        944 kB
Active:          74080 kB
Inactive:        16876 kB
HighTotal:      131008 kB
HighFree:        80780 kB
LowTotal:       903652 kB
LowFree:        843244 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14152 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 03:42:43 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 452 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 1838 variables and 1330 constraints.
c After prepocess the problem consists of 1838 variables and 1330 constraints.
c preprocess terminated 3.545 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.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (runsolver) R 30909 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 645486836 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+9.99964 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 1889 0 0 0 986 9 0 0 25 0 1 0 645486836 10924032 1810 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2667 1810 1111 63 0 2604 0
vsize: 10668
[startup+20.0007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 2024 0 0 0 1985 11 0 0 25 0 1 0 645486836 11427840 1945 4294967295 134512640 134714508 3221221760 3221220352 134549520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2790 1945 1111 63 0 2727 0
vsize: 11160
[startup+30.0005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 2329 0 0 0 2982 14 0 0 25 0 1 0 645486836 12644352 2250 4294967295 134512640 134714508 3221221760 3221220488 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3087 2250 1111 63 0 3024 0
vsize: 12348
[startup+40.0004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 2403 0 0 0 3980 15 0 0 25 0 1 0 645486836 13045760 2324 4294967295 134512640 134714508 3221221760 3221220420 134536752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2324 1111 63 0 3122 0
vsize: 12740
[startup+50.0013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 2560 0 0 0 4979 17 0 0 25 0 1 0 645486836 13586432 2481 4294967295 134512640 134714508 3221221760 3221219840 134697214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2481 1111 63 0 3254 0
vsize: 13268
[startup+60.0012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 2630 0 0 0 5977 19 0 0 25 0 1 0 645486836 13983744 2551 4294967295 134512640 134714508 3221221760 3221220400 134696072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3414 2551 1111 63 0 3351 0
vsize: 13656
[startup+70.0022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 2676 0 0 0 6976 21 0 0 25 0 1 0 645486836 14118912 2597 4294967295 134512640 134714508 3221221760 3221220520 134552570 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3447 2597 1111 63 0 3384 0
vsize: 13788
[startup+80.0021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 2712 0 0 0 7974 22 0 0 25 0 1 0 645486836 14254080 2633 4294967295 134512640 134714508 3221221760 3221220476 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2633 1111 63 0 3417 0
vsize: 13920
[startup+90.0021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 2758 0 0 0 8973 24 0 0 25 0 1 0 645486836 14389248 2679 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2679 1111 63 0 3450 0
vsize: 14052
[startup+100.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 2794 0 0 0 9971 26 0 0 25 0 1 0 645486836 14524416 2715 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2715 1111 63 0 3483 0
vsize: 14184
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3074 0 0 0 10969 28 0 0 25 0 1 0 645486836 15740928 2995 4294967295 134512640 134714508 3221221760 3221220400 134696035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3843 2995 1111 63 0 3780 0
vsize: 15372
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3086 0 0 0 11968 29 0 0 25 0 1 0 645486836 15740928 3007 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3843 3007 1111 63 0 3780 0
vsize: 15372
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3107 0 0 0 12967 31 0 0 25 0 1 0 645486836 15876096 3028 4294967295 134512640 134714508 3221221760 3221220300 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3876 3028 1111 63 0 3813 0
vsize: 15504
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3118 0 0 0 13966 32 0 0 25 0 1 0 645486836 15876096 3039 4294967295 134512640 134714508 3221221760 3221220420 134524380 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3876 3039 1111 63 0 3813 0
vsize: 15504
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3161 0 0 0 14965 33 0 0 25 0 1 0 645486836 16068608 3082 4294967295 134512640 134714508 3221221760 3221220400 134524203 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3923 3082 1111 63 0 3860 0
vsize: 15692
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3167 0 0 0 15964 34 0 0 25 0 1 0 645486836 16068608 3088 4294967295 134512640 134714508 3221221760 3221220448 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3923 3088 1111 63 0 3860 0
vsize: 15692
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3186 0 0 0 16963 35 0 0 25 0 1 0 645486836 16203776 3107 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3186 0 0 0 17963 35 0 0 25 0 1 0 645486836 16203776 3107 4294967295 134512640 134714508 3221221760 3221220400 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3186 0 0 0 18963 36 0 0 25 0 1 0 645486836 16203776 3107 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3186 0 0 0 19962 36 0 0 25 0 1 0 645486836 16203776 3107 4294967295 134512640 134714508 3221221760 3221220476 134542983 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3186 0 0 0 20962 37 0 0 25 0 1 0 645486836 16203776 3107 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3186 0 0 0 21962 37 0 0 25 0 1 0 645486836 16203776 3107 4294967295 134512640 134714508 3221221760 3221220416 134536738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3199 0 0 0 22961 38 0 0 25 0 1 0 645486836 16203776 3120 4294967295 134512640 134714508 3221221760 3221220548 134586048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3120 1111 63 0 3893 0
vsize: 15824
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3250 0 0 0 23960 39 0 0 25 0 1 0 645486836 16474112 3171 4294967295 134512640 134714508 3221221760 3221220312 134696445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4022 3171 1111 63 0 3959 0
vsize: 16088
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3250 0 0 0 24959 40 0 0 25 0 1 0 645486836 16474112 3171 4294967295 134512640 134714508 3221221760 3221220400 134696359 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4022 3171 1111 63 0 3959 0
vsize: 16088
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3250 0 0 0 25958 41 0 0 25 0 1 0 645486836 16437248 3171 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4013 3171 1111 63 0 3950 0
vsize: 16052
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3267 0 0 0 26957 43 0 0 25 0 1 0 645486836 16461824 3188 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3267 0 0 0 27955 45 0 0 25 0 1 0 645486836 16461824 3188 4294967295 134512640 134714508 3221221760 3221220544 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3267 0 0 0 28953 47 0 0 25 0 1 0 645486836 16461824 3188 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3267 0 0 0 29952 48 0 0 25 0 1 0 645486836 16461824 3188 4294967295 134512640 134714508 3221221760 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3267 0 0 0 30951 49 0 0 25 0 1 0 645486836 16461824 3188 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3267 0 0 0 31949 51 0 0 25 0 1 0 645486836 16461824 3188 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3267 0 0 0 32948 52 0 0 25 0 1 0 645486836 16461824 3188 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3365 0 0 0 33947 53 0 0 25 0 1 0 645486836 16867328 3286 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4118 3286 1111 63 0 4055 0
vsize: 16472
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3420 0 0 0 34946 55 0 0 25 0 1 0 645486836 17002496 3320 4294967295 134512640 134714508 3221221760 3221220516 134592437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4151 3320 1111 63 0 4088 0
vsize: 16604
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3420 0 0 0 35945 56 0 0 25 0 1 0 645486836 17002496 3320 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4151 3320 1111 63 0 4088 0
vsize: 16604
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3552 0 0 0 36944 57 0 0 25 0 1 0 645486836 17543168 3452 4294967295 134512640 134714508 3221221760 3221220416 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4283 3452 1111 63 0 4220 0
vsize: 17132
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3567 0 0 0 37944 58 0 0 25 0 1 0 645486836 17678336 3467 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3467 1111 63 0 4253 0
vsize: 17264
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3567 0 0 0 38943 58 0 0 25 0 1 0 645486836 17678336 3467 4294967295 134512640 134714508 3221221760 3221220344 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3467 1111 63 0 4253 0
vsize: 17264
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3567 0 0 0 39943 59 0 0 25 0 1 0 645486836 17678336 3467 4294967295 134512640 134714508 3221221760 3221220480 134584734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3467 1111 63 0 4253 0
vsize: 17264
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3567 0 0 0 40943 59 0 0 25 0 1 0 645486836 17678336 3467 4294967295 134512640 134714508 3221221760 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3467 1111 63 0 4253 0
vsize: 17264
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3579 0 0 0 41943 59 0 0 25 0 1 0 645486836 17678336 3479 4294967295 134512640 134714508 3221221760 3221220400 134696107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3479 1111 63 0 4253 0
vsize: 17264
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3586 0 0 0 42942 60 0 0 25 0 1 0 645486836 17813504 3486 4294967295 134512640 134714508 3221221760 3221220448 134524471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4349 3486 1111 63 0 4286 0
vsize: 17396
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3592 0 0 0 43942 61 0 0 25 0 1 0 645486836 17735680 3492 4294967295 134512640 134714508 3221221760 3221220320 134696508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3492 1111 63 0 4267 0
vsize: 17320
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3615 0 0 0 44941 62 0 0 25 0 1 0 645486836 17870848 3515 4294967295 134512640 134714508 3221221760 3221220300 134697068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4363 3515 1111 63 0 4300 0
vsize: 17452
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3616 0 0 0 45940 62 0 0 25 0 1 0 645486836 17870848 3516 4294967295 134512640 134714508 3221221760 3221220328 134542295 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4363 3516 1111 63 0 4300 0
vsize: 17452
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3652 0 0 0 46940 63 0 0 25 0 1 0 645486836 17952768 3552 4294967295 134512640 134714508 3221221760 3221220016 134697103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4383 3552 1111 63 0 4320 0
vsize: 17532
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3680 0 0 0 47939 64 0 0 25 0 1 0 645486836 18075648 3580 4294967295 134512640 134714508 3221221760 3221220408 134543647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3580 1111 63 0 4350 0
vsize: 17652
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3695 0 0 0 48939 65 0 0 25 0 1 0 645486836 18210816 3595 4294967295 134512640 134714508 3221221760 3221220400 134613408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4446 3595 1111 63 0 4383 0
vsize: 17784
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 49938 66 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220344 134696001 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 50937 66 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 51937 67 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 52935 69 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 53934 70 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 54933 72 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 55930 73 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 56929 74 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 57929 75 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220592 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 58927 77 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220412 134542372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 59926 78 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220352 134539432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 60926 79 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 61925 79 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 62925 80 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 63923 82 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 64923 83 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 65921 84 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 66920 86 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220416 134526593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 67919 87 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 68918 88 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220496 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3837 0 0 0 69917 89 0 0 25 0 1 0 645486836 18751488 3737 4294967295 134512640 134714508 3221221760 3221220496 134591994 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 3895 0 0 0 70916 90 0 0 25 0 1 0 645486836 19021824 3795 4294967295 134512640 134714508 3221221760 3221220336 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4644 3795 1111 63 0 4581 0
vsize: 18576
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4046 0 0 0 71915 91 0 0 25 0 1 0 645486836 19697664 3946 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4809 3946 1111 63 0 4746 0
vsize: 19236
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4073 0 0 0 72914 93 0 0 25 0 1 0 645486836 19697664 3973 4294967295 134512640 134714508 3221221760 3221220316 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4809 3973 1111 63 0 4746 0
vsize: 19236
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4073 0 0 0 73914 93 0 0 25 0 1 0 645486836 19697664 3973 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4809 3973 1111 63 0 4746 0
vsize: 19236
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4076 0 0 0 74913 94 0 0 25 0 1 0 645486836 19697664 3976 4294967295 134512640 134714508 3221221760 3221220320 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4809 3976 1111 63 0 4746 0
vsize: 19236
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4087 0 0 0 75913 94 0 0 25 0 1 0 645486836 19832832 3987 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4842 3987 1111 63 0 4779 0
vsize: 19368
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4105 0 0 0 76913 95 0 0 25 0 1 0 645486836 19832832 4005 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4842 4005 1111 63 0 4779 0
vsize: 19368
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4123 0 0 0 77912 95 0 0 25 0 1 0 645486836 19968000 4023 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4875 4023 1111 63 0 4812 0
vsize: 19500
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4123 0 0 0 78912 96 0 0 25 0 1 0 645486836 19968000 4023 4294967295 134512640 134714508 3221221760 3221220544 134584866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4875 4023 1111 63 0 4812 0
vsize: 19500
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4123 0 0 0 79911 97 0 0 25 0 1 0 645486836 19968000 4023 4294967295 134512640 134714508 3221221760 3221220440 134524423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4875 4023 1111 63 0 4812 0
vsize: 19500
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4155 0 0 0 80911 97 0 0 25 0 1 0 645486836 20103168 4055 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4908 4055 1111 63 0 4845 0
vsize: 19632
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4187 0 0 0 81911 98 0 0 25 0 1 0 645486836 20144128 4087 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 4087 1111 63 0 4855 0
vsize: 19672
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4210 0 0 0 82910 98 0 0 25 0 1 0 645486836 20279296 4110 4294967295 134512640 134714508 3221221760 3221220364 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4110 1111 63 0 4888 0
vsize: 19804
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4231 0 0 0 83910 99 0 0 25 0 1 0 645486836 20414464 4131 4294967295 134512640 134714508 3221221760 3221220384 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4131 1111 63 0 4921 0
vsize: 19936
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4249 0 0 0 84909 100 0 0 25 0 1 0 645486836 20414464 4149 4294967295 134512640 134714508 3221221760 3221220316 134539276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4149 1111 63 0 4921 0
vsize: 19936
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4249 0 0 0 85909 100 0 0 25 0 1 0 645486836 20414464 4149 4294967295 134512640 134714508 3221221760 3221220488 134558798 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4149 1111 63 0 4921 0
vsize: 19936
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4249 0 0 0 86908 101 0 0 25 0 1 0 645486836 20414464 4149 4294967295 134512640 134714508 3221221760 3221220480 134591885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4149 1111 63 0 4921 0
vsize: 19936
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4249 0 0 0 87907 102 0 0 25 0 1 0 645486836 20414464 4149 4294967295 134512640 134714508 3221221760 3221220476 134551979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4149 1111 63 0 4921 0
vsize: 19936
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4303 0 0 0 88906 103 0 0 25 0 1 0 645486836 20684800 4203 4294967295 134512640 134714508 3221221760 3221220384 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5050 4203 1111 63 0 4987 0
vsize: 20200
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4362 0 0 0 89904 105 0 0 25 0 1 0 645486836 20955136 4262 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5116 4262 1111 63 0 5053 0
vsize: 20464
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4384 0 0 0 90903 106 0 0 25 0 1 0 645486836 20955136 4284 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5116 4284 1111 63 0 5053 0
vsize: 20464
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4429 0 0 0 91902 108 0 0 25 0 1 0 645486836 21221376 4329 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5181 4329 1111 63 0 5118 0
vsize: 20724
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4453 0 0 0 92901 109 0 0 25 0 1 0 645486836 21356544 4353 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4353 1111 63 0 5151 0
vsize: 20856
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4473 0 0 0 93900 110 0 0 25 0 1 0 645486836 21356544 4373 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4373 1111 63 0 5151 0
vsize: 20856
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4486 0 0 0 94899 111 0 0 25 0 1 0 645486836 21491712 4386 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5247 4386 1111 63 0 5184 0
vsize: 20988
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4533 0 0 0 95897 113 0 0 25 0 1 0 645486836 21626880 4433 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5280 4433 1111 63 0 5217 0
vsize: 21120
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4554 0 0 0 96896 114 0 0 25 0 1 0 645486836 21762048 4454 4294967295 134512640 134714508 3221221760 3221220496 134588000 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5313 4454 1111 63 0 5250 0
vsize: 21252
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.98 3/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4586 0 0 0 97895 116 0 0 25 0 1 0 645486836 21897216 4486 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4486 1111 63 0 5283 0
vsize: 21384
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4615 0 0 0 98894 117 0 0 25 0 1 0 645486836 21897216 4515 4294967295 134512640 134714508 3221221760 3221220256 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4515 1111 63 0 5283 0
vsize: 21384
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4870 0 0 0 99892 119 0 0 25 0 1 0 645486836 22978560 4770 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5610 4770 1111 63 0 5547 0
vsize: 22440
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4919 0 0 0 100891 120 0 0 25 0 1 0 645486836 23248896 4819 4294967295 134512640 134714508 3221221760 3221220368 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5676 4819 1111 63 0 5613 0
vsize: 22704
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4930 0 0 0 101890 121 0 0 25 0 1 0 645486836 23248896 4830 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5676 4830 1111 63 0 5613 0
vsize: 22704
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4930 0 0 0 102889 122 0 0 25 0 1 0 645486836 23248896 4830 4294967295 134512640 134714508 3221221760 3221220328 1077377227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5676 4830 1111 63 0 5613 0
vsize: 22704
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4958 0 0 0 103889 122 0 0 25 0 1 0 645486836 23384064 4858 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4858 1111 63 0 5646 0
vsize: 22836
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4958 0 0 0 104888 123 0 0 25 0 1 0 645486836 23384064 4858 4294967295 134512640 134714508 3221221760 3221220528 134529381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4858 1111 63 0 5646 0
vsize: 22836
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4999 0 0 0 105888 124 0 0 25 0 1 0 645486836 23519232 4899 4294967295 134512640 134714508 3221221760 3221220460 1076533124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5742 4899 1111 63 0 5679 0
vsize: 22968
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4999 0 0 0 106887 125 0 0 25 0 1 0 645486836 23519232 4899 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5742 4899 1111 63 0 5679 0
vsize: 22968
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4999 0 0 0 107887 126 0 0 25 0 1 0 645486836 23519232 4899 4294967295 134512640 134714508 3221221760 3221220444 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5742 4899 1111 63 0 5679 0
vsize: 22968
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 4999 0 0 0 108885 127 0 0 25 0 1 0 645486836 23519232 4899 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5742 4899 1111 63 0 5679 0
vsize: 22968
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 5017 0 0 0 109885 128 0 0 25 0 1 0 645486836 23654400 4917 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5775 4917 1111 63 0 5712 0
vsize: 23100
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 5021 0 0 0 110884 129 0 0 25 0 1 0 645486836 23654400 4921 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5775 4921 1111 63 0 5712 0
vsize: 23100
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 5021 0 0 0 111883 130 0 0 25 0 1 0 645486836 23654400 4921 4294967295 134512640 134714508 3221221760 3221220368 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5775 4921 1111 63 0 5712 0
vsize: 23100
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 5065 0 0 0 112883 130 0 0 25 0 1 0 645486836 23789568 4965 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 23232
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 5065 0 0 0 113881 132 0 0 25 0 1 0 645486836 23789568 4965 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 23232
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 5065 0 0 0 114880 133 0 0 25 0 1 0 645486836 23789568 4965 4294967295 134512640 134714508 3221221760 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 23232
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 5065 0 0 0 115879 135 0 0 25 0 1 0 645486836 23789568 4965 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 23232
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 5065 0 0 0 116879 135 0 0 25 0 1 0 645486836 23789568 4965 4294967295 134512640 134714508 3221221760 3221220368 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 23232
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 30910
Raw data (stat): 30910 (bsolo_lpr_cuts) R 30909 7876 7672 0 -1 0 5065 0 0 0 116879 135 0 0 25 0 1 0 645486836 23789568 4965 4294967295 134512640 134714508 3221221760 3221220368 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 0

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