PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
MD5SUM	69d239b72e8d1a72f9c55329043493e1
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.9626
Number of variables	2280
Total number of constraints	1636
Number of constraints which are clauses	1558
Number of constraints which are cardinality constraints (but not clauses)	78
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 40600

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 16:41:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28666 boxname=wulflinc3 idbench=52 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  69d239b72e8d1a72f9c55329043493e1  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga40_38_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga40_38_sat_pb.cnf.cr.opb
IDLAUNCH: 28666
/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:        754920 kB
Buffers:         17300 kB
Cached:         242536 kB
SwapCached:        808 kB
Active:          32996 kB
Inactive:       228932 kB
HighTotal:      131008 kB
HighFree:         3724 kB
LowTotal:       903652 kB
LowFree:        751196 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12228 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:01:20 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28666 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 2280 variables and 1636 constraints.
c After prepocess the problem consists of 2280 variables and 1636 constraints.
c preprocess terminated 5.03 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.91 0.95 0.91 2/54 27401
Raw data (stat): 27401 (runsolver) R 27400 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903146898 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.0006 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 1843 0 0 0 989 7 0 0 25 0 1 0 903146898 10657792 1761 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2602 1761 1111 63 0 2539 0
vsize: 10408
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 1858 0 0 0 1986 10 0 0 25 0 1 0 903146898 10788864 1776 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2634 1776 1111 63 0 2571 0
vsize: 10536
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 1898 0 0 0 2984 11 0 0 25 0 1 0 903146898 10924032 1816 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2667 1816 1111 63 0 2604 0
vsize: 10668
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 1937 0 0 0 3982 14 0 0 25 0 1 0 903146898 11059200 1855 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2700 1855 1111 63 0 2637 0
vsize: 10800
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 1944 0 0 0 4981 15 0 0 25 0 1 0 903146898 11059200 1862 4294967295 134512640 134716908 3221224560 3221223168 134549310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2700 1862 1111 63 0 2637 0
vsize: 10800
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2003 0 0 0 5980 16 0 0 25 0 1 0 903146898 11317248 1921 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2763 1921 1111 63 0 2700 0
vsize: 11052
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2036 0 0 0 6979 18 0 0 25 0 1 0 903146898 11431936 1954 4294967295 134512640 134716908 3221224560 3221223120 134699092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2791 1954 1111 63 0 2728 0
vsize: 11164
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2048 0 0 0 7978 19 0 0 25 0 1 0 903146898 11558912 1966 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2822 1966 1111 63 0 2759 0
vsize: 11288
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2075 0 0 0 8976 21 0 0 25 0 1 0 903146898 11694080 1993 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1993 1111 63 0 2792 0
vsize: 11420
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2077 0 0 0 9975 22 0 0 25 0 1 0 903146898 11694080 1995 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1995 1111 63 0 2792 0
vsize: 11420
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2106 0 0 0 10974 24 0 0 25 0 1 0 903146898 11829248 2024 4294967295 134512640 134716908 3221224560 3221223076 134699548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2888 2024 1111 63 0 2825 0
vsize: 11552
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2130 0 0 0 11973 25 0 0 25 0 1 0 903146898 11939840 2048 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2048 1111 63 0 2852 0
vsize: 11660
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2130 0 0 0 12972 26 0 0 25 0 1 0 903146898 11939840 2048 4294967295 134512640 134716908 3221224560 3221223212 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2048 1111 63 0 2852 0
vsize: 11660
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2130 0 0 0 13971 27 0 0 25 0 1 0 903146898 11939840 2048 4294967295 134512640 134716908 3221224560 3221223244 134524382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2048 1111 63 0 2852 0
vsize: 11660
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2138 0 0 0 14971 28 0 0 25 0 1 0 903146898 11939840 2056 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2056 1111 63 0 2852 0
vsize: 11660
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2161 0 0 0 15969 29 0 0 25 0 1 0 903146898 11939840 2079 4294967295 134512640 134716908 3221224560 3221223392 134590179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2079 1111 63 0 2852 0
vsize: 11660
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2161 0 0 0 16968 30 0 0 25 0 1 0 903146898 11939840 2079 4294967295 134512640 134716908 3221224560 3221223248 134543724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2079 1111 63 0 2852 0
vsize: 11660
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2168 0 0 0 17967 32 0 0 25 0 1 0 903146898 12075008 2086 4294967295 134512640 134716908 3221224560 3221223200 134613440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2948 2086 1111 63 0 2885 0
vsize: 11792
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2170 0 0 0 18966 33 0 0 25 0 1 0 903146898 12075008 2088 4294967295 134512640 134716908 3221224560 3221223216 134524211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2948 2088 1111 63 0 2885 0
vsize: 11792
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2174 0 0 0 19966 34 0 0 25 0 1 0 903146898 12075008 2092 4294967295 134512640 134716908 3221224560 3221223232 134594380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2948 2092 1111 63 0 2885 0
vsize: 11792
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2209 0 0 0 20964 35 0 0 25 0 1 0 903146898 12206080 2127 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2980 2127 1111 63 0 2917 0
vsize: 11920
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2228 0 0 0 21963 36 0 0 25 0 1 0 903146898 12341248 2146 4294967295 134512640 134716908 3221224560 3221223272 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3013 2146 1111 63 0 2950 0
vsize: 12052
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2228 0 0 0 22962 38 0 0 25 0 1 0 903146898 12341248 2146 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3013 2146 1111 63 0 2950 0
vsize: 12052
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2228 0 0 0 23960 40 0 0 25 0 1 0 903146898 12341248 2146 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3013 2146 1111 63 0 2950 0
vsize: 12052
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2242 0 0 0 24959 41 0 0 25 0 1 0 903146898 12337152 2160 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 2160 1111 63 0 2949 0
vsize: 12048
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2260 0 0 0 25958 42 0 0 25 0 1 0 903146898 12472320 2178 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3045 2178 1111 63 0 2982 0
vsize: 12180
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2283 0 0 0 26957 43 0 0 25 0 1 0 903146898 12443648 2201 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3038 2201 1111 63 0 2975 0
vsize: 12152
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2303 0 0 0 27956 44 0 0 25 0 1 0 903146898 12574720 2221 4294967295 134512640 134716908 3221224560 3221223320 134592385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2221 1111 63 0 3007 0
vsize: 12280
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2310 0 0 0 28955 46 0 0 25 0 1 0 903146898 12574720 2228 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2310 0 0 0 29953 48 0 0 25 0 1 0 903146898 12574720 2228 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2310 0 0 0 30953 49 0 0 25 0 1 0 903146898 12574720 2228 4294967295 134512640 134716908 3221224560 3221223128 1077377851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2310 0 0 0 31951 50 0 0 25 0 1 0 903146898 12574720 2228 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2310 0 0 0 32951 51 0 0 25 0 1 0 903146898 12574720 2228 4294967295 134512640 134716908 3221224560 3221223300 134591993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2310 0 0 0 33950 52 0 0 25 0 1 0 903146898 12574720 2228 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2310 0 0 0 34949 53 0 0 25 0 1 0 903146898 12574720 2228 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2333 0 0 0 35947 55 0 0 25 0 1 0 903146898 12709888 2251 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3103 2251 1111 63 0 3040 0
vsize: 12412
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2337 0 0 0 36946 57 0 0 25 0 1 0 903146898 12709888 2255 4294967295 134512640 134716908 3221224560 3221223316 134655231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3103 2255 1111 63 0 3040 0
vsize: 12412
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2351 0 0 0 37945 58 0 0 25 0 1 0 903146898 12828672 2269 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3132 2269 1111 63 0 3069 0
vsize: 12528
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2352 0 0 0 38943 60 0 0 25 0 1 0 903146898 12828672 2270 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3132 2270 1111 63 0 3069 0
vsize: 12528
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2375 0 0 0 39942 61 0 0 25 0 1 0 903146898 12828672 2293 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3132 2293 1111 63 0 3069 0
vsize: 12528
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2412 0 0 0 40941 62 0 0 25 0 1 0 903146898 13094912 2330 4294967295 134512640 134716908 3221224560 3221223084 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2330 1111 63 0 3134 0
vsize: 12788
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2412 0 0 0 41939 64 0 0 25 0 1 0 903146898 13094912 2330 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2330 1111 63 0 3134 0
vsize: 12788
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2424 0 0 0 42938 66 0 0 25 0 1 0 903146898 13094912 2342 4294967295 134512640 134716908 3221224560 3221223208 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2342 1111 63 0 3134 0
vsize: 12788
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2425 0 0 0 43937 67 0 0 25 0 1 0 903146898 13094912 2343 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2343 1111 63 0 3134 0
vsize: 12788
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2425 0 0 0 44936 68 0 0 25 0 1 0 903146898 13094912 2343 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2343 1111 63 0 3134 0
vsize: 12788
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2425 0 0 0 45935 69 0 0 25 0 1 0 903146898 13094912 2343 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2343 1111 63 0 3134 0
vsize: 12788
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2440 0 0 0 46935 70 0 0 25 0 1 0 903146898 13094912 2358 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2358 1111 63 0 3134 0
vsize: 12788
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2440 0 0 0 47933 71 0 0 25 0 1 0 903146898 13094912 2358 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2358 1111 63 0 3134 0
vsize: 12788
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2440 0 0 0 48932 72 0 0 25 0 1 0 903146898 13094912 2358 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2358 1111 63 0 3134 0
vsize: 12788
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2479 0 0 0 49932 73 0 0 25 0 1 0 903146898 13365248 2397 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 2397 1111 63 0 3200 0
vsize: 13052
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2479 0 0 0 50930 74 0 0 25 0 1 0 903146898 13365248 2397 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 2397 1111 63 0 3200 0
vsize: 13052
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2484 0 0 0 51929 76 0 0 25 0 1 0 903146898 13365248 2402 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 2402 1111 63 0 3200 0
vsize: 13052
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2484 0 0 0 52928 77 0 0 25 0 1 0 903146898 13365248 2402 4294967295 134512640 134716908 3221224560 3221223344 134594864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 2402 1111 63 0 3200 0
vsize: 13052
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2498 0 0 0 53927 79 0 0 25 0 1 0 903146898 13365248 2416 4294967295 134512640 134716908 3221224560 3221223328 134592376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 2416 1111 63 0 3200 0
vsize: 13052
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2523 0 0 0 54925 80 0 0 25 0 1 0 903146898 13451264 2441 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 2441 1111 63 0 3221 0
vsize: 13136
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2523 0 0 0 55924 82 0 0 25 0 1 0 903146898 13451264 2441 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 2441 1111 63 0 3221 0
vsize: 13136
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2526 0 0 0 56923 83 0 0 25 0 1 0 903146898 13451264 2444 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 2444 1111 63 0 3221 0
vsize: 13136
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2539 0 0 0 57921 85 0 0 25 0 1 0 903146898 13586432 2457 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2457 1111 63 0 3254 0
vsize: 13268
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2559 0 0 0 58920 86 0 0 25 0 1 0 903146898 13586432 2477 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2477 1111 63 0 3254 0
vsize: 13268
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2559 0 0 0 59919 88 0 0 25 0 1 0 903146898 13586432 2477 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2477 1111 63 0 3254 0
vsize: 13268
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2577 0 0 0 60917 89 0 0 25 0 1 0 903146898 13721600 2495 4294967295 134512640 134716908 3221224560 3221223224 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2495 1111 63 0 3287 0
vsize: 13400
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2577 0 0 0 61917 90 0 0 25 0 1 0 903146898 13721600 2495 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2495 1111 63 0 3287 0
vsize: 13400
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2593 0 0 0 62915 91 0 0 25 0 1 0 903146898 13721600 2511 4294967295 134512640 134716908 3221224560 3221223328 134592353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2511 1111 63 0 3287 0
vsize: 13400
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2614 0 0 0 63915 92 0 0 25 0 1 0 903146898 13856768 2532 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3383 2532 1111 63 0 3320 0
vsize: 13532
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2621 0 0 0 64913 94 0 0 25 0 1 0 903146898 13856768 2539 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3383 2539 1111 63 0 3320 0
vsize: 13532
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2629 0 0 0 65912 95 0 0 25 0 1 0 903146898 13856768 2547 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3383 2547 1111 63 0 3320 0
vsize: 13532
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2653 0 0 0 66912 96 0 0 25 0 1 0 903146898 13991936 2571 4294967295 134512640 134716908 3221224560 3221223200 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2571 1111 63 0 3353 0
vsize: 13664
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2654 0 0 0 67911 97 0 0 25 0 1 0 903146898 13991936 2572 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2572 1111 63 0 3353 0
vsize: 13664
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2668 0 0 0 68910 98 0 0 25 0 1 0 903146898 14127104 2586 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2586 1111 63 0 3386 0
vsize: 13796
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2669 0 0 0 69908 100 0 0 25 0 1 0 903146898 14127104 2587 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2587 1111 63 0 3386 0
vsize: 13796
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2685 0 0 0 70907 101 0 0 25 0 1 0 903146898 14127104 2603 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2603 1111 63 0 3386 0
vsize: 13796
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2685 0 0 0 71906 103 0 0 25 0 1 0 903146898 14127104 2603 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2603 1111 63 0 3386 0
vsize: 13796
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2685 0 0 0 72905 104 0 0 25 0 1 0 903146898 14127104 2603 4294967295 134512640 134716908 3221224560 3221223508 134575060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2603 1111 63 0 3386 0
vsize: 13796
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2685 0 0 0 73904 105 0 0 25 0 1 0 903146898 14127104 2603 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2603 1111 63 0 3386 0
vsize: 13796
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2685 0 0 0 74903 106 0 0 25 0 1 0 903146898 14118912 2603 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2603 1111 63 0 3384 0
vsize: 13788
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2685 0 0 0 75902 107 0 0 25 0 1 0 903146898 14118912 2603 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2603 1111 63 0 3384 0
vsize: 13788
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2685 0 0 0 76901 109 0 0 25 0 1 0 903146898 14118912 2603 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2603 1111 63 0 3384 0
vsize: 13788
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2706 0 0 0 77900 110 0 0 25 0 1 0 903146898 14241792 2624 4294967295 134512640 134716908 3221224560 3221223264 134535807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2624 1111 63 0 3414 0
vsize: 13908
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2706 0 0 0 78899 111 0 0 25 0 1 0 903146898 14241792 2624 4294967295 134512640 134716908 3221224560 3221223320 134552561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2624 1111 63 0 3414 0
vsize: 13908
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2708 0 0 0 79899 112 0 0 25 0 1 0 903146898 14241792 2626 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2626 1111 63 0 3414 0
vsize: 13908
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2730 0 0 0 80898 112 0 0 25 0 1 0 903146898 14376960 2648 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3510 2648 1111 63 0 3447 0
vsize: 14040
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2752 0 0 0 81897 114 0 0 25 0 1 0 903146898 14376960 2670 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3510 2670 1111 63 0 3447 0
vsize: 14040
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2754 0 0 0 82895 115 0 0 25 0 1 0 903146898 14376960 2672 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3510 2672 1111 63 0 3447 0
vsize: 14040
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2799 0 0 0 83894 117 0 0 25 0 1 0 903146898 14643200 2717 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2799 0 0 0 84894 118 0 0 25 0 1 0 903146898 14643200 2717 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2799 0 0 0 85893 119 0 0 25 0 1 0 903146898 14643200 2717 4294967295 134512640 134716908 3221224560 3221223324 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2799 0 0 0 86892 119 0 0 25 0 1 0 903146898 14643200 2717 4294967295 134512640 134716908 3221224560 3221223136 134549852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2799 0 0 0 87891 120 0 0 25 0 1 0 903146898 14643200 2717 4294967295 134512640 134716908 3221224560 3221223188 1077374057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2799 0 0 0 88890 122 0 0 25 0 1 0 903146898 14643200 2717 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2799 0 0 0 89889 123 0 0 25 0 1 0 903146898 14643200 2717 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2801 0 0 0 90888 124 0 0 25 0 1 0 903146898 14643200 2719 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2719 1111 63 0 3512 0
vsize: 14300
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2801 0 0 0 91888 125 0 0 25 0 1 0 903146898 14643200 2719 4294967295 134512640 134716908 3221224560 3221223120 134699211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2719 1111 63 0 3512 0
vsize: 14300
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2801 0 0 0 92886 126 0 0 25 0 1 0 903146898 14643200 2719 4294967295 134512640 134716908 3221224560 3221223144 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2719 1111 63 0 3512 0
vsize: 14300
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2801 0 0 0 93886 127 0 0 25 0 1 0 903146898 14643200 2719 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2719 1111 63 0 3512 0
vsize: 14300
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2830 0 0 0 94884 129 0 0 25 0 1 0 903146898 14778368 2748 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3608 2748 1111 63 0 3545 0
vsize: 14432
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2841 0 0 0 95883 130 0 0 25 0 1 0 903146898 14766080 2759 4294967295 134512640 134716908 3221224560 3221223200 134613440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2759 1111 63 0 3542 0
vsize: 14420
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2841 0 0 0 96881 133 0 0 25 0 1 0 903146898 14766080 2759 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2759 1111 63 0 3542 0
vsize: 14420
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2841 0 0 0 97880 134 0 0 25 0 1 0 903146898 14766080 2759 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2759 1111 63 0 3542 0
vsize: 14420
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2846 0 0 0 98879 135 0 0 25 0 1 0 903146898 14766080 2764 4294967295 134512640 134716908 3221224560 3221223180 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2764 1111 63 0 3542 0
vsize: 14420
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2846 0 0 0 99878 136 0 0 25 0 1 0 903146898 14766080 2764 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2764 1111 63 0 3542 0
vsize: 14420
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2846 0 0 0 100877 137 0 0 25 0 1 0 903146898 14766080 2764 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2764 1111 63 0 3542 0
vsize: 14420
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2846 0 0 0 101876 138 0 0 25 0 1 0 903146898 14766080 2764 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2764 1111 63 0 3542 0
vsize: 14420
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2857 0 0 0 102875 139 0 0 25 0 1 0 903146898 14901248 2775 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2775 1111 63 0 3575 0
vsize: 14552
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2867 0 0 0 103874 141 0 0 25 0 1 0 903146898 14880768 2785 4294967295 134512640 134716908 3221224560 3221223056 134699471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3633 2785 1111 63 0 3570 0
vsize: 14532
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2874 0 0 0 104873 142 0 0 25 0 1 0 903146898 14880768 2792 4294967295 134512640 134716908 3221224560 3221223044 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3633 2792 1111 63 0 3570 0
vsize: 14532
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2893 0 0 0 105871 144 0 0 25 0 1 0 903146898 15015936 2811 4294967295 134512640 134716908 3221224560 3221223116 134539251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3666 2811 1111 63 0 3603 0
vsize: 14664
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2893 0 0 0 106870 146 0 0 25 0 1 0 903146898 14954496 2811 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3651 2811 1111 63 0 3588 0
vsize: 14604
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2894 0 0 0 107869 147 0 0 25 0 1 0 903146898 14954496 2812 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3651 2812 1111 63 0 3588 0
vsize: 14604
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27401
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2894 0 0 0 108868 148 0 0 25 0 1 0 903146898 14954496 2812 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3651 2812 1111 63 0 3588 0
vsize: 14604
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 4/57 27428
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2894 0 0 0 109867 149 0 0 25 0 1 0 903146898 14954496 2812 4294967295 134512640 134716908 3221224560 3221223264 134524477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3651 2812 1111 63 0 3588 0
vsize: 14604
[startup+1110.03 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 27454
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2918 0 0 0 110866 151 0 0 25 0 1 0 903146898 15089664 2836 4294967295 134512640 134716908 3221224560 3221223152 134548587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2836 1111 63 0 3621 0
vsize: 14736
[startup+1120.03 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 27454
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2918 0 0 0 111865 152 0 0 25 0 1 0 903146898 15089664 2836 4294967295 134512640 134716908 3221224560 3221223188 134698582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2836 1111 63 0 3621 0
vsize: 14736
[startup+1130.03 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 27454
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2918 0 0 0 112864 153 0 0 25 0 1 0 903146898 15089664 2836 4294967295 134512640 134716908 3221224560 3221223272 134542829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2836 1111 63 0 3621 0
vsize: 14736
[startup+1140.03 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 27454
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2918 0 0 0 113863 154 0 0 25 0 1 0 903146898 15089664 2836 4294967295 134512640 134716908 3221224560 3221223156 134549516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2836 1111 63 0 3621 0
vsize: 14736
[startup+1150.03 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 27454
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2918 0 0 0 114862 155 0 0 25 0 1 0 903146898 15089664 2836 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2836 1111 63 0 3621 0
vsize: 14736
[startup+1160.03 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 27454
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2933 0 0 0 115861 156 0 0 25 0 1 0 903146898 15224832 2851 4294967295 134512640 134716908 3221224560 3221223100 134539251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3717 2851 1111 63 0 3654 0
vsize: 14868
[startup+1170.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 27456
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2933 0 0 0 116860 158 0 0 25 0 1 0 903146898 15224832 2851 4294967295 134512640 134716908 3221224560 3221223328 134592134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3717 2851 1111 63 0 3654 0
vsize: 14868
[startup+1174.87 s]
Raw data (loadavg): 1.02 0.99 0.92 1/53 27456
Raw data (stat): 27401 (bsolo_lpr_cuts-) R 27400 20224 20223 0 -1 0 2933 0 0 0 116860 158 0 0 25 0 1 0 903146898 15224832 2851 4294967295 134512640 134716908 3221224560 3221223328 134592134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3717 2851 1111 63 0 3654 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.02
CPU user time (s): 1173.42
CPU system time (s): 1.59676
CPU usage (%): 100.013
Max. virtual memory (Kb): 14868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####