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-chnl35_36_pb.cnf.cr.opb
MD5SUM	c779424bd1795a1e1adf6f4e7f38e307
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	37
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.075987
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	72
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	35
Maximum length of a constraint	36
Trace number 23208

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 11:22:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=119 boxname=wulflinc31 idbench=14 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c779424bd1795a1e1adf6f4e7f38e307  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_36_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_36_pb.cnf.cr.opb
IDLAUNCH: 119
/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:        931348 kB
Buffers:         36084 kB
Cached:          45332 kB
SwapCached:        864 kB
Active:          70432 kB
Inactive:        13356 kB
HighTotal:      131008 kB
HighFree:        84728 kB
LowTotal:       903652 kB
LowFree:        846620 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13892 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 11:42:29 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 119 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 2520 variables and 142 constraints.
c After prepocess the problem consists of 2520 variables and 142 constraints.
c preprocess terminated 0.868 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.92 0.95 0.91 2/54 10986
Raw data (stat): 10986 (runsolver) R 10985 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 631083701 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 1443 0 0 0 987 7 0 0 25 0 1 0 631083701 9064448 1364 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2213 1364 1111 63 0 2150 0
vsize: 8852
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 1582 0 0 0 1986 8 0 0 25 0 1 0 631083701 9596928 1503 4294967295 134512640 134714508 3221221776 3221220524 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2343 1503 1111 63 0 2280 0
vsize: 9372
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 1648 0 0 0 2984 10 0 0 25 0 1 0 631083701 9846784 1569 4294967295 134512640 134714508 3221221776 3221220212 1077374556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2404 1569 1111 63 0 2341 0
vsize: 9616
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 1723 0 0 0 3982 12 0 0 25 0 1 0 631083701 10252288 1644 4294967295 134512640 134714508 3221221776 3221220180 134697183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2503 1644 1111 63 0 2440 0
vsize: 10012
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 1879 0 0 0 4980 15 0 0 25 0 1 0 631083701 10792960 1800 4294967295 134512640 134714508 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1800 1111 63 0 2572 0
vsize: 10540
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2070 0 0 0 5979 16 0 0 25 0 1 0 631083701 11603968 1991 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2833 1991 1111 63 0 2770 0
vsize: 11332
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2141 0 0 0 6978 17 0 0 25 0 1 0 631083701 11874304 2062 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2062 1111 63 0 2836 0
vsize: 11596
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2177 0 0 0 7977 19 0 0 25 0 1 0 631083701 12091392 2098 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2098 1111 63 0 2889 0
vsize: 11808
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2211 0 0 0 8975 21 0 0 25 0 1 0 631083701 12226560 2132 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2985 2132 1111 63 0 2922 0
vsize: 11940
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2328 0 0 0 9974 22 0 0 25 0 1 0 631083701 12632064 2249 4294967295 134512640 134714508 3221221776 3221220404 134696214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3084 2249 1111 63 0 3021 0
vsize: 12336
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2422 0 0 0 10973 23 0 0 25 0 1 0 631083701 13037568 2343 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3183 2343 1111 63 0 3120 0
vsize: 12732
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2533 0 0 0 11971 25 0 0 25 0 1 0 631083701 13574144 2454 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3314 2454 1111 63 0 3251 0
vsize: 13256
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2605 0 0 0 12970 26 0 0 25 0 1 0 631083701 13844480 2526 4294967295 134512640 134714508 3221221776 3221220428 134549859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3380 2526 1111 63 0 3317 0
vsize: 13520
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2624 0 0 0 13969 28 0 0 25 0 1 0 631083701 13844480 2545 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3380 2545 1111 63 0 3317 0
vsize: 13520
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2651 0 0 0 14967 29 0 0 25 0 1 0 631083701 13979648 2572 4294967295 134512640 134714508 3221221776 3221220172 1077379846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3413 2572 1111 63 0 3350 0
vsize: 13652
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2738 0 0 0 15966 30 0 0 25 0 1 0 631083701 14376960 2659 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3510 2659 1111 63 0 3447 0
vsize: 14040
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2818 0 0 0 16964 33 0 0 25 0 1 0 631083701 14647296 2739 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2739 1111 63 0 3513 0
vsize: 14304
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2899 0 0 0 17963 34 0 0 25 0 1 0 631083701 15044608 2820 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3673 2820 1111 63 0 3610 0
vsize: 14692
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 2955 0 0 0 18962 36 0 0 25 0 1 0 631083701 15314944 2876 4294967295 134512640 134714508 3221221776 3221220328 134696442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3739 2876 1111 63 0 3676 0
vsize: 14956
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3022 0 0 0 19960 38 0 0 25 0 1 0 631083701 15585280 2943 4294967295 134512640 134714508 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3805 2943 1111 63 0 3742 0
vsize: 15220
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3057 0 0 0 20960 38 0 0 25 0 1 0 631083701 15720448 2978 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3838 2978 1111 63 0 3775 0
vsize: 15352
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3074 0 0 0 21958 40 0 0 25 0 1 0 631083701 15720448 2995 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3838 2995 1111 63 0 3775 0
vsize: 15352
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3099 0 0 0 22956 42 0 0 25 0 1 0 631083701 15851520 3020 4294967295 134512640 134714508 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3870 3020 1111 63 0 3807 0
vsize: 15480
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3111 0 0 0 23955 43 0 0 25 0 1 0 631083701 15851520 3032 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3870 3032 1111 63 0 3807 0
vsize: 15480
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3133 0 0 0 24954 45 0 0 25 0 1 0 631083701 15986688 3054 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3903 3054 1111 63 0 3840 0
vsize: 15612
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3152 0 0 0 25952 46 0 0 25 0 1 0 631083701 16121856 3073 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3936 3073 1111 63 0 3873 0
vsize: 15744
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3190 0 0 0 26951 48 0 0 25 0 1 0 631083701 16257024 3111 4294967295 134512640 134714508 3221221776 3221220492 134543760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3969 3111 1111 63 0 3906 0
vsize: 15876
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3315 0 0 0 27949 50 0 0 25 0 1 0 631083701 16797696 3236 4294967295 134512640 134714508 3221221776 3221219840 134697480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3236 1111 63 0 4038 0
vsize: 16404
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3340 0 0 0 28948 51 0 0 25 0 1 0 631083701 16797696 3261 4294967295 134512640 134714508 3221221776 3221220316 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3261 1111 63 0 4038 0
vsize: 16404
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3367 0 0 0 29947 53 0 0 25 0 1 0 631083701 16932864 3288 4294967295 134512640 134714508 3221221776 3221220344 1077377411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4134 3288 1111 63 0 4071 0
vsize: 16536
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3381 0 0 0 30946 54 0 0 25 0 1 0 631083701 17068032 3302 4294967295 134512640 134714508 3221221776 3221220452 134551960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4167 3302 1111 63 0 4104 0
vsize: 16668
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3409 0 0 0 31944 55 0 0 25 0 1 0 631083701 17068032 3330 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4167 3330 1111 63 0 4104 0
vsize: 16668
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3436 0 0 0 32943 56 0 0 25 0 1 0 631083701 17203200 3357 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4200 3357 1111 63 0 4137 0
vsize: 16800
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3459 0 0 0 33942 57 0 0 25 0 1 0 631083701 17338368 3380 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4233 3380 1111 63 0 4170 0
vsize: 16932
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3488 0 0 0 34941 59 0 0 25 0 1 0 631083701 17473536 3409 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4266 3409 1111 63 0 4203 0
vsize: 17064
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3529 0 0 0 35939 60 0 0 25 0 1 0 631083701 17608704 3450 4294967295 134512640 134714508 3221221776 3221220540 134552548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4299 3450 1111 63 0 4236 0
vsize: 17196
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3539 0 0 0 36939 61 0 0 25 0 1 0 631083701 17608704 3460 4294967295 134512640 134714508 3221221776 3221220568 134586033 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4299 3460 1111 63 0 4236 0
vsize: 17196
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3607 0 0 0 37937 63 0 0 25 0 1 0 631083701 17879040 3528 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4365 3528 1111 63 0 4302 0
vsize: 17460
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3615 0 0 0 38936 65 0 0 25 0 1 0 631083701 18014208 3536 4294967295 134512640 134714508 3221221776 3221220340 134542296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3536 1111 63 0 4335 0
vsize: 17592
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3630 0 0 0 39935 66 0 0 25 0 1 0 631083701 18014208 3551 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3551 1111 63 0 4335 0
vsize: 17592
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3644 0 0 0 40933 67 0 0 25 0 1 0 631083701 18149376 3565 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4431 3565 1111 63 0 4368 0
vsize: 17724
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3686 0 0 0 41931 69 0 0 25 0 1 0 631083701 18264064 3607 4294967295 134512640 134714508 3221221776 3221219652 134697201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4459 3607 1111 63 0 4396 0
vsize: 17836
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3703 0 0 0 42929 71 0 0 25 0 1 0 631083701 18264064 3624 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4459 3624 1111 63 0 4396 0
vsize: 17836
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3757 0 0 0 43927 73 0 0 25 0 1 0 631083701 18522112 3678 4294967295 134512640 134714508 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4522 3678 1111 63 0 4459 0
vsize: 18088
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3828 0 0 0 44926 75 0 0 25 0 1 0 631083701 18788352 3749 4294967295 134512640 134714508 3221221776 3221220512 134529288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4587 3749 1111 63 0 4524 0
vsize: 18348
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3857 0 0 0 45924 77 0 0 25 0 1 0 631083701 18923520 3778 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3778 1111 63 0 4557 0
vsize: 18480
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3857 0 0 0 46924 78 0 0 25 0 1 0 631083701 18923520 3778 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3778 1111 63 0 4557 0
vsize: 18480
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3895 0 0 0 47923 78 0 0 25 0 1 0 631083701 19050496 3816 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4651 3816 1111 63 0 4588 0
vsize: 18604
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3925 0 0 0 48922 80 0 0 25 0 1 0 631083701 19185664 3846 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4684 3846 1111 63 0 4621 0
vsize: 18736
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3943 0 0 0 49921 81 0 0 25 0 1 0 631083701 19320832 3864 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4717 3864 1111 63 0 4654 0
vsize: 18868
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 3996 0 0 0 50920 81 0 0 25 0 1 0 631083701 19582976 3917 4294967295 134512640 134714508 3221221776 3221220400 134696009 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4781 3917 1111 63 0 4718 0
vsize: 19124
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4080 0 0 0 51919 84 0 0 25 0 1 0 631083701 19853312 4001 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4847 4001 1111 63 0 4784 0
vsize: 19388
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4127 0 0 0 52918 85 0 0 25 0 1 0 631083701 20123648 4048 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4048 1111 63 0 4850 0
vsize: 19652
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4167 0 0 0 53916 87 0 0 25 0 1 0 631083701 20258816 4088 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4088 1111 63 0 4883 0
vsize: 19784
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4186 0 0 0 54915 88 0 0 25 0 1 0 631083701 20258816 4107 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4107 1111 63 0 4883 0
vsize: 19784
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4209 0 0 0 55914 89 0 0 25 0 1 0 631083701 20393984 4130 4294967295 134512640 134714508 3221221776 3221220512 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4979 4130 1111 63 0 4916 0
vsize: 19916
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4234 0 0 0 56913 90 0 0 25 0 1 0 631083701 20516864 4155 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5009 4155 1111 63 0 4946 0
vsize: 20036
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4283 0 0 0 57912 91 0 0 25 0 1 0 631083701 20652032 4204 4294967295 134512640 134714508 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5042 4204 1111 63 0 4979 0
vsize: 20168
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4329 0 0 0 58910 93 0 0 25 0 1 0 631083701 20910080 4250 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4250 1111 63 0 5042 0
vsize: 20420
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4346 0 0 0 59909 95 0 0 25 0 1 0 631083701 20910080 4267 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4267 1111 63 0 5042 0
vsize: 20420
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4383 0 0 0 60907 96 0 0 25 0 1 0 631083701 21143552 4304 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5162 4304 1111 63 0 5099 0
vsize: 20648
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4420 0 0 0 61906 97 0 0 25 0 1 0 631083701 21278720 4341 4294967295 134512640 134714508 3221221776 3221220512 134591875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5195 4341 1111 63 0 5132 0
vsize: 20780
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4447 0 0 0 62906 98 0 0 25 0 1 0 631083701 21409792 4368 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5227 4368 1111 63 0 5164 0
vsize: 20908
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4480 0 0 0 63904 100 0 0 25 0 1 0 631083701 21524480 4401 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5255 4401 1111 63 0 5192 0
vsize: 21020
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4501 0 0 0 64903 101 0 0 25 0 1 0 631083701 21659648 4422 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4422 1111 63 0 5225 0
vsize: 21152
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4518 0 0 0 65902 102 0 0 25 0 1 0 631083701 21659648 4439 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4439 1111 63 0 5225 0
vsize: 21152
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4557 0 0 0 66900 104 0 0 25 0 1 0 631083701 21790720 4478 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5320 4478 1111 63 0 5257 0
vsize: 21280
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4581 0 0 0 67900 105 0 0 25 0 1 0 631083701 21925888 4502 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5353 4502 1111 63 0 5290 0
vsize: 21412
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4603 0 0 0 68899 106 0 0 25 0 1 0 631083701 22061056 4524 4294967295 134512640 134714508 3221221776 3221220416 134696069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5386 4524 1111 63 0 5323 0
vsize: 21544
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4624 0 0 0 69897 108 0 0 25 0 1 0 631083701 22061056 4545 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5386 4545 1111 63 0 5323 0
vsize: 21544
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4684 0 0 0 70896 110 0 0 25 0 1 0 631083701 22323200 4605 4294967295 134512640 134714508 3221221776 3221220364 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4605 1111 63 0 5387 0
vsize: 21800
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4712 0 0 0 71895 111 0 0 25 0 1 0 631083701 22458368 4633 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5483 4633 1111 63 0 5420 0
vsize: 21932
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4712 0 0 0 72894 112 0 0 25 0 1 0 631083701 22458368 4633 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5483 4633 1111 63 0 5420 0
vsize: 21932
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4720 0 0 0 73892 114 0 0 25 0 1 0 631083701 22458368 4641 4294967295 134512640 134714508 3221221776 3221220464 134534092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5483 4641 1111 63 0 5420 0
vsize: 21932
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4732 0 0 0 74891 115 0 0 25 0 1 0 631083701 22593536 4653 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5516 4653 1111 63 0 5453 0
vsize: 22064
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4743 0 0 0 75890 116 0 0 25 0 1 0 631083701 22593536 4664 4294967295 134512640 134714508 3221221776 3221220416 134696323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5516 4664 1111 63 0 5453 0
vsize: 22064
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4761 0 0 0 76889 117 0 0 25 0 1 0 631083701 22728704 4682 4294967295 134512640 134714508 3221221776 3221220512 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5549 4682 1111 63 0 5486 0
vsize: 22196
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4780 0 0 0 77888 119 0 0 25 0 1 0 631083701 22708224 4701 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5544 4701 1111 63 0 5481 0
vsize: 22176
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4789 0 0 0 78886 120 0 0 25 0 1 0 631083701 22843392 4710 4294967295 134512640 134714508 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5577 4710 1111 63 0 5514 0
vsize: 22308
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4809 0 0 0 79886 121 0 0 25 0 1 0 631083701 22843392 4730 4294967295 134512640 134714508 3221221776 3221220512 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5577 4730 1111 63 0 5514 0
vsize: 22308
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4841 0 0 0 80885 123 0 0 25 0 1 0 631083701 22978560 4762 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4762 1111 63 0 5547 0
vsize: 22440
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4841 0 0 0 81884 124 0 0 25 0 1 0 631083701 22978560 4762 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4762 1111 63 0 5547 0
vsize: 22440
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4864 0 0 0 82883 125 0 0 25 0 1 0 631083701 23113728 4785 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5643 4785 1111 63 0 5580 0
vsize: 22572
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4887 0 0 0 83881 127 0 0 25 0 1 0 631083701 23113728 4808 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5643 4808 1111 63 0 5580 0
vsize: 22572
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4904 0 0 0 84879 128 0 0 25 0 1 0 631083701 23244800 4825 4294967295 134512640 134714508 3221221776 3221220216 1077378477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5675 4825 1111 63 0 5612 0
vsize: 22700
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4926 0 0 0 85879 129 0 0 25 0 1 0 631083701 23371776 4847 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4847 1111 63 0 5643 0
vsize: 22824
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4950 0 0 0 86878 131 0 0 25 0 1 0 631083701 23371776 4871 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4871 1111 63 0 5643 0
vsize: 22824
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4978 0 0 0 87876 132 0 0 25 0 1 0 631083701 23506944 4899 4294967295 134512640 134714508 3221221776 3221220520 134672929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5739 4899 1111 63 0 5676 0
vsize: 22956
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4991 0 0 0 88875 133 0 0 25 0 1 0 631083701 23642112 4912 4294967295 134512640 134714508 3221221776 3221220560 134529288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5772 4912 1111 63 0 5709 0
vsize: 23088
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 4993 0 0 0 89875 134 0 0 25 0 1 0 631083701 23642112 4914 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5772 4914 1111 63 0 5709 0
vsize: 23088
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5020 0 0 0 90874 135 0 0 25 0 1 0 631083701 23777280 4941 4294967295 134512640 134714508 3221221776 3221220408 134523385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4941 1111 63 0 5742 0
vsize: 23220
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5020 0 0 0 91874 135 0 0 25 0 1 0 631083701 23777280 4941 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4941 1111 63 0 5742 0
vsize: 23220
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5026 0 0 0 92873 136 0 0 25 0 1 0 631083701 23777280 4947 4294967295 134512640 134714508 3221221776 3221220448 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4947 1111 63 0 5742 0
vsize: 23220
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5029 0 0 0 93873 137 0 0 25 0 1 0 631083701 23777280 4950 4294967295 134512640 134714508 3221221776 3221220272 134535416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4950 1111 63 0 5742 0
vsize: 23220
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5029 0 0 0 94871 139 0 0 25 0 1 0 631083701 23777280 4950 4294967295 134512640 134714508 3221221776 3221220432 134536753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4950 1111 63 0 5742 0
vsize: 23220
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5041 0 0 0 95871 139 0 0 25 0 1 0 631083701 23777280 4962 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4962 1111 63 0 5742 0
vsize: 23220
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5062 0 0 0 96869 141 0 0 25 0 1 0 631083701 23908352 4983 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5837 4983 1111 63 0 5774 0
vsize: 23348
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5062 0 0 0 97868 142 0 0 25 0 1 0 631083701 23908352 4983 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5837 4983 1111 63 0 5774 0
vsize: 23348
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5104 0 0 0 98866 144 0 0 25 0 1 0 631083701 24043520 5025 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5870 5025 1111 63 0 5807 0
vsize: 23480
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5219 0 0 0 99865 146 0 0 25 0 1 0 631083701 24555520 5140 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5995 5140 1111 63 0 5932 0
vsize: 23980
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5315 0 0 0 100864 147 0 0 25 0 1 0 631083701 24961024 5236 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6094 5236 1111 63 0 6031 0
vsize: 24376
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5400 0 0 0 101863 148 0 0 25 0 1 0 631083701 25227264 5321 4294967295 134512640 134714508 3221221776 3221220476 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5321 1111 63 0 6096 0
vsize: 24636
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5444 0 0 0 102862 149 0 0 25 0 1 0 631083701 25497600 5365 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6225 5365 1111 63 0 6162 0
vsize: 24900
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5466 0 0 0 103861 150 0 0 25 0 1 0 631083701 25497600 5387 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6225 5387 1111 63 0 6162 0
vsize: 24900
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5471 0 0 0 104860 151 0 0 25 0 1 0 631083701 25632768 5392 4294967295 134512640 134714508 3221221776 3221219872 134697396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6258 5392 1111 63 0 6195 0
vsize: 25032
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5485 0 0 0 105859 153 0 0 25 0 1 0 631083701 25632768 5406 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6258 5406 1111 63 0 6195 0
vsize: 25032
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5485 0 0 0 106858 154 0 0 25 0 1 0 631083701 25632768 5406 4294967295 134512640 134714508 3221221776 3221220540 134652836 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6258 5406 1111 63 0 6195 0
vsize: 25032
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5485 0 0 0 107858 154 0 0 25 0 1 0 631083701 25632768 5406 4294967295 134512640 134714508 3221221776 3221220344 1077377771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6258 5406 1111 63 0 6195 0
vsize: 25032
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5508 0 0 0 108857 156 0 0 25 0 1 0 631083701 25767936 5429 4294967295 134512640 134714508 3221221776 3221220172 1077379903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6291 5429 1111 63 0 6228 0
vsize: 25164
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5513 0 0 0 109856 157 0 0 25 0 1 0 631083701 25767936 5434 4294967295 134512640 134714508 3221221776 3221220512 134558523 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6291 5434 1111 63 0 6228 0
vsize: 25164
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5536 0 0 0 110855 158 0 0 25 0 1 0 631083701 25903104 5457 4294967295 134512640 134714508 3221221776 3221220588 134584844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6324 5457 1111 63 0 6261 0
vsize: 25296
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5538 0 0 0 111854 159 0 0 25 0 1 0 631083701 25870336 5459 4294967295 134512640 134714508 3221221776 3221220368 134549789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6316 5459 1111 63 0 6253 0
vsize: 25264
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5555 0 0 0 112852 161 0 0 25 0 1 0 631083701 25870336 5476 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6316 5476 1111 63 0 6253 0
vsize: 25264
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5576 0 0 0 113852 162 0 0 25 0 1 0 631083701 26005504 5497 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6349 5497 1111 63 0 6286 0
vsize: 25396
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5642 0 0 0 114851 163 0 0 25 0 1 0 631083701 26255360 5563 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6410 5563 1111 63 0 6347 0
vsize: 25640
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5750 0 0 0 115849 164 0 0 25 0 1 0 631083701 26660864 5671 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6509 5671 1111 63 0 6446 0
vsize: 26036
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5795 0 0 0 116848 166 0 0 25 0 1 0 631083701 26931200 5716 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6575 5716 1111 63 0 6512 0
vsize: 26300
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10986
Raw data (stat): 10986 (bsolo_lpr_cuts) R 10985 7876 7672 0 -1 0 5795 0 0 0 116848 166 0 0 25 0 1 0 631083701 26931200 5716 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6575 5716 1111 63 0 6512 0
vsize: 0

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