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_28_sat_pb.cnf.cr.opb
MD5SUM	888577ab8fe81abf9fdd366d65e4c3b7
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	0.810876
Number of variables	1260
Total number of constraints	926
Number of constraints which are clauses	868
Number of constraints which are cardinality constraints (but not clauses)	58
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 40594

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 16:22:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28660 boxname=wulflinc3 idbench=46 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  888577ab8fe81abf9fdd366d65e4c3b7  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga30_28_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga30_28_sat_pb.cnf.cr.opb
IDLAUNCH: 28660
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        757088 kB
Buffers:         15704 kB
Cached:         242024 kB
SwapCached:        808 kB
Active:          32812 kB
Inactive:       227016 kB
HighTotal:      131008 kB
HighFree:         4228 kB
LowTotal:       903652 kB
LowFree:        752860 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12148 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:41:37 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28660 7 1175.02 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 1260 variables and 926 constraints.
c After prepocess the problem consists of 1260 variables and 926 constraints.
c preprocess terminated 1.682 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.92 2/54 27308
Raw data (stat): 27308 (runsolver) R 27307 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903028621 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1467 0 0 0 993 5 0 0 25 0 1 0 903028621 9125888 1385 4294967295 134512640 134716908 3221224560 3221223128 1077378409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2228 1385 1111 63 0 2165 0
vsize: 8912
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1527 0 0 0 1992 6 0 0 25 0 1 0 903028621 9396224 1445 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 1445 1111 63 0 2231 0
vsize: 9176
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1584 0 0 0 2990 8 0 0 25 0 1 0 903028621 9650176 1502 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2356 1502 1111 63 0 2293 0
vsize: 9424
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1621 0 0 0 3989 10 0 0 25 0 1 0 903028621 9785344 1539 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2389 1539 1111 63 0 2326 0
vsize: 9556
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1680 0 0 0 4987 11 0 0 25 0 1 0 903028621 10055680 1598 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2455 1598 1111 63 0 2392 0
vsize: 9820
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1892 0 0 0 5985 13 0 0 25 0 1 0 903028621 10866688 1810 4294967295 134512640 134716908 3221224560 3221223256 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1810 1111 63 0 2590 0
vsize: 10612
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2010 0 0 0 6985 13 0 0 25 0 1 0 903028621 11407360 1928 4294967295 134512640 134716908 3221224560 3221223168 134523396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1928 1111 63 0 2722 0
vsize: 11140
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2010 0 0 0 7985 14 0 0 25 0 1 0 903028621 11272192 1924 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2752 1924 1111 63 0 2689 0
vsize: 11008
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2010 0 0 0 8984 15 0 0 25 0 1 0 903028621 11272192 1924 4294967295 134512640 134716908 3221224560 3221223224 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2752 1924 1111 63 0 2689 0
vsize: 11008
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2010 0 0 0 9984 15 0 0 25 0 1 0 903028621 11272192 1924 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2752 1924 1111 63 0 2689 0
vsize: 11008
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2026 0 0 0 10984 16 0 0 25 0 1 0 903028621 11407360 1940 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1940 1111 63 0 2722 0
vsize: 11140
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2026 0 0 0 11983 17 0 0 25 0 1 0 903028621 11407360 1940 4294967295 134512640 134716908 3221224560 3221223316 134655223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1940 1111 63 0 2722 0
vsize: 11140
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2031 0 0 0 12982 18 0 0 25 0 1 0 903028621 11407360 1945 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1945 1111 63 0 2722 0
vsize: 11140
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2100 0 0 0 13981 19 0 0 25 0 1 0 903028621 11677696 2014 4294967295 134512640 134716908 3221224560 3221223224 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2851 2014 1111 63 0 2788 0
vsize: 11404
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2115 0 0 0 14980 20 0 0 25 0 1 0 903028621 11812864 2029 4294967295 134512640 134716908 3221224560 3221223140 1077378644 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2884 2029 1111 63 0 2821 0
vsize: 11536
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2141 0 0 0 15980 21 0 0 25 0 1 0 903028621 11812864 2055 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2884 2055 1111 63 0 2821 0
vsize: 11536
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2167 0 0 0 16979 22 0 0 25 0 1 0 903028621 11948032 2081 4294967295 134512640 134716908 3221224560 3221223216 134536594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2917 2081 1111 63 0 2854 0
vsize: 11668
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2197 0 0 0 17978 23 0 0 25 0 1 0 903028621 12148736 2111 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 2111 1111 63 0 2903 0
vsize: 11864
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2227 0 0 0 18978 23 0 0 25 0 1 0 903028621 12234752 2141 4294967295 134512640 134716908 3221224560 3221223232 134655184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2987 2141 1111 63 0 2924 0
vsize: 11948
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2245 0 0 0 19977 24 0 0 25 0 1 0 903028621 12234752 2159 4294967295 134512640 134716908 3221224560 3221223128 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2987 2159 1111 63 0 2924 0
vsize: 11948
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2264 0 0 0 20976 25 0 0 25 0 1 0 903028621 12369920 2178 4294967295 134512640 134716908 3221224560 3221223152 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3020 2178 1111 63 0 2957 0
vsize: 12080
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2274 0 0 0 21975 26 0 0 25 0 1 0 903028621 12369920 2188 4294967295 134512640 134716908 3221224560 3221222956 1077379876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3020 2188 1111 63 0 2957 0
vsize: 12080
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2274 0 0 0 22974 28 0 0 25 0 1 0 903028621 12369920 2188 4294967295 134512640 134716908 3221224560 3221223228 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3020 2188 1111 63 0 2957 0
vsize: 12080
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2284 0 0 0 23973 29 0 0 25 0 1 0 903028621 12492800 2198 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2198 1111 63 0 2987 0
vsize: 12200
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2288 0 0 0 24972 30 0 0 25 0 1 0 903028621 12492800 2202 4294967295 134512640 134716908 3221224560 3221223200 134698403 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2202 1111 63 0 2987 0
vsize: 12200
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2292 0 0 0 25971 31 0 0 25 0 1 0 903028621 12488704 2206 4294967295 134512640 134716908 3221224560 3221223144 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3049 2206 1111 63 0 2986 0
vsize: 12196
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2304 0 0 0 26970 32 0 0 25 0 1 0 903028621 12488704 2218 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3049 2218 1111 63 0 2986 0
vsize: 12196
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2314 0 0 0 27969 33 0 0 25 0 1 0 903028621 12619776 2228 4294967295 134512640 134716908 3221224560 3221223148 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 2228 1111 63 0 3018 0
vsize: 12324
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2314 0 0 0 28969 34 0 0 25 0 1 0 903028621 12619776 2228 4294967295 134512640 134716908 3221224560 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 2228 1111 63 0 3018 0
vsize: 12324
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2314 0 0 0 29967 35 0 0 25 0 1 0 903028621 12619776 2228 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 2228 1111 63 0 3018 0
vsize: 12324
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2351 0 0 0 30967 36 0 0 25 0 1 0 903028621 12800000 2265 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3125 2265 1111 63 0 3062 0
vsize: 12500
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2355 0 0 0 31966 37 0 0 25 0 1 0 903028621 12800000 2269 4294967295 134512640 134716908 3221224560 3221223188 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3125 2269 1111 63 0 3062 0
vsize: 12500
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2456 0 0 0 32965 38 0 0 25 0 1 0 903028621 13205504 2370 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3224 2370 1111 63 0 3161 0
vsize: 12896
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2571 0 0 0 33964 40 0 0 25 0 1 0 903028621 13602816 2485 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3321 2485 1111 63 0 3258 0
vsize: 13284
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2571 0 0 0 34963 41 0 0 25 0 1 0 903028621 13602816 2485 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3321 2485 1111 63 0 3258 0
vsize: 13284
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2580 0 0 0 35962 42 0 0 25 0 1 0 903028621 13737984 2494 4294967295 134512640 134716908 3221224560 3221223248 134542851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2494 1111 63 0 3291 0
vsize: 13416
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2630 0 0 0 36962 43 0 0 25 0 1 0 903028621 13873152 2544 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3387 2544 1111 63 0 3324 0
vsize: 13548
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2733 0 0 0 37961 44 0 0 25 0 1 0 903028621 14278656 2647 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3486 2647 1111 63 0 3423 0
vsize: 13944
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2868 0 0 0 38960 45 0 0 25 0 1 0 903028621 14819328 2782 4294967295 134512640 134716908 3221224560 3221223124 134552069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3618 2782 1111 63 0 3555 0
vsize: 14472
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2913 0 0 0 39959 46 0 0 25 0 1 0 903028621 15089664 2827 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2827 1111 63 0 3621 0
vsize: 14736
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2993 0 0 0 40956 49 0 0 25 0 1 0 903028621 15360000 2907 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3750 2907 1111 63 0 3687 0
vsize: 15000
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3037 0 0 0 41955 50 0 0 25 0 1 0 903028621 15495168 2951 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 2951 1111 63 0 3720 0
vsize: 15132
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3179 0 0 0 42953 52 0 0 25 0 1 0 903028621 16171008 3093 4294967295 134512640 134716908 3221224560 3221223280 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3948 3093 1111 63 0 3885 0
vsize: 15792
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3227 0 0 0 43952 54 0 0 25 0 1 0 903028621 16306176 3141 4294967295 134512640 134716908 3221224560 3221223144 134549625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3141 1111 63 0 3918 0
vsize: 15924
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3308 0 0 0 44950 56 0 0 25 0 1 0 903028621 16699392 3222 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4077 3222 1111 63 0 4014 0
vsize: 16308
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3349 0 0 0 45949 58 0 0 25 0 1 0 903028621 16834560 3263 4294967295 134512640 134716908 3221224560 3221223320 134592337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 3263 1111 63 0 4047 0
vsize: 16440
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3415 0 0 0 46947 59 0 0 25 0 1 0 903028621 17104896 3329 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4176 3329 1111 63 0 4113 0
vsize: 16704
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3432 0 0 0 47947 60 0 0 25 0 1 0 903028621 17104896 3346 4294967295 134512640 134716908 3221224560 3221223040 134699557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4176 3346 1111 63 0 4113 0
vsize: 16704
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3434 0 0 0 48946 61 0 0 25 0 1 0 903028621 17104896 3348 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4176 3348 1111 63 0 4113 0
vsize: 16704
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3457 0 0 0 49945 62 0 0 25 0 1 0 903028621 17235968 3371 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3371 1111 63 0 4145 0
vsize: 16832
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3476 0 0 0 50944 63 0 0 25 0 1 0 903028621 17346560 3390 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 3390 1111 63 0 4172 0
vsize: 16940
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3548 0 0 0 51943 65 0 0 25 0 1 0 903028621 17616896 3462 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4301 3462 1111 63 0 4238 0
vsize: 17204
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3620 0 0 0 52941 67 0 0 25 0 1 0 903028621 17887232 3534 4294967295 134512640 134716908 3221224560 3221223328 134529115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4367 3534 1111 63 0 4304 0
vsize: 17468
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3647 0 0 0 53940 68 0 0 25 0 1 0 903028621 18010112 3561 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3561 1111 63 0 4334 0
vsize: 17588
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3654 0 0 0 54940 68 0 0 25 0 1 0 903028621 18010112 3568 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3568 1111 63 0 4334 0
vsize: 17588
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3673 0 0 0 55938 70 0 0 25 0 1 0 903028621 18145280 3587 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4430 3587 1111 63 0 4367 0
vsize: 17720
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3712 0 0 0 56936 72 0 0 25 0 1 0 903028621 18280448 3626 4294967295 134512640 134716908 3221224560 3221223196 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4463 3626 1111 63 0 4400 0
vsize: 17852
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3798 0 0 0 57934 74 0 0 25 0 1 0 903028621 18644992 3712 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4552 3712 1111 63 0 4489 0
vsize: 18208
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3848 0 0 0 58934 75 0 0 25 0 1 0 903028621 18915328 3762 4294967295 134512640 134716908 3221224560 3221223324 134552579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4618 3762 1111 63 0 4555 0
vsize: 18472
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3925 0 0 0 59932 76 0 0 25 0 1 0 903028621 19185664 3839 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4684 3839 1111 63 0 4621 0
vsize: 18736
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3946 0 0 0 60931 78 0 0 25 0 1 0 903028621 19320832 3860 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4717 3860 1111 63 0 4654 0
vsize: 18868
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4012 0 0 0 61930 79 0 0 25 0 1 0 903028621 19591168 3926 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4783 3926 1111 63 0 4720 0
vsize: 19132
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4012 0 0 0 62929 80 0 0 25 0 1 0 903028621 19591168 3926 4294967295 134512640 134716908 3221224560 3221223120 134699211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4783 3926 1111 63 0 4720 0
vsize: 19132
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4033 0 0 0 63928 81 0 0 25 0 1 0 903028621 19591168 3947 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4783 3947 1111 63 0 4720 0
vsize: 19132
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4082 0 0 0 64927 83 0 0 25 0 1 0 903028621 19857408 3996 4294967295 134512640 134716908 3221224560 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4848 3996 1111 63 0 4785 0
vsize: 19392
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4157 0 0 0 65924 86 0 0 25 0 1 0 903028621 20127744 4071 4294967295 134512640 134716908 3221224560 3221223076 134535986 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4071 1111 63 0 4851 0
vsize: 19656
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4157 0 0 0 66924 86 0 0 25 0 1 0 903028621 20127744 4071 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4071 1111 63 0 4851 0
vsize: 19656
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4186 0 0 0 67922 88 0 0 25 0 1 0 903028621 20262912 4100 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4947 4100 1111 63 0 4884 0
vsize: 19788
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4255 0 0 0 68921 89 0 0 25 0 1 0 903028621 20533248 4169 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5013 4169 1111 63 0 4950 0
vsize: 20052
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4258 0 0 0 69921 90 0 0 25 0 1 0 903028621 20533248 4172 4294967295 134512640 134716908 3221224560 3221223200 134698740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5013 4172 1111 63 0 4950 0
vsize: 20052
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4277 0 0 0 70920 91 0 0 25 0 1 0 903028621 20668416 4191 4294967295 134512640 134716908 3221224560 3221223400 134586149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 4191 1111 63 0 4983 0
vsize: 20184
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4296 0 0 0 71920 92 0 0 25 0 1 0 903028621 20668416 4210 4294967295 134512640 134716908 3221224560 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 4210 1111 63 0 4983 0
vsize: 20184
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4309 0 0 0 72918 93 0 0 25 0 1 0 903028621 20803584 4223 4294967295 134512640 134716908 3221224560 3221223200 134523202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5079 4223 1111 63 0 5016 0
vsize: 20316
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4309 0 0 0 73917 94 0 0 25 0 1 0 903028621 20803584 4223 4294967295 134512640 134716908 3221224560 3221223104 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5079 4223 1111 63 0 5016 0
vsize: 20316
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4309 0 0 0 74916 95 0 0 25 0 1 0 903028621 20803584 4223 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5079 4223 1111 63 0 5016 0
vsize: 20316
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4357 0 0 0 75915 97 0 0 25 0 1 0 903028621 20938752 4271 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5112 4271 1111 63 0 5049 0
vsize: 20448
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4379 0 0 0 76914 98 0 0 25 0 1 0 903028621 21073920 4293 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5145 4293 1111 63 0 5082 0
vsize: 20580
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4413 0 0 0 77913 99 0 0 25 0 1 0 903028621 21209088 4327 4294967295 134512640 134716908 3221224560 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5178 4327 1111 63 0 5115 0
vsize: 20712
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4440 0 0 0 78913 100 0 0 25 0 1 0 903028621 21344256 4354 4294967295 134512640 134716908 3221224560 3221223136 134549640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5211 4354 1111 63 0 5148 0
vsize: 20844
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4602 0 0 0 79911 102 0 0 25 0 1 0 903028621 22011904 4516 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5374 4516 1111 63 0 5311 0
vsize: 21496
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4663 0 0 0 80909 104 0 0 25 0 1 0 903028621 22147072 4577 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5407 4577 1111 63 0 5344 0
vsize: 21628
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4705 0 0 0 81907 106 0 0 25 0 1 0 903028621 22417408 4619 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4619 1111 63 0 5410 0
vsize: 21892
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4705 0 0 0 82906 107 0 0 25 0 1 0 903028621 22417408 4619 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4619 1111 63 0 5410 0
vsize: 21892
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4719 0 0 0 83906 108 0 0 25 0 1 0 903028621 22417408 4633 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4633 1111 63 0 5410 0
vsize: 21892
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4719 0 0 0 84904 109 0 0 25 0 1 0 903028621 22417408 4633 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4633 1111 63 0 5410 0
vsize: 21892
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4742 0 0 0 85903 111 0 0 25 0 1 0 903028621 22552576 4656 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5506 4656 1111 63 0 5443 0
vsize: 22024
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4757 0 0 0 86902 112 0 0 25 0 1 0 903028621 22552576 4671 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5506 4671 1111 63 0 5443 0
vsize: 22024
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4779 0 0 0 87901 113 0 0 25 0 1 0 903028621 22687744 4693 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5539 4693 1111 63 0 5476 0
vsize: 22156
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4832 0 0 0 88900 115 0 0 25 0 1 0 903028621 22958080 4746 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5605 4746 1111 63 0 5542 0
vsize: 22420
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4872 0 0 0 89898 116 0 0 25 0 1 0 903028621 23093248 4786 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5638 4786 1111 63 0 5575 0
vsize: 22552
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4926 0 0 0 90897 118 0 0 25 0 1 0 903028621 23228416 4840 4294967295 134512640 134716908 3221224560 3221223188 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5671 4840 1111 63 0 5608 0
vsize: 22684
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4976 0 0 0 91896 119 0 0 25 0 1 0 903028621 23461888 4890 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4890 1111 63 0 5665 0
vsize: 22912
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4995 0 0 0 92895 120 0 0 25 0 1 0 903028621 23597056 4909 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5761 4909 1111 63 0 5698 0
vsize: 23044
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5001 0 0 0 93894 121 0 0 25 0 1 0 903028621 23597056 4915 4294967295 134512640 134716908 3221224560 3221223236 1077374563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5761 4915 1111 63 0 5698 0
vsize: 23044
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5012 0 0 0 94893 122 0 0 25 0 1 0 903028621 23597056 4926 4294967295 134512640 134716908 3221224560 3221223296 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5761 4926 1111 63 0 5698 0
vsize: 23044
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5034 0 0 0 95892 124 0 0 25 0 1 0 903028621 23719936 4948 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4948 1111 63 0 5728 0
vsize: 23164
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5111 0 0 0 96891 125 0 0 25 0 1 0 903028621 23990272 5025 4294967295 134512640 134716908 3221224560 3221223460 134588473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5857 5025 1111 63 0 5794 0
vsize: 23428
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5138 0 0 0 97890 126 0 0 25 0 1 0 903028621 24125440 5052 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5890 5052 1111 63 0 5827 0
vsize: 23560
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5138 0 0 0 98889 127 0 0 25 0 1 0 903028621 24125440 5052 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5890 5052 1111 63 0 5827 0
vsize: 23560
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5170 0 0 0 99889 128 0 0 25 0 1 0 903028621 24260608 5084 4294967295 134512640 134716908 3221224560 3221223312 134588020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5923 5084 1111 63 0 5860 0
vsize: 23692
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5208 0 0 0 100888 129 0 0 25 0 1 0 903028621 24395776 5122 4294967295 134512640 134716908 3221224560 3221223152 134542820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5956 5122 1111 63 0 5893 0
vsize: 23824
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5235 0 0 0 101887 130 0 0 25 0 1 0 903028621 24530944 5149 4294967295 134512640 134716908 3221224560 3221223168 134523350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 5149 1111 63 0 5926 0
vsize: 23956
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5267 0 0 0 102886 131 0 0 25 0 1 0 903028621 24666112 5181 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6022 5181 1111 63 0 5959 0
vsize: 24088
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5295 0 0 0 103885 133 0 0 25 0 1 0 903028621 24788992 5209 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6052 5209 1111 63 0 5989 0
vsize: 24208
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5361 0 0 0 104883 135 0 0 25 0 1 0 903028621 25059328 5275 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6118 5275 1111 63 0 6055 0
vsize: 24472
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5376 0 0 0 105883 136 0 0 25 0 1 0 903028621 25059328 5290 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6118 5290 1111 63 0 6055 0
vsize: 24472
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5398 0 0 0 106881 137 0 0 25 0 1 0 903028621 25194496 5312 4294967295 134512640 134716908 3221224560 3221223296 134535837 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6151 5312 1111 63 0 6088 0
vsize: 24604
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5462 0 0 0 107880 139 0 0 25 0 1 0 903028621 25464832 5376 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6217 5376 1111 63 0 6154 0
vsize: 24868
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5462 0 0 0 108878 140 0 0 25 0 1 0 903028621 25464832 5376 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6217 5376 1111 63 0 6154 0
vsize: 24868
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5462 0 0 0 109877 142 0 0 25 0 1 0 903028621 25464832 5376 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6217 5376 1111 63 0 6154 0
vsize: 24868
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5462 0 0 0 110876 143 0 0 25 0 1 0 903028621 25464832 5376 4294967295 134512640 134716908 3221224560 3221223056 134699851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6217 5376 1111 63 0 6154 0
vsize: 24868
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5462 0 0 0 111875 144 0 0 25 0 1 0 903028621 25464832 5376 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6217 5376 1111 63 0 6154 0
vsize: 24868
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5468 0 0 0 112874 145 0 0 25 0 1 0 903028621 25464832 5382 4294967295 134512640 134716908 3221224560 3221223152 134543118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6217 5382 1111 63 0 6154 0
vsize: 24868
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5474 0 0 0 113874 146 0 0 25 0 1 0 903028621 25464832 5388 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6217 5388 1111 63 0 6154 0
vsize: 24868
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5520 0 0 0 114873 147 0 0 25 0 1 0 903028621 25726976 5434 4294967295 134512640 134716908 3221224560 3221223184 134698622 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6281 5434 1111 63 0 6218 0
vsize: 25124
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5524 0 0 0 115872 148 0 0 25 0 1 0 903028621 25669632 5438 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6267 5438 1111 63 0 6204 0
vsize: 25068
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5524 0 0 0 116871 149 0 0 25 0 1 0 903028621 25669632 5438 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6267 5438 1111 63 0 6204 0
vsize: 25068
[startup+1174.85 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 27308
Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5524 0 0 0 116871 149 0 0 25 0 1 0 903028621 25669632 5438 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6267 5438 1111 63 0 6204 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.02
CPU user time (s): 1173.51
CPU system time (s): 1.50977
CPU usage (%): 100.015
Max. virtual memory (Kb): 25124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####