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/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
MD5SUM	cafd7bd480d889c74d8810dc689bffd8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	736
Optimality of the best value was proved	NO
Number of terms in the objective function	1518
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1518
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1518
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	23.6604
Number of variables	1518
Total number of constraints	21621
Number of constraints which are clauses	21621
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 23908

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 06:44:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1379 boxname=wulflinc31 idbench=154 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  cafd7bd480d889c74d8810dc689bffd8  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c4.opb
IDLAUNCH: 1379
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        152500 kB
Buffers:         36024 kB
Cached:         811632 kB
SwapCached:        644 kB
Active:         485512 kB
Inactive:       364484 kB
HighTotal:      131008 kB
HighFree:         9912 kB
LowTotal:       903652 kB
LowFree:        142588 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26576 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 07:04:13 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 1379 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1518 variables and 21621 constraints.
c After prepocess the problem consists of 1518 variables and 21621 constraints.
c preprocess terminated 175.76 s
c Initial Lower Bound: 396
c Lower Bound Elapsed time: 207.782
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.95 0.98 2/54 22003
Raw data (stat): 22003 (runsolver) R 22002 7876 7672 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 672618898 1056768 98 4294967295 134512640 135381576 3221221680 3221217120 134514522 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+9.99971 s]
Raw data (loadavg): 0.87 0.95 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5123 0 0 0 980 15 0 0 25 0 1 0 672618898 24162304 5041 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5899 5041 1111 63 0 5836 0
vsize: 23596
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.95 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5946 0 0 0 1977 18 0 0 25 0 1 0 672618898 27541504 5864 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6724 5864 1111 63 0 6661 0
vsize: 26896
[startup+30.0006 s]
Raw data (loadavg): 0.90 0.95 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5969 0 0 0 2977 19 0 0 25 0 1 0 672618898 27541504 5887 4294967295 134512640 134714508 3221221792 3221220208 134543756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6724 5887 1111 63 0 6661 0
vsize: 26896
[startup+40.0005 s]
Raw data (loadavg): 0.92 0.95 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5969 0 0 0 3976 20 0 0 25 0 1 0 672618898 27541504 5887 4294967295 134512640 134714508 3221221792 3221220224 134543728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6724 5887 1111 63 0 6661 0
vsize: 26896
[startup+50.0014 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5970 0 0 0 4976 20 0 0 25 0 1 0 672618898 27676672 5888 4294967295 134512640 134714508 3221221792 3221220212 134543680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5888 1111 63 0 6694 0
vsize: 27028
[startup+60.0014 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5972 0 0 0 5976 20 0 0 25 0 1 0 672618898 27676672 5890 4294967295 134512640 134714508 3221221792 3221220124 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5890 1111 63 0 6694 0
vsize: 27028
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5973 0 0 0 6975 21 0 0 25 0 1 0 672618898 27676672 5891 4294967295 134512640 134714508 3221221792 3221220204 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5891 1111 63 0 6694 0
vsize: 27028
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5974 0 0 0 7975 21 0 0 25 0 1 0 672618898 27676672 5892 4294967295 134512640 134714508 3221221792 3221220208 134543756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5892 1111 63 0 6694 0
vsize: 27028
[startup+90.0022 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5974 0 0 0 8975 22 0 0 25 0 1 0 672618898 27676672 5892 4294967295 134512640 134714508 3221221792 3221220212 134543706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5892 1111 63 0 6694 0
vsize: 27028
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5975 0 0 0 9974 23 0 0 25 0 1 0 672618898 27676672 5893 4294967295 134512640 134714508 3221221792 3221220168 134539209 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5893 1111 63 0 6694 0
vsize: 27028
[startup+110.002 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5977 0 0 0 10974 23 0 0 25 0 1 0 672618898 27676672 5895 4294967295 134512640 134714508 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5895 1111 63 0 6694 0
vsize: 27028
[startup+120.002 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5981 0 0 0 11973 24 0 0 25 0 1 0 672618898 27676672 5899 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5899 1111 63 0 6694 0
vsize: 27028
[startup+130.002 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5981 0 0 0 12973 24 0 0 25 0 1 0 672618898 27676672 5899 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5899 1111 63 0 6694 0
vsize: 27028
[startup+140.003 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5981 0 0 0 13973 25 0 0 25 0 1 0 672618898 27676672 5899 4294967295 134512640 134714508 3221221792 3221220464 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5899 1111 63 0 6694 0
vsize: 27028
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5981 0 0 0 14972 25 0 0 25 0 1 0 672618898 27676672 5899 4294967295 134512640 134714508 3221221792 3221220444 134558618 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5899 1111 63 0 6694 0
vsize: 27028
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 5981 0 0 0 15972 26 0 0 25 0 1 0 672618898 27676672 5899 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5899 1111 63 0 6694 0
vsize: 27028
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 6154 0 0 0 16971 27 0 0 25 0 1 0 672618898 28381184 6072 4294967295 134512640 134714508 3221221792 3221220568 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6929 6072 1111 63 0 6866 0
vsize: 27716
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 6515 0 0 0 17970 28 0 0 25 0 1 0 672618898 29872128 6433 4294967295 134512640 134714508 3221221792 3221220112 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7293 6433 1111 63 0 7230 0
vsize: 29172
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 6778 0 0 0 18968 30 0 0 25 0 1 0 672618898 30990336 6696 4294967295 134512640 134714508 3221221792 3221220112 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7566 6696 1111 63 0 7503 0
vsize: 30264
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 6897 0 0 0 19964 34 0 0 25 0 1 0 672618898 31338496 6815 4294967295 134512640 134714508 3221221792 3221219760 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7651 6815 1111 63 0 7588 0
vsize: 30604
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 7093 0 0 0 20962 36 0 0 25 0 1 0 672618898 31899648 6953 4294967295 134512640 134714508 3221221792 3221219760 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7788 6953 1111 63 0 7725 0
vsize: 31152
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11367 0 0 0 21952 46 0 0 25 0 1 0 672618898 49508352 9882 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12087 9882 1111 63 0 12024 0
vsize: 48348
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11518 0 0 0 22952 47 0 0 25 0 1 0 672618898 49508352 10017 4294967295 134512640 134714508 3221221792 3221217932 1075116784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12087 10017 1111 63 0 12024 0
vsize: 48348
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11571 0 0 0 23951 48 0 0 25 0 1 0 672618898 49508352 10056 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12087 10056 1111 63 0 12024 0
vsize: 48348
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11586 0 0 0 24951 49 0 0 25 0 1 0 672618898 49684480 10059 4294967295 134512640 134714508 3221221792 3221218480 1076084156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12130 10059 1111 63 0 12067 0
vsize: 48520
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11598 0 0 0 25950 49 0 0 25 0 1 0 672618898 49508352 10057 4294967295 134512640 134714508 3221221792 3221217580 1074787747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12087 10057 1111 63 0 12024 0
vsize: 48348
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11612 0 0 0 26950 50 0 0 25 0 1 0 672618898 49508352 10057 4294967295 134512640 134714508 3221221792 3221218744 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12087 10057 1111 63 0 12024 0
vsize: 48348
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11682 0 0 0 27949 50 0 0 25 0 1 0 672618898 50073600 10113 4294967295 134512640 134714508 3221221792 3221217984 1074961138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10113 1111 63 0 12162 0
vsize: 48900
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11698 0 0 0 28949 51 0 0 25 0 1 0 672618898 50073600 10115 4294967295 134512640 134714508 3221221792 3221218256 1075088573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10115 1111 63 0 12162 0
vsize: 48900
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11713 0 0 0 29949 51 0 0 25 0 1 0 672618898 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11729 0 0 0 30948 52 0 0 25 0 1 0 672618898 50249728 10118 4294967295 134512640 134714508 3221221792 3221218784 1074867337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12268 10118 1111 63 0 12205 0
vsize: 49072
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11741 0 0 0 31948 53 0 0 25 0 1 0 672618898 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11755 0 0 0 32948 53 0 0 25 0 1 0 672618898 50073600 10116 4294967295 134512640 134714508 3221221792 3221218716 1074621110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11767 0 0 0 33947 54 0 0 25 0 1 0 672618898 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11781 0 0 0 34947 55 0 0 25 0 1 0 672618898 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11797 0 0 0 35946 55 0 0 25 0 1 0 672618898 50249728 10118 4294967295 134512640 134714508 3221221792 3221218784 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12268 10118 1111 63 0 12205 0
vsize: 49072
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11809 0 0 0 36946 55 0 0 25 0 1 0 672618898 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116532 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11823 0 0 0 37946 56 0 0 25 0 1 0 672618898 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 11837 0 0 0 38946 56 0 0 25 0 1 0 672618898 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 17744 0 0 0 39932 71 0 0 25 0 1 0 672618898 36233216 8070 4294967295 134512640 134714508 3221221792 3221220112 1073988057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8846 8070 1111 63 0 8783 0
vsize: 35384
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 19012 0 0 0 40925 77 0 0 25 0 1 0 672618898 36233216 8070 4294967295 134512640 134714508 3221221792 3221220032 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8846 8070 1111 63 0 8783 0
vsize: 35384
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 20164 0 0 0 41920 82 0 0 25 0 1 0 672618898 36777984 8074 4294967295 134512640 134714508 3221221792 3221219816 1075964737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8979 8074 1111 63 0 8916 0
vsize: 35916
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 21316 0 0 0 42914 88 0 0 25 0 1 0 672618898 36777984 8074 4294967295 134512640 134714508 3221221792 3221219708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8979 8074 1111 63 0 8916 0
vsize: 35916
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 22468 0 0 0 43909 94 0 0 25 0 1 0 672618898 36233216 8070 4294967295 134512640 134714508 3221221792 3221220128 1073989433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8846 8070 1111 63 0 8783 0
vsize: 35384
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27062 0 0 0 44898 105 0 0 25 0 1 0 672618898 50327552 10238 4294967295 134512640 134714508 3221221792 3221217688 1074788427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10238 1111 63 0 12224 0
vsize: 49148
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27076 0 0 0 45898 105 0 0 25 0 1 0 672618898 50327552 10238 4294967295 134512640 134714508 3221221792 3221217932 1075116787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10238 1111 63 0 12224 0
vsize: 49148
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27092 0 0 0 46898 105 0 0 25 0 1 0 672618898 50503680 10240 4294967295 134512640 134714508 3221221792 3221218784 1074867212 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12330 10240 1111 63 0 12267 0
vsize: 49320
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27108 0 0 0 47899 105 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27124 0 0 0 48899 105 0 0 25 0 1 0 672618898 50503680 10242 4294967295 134512640 134714508 3221221792 3221218752 1075971389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12330 10242 1111 63 0 12267 0
vsize: 49320
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27138 0 0 0 49899 105 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27152 0 0 0 50899 105 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27168 0 0 0 51899 105 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221218776 1075007308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27182 0 0 0 52899 106 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27196 0 0 0 53899 106 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221217984 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27210 0 0 0 54899 106 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27224 0 0 0 55900 106 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221217856 1074969469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27238 0 0 0 56900 106 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27250 0 0 0 57900 106 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27264 0 0 0 58900 106 0 0 25 0 1 0 672618898 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27332 0 0 0 59900 106 0 0 25 0 1 0 672618898 50892800 10292 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10292 1111 63 0 12362 0
vsize: 49700
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27348 0 0 0 60900 106 0 0 25 0 1 0 672618898 50892800 10296 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10296 1111 63 0 12362 0
vsize: 49700
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27365 0 0 0 61901 106 0 0 25 0 1 0 672618898 50892800 10299 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10299 1111 63 0 12362 0
vsize: 49700
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27380 0 0 0 62901 106 0 0 25 0 1 0 672618898 50892800 10300 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10300 1111 63 0 12362 0
vsize: 49700
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27392 0 0 0 63901 106 0 0 25 0 1 0 672618898 50892800 10300 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10300 1111 63 0 12362 0
vsize: 49700
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27406 0 0 0 64901 106 0 0 25 0 1 0 672618898 50892800 10300 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10300 1111 63 0 12362 0
vsize: 49700
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27420 0 0 0 65901 107 0 0 25 0 1 0 672618898 50892800 10300 4294967295 134512640 134714508 3221221792 3221217860 1075964393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10300 1111 63 0 12362 0
vsize: 49700
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27432 0 0 0 66901 107 0 0 25 0 1 0 672618898 50892800 10300 4294967295 134512640 134714508 3221221792 3221217932 1075116519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10300 1111 63 0 12362 0
vsize: 49700
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27446 0 0 0 67901 107 0 0 25 0 1 0 672618898 50892800 10300 4294967295 134512640 134714508 3221221792 3221217932 1075116856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10300 1111 63 0 12362 0
vsize: 49700
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27461 0 0 0 68901 107 0 0 25 0 1 0 672618898 50892800 10301 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10301 1111 63 0 12362 0
vsize: 49700
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27477 0 0 0 69902 107 0 0 25 0 1 0 672618898 50892800 10301 4294967295 134512640 134714508 3221221792 3221217660 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10301 1111 63 0 12362 0
vsize: 49700
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27491 0 0 0 70902 107 0 0 25 0 1 0 672618898 50892800 10303 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10303 1111 63 0 12362 0
vsize: 49700
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27505 0 0 0 71902 107 0 0 25 0 1 0 672618898 51068928 10305 4294967295 134512640 134714508 3221221792 3221218304 1074886172 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12468 10305 1111 63 0 12405 0
vsize: 49872
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27520 0 0 0 72902 107 0 0 25 0 1 0 672618898 50892800 10306 4294967295 134512640 134714508 3221221792 3221217932 1075116731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10306 1111 63 0 12362 0
vsize: 49700
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 27532 0 0 0 73902 107 0 0 25 0 1 0 672618898 50892800 10306 4294967295 134512640 134714508 3221221792 3221217592 1074788437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10306 1111 63 0 12362 0
vsize: 49700
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 34298 0 0 0 74886 124 0 0 25 0 1 0 672618898 37376000 8243 4294967295 134512640 134714508 3221221792 3221219816 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9125 8243 1111 63 0 9062 0
vsize: 36500
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 35502 0 0 0 75881 128 0 0 25 0 1 0 672618898 37376000 8243 4294967295 134512640 134714508 3221221792 3221219924 1075964286 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9125 8243 1111 63 0 9062 0
vsize: 36500
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 36654 0 0 0 76875 135 0 0 25 0 1 0 672618898 36831232 8239 4294967295 134512640 134714508 3221221792 3221220192 1074031958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8992 8239 1111 63 0 8929 0
vsize: 35968
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 37822 0 0 0 77868 141 0 0 25 0 1 0 672618898 37376000 8243 4294967295 134512640 134714508 3221221792 3221219708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9125 8243 1111 63 0 9062 0
vsize: 36500
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 42904 0 0 0 78856 154 0 0 25 0 1 0 672618898 50937856 10372 4294967295 134512640 134714508 3221221792 3221217932 1075116486 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12436 10372 1111 63 0 12373 0
vsize: 49744
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 42941 0 0 0 79856 154 0 0 25 0 1 0 672618898 51679232 10395 4294967295 134512640 134714508 3221221792 3221218704 1075110519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12617 10395 1111 63 0 12554 0
vsize: 50468
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 42982 0 0 0 80856 154 0 0 25 0 1 0 672618898 51503104 10422 4294967295 134512640 134714508 3221221792 3221217932 1075116719 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12574 10422 1111 63 0 12511 0
vsize: 50296
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 49184 0 0 0 81840 170 0 0 25 0 1 0 672618898 37007360 8282 4294967295 134512640 134714508 3221221792 3221220128 1073989433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9035 8282 1111 63 0 8972 0
vsize: 36140
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 50448 0 0 0 82834 177 0 0 25 0 1 0 672618898 37552128 8286 4294967295 134512640 134714508 3221221792 3221219924 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9168 8286 1111 63 0 9105 0
vsize: 36672
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 51600 0 0 0 83829 182 0 0 25 0 1 0 672618898 37007360 8282 4294967295 134512640 134714508 3221221792 3221219864 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9035 8282 1111 63 0 8972 0
vsize: 36140
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 52760 0 0 0 84823 188 0 0 25 0 1 0 672618898 37007360 8282 4294967295 134512640 134714508 3221221792 3221219864 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9035 8282 1111 63 0 8972 0
vsize: 36140
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 53932 0 0 0 85817 194 0 0 25 0 1 0 672618898 37552128 8286 4294967295 134512640 134714508 3221221792 3221219708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9168 8286 1111 63 0 9105 0
vsize: 36672
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58399 0 0 0 86807 204 0 0 25 0 1 0 672618898 51126272 10439 4294967295 134512640 134714508 3221221792 3221217920 1074815396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10439 1111 63 0 12419 0
vsize: 49928
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58415 0 0 0 87807 204 0 0 25 0 1 0 672618898 51302400 10443 4294967295 134512640 134714508 3221221792 3221218244 1075863641 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12525 10443 1111 63 0 12462 0
vsize: 50100
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58427 0 0 0 88807 204 0 0 25 0 1 0 672618898 51126272 10441 4294967295 134512640 134714508 3221221792 3221217984 1074960884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10441 1111 63 0 12419 0
vsize: 49928
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58442 0 0 0 89807 205 0 0 25 0 1 0 672618898 51126272 10442 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58454 0 0 0 90807 205 0 0 25 0 1 0 672618898 51126272 10442 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58468 0 0 0 91807 205 0 0 25 0 1 0 672618898 51126272 10442 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 22003
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58480 0 0 0 92807 205 0 0 25 0 1 0 672618898 51126272 10442 4294967295 134512640 134714508 3221221792 3221217984 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+940.035 s]
Raw data (loadavg): 1.15 1.00 0.99 2/56 22043
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58494 0 0 0 93806 206 0 0 25 0 1 0 672618898 51126272 10442 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+950.27 s]
Raw data (loadavg): 1.12 1.00 0.99 2/58 22046
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58506 0 0 0 94830 206 0 0 25 0 1 0 672618898 51126272 10442 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+960.271 s]
Raw data (loadavg): 1.26 1.04 1.01 3/56 22050
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58520 0 0 0 95830 206 0 0 25 0 1 0 672618898 51126272 10442 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+970.407 s]
Raw data (loadavg): 1.45 1.08 1.02 2/57 22055
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58590 0 0 0 96843 206 0 0 25 0 1 0 672618898 51691520 10496 4294967295 134512640 134714508 3221221792 3221218044 1075113118 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 10496 1111 63 0 12557 0
vsize: 50480
[startup+980.473 s]
Raw data (loadavg): 1.38 1.08 1.02 2/54 22056
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58607 0 0 0 97850 206 0 0 25 0 1 0 672618898 51691520 10501 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 10501 1111 63 0 12557 0
vsize: 50480
[startup+990.474 s]
Raw data (loadavg): 1.40 1.09 1.02 2/54 22056
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58620 0 0 0 98850 207 0 0 25 0 1 0 672618898 51691520 10502 4294967295 134512640 134714508 3221221792 3221217932 1075116572 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 10502 1111 63 0 12557 0
vsize: 50480
[startup+1000.47 s]
Raw data (loadavg): 1.34 1.09 1.02 2/54 22056
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 58634 0 0 0 99850 207 0 0 25 0 1 0 672618898 51691520 10504 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 10504 1111 63 0 12557 0
vsize: 50480
[startup+1010.47 s]
Raw data (loadavg): 1.29 1.09 1.02 2/54 22056
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62042 0 0 0 100816 215 0 0 25 0 1 0 672618898 33497088 7435 4294967295 134512640 134714508 3221221792 3221220404 134536752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8178 7435 1111 63 0 8115 0
vsize: 32712
[startup+1020.47 s]
Raw data (loadavg): 1.24 1.08 1.02 2/54 22056
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62042 0 0 0 101816 215 0 0 25 0 1 0 672618898 33497088 7435 4294967295 134512640 134714508 3221221792 3221220548 134652880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8178 7435 1111 63 0 8115 0
vsize: 32712
[startup+1030.48 s]
Raw data (loadavg): 1.20 1.08 1.02 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62048 0 0 0 102816 216 0 0 25 0 1 0 672618898 33632256 7441 4294967295 134512640 134714508 3221221792 3221220300 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8211 7441 1111 63 0 8148 0
vsize: 32844
[startup+1040.48 s]
Raw data (loadavg): 1.17 1.08 1.02 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62110 0 0 0 103816 216 0 0 25 0 1 0 672618898 33902592 7503 4294967295 134512640 134714508 3221221792 3221220480 134542944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8277 7503 1111 63 0 8214 0
vsize: 33108
[startup+1050.48 s]
Raw data (loadavg): 1.15 1.07 1.02 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62167 0 0 0 104816 216 0 0 25 0 1 0 672618898 34037760 7560 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8310 7560 1111 63 0 8247 0
vsize: 33240
[startup+1060.48 s]
Raw data (loadavg): 1.12 1.07 1.02 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62255 0 0 0 105815 217 0 0 25 0 1 0 672618898 34443264 7648 4294967295 134512640 134714508 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8409 7648 1111 63 0 8346 0
vsize: 33636
[startup+1070.48 s]
Raw data (loadavg): 1.10 1.07 1.02 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62306 0 0 0 106815 217 0 0 25 0 1 0 672618898 34578432 7699 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8442 7699 1111 63 0 8379 0
vsize: 33768
[startup+1080.48 s]
Raw data (loadavg): 1.09 1.07 1.02 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62350 0 0 0 107815 217 0 0 25 0 1 0 672618898 34848768 7743 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8508 7743 1111 63 0 8445 0
vsize: 34032
[startup+1090.48 s]
Raw data (loadavg): 1.07 1.06 1.01 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62390 0 0 0 108815 218 0 0 25 0 1 0 672618898 34983936 7783 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8541 7783 1111 63 0 8478 0
vsize: 34164
[startup+1100.48 s]
Raw data (loadavg): 1.06 1.06 1.01 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62443 0 0 0 109815 218 0 0 25 0 1 0 672618898 35254272 7836 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8607 7836 1111 63 0 8544 0
vsize: 34428
[startup+1110.48 s]
Raw data (loadavg): 1.05 1.06 1.01 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62490 0 0 0 110815 218 0 0 25 0 1 0 672618898 35389440 7883 4294967295 134512640 134714508 3221221792 3221220336 134543043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8640 7883 1111 63 0 8577 0
vsize: 34560
[startup+1120.48 s]
Raw data (loadavg): 1.04 1.06 1.01 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62532 0 0 0 111815 218 0 0 25 0 1 0 672618898 35524608 7925 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8673 7925 1111 63 0 8610 0
vsize: 34692
[startup+1130.48 s]
Raw data (loadavg): 1.04 1.05 1.01 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62576 0 0 0 112815 219 0 0 25 0 1 0 672618898 35794944 7969 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8739 7969 1111 63 0 8676 0
vsize: 34956
[startup+1140.48 s]
Raw data (loadavg): 1.03 1.05 1.01 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62621 0 0 0 113815 219 0 0 25 0 1 0 672618898 35930112 8014 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8772 8014 1111 63 0 8709 0
vsize: 35088
[startup+1150.48 s]
Raw data (loadavg): 1.02 1.05 1.01 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62670 0 0 0 114815 219 0 0 25 0 1 0 672618898 36200448 8063 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8838 8063 1111 63 0 8775 0
vsize: 35352
[startup+1160.48 s]
Raw data (loadavg): 1.02 1.05 1.01 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62721 0 0 0 115815 219 0 0 25 0 1 0 672618898 36335616 8114 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8871 8114 1111 63 0 8808 0
vsize: 35484
[startup+1170.49 s]
Raw data (loadavg): 1.02 1.05 1.01 2/54 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62786 0 0 0 116815 220 0 0 25 0 1 0 672618898 36605952 8179 4294967295 134512640 134714508 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8937 8179 1111 63 0 8874 0
vsize: 35748
[startup+1175.2 s]
Raw data (loadavg): 1.02 1.04 1.01 1/53 22058
Raw data (stat): 22003 (bsolo_lpr_cuts) R 22002 7876 7672 0 -1 0 62786 0 0 0 116815 220 0 0 25 0 1 0 672618898 36605952 8179 4294967295 134512640 134714508 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8937 8179 1111 63 0 8874 0
vsize: 0

Child status: 0
Real time (s): 1175.2
CPU time (s): 1175.07
CPU user time (s): 1172.85
CPU system time (s): 2.22166
CPU usage (%): 99.9888
Max. virtual memory (Kb): 50480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####