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-chnl40_50_pb.cnf.cr.opb
MD5SUM	2cb05b3a6451c60276a625949666f14e
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	51
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.12498
Number of variables	4000
Total number of constraints	180
Number of constraints which are clauses	100
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	50
Trace number 40568

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 15:00:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28633 boxname=wulflinc5 idbench=19 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  2cb05b3a6451c60276a625949666f14e  /oldhome/oroussel/tmp/wulflinc5/normalized-chnl40_50_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-chnl40_50_pb.cnf.cr.opb
IDLAUNCH: 28633
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        858384 kB
Buffers:         14104 kB
Cached:         140740 kB
SwapCached:        672 kB
Active:          24220 kB
Inactive:       132676 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        858132 kB
SwapTotal:     2097136 kB
SwapFree:      2095500 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13656 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:19:58 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28633 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 4000 variables and 180 constraints.
c After prepocess the problem consists of 4000 variables and 180 constraints.
c preprocess terminated 1.774 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.98 0.97 0.91 1/54 20235
Raw data (stat): 20235 (runsolver) R 20234 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902547193 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.98 0.97 0.91 2/54 20235
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1618 0 0 0 992 5 0 0 25 0 1 0 902547193 9830400 1536 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2400 1536 1111 63 0 2337 0
vsize: 9600
[startup+20.0011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20235
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1656 0 0 0 1990 7 0 0 25 0 1 0 902547193 9965568 1574 4294967295 134512640 134716908 3221224560 3221223200 134698443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2433 1574 1111 63 0 2370 0
vsize: 9732
[startup+30.0015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20235
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1713 0 0 0 2988 9 0 0 25 0 1 0 902547193 10235904 1631 4294967295 134512640 134716908 3221224560 3221223136 134542692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2499 1631 1111 63 0 2436 0
vsize: 9996
[startup+40.0016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20235
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1734 0 0 0 3986 11 0 0 25 0 1 0 902547193 10371072 1652 4294967295 134512640 134716908 3221224560 3221222716 134613768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2532 1652 1111 63 0 2469 0
vsize: 10128
[startup+50.0013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1742 0 0 0 4984 13 0 0 25 0 1 0 902547193 10371072 1660 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2532 1660 1111 63 0 2469 0
vsize: 10128
[startup+60.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1760 0 0 0 5983 15 0 0 25 0 1 0 902547193 10371072 1678 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2532 1678 1111 63 0 2469 0
vsize: 10128
[startup+70.0021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1782 0 0 0 6982 16 0 0 25 0 1 0 902547193 10506240 1700 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2565 1700 1111 63 0 2502 0
vsize: 10260
[startup+80.0035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1794 0 0 0 7981 17 0 0 25 0 1 0 902547193 10506240 1712 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2565 1712 1111 63 0 2502 0
vsize: 10260
[startup+90.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1807 0 0 0 8980 19 0 0 25 0 1 0 902547193 10641408 1725 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1725 1111 63 0 2535 0
vsize: 10392
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1822 0 0 0 9978 21 0 0 25 0 1 0 902547193 10641408 1740 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1740 1111 63 0 2535 0
vsize: 10392
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1844 0 0 0 10977 22 0 0 25 0 1 0 902547193 10776576 1762 4294967295 134512640 134716908 3221224560 3221223200 134698412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2631 1762 1111 63 0 2568 0
vsize: 10524
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1844 0 0 0 11975 24 0 0 25 0 1 0 902547193 10776576 1762 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2631 1762 1111 63 0 2568 0
vsize: 10524
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1851 0 0 0 12974 26 0 0 25 0 1 0 902547193 10776576 1769 4294967295 134512640 134716908 3221224560 3221223180 134613780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2631 1769 1111 63 0 2568 0
vsize: 10524
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1895 0 0 0 13972 28 0 0 25 0 1 0 902547193 11046912 1813 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2697 1813 1111 63 0 2634 0
vsize: 10788
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1904 0 0 0 14970 30 0 0 25 0 1 0 902547193 11046912 1822 4294967295 134512640 134716908 3221224560 3221223168 134549497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2697 1822 1111 63 0 2634 0
vsize: 10788
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1933 0 0 0 15968 32 0 0 25 0 1 0 902547193 11182080 1851 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2730 1851 1111 63 0 2667 0
vsize: 10920
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1935 0 0 0 16967 34 0 0 25 0 1 0 902547193 11182080 1853 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2730 1853 1111 63 0 2667 0
vsize: 10920
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1962 0 0 0 17965 35 0 0 25 0 1 0 902547193 11313152 1880 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2762 1880 1111 63 0 2699 0
vsize: 11048
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1962 0 0 0 18964 37 0 0 25 0 1 0 902547193 11313152 1880 4294967295 134512640 134716908 3221224560 3221223328 134529279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2762 1880 1111 63 0 2699 0
vsize: 11048
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1967 0 0 0 19963 38 0 0 25 0 1 0 902547193 11304960 1885 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2760 1885 1111 63 0 2697 0
vsize: 11040
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 1987 0 0 0 20962 40 0 0 25 0 1 0 902547193 11304960 1905 4294967295 134512640 134716908 3221224560 3221223136 134542689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2760 1905 1111 63 0 2697 0
vsize: 11040
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2001 0 0 0 21960 41 0 0 25 0 1 0 902547193 11440128 1919 4294967295 134512640 134716908 3221224560 3221223312 134592438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 1919 1111 63 0 2730 0
vsize: 11172
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2004 0 0 0 22959 43 0 0 25 0 1 0 902547193 11440128 1922 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 1922 1111 63 0 2730 0
vsize: 11172
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2004 0 0 0 23957 45 0 0 25 0 1 0 902547193 11440128 1922 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 1922 1111 63 0 2730 0
vsize: 11172
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2009 0 0 0 24955 47 0 0 25 0 1 0 902547193 11440128 1927 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 1927 1111 63 0 2730 0
vsize: 11172
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2015 0 0 0 25954 48 0 0 25 0 1 0 902547193 11440128 1933 4294967295 134512640 134716908 3221224560 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 1933 1111 63 0 2730 0
vsize: 11172
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2026 0 0 0 26952 50 0 0 25 0 1 0 902547193 11575296 1944 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 1944 1111 63 0 2763 0
vsize: 11304
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2026 0 0 0 27950 53 0 0 25 0 1 0 902547193 11575296 1944 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 1944 1111 63 0 2763 0
vsize: 11304
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2031 0 0 0 28949 54 0 0 25 0 1 0 902547193 11575296 1949 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 1949 1111 63 0 2763 0
vsize: 11304
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2033 0 0 0 29948 55 0 0 25 0 1 0 902547193 11575296 1951 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 1951 1111 63 0 2763 0
vsize: 11304
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2058 0 0 0 30947 56 0 0 25 0 1 0 902547193 11685888 1976 4294967295 134512640 134716908 3221224560 3221223316 134592339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2853 1976 1111 63 0 2790 0
vsize: 11412
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2094 0 0 0 31945 58 0 0 25 0 1 0 902547193 11821056 2012 4294967295 134512640 134716908 3221224560 3221223136 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 2012 1111 63 0 2823 0
vsize: 11544
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20237
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2103 0 0 0 32944 59 0 0 25 0 1 0 902547193 11821056 2021 4294967295 134512640 134716908 3221224560 3221223224 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 2021 1111 63 0 2823 0
vsize: 11544
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2131 0 0 0 33943 61 0 0 25 0 1 0 902547193 11956224 2049 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2919 2049 1111 63 0 2856 0
vsize: 11676
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2174 0 0 0 34942 62 0 0 25 0 1 0 902547193 12091392 2092 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2092 1111 63 0 2889 0
vsize: 11808
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2174 0 0 0 35941 63 0 0 25 0 1 0 902547193 12091392 2092 4294967295 134512640 134716908 3221224560 3221223148 134535676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2092 1111 63 0 2889 0
vsize: 11808
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2174 0 0 0 36938 66 0 0 25 0 1 0 902547193 12091392 2092 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2092 1111 63 0 2889 0
vsize: 11808
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2174 0 0 0 37937 67 0 0 25 0 1 0 902547193 12091392 2092 4294967295 134512640 134716908 3221224560 3221223200 134698446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2092 1111 63 0 2889 0
vsize: 11808
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2174 0 0 0 38936 69 0 0 25 0 1 0 902547193 12091392 2092 4294967295 134512640 134716908 3221224560 3221223184 134698712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2092 1111 63 0 2889 0
vsize: 11808
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2189 0 0 0 39935 70 0 0 25 0 1 0 902547193 12226560 2107 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2985 2107 1111 63 0 2922 0
vsize: 11940
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2227 0 0 0 40934 71 0 0 25 0 1 0 902547193 12361728 2145 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3018 2145 1111 63 0 2955 0
vsize: 12072
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2241 0 0 0 41932 73 0 0 25 0 1 0 902547193 12361728 2159 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3018 2159 1111 63 0 2955 0
vsize: 12072
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2273 0 0 0 42931 75 0 0 25 0 1 0 902547193 12488704 2191 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3049 2191 1111 63 0 2986 0
vsize: 12196
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2274 0 0 0 43929 77 0 0 25 0 1 0 902547193 12488704 2192 4294967295 134512640 134716908 3221224560 3221223152 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3049 2192 1111 63 0 2986 0
vsize: 12196
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2283 0 0 0 44927 78 0 0 25 0 1 0 902547193 12623872 2201 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2201 1111 63 0 3019 0
vsize: 12328
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2284 0 0 0 45926 80 0 0 25 0 1 0 902547193 12623872 2202 4294967295 134512640 134716908 3221224560 3221223168 134549398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2202 1111 63 0 3019 0
vsize: 12328
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2294 0 0 0 46924 82 0 0 25 0 1 0 902547193 12623872 2212 4294967295 134512640 134716908 3221224560 3221223296 134591997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2212 1111 63 0 3019 0
vsize: 12328
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2308 0 0 0 47923 83 0 0 25 0 1 0 902547193 12623872 2226 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2226 1111 63 0 3019 0
vsize: 12328
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2308 0 0 0 48921 85 0 0 25 0 1 0 902547193 12623872 2226 4294967295 134512640 134716908 3221224560 3221223296 134535853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2226 1111 63 0 3019 0
vsize: 12328
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2315 0 0 0 49920 87 0 0 25 0 1 0 902547193 12759040 2233 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2233 1111 63 0 3052 0
vsize: 12460
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2324 0 0 0 50918 89 0 0 25 0 1 0 902547193 12759040 2242 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2242 1111 63 0 3052 0
vsize: 12460
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2340 0 0 0 51917 90 0 0 25 0 1 0 902547193 12759040 2258 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2258 1111 63 0 3052 0
vsize: 12460
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2397 0 0 0 52916 92 0 0 25 0 1 0 902547193 13029376 2315 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2397 0 0 0 53915 93 0 0 25 0 1 0 902547193 13029376 2315 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2397 0 0 0 54913 94 0 0 25 0 1 0 902547193 13029376 2315 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2397 0 0 0 55912 96 0 0 25 0 1 0 902547193 13029376 2315 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2397 0 0 0 56911 97 0 0 25 0 1 0 902547193 13029376 2315 4294967295 134512640 134716908 3221224560 3221223200 134698468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2397 0 0 0 57910 99 0 0 25 0 1 0 902547193 13029376 2315 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2397 0 0 0 58909 100 0 0 25 0 1 0 902547193 13029376 2315 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2401 0 0 0 59907 101 0 0 25 0 1 0 902547193 13029376 2319 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2319 1111 63 0 3118 0
vsize: 12724
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2401 0 0 0 60906 103 0 0 25 0 1 0 902547193 13029376 2319 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2319 1111 63 0 3118 0
vsize: 12724
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2401 0 0 0 61905 104 0 0 25 0 1 0 902547193 13029376 2319 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2319 1111 63 0 3118 0
vsize: 12724
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2403 0 0 0 62904 105 0 0 25 0 1 0 902547193 13029376 2321 4294967295 134512640 134716908 3221224560 3221223216 134536683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2321 1111 63 0 3118 0
vsize: 12724
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2405 0 0 0 63903 107 0 0 25 0 1 0 902547193 13029376 2323 4294967295 134512640 134716908 3221224560 3221223296 134534154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2323 1111 63 0 3118 0
vsize: 12724
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2412 0 0 0 64901 108 0 0 25 0 1 0 902547193 13164544 2330 4294967295 134512640 134716908 3221224560 3221223344 134529410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2330 1111 63 0 3151 0
vsize: 12856
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2412 0 0 0 65900 110 0 0 25 0 1 0 902547193 13164544 2330 4294967295 134512640 134716908 3221224560 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2330 1111 63 0 3151 0
vsize: 12856
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2412 0 0 0 66899 111 0 0 25 0 1 0 902547193 13164544 2330 4294967295 134512640 134716908 3221224560 3221223344 134528943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2330 1111 63 0 3151 0
vsize: 12856
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2416 0 0 0 67898 112 0 0 25 0 1 0 902547193 13164544 2334 4294967295 134512640 134716908 3221224560 3221223376 134588072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2334 1111 63 0 3151 0
vsize: 12856
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2430 0 0 0 68897 114 0 0 25 0 1 0 902547193 13164544 2348 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2348 1111 63 0 3151 0
vsize: 12856
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2430 0 0 0 69895 116 0 0 25 0 1 0 902547193 13164544 2348 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2348 1111 63 0 3151 0
vsize: 12856
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2432 0 0 0 70893 118 0 0 25 0 1 0 902547193 13164544 2350 4294967295 134512640 134716908 3221224560 3221223200 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2350 1111 63 0 3151 0
vsize: 12856
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2477 0 0 0 71892 119 0 0 25 0 1 0 902547193 13418496 2395 4294967295 134512640 134716908 3221224560 3221223324 134524382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3276 2395 1111 63 0 3213 0
vsize: 13104
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2477 0 0 0 72891 120 0 0 25 0 1 0 902547193 13418496 2395 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3276 2395 1111 63 0 3213 0
vsize: 13104
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2490 0 0 0 73890 122 0 0 25 0 1 0 902547193 13418496 2408 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3276 2408 1111 63 0 3213 0
vsize: 13104
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2502 0 0 0 74887 124 0 0 25 0 1 0 902547193 13418496 2420 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3276 2420 1111 63 0 3213 0
vsize: 13104
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2511 0 0 0 75886 126 0 0 25 0 1 0 902547193 13553664 2429 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3309 2429 1111 63 0 3246 0
vsize: 13236
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2562 0 0 0 76885 127 0 0 25 0 1 0 902547193 13688832 2480 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2480 1111 63 0 3279 0
vsize: 13368
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2562 0 0 0 77884 129 0 0 25 0 1 0 902547193 13688832 2480 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2480 1111 63 0 3279 0
vsize: 13368
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2570 0 0 0 78882 131 0 0 25 0 1 0 902547193 13688832 2488 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2488 1111 63 0 3279 0
vsize: 13368
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2588 0 0 0 79881 131 0 0 25 0 1 0 902547193 13824000 2506 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2506 1111 63 0 3312 0
vsize: 13500
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2588 0 0 0 80880 133 0 0 25 0 1 0 902547193 13819904 2506 4294967295 134512640 134716908 3221224560 3221223168 134548696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2506 1111 63 0 3311 0
vsize: 13496
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2588 0 0 0 81878 135 0 0 25 0 1 0 902547193 13819904 2506 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2506 1111 63 0 3311 0
vsize: 13496
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2596 0 0 0 82877 136 0 0 25 0 1 0 902547193 13819904 2514 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2514 1111 63 0 3311 0
vsize: 13496
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2597 0 0 0 83876 138 0 0 25 0 1 0 902547193 13819904 2515 4294967295 134512640 134716908 3221224560 3221223200 134613476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2515 1111 63 0 3311 0
vsize: 13496
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2597 0 0 0 84874 139 0 0 25 0 1 0 902547193 13819904 2515 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2515 1111 63 0 3311 0
vsize: 13496
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2599 0 0 0 85874 140 0 0 25 0 1 0 902547193 13819904 2517 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2517 1111 63 0 3311 0
vsize: 13496
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2599 0 0 0 86872 142 0 0 25 0 1 0 902547193 13819904 2517 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2517 1111 63 0 3311 0
vsize: 13496
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2601 0 0 0 87870 144 0 0 25 0 1 0 902547193 13819904 2519 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2519 1111 63 0 3311 0
vsize: 13496
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2613 0 0 0 88869 145 0 0 25 0 1 0 902547193 13946880 2531 4294967295 134512640 134716908 3221224560 3221223312 134587954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2531 1111 63 0 3342 0
vsize: 13620
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2613 0 0 0 89868 147 0 0 25 0 1 0 902547193 13946880 2531 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2531 1111 63 0 3342 0
vsize: 13620
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2614 0 0 0 90866 148 0 0 25 0 1 0 902547193 13946880 2532 4294967295 134512640 134716908 3221224560 3221223120 134699191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2532 1111 63 0 3342 0
vsize: 13620
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2614 0 0 0 91864 151 0 0 25 0 1 0 902547193 13946880 2532 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2532 1111 63 0 3342 0
vsize: 13620
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2616 0 0 0 92862 153 0 0 25 0 1 0 902547193 13946880 2534 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2534 1111 63 0 3342 0
vsize: 13620
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2616 0 0 0 93861 154 0 0 25 0 1 0 902547193 13946880 2534 4294967295 134512640 134716908 3221224560 3221223120 134551992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2534 1111 63 0 3342 0
vsize: 13620
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2641 0 0 0 94860 155 0 0 25 0 1 0 902547193 14082048 2559 4294967295 134512640 134716908 3221224560 3221223312 134591984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2559 1111 63 0 3375 0
vsize: 13752
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2641 0 0 0 95859 157 0 0 25 0 1 0 902547193 14082048 2559 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2559 1111 63 0 3375 0
vsize: 13752
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2641 0 0 0 96857 158 0 0 25 0 1 0 902547193 14082048 2559 4294967295 134512640 134716908 3221224560 3221223232 134613744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2559 1111 63 0 3375 0
vsize: 13752
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2641 0 0 0 97856 160 0 0 25 0 1 0 902547193 14082048 2559 4294967295 134512640 134716908 3221224560 3221223116 134535984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2559 1111 63 0 3375 0
vsize: 13752
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2651 0 0 0 98855 162 0 0 25 0 1 0 902547193 14082048 2569 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2569 1111 63 0 3375 0
vsize: 13752
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2669 0 0 0 99854 162 0 0 25 0 1 0 902547193 14217216 2587 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2675 0 0 0 100854 163 0 0 25 0 1 0 902547193 14217216 2593 4294967295 134512640 134716908 3221224560 3221223280 134584805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2593 1111 63 0 3408 0
vsize: 13884
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2675 0 0 0 101853 164 0 0 25 0 1 0 902547193 14217216 2593 4294967295 134512640 134716908 3221224560 3221223296 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2593 1111 63 0 3408 0
vsize: 13884
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2733 0 0 0 102851 166 0 0 25 0 1 0 902547193 14352384 2651 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2733 0 0 0 103850 167 0 0 25 0 1 0 902547193 14352384 2651 4294967295 134512640 134716908 3221224560 3221223212 134536837 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2733 0 0 0 104848 169 0 0 25 0 1 0 902547193 14352384 2651 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2733 0 0 0 105847 171 0 0 25 0 1 0 902547193 14352384 2651 4294967295 134512640 134716908 3221224560 3221223108 134699043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2733 0 0 0 106846 172 0 0 25 0 1 0 902547193 14352384 2651 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2733 0 0 0 107844 174 0 0 25 0 1 0 902547193 14352384 2651 4294967295 134512640 134716908 3221224560 3221223320 134552566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2733 0 0 0 108843 176 0 0 25 0 1 0 902547193 14352384 2651 4294967295 134512640 134716908 3221224560 3221223344 134584901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2734 0 0 0 109841 177 0 0 25 0 1 0 902547193 14487552 2652 4294967295 134512640 134716908 3221224560 3221223200 134698468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2652 1111 63 0 3474 0
vsize: 14148
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2744 0 0 0 110840 179 0 0 25 0 1 0 902547193 14487552 2662 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2662 1111 63 0 3474 0
vsize: 14148
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2744 0 0 0 111838 181 0 0 25 0 1 0 902547193 14487552 2662 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2662 1111 63 0 3474 0
vsize: 14148
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2755 0 0 0 112837 182 0 0 25 0 1 0 902547193 14487552 2673 4294967295 134512640 134716908 3221224560 3221223188 134698613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2673 1111 63 0 3474 0
vsize: 14148
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2755 0 0 0 113835 184 0 0 25 0 1 0 902547193 14487552 2673 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2673 1111 63 0 3474 0
vsize: 14148
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2755 0 0 0 114833 186 0 0 25 0 1 0 902547193 14487552 2673 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2673 1111 63 0 3474 0
vsize: 14148
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2765 0 0 0 115832 187 0 0 25 0 1 0 902547193 14487552 2683 4294967295 134512640 134716908 3221224560 3221223136 134549713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2683 1111 63 0 3474 0
vsize: 14148
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2773 0 0 0 116831 189 0 0 25 0 1 0 902547193 14614528 2691 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2691 1111 63 0 3505 0
vsize: 14272
[startup+1174.84 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20239
Raw data (stat): 20235 (bsolo_lpr_cuts-) R 20234 7266 7265 0 -1 0 2773 0 0 0 116831 189 0 0 25 0 1 0 902547193 14614528 2691 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2691 1111 63 0 3505 0
vsize: 0

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