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-fpga20_18_sat_pb.cnf.cr.opb
MD5SUM	9a6b2ea126808a63a93c96774aab88a9
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	21
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.148976
Number of variables	540
Total number of constraints	416
Number of constraints which are clauses	378
Number of constraints which are cardinality constraints (but not clauses)	38
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 40588

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 16:02:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28654 boxname=wulflinc3 idbench=40 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9a6b2ea126808a63a93c96774aab88a9  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga20_18_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga20_18_sat_pb.cnf.cr.opb
IDLAUNCH: 28654
/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:        758976 kB
Buffers:         14112 kB
Cached:         241848 kB
SwapCached:        808 kB
Active:          32720 kB
Inactive:       225324 kB
HighTotal:      131008 kB
HighFree:         4452 kB
LowTotal:       903652 kB
LowFree:        754524 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12024 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:21:55 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 28654 7 1175.05 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 540 variables and 416 constraints.
c After prepocess the problem consists of 540 variables and 416 constraints.
c preprocess terminated 0.41 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.92 1/54 27213
Raw data (stat): 27213 (runsolver) R 27212 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902910337 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.0011 s]
Raw data (loadavg): 0.87 0.94 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 3032 0 0 0 987 9 0 0 25 0 1 0 902910337 15482880 2950 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3780 2950 1111 63 0 3717 0
vsize: 15120
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.94 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 4140 0 0 0 1982 14 0 0 25 0 1 0 902910337 20078592 4058 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4902 4058 1111 63 0 4839 0
vsize: 19608
[startup+30.0027 s]
Raw data (loadavg): 0.90 0.94 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 5314 0 0 0 2978 18 0 0 25 0 1 0 902910337 24809472 5232 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6057 5232 1111 63 0 5994 0
vsize: 24228
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.94 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 6253 0 0 0 3974 21 0 0 25 0 1 0 902910337 28733440 6171 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7015 6171 1111 63 0 6952 0
vsize: 28060
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.94 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 6822 0 0 0 4973 23 0 0 25 0 1 0 902910337 31031296 6740 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 6740 1111 63 0 7513 0
vsize: 30304
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 7141 0 0 0 5971 25 0 0 25 0 1 0 902910337 32382976 7059 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7906 7059 1111 63 0 7843 0
vsize: 31624
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.95 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 7281 0 0 0 6970 26 0 0 25 0 1 0 902910337 32927744 7199 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8039 7199 1111 63 0 7976 0
vsize: 32156
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.95 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 7396 0 0 0 7970 27 0 0 25 0 1 0 902910337 33484800 7314 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8175 7314 1111 63 0 8112 0
vsize: 32700
[startup+90.0027 s]
Raw data (loadavg): 0.96 0.95 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 7535 0 0 0 8969 28 0 0 25 0 1 0 902910337 34160640 7453 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8340 7453 1111 63 0 8277 0
vsize: 33360
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 7709 0 0 0 9968 29 0 0 25 0 1 0 902910337 34840576 7623 4294967295 134512640 134716908 3221224560 3221223096 134613764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8506 7623 1111 63 0 8443 0
vsize: 34024
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 7904 0 0 0 10967 30 0 0 25 0 1 0 902910337 35651584 7818 4294967295 134512640 134716908 3221224560 3221223248 134551903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8704 7818 1111 63 0 8641 0
vsize: 34816
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 8212 0 0 0 11965 32 0 0 25 0 1 0 902910337 36872192 8126 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9002 8126 1111 63 0 8939 0
vsize: 36008
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 8553 0 0 0 12964 33 0 0 25 0 1 0 902910337 38227968 8467 4294967295 134512640 134716908 3221224560 3221223248 134528605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 8467 1111 63 0 9270 0
vsize: 37332
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 8923 0 0 0 13963 35 0 0 25 0 1 0 902910337 39849984 8837 4294967295 134512640 134716908 3221224560 3221223264 134528449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9729 8837 1111 63 0 9666 0
vsize: 38916
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 9144 0 0 0 14962 36 0 0 25 0 1 0 902910337 40660992 9058 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9927 9058 1111 63 0 9864 0
vsize: 39708
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 9275 0 0 0 15960 38 0 0 25 0 1 0 902910337 41201664 9189 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10059 9189 1111 63 0 9996 0
vsize: 40236
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 9351 0 0 0 16959 39 0 0 25 0 1 0 902910337 41594880 9265 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10155 9265 1111 63 0 10092 0
vsize: 40620
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 9446 0 0 0 17958 41 0 0 25 0 1 0 902910337 42000384 9360 4294967295 134512640 134716908 3221224560 3221223228 134551608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10254 9360 1111 63 0 10191 0
vsize: 41016
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27213
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 9474 0 0 0 18958 41 0 0 25 0 1 0 902910337 42000384 9388 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10254 9388 1111 63 0 10191 0
vsize: 41016
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 9520 0 0 0 19957 42 0 0 25 0 1 0 902910337 42278912 9434 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10322 9434 1111 63 0 10259 0
vsize: 41288
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 9608 0 0 0 20956 42 0 0 25 0 1 0 902910337 42549248 9522 4294967295 134512640 134716908 3221224560 3221223200 134698471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10388 9522 1111 63 0 10325 0
vsize: 41552
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 9735 0 0 0 21955 44 0 0 25 0 1 0 902910337 43089920 9649 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10520 9649 1111 63 0 10457 0
vsize: 42080
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 9864 0 0 0 22955 45 0 0 25 0 1 0 902910337 43630592 9778 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10652 9778 1111 63 0 10589 0
vsize: 42608
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 9927 0 0 0 23954 45 0 0 25 0 1 0 902910337 43900928 9841 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10718 9841 1111 63 0 10655 0
vsize: 42872
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 10037 0 0 0 24954 46 0 0 25 0 1 0 902910337 44306432 9951 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10817 9951 1111 63 0 10754 0
vsize: 43268
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 10185 0 0 0 25954 46 0 0 25 0 1 0 902910337 44982272 10099 4294967295 134512640 134716908 3221224560 3221223296 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10982 10099 1111 63 0 10919 0
vsize: 43928
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 10292 0 0 0 26953 47 0 0 25 0 1 0 902910337 45387776 10206 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11081 10206 1111 63 0 11018 0
vsize: 44324
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 10485 0 0 0 27952 48 0 0 25 0 1 0 902910337 46202880 10399 4294967295 134512640 134716908 3221224560 3221223116 134535962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11280 10399 1111 63 0 11217 0
vsize: 45120
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 10703 0 0 0 28951 49 0 0 25 0 1 0 902910337 47149056 10617 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11511 10617 1111 63 0 11448 0
vsize: 46044
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 10811 0 0 0 29951 50 0 0 25 0 1 0 902910337 47554560 10725 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11610 10725 1111 63 0 11547 0
vsize: 46440
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 10945 0 0 0 30950 51 0 0 25 0 1 0 902910337 48095232 10859 4294967295 134512640 134716908 3221224560 3221223344 134529341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11742 10859 1111 63 0 11679 0
vsize: 46968
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 11057 0 0 0 31950 51 0 0 25 0 1 0 902910337 48627712 10971 4294967295 134512640 134716908 3221224560 3221223332 134529275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 10971 1111 63 0 11809 0
vsize: 47488
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 11133 0 0 0 32949 52 0 0 25 0 1 0 902910337 48898048 11047 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11938 11047 1111 63 0 11875 0
vsize: 47752
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 11276 0 0 0 33949 53 0 0 25 0 1 0 902910337 49438720 11190 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12070 11190 1111 63 0 12007 0
vsize: 48280
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 11391 0 0 0 34948 54 0 0 25 0 1 0 902910337 49979392 11305 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12202 11305 1111 63 0 12139 0
vsize: 48808
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 11538 0 0 0 35947 55 0 0 25 0 1 0 902910337 50520064 11452 4294967295 134512640 134716908 3221224560 3221223164 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12334 11452 1111 63 0 12271 0
vsize: 49336
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 11670 0 0 0 36946 56 0 0 25 0 1 0 902910337 51064832 11584 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12467 11584 1111 63 0 12404 0
vsize: 49868
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 11881 0 0 0 37945 57 0 0 25 0 1 0 902910337 52011008 11795 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12698 11795 1111 63 0 12635 0
vsize: 50792
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 12049 0 0 0 38944 59 0 0 25 0 1 0 902910337 52686848 11963 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12863 11963 1111 63 0 12800 0
vsize: 51452
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 12233 0 0 0 39943 60 0 0 25 0 1 0 902910337 53379072 12147 4294967295 134512640 134716908 3221224560 3221223124 134535492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13032 12147 1111 63 0 12969 0
vsize: 52128
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 12376 0 0 0 40942 60 0 0 25 0 1 0 902910337 53919744 12290 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13164 12290 1111 63 0 13101 0
vsize: 52656
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 12479 0 0 0 41942 61 0 0 25 0 1 0 902910337 54468608 12393 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13298 12393 1111 63 0 13235 0
vsize: 53192
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 12568 0 0 0 42941 62 0 0 25 0 1 0 902910337 54738944 12482 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13364 12482 1111 63 0 13301 0
vsize: 53456
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 12682 0 0 0 43940 64 0 0 25 0 1 0 902910337 55279616 12596 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13496 12596 1111 63 0 13433 0
vsize: 53984
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 12739 0 0 0 44939 64 0 0 25 0 1 0 902910337 55414784 12653 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13529 12653 1111 63 0 13466 0
vsize: 54116
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 12815 0 0 0 45939 65 0 0 25 0 1 0 902910337 55799808 12729 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13623 12729 1111 63 0 13560 0
vsize: 54492
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 12901 0 0 0 46938 66 0 0 25 0 1 0 902910337 56205312 12815 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13722 12815 1111 63 0 13659 0
vsize: 54888
[startup+480.013 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 13004 0 0 0 47938 67 0 0 25 0 1 0 902910337 56610816 12918 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13821 12918 1111 63 0 13758 0
vsize: 55284
[startup+490.014 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 13101 0 0 0 48937 68 0 0 25 0 1 0 902910337 56881152 13015 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13887 13015 1111 63 0 13824 0
vsize: 55548
[startup+500.014 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 13218 0 0 0 49936 68 0 0 25 0 1 0 902910337 57421824 13132 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14019 13132 1111 63 0 13956 0
vsize: 56076
[startup+510.014 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 13348 0 0 0 50936 69 0 0 25 0 1 0 902910337 57974784 13262 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14154 13262 1111 63 0 14091 0
vsize: 56616
[startup+520.014 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 13484 0 0 0 51935 70 0 0 25 0 1 0 902910337 58515456 13398 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14286 13398 1111 63 0 14223 0
vsize: 57144
[startup+530.015 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 13720 0 0 0 52935 71 0 0 25 0 1 0 902910337 59461632 13634 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14517 13634 1111 63 0 14454 0
vsize: 58068
[startup+540.015 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 14080 0 0 0 53933 73 0 0 25 0 1 0 902910337 60948480 13994 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14880 13994 1111 63 0 14817 0
vsize: 59520
[startup+550.016 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 14474 0 0 0 54931 75 0 0 25 0 1 0 902910337 62590976 14388 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15281 14388 1111 63 0 15218 0
vsize: 61124
[startup+560.016 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 14607 0 0 0 55930 76 0 0 25 0 1 0 902910337 63156224 14521 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15419 14521 1111 63 0 15356 0
vsize: 61676
[startup+570.016 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 14788 0 0 0 56929 77 0 0 25 0 1 0 902910337 63832064 14702 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15584 14702 1111 63 0 15521 0
vsize: 62336
[startup+580.017 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 14897 0 0 0 57928 78 0 0 25 0 1 0 902910337 64360448 14811 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15713 14811 1111 63 0 15650 0
vsize: 62852
[startup+590.017 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 15023 0 0 0 58928 79 0 0 25 0 1 0 902910337 64913408 14937 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15848 14937 1111 63 0 15785 0
vsize: 63392
[startup+600.017 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 15239 0 0 0 59926 81 0 0 25 0 1 0 902910337 65724416 15153 4294967295 134512640 134716908 3221224560 3221223032 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16046 15154 1111 63 0 15983 0
vsize: 64184
[startup+610.018 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 15330 0 0 0 60925 82 0 0 25 0 1 0 902910337 66129920 15244 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16145 15244 1111 63 0 16082 0
vsize: 64580
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 15376 0 0 0 61925 82 0 0 25 0 1 0 902910337 66265088 15290 4294967295 134512640 134716908 3221224560 3221223212 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16178 15290 1111 63 0 16115 0
vsize: 64712
[startup+630.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 15409 0 0 0 62924 83 0 0 25 0 1 0 902910337 66400256 15323 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16211 15323 1111 63 0 16148 0
vsize: 64844
[startup+640.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 15586 0 0 0 63924 84 0 0 25 0 1 0 902910337 67084288 15500 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16378 15500 1111 63 0 16315 0
vsize: 65512
[startup+650.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 15709 0 0 0 64923 84 0 0 25 0 1 0 902910337 67624960 15623 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16510 15623 1111 63 0 16447 0
vsize: 66040
[startup+660.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 15804 0 0 0 65922 85 0 0 25 0 1 0 902910337 68030464 15718 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16609 15718 1111 63 0 16546 0
vsize: 66436
[startup+670.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 15925 0 0 0 66922 86 0 0 25 0 1 0 902910337 68575232 15839 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16742 15839 1111 63 0 16679 0
vsize: 66968
[startup+680.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 15983 0 0 0 67921 87 0 0 25 0 1 0 902910337 68710400 15897 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16775 15897 1111 63 0 16712 0
vsize: 67100
[startup+690.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16137 0 0 0 68921 87 0 0 25 0 1 0 902910337 69386240 16051 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16940 16051 1111 63 0 16877 0
vsize: 67760
[startup+700.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16199 0 0 0 69920 88 0 0 25 0 1 0 902910337 69668864 16112 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17009 16112 1111 63 0 16946 0
vsize: 68036
[startup+710.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16261 0 0 0 70919 90 0 0 25 0 1 0 902910337 69939200 16174 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17075 16174 1111 63 0 17012 0
vsize: 68300
[startup+720.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16304 0 0 0 71918 90 0 0 25 0 1 0 902910337 70209536 16217 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17141 16217 1111 63 0 17078 0
vsize: 68564
[startup+730.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16402 0 0 0 72918 91 0 0 25 0 1 0 902910337 70635520 16315 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17245 16315 1111 63 0 17182 0
vsize: 68980
[startup+740.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16458 0 0 0 73918 92 0 0 25 0 1 0 902910337 70770688 16371 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17278 16371 1111 63 0 17215 0
vsize: 69112
[startup+750.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16505 0 0 0 74918 92 0 0 25 0 1 0 902910337 71041024 16418 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17344 16418 1111 63 0 17281 0
vsize: 69376
[startup+760.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16583 0 0 0 75917 93 0 0 25 0 1 0 902910337 71311360 16496 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17410 16496 1111 63 0 17347 0
vsize: 69640
[startup+770.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16640 0 0 0 76916 93 0 0 25 0 1 0 902910337 71614464 16553 4294967295 134512640 134716908 3221224560 3221223296 134529412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17484 16553 1111 63 0 17421 0
vsize: 69936
[startup+780.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16723 0 0 0 77916 94 0 0 25 0 1 0 902910337 72007680 16636 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17580 16636 1111 63 0 17517 0
vsize: 70320
[startup+790.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16764 0 0 0 78915 95 0 0 25 0 1 0 902910337 72142848 16677 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17613 16677 1111 63 0 17550 0
vsize: 70452
[startup+800.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16825 0 0 0 79915 95 0 0 25 0 1 0 902910337 72413184 16738 4294967295 134512640 134716908 3221224560 3221223320 134552685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17679 16738 1111 63 0 17616 0
vsize: 70716
[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16908 0 0 0 80915 96 0 0 25 0 1 0 902910337 72847360 16819 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17785 16819 1111 63 0 17722 0
vsize: 71140
[startup+820.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 16957 0 0 0 81915 96 0 0 25 0 1 0 902910337 72982528 16868 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17818 16868 1111 63 0 17755 0
vsize: 71272
[startup+830.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17002 0 0 0 82915 96 0 0 25 0 1 0 902910337 73117696 16913 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17851 16913 1111 63 0 17788 0
vsize: 71404
[startup+840.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17043 0 0 0 83915 97 0 0 25 0 1 0 902910337 73404416 16953 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17921 16953 1111 63 0 17858 0
vsize: 71684
[startup+850.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17087 0 0 0 84915 97 0 0 25 0 1 0 902910337 73539584 16997 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17954 16997 1111 63 0 17891 0
vsize: 71816
[startup+860.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17173 0 0 0 85914 97 0 0 25 0 1 0 902910337 73945088 17082 4294967295 134512640 134716908 3221224560 3221223212 134536848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18053 17082 1111 63 0 17990 0
vsize: 72212
[startup+870.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17225 0 0 0 86914 98 0 0 25 0 1 0 902910337 74215424 17134 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18119 17134 1111 63 0 18056 0
vsize: 72476
[startup+880.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17265 0 0 0 87914 98 0 0 25 0 1 0 902910337 74362880 17173 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18155 17173 1111 63 0 18092 0
vsize: 72620
[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17311 0 0 0 88914 99 0 0 25 0 1 0 902910337 74661888 17218 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18228 17218 1111 63 0 18165 0
vsize: 72912
[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17375 0 0 0 89914 99 0 0 25 0 1 0 902910337 74932224 17282 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18294 17282 1111 63 0 18231 0
vsize: 73176
[startup+910.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17433 0 0 0 90914 99 0 0 25 0 1 0 902910337 75202560 17340 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18360 17340 1111 63 0 18297 0
vsize: 73440
[startup+920.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17498 0 0 0 91913 100 0 0 25 0 1 0 902910337 75476992 17405 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18427 17405 1111 63 0 18364 0
vsize: 73708
[startup+930.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17560 0 0 0 92913 100 0 0 25 0 1 0 902910337 75747328 17467 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18493 17467 1111 63 0 18430 0
vsize: 73972
[startup+940.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17617 0 0 0 93913 100 0 0 25 0 1 0 902910337 75882496 17524 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18526 17524 1111 63 0 18463 0
vsize: 74104
[startup+950.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17641 0 0 0 94913 101 0 0 25 0 1 0 902910337 76017664 17548 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18559 17548 1111 63 0 18496 0
vsize: 74236
[startup+960.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17684 0 0 0 95913 101 0 0 25 0 1 0 902910337 76152832 17591 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18592 17591 1111 63 0 18529 0
vsize: 74368
[startup+970.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17714 0 0 0 96912 102 0 0 25 0 1 0 902910337 76288000 17621 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18625 17621 1111 63 0 18562 0
vsize: 74500
[startup+980.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17739 0 0 0 97912 102 0 0 25 0 1 0 902910337 76423168 17646 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18658 17646 1111 63 0 18595 0
vsize: 74632
[startup+990.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17747 0 0 0 98912 102 0 0 25 0 1 0 902910337 76423168 17654 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18658 17654 1111 63 0 18595 0
vsize: 74632
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17865 0 0 0 99912 103 0 0 25 0 1 0 902910337 76963840 17772 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18790 17772 1111 63 0 18727 0
vsize: 75160
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 17941 0 0 0 100911 103 0 0 25 0 1 0 902910337 77234176 17848 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18856 17848 1111 63 0 18793 0
vsize: 75424
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18017 0 0 0 101911 104 0 0 25 0 1 0 902910337 77504512 17924 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18922 17924 1111 63 0 18859 0
vsize: 75688
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18083 0 0 0 102910 105 0 0 25 0 1 0 902910337 77774848 17990 4294967295 134512640 134716908 3221224560 3221223128 1077377827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18988 17990 1111 63 0 18925 0
vsize: 75952
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18150 0 0 0 103910 106 0 0 25 0 1 0 902910337 78176256 18057 4294967295 134512640 134716908 3221224560 3221223116 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19086 18057 1111 63 0 19023 0
vsize: 76344
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18166 0 0 0 104909 106 0 0 25 0 1 0 902910337 78176256 18073 4294967295 134512640 134716908 3221224560 3221223328 134592119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19086 18073 1111 63 0 19023 0
vsize: 76344
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18166 0 0 0 105909 107 0 0 25 0 1 0 902910337 78176256 18073 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19086 18073 1111 63 0 19023 0
vsize: 76344
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18208 0 0 0 106908 107 0 0 25 0 1 0 902910337 78319616 18115 4294967295 134512640 134716908 3221224560 3221223148 134535942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19121 18115 1111 63 0 19058 0
vsize: 76484
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18292 0 0 0 107908 108 0 0 25 0 1 0 902910337 78725120 18199 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19220 18199 1111 63 0 19157 0
vsize: 76880
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18415 0 0 0 108907 109 0 0 25 0 1 0 902910337 79265792 18322 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19352 18322 1111 63 0 19289 0
vsize: 77408
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18573 0 0 0 109906 111 0 0 25 0 1 0 902910337 79941632 18480 4294967295 134512640 134716908 3221224560 3221222744 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19517 18480 1111 63 0 19454 0
vsize: 78068
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18775 0 0 0 110905 112 0 0 25 0 1 0 902910337 80752640 18682 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19715 18682 1111 63 0 19652 0
vsize: 78860
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18877 0 0 0 111905 112 0 0 25 0 1 0 902910337 81158144 18784 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19814 18784 1111 63 0 19751 0
vsize: 79256
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 18961 0 0 0 112905 112 0 0 25 0 1 0 902910337 81432576 18868 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19881 18868 1111 63 0 19818 0
vsize: 79524
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 19066 0 0 0 113904 113 0 0 25 0 1 0 902910337 81973248 18973 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20013 18973 1111 63 0 19950 0
vsize: 80052
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 19132 0 0 0 114904 114 0 0 25 0 1 0 902910337 82243584 19039 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20079 19039 1111 63 0 20016 0
vsize: 80316
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 19301 0 0 0 115903 114 0 0 25 0 1 0 902910337 82919424 19208 4294967295 134512640 134716908 3221224560 3221223148 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20244 19208 1111 63 0 20181 0
vsize: 80976
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 19404 0 0 0 116903 115 0 0 25 0 1 0 902910337 83324928 19311 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20343 19311 1111 63 0 20280 0
vsize: 81372
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 27215
Raw data (stat): 27213 (bsolo_lpr_cuts-) R 27212 20224 20223 0 -1 0 19404 0 0 0 116903 115 0 0 25 0 1 0 902910337 83324928 19311 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20343 19311 1111 63 0 20280 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.05
CPU user time (s): 1173.85
CPU system time (s): 1.19682
CPU usage (%): 100.013
Max. virtual memory (Kb): 81372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####