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/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
MD5SUM	77c89bda49ebcdc0428e1292512864a9
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3080
Optimality of the best value was proved	NO
Number of terms in the objective function	2792
Biggest coefficient in the objective function	1000
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	1385986
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1000
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	1385986
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07184
Number of variables	3300
Total number of constraints	5284
Number of constraints which are clauses	1364
Number of constraints which are cardinality constraints (but not clauses)	3920
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	220
Trace number 24923

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 22:21:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3206 boxname=wulflinc31 idbench=357 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  77c89bda49ebcdc0428e1292512864a9  /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-3.opb
IDLAUNCH: 3206
/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:        822972 kB
Buffers:         39972 kB
Cached:         150264 kB
SwapCached:       1932 kB
Active:         155492 kB
Inactive:        37964 kB
HighTotal:      131008 kB
HighFree:         1764 kB
LowTotal:       903652 kB
LowFree:        821208 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12680 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-14 22:41:31 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 3206 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3300 variables and 2573 constraints.
c After prepocess the problem consists of 3299 variables and 2135 constraints.
c preprocess terminated 21.019 s
c Initial Lower Bound: 3017
c Lower Bound Elapsed time: 2.643
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (runsolver) R 28959 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 747371309 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 1805 0 0 0 989 6 0 0 25 0 1 0 747371309 10559488 1720 4294967295 134512640 134714508 3221221792 3221220452 134627277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2578 1720 1111 63 0 2515 0
vsize: 10312
[startup+20.0002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 1843 0 0 0 1989 6 0 0 25 0 1 0 747371309 10694656 1758 4294967295 134512640 134714508 3221221792 3221220440 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2611 1758 1111 63 0 2548 0
vsize: 10444
[startup+30.0017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 2882 0 0 0 2986 9 0 0 25 0 1 0 747371309 13373440 2523 4294967295 134512640 134714508 3221221792 3221220560 134592128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3265 2523 1111 63 0 3202 0
vsize: 13060
[startup+40.0021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 4894 0 0 0 3978 16 0 0 25 0 1 0 747371309 21610496 4535 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5276 4535 1111 63 0 5213 0
vsize: 21104
[startup+50.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 6354 0 0 0 4973 21 0 0 25 0 1 0 747371309 27545600 5995 4294967295 134512640 134714508 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6725 5995 1111 63 0 6662 0
vsize: 26900
[startup+60.0023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 7714 0 0 0 5968 26 0 0 25 0 1 0 747371309 33083392 7355 4294967295 134512640 134714508 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8077 7355 1111 63 0 8014 0
vsize: 32308
[startup+70.0022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 8873 0 0 0 6965 30 0 0 25 0 1 0 747371309 37834752 8513 4294967295 134512640 134714508 3221221792 3221220512 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9237 8513 1111 63 0 9174 0
vsize: 36948
[startup+80.0029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 9818 0 0 0 7961 34 0 0 25 0 1 0 747371309 41791488 9457 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10203 9457 1111 63 0 10140 0
vsize: 40812
[startup+90.0031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 11090 0 0 0 8957 38 0 0 25 0 1 0 747371309 47050752 10729 4294967295 134512640 134714508 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11487 10729 1111 63 0 11424 0
vsize: 45948
[startup+100.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 12251 0 0 0 9952 43 0 0 25 0 1 0 747371309 51757056 11890 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12636 11890 1111 63 0 12573 0
vsize: 50544
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 12824 0 0 0 10949 46 0 0 25 0 1 0 747371309 54140928 12463 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13218 12463 1111 63 0 13155 0
vsize: 52872
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 14252 0 0 0 11944 51 0 0 25 0 1 0 747371309 59953152 13889 4294967295 134512640 134714508 3221221792 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14637 13889 1111 63 0 14574 0
vsize: 58548
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 14699 0 0 0 12942 54 0 0 25 0 1 0 747371309 61845504 14336 4294967295 134512640 134714508 3221221792 3221220392 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15099 14336 1111 63 0 15036 0
vsize: 60396
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 15886 0 0 0 13938 58 0 0 25 0 1 0 747371309 66711552 15523 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16287 15523 1111 63 0 16224 0
vsize: 65148
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 16857 0 0 0 14935 62 0 0 25 0 1 0 747371309 70623232 16494 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17242 16494 1111 63 0 17179 0
vsize: 68968
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 17845 0 0 0 15932 65 0 0 25 0 1 0 747371309 74670080 17482 4294967295 134512640 134714508 3221221792 3221220432 134539411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18230 17482 1111 63 0 18167 0
vsize: 72920
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 19309 0 0 0 16926 70 0 0 25 0 1 0 747371309 80740352 18946 4294967295 134512640 134714508 3221221792 3221220384 134549520 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19712 18946 1111 63 0 19649 0
vsize: 78848
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 19595 0 0 0 17924 72 0 0 25 0 1 0 747371309 81993728 19230 4294967295 134512640 134714508 3221221792 3221220552 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20018 19230 1111 63 0 19955 0
vsize: 80072
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 20867 0 0 0 18921 76 0 0 25 0 1 0 747371309 87269376 20502 4294967295 134512640 134714508 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21306 20502 1111 63 0 21243 0
vsize: 85224
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 22225 0 0 0 19917 80 0 0 25 0 1 0 747371309 92811264 21860 4294967295 134512640 134714508 3221221792 3221220400 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22659 21860 1111 63 0 22596 0
vsize: 90636
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 22858 0 0 0 20914 83 0 0 25 0 1 0 747371309 95387648 22493 4294967295 134512640 134714508 3221221792 3221220552 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23288 22493 1111 63 0 23225 0
vsize: 93152
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 23983 0 0 0 21911 87 0 0 25 0 1 0 747371309 99979264 23618 4294967295 134512640 134714508 3221221792 3221220560 134592140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24409 23619 1111 63 0 24346 0
vsize: 97636
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 25420 0 0 0 22906 91 0 0 25 0 1 0 747371309 105914368 25055 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25858 25055 1111 63 0 25795 0
vsize: 103432
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 26907 0 0 0 23901 97 0 0 25 0 1 0 747371309 111996928 26542 4294967295 134512640 134714508 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27343 26542 1111 63 0 27280 0
vsize: 109372
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 27655 0 0 0 24898 100 0 0 25 0 1 0 747371309 114966528 27290 4294967295 134512640 134714508 3221221792 3221220536 134672938 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28068 27290 1111 63 0 28005 0
vsize: 112272
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 28605 0 0 0 25894 104 0 0 25 0 1 0 747371309 118865920 28240 4294967295 134512640 134714508 3221221792 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29020 28240 1111 63 0 28957 0
vsize: 116080
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 29674 0 0 0 26889 109 0 0 25 0 1 0 747371309 123310080 29309 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30105 29309 1111 63 0 30042 0
vsize: 120420
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 30688 0 0 0 27886 113 0 0 25 0 1 0 747371309 127483904 30323 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31124 30323 1111 63 0 31061 0
vsize: 124496
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 31208 0 0 0 28884 115 0 0 25 0 1 0 747371309 129609728 30836 4294967295 134512640 134714508 3221221792 3221220524 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31643 30836 1111 63 0 31580 0
vsize: 126572
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 32654 0 0 0 29879 120 0 0 25 0 1 0 747371309 135573504 32278 4294967295 134512640 134714508 3221221792 3221220496 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33099 32278 1111 63 0 33036 0
vsize: 132396
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 33833 0 0 0 30875 124 0 0 25 0 1 0 747371309 140427264 33457 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34284 33457 1111 63 0 34221 0
vsize: 137136
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 35201 0 0 0 31869 130 0 0 25 0 1 0 747371309 146075648 34825 4294967295 134512640 134714508 3221221792 3221220536 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35663 34825 1111 63 0 35600 0
vsize: 142652
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 35779 0 0 0 32867 132 0 0 25 0 1 0 747371309 148365312 35403 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36222 35403 1111 63 0 36159 0
vsize: 144888
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 37213 0 0 0 33861 139 0 0 25 0 1 0 747371309 154288128 36837 4294967295 134512640 134714508 3221221792 3221220496 134528721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37668 36837 1111 63 0 37605 0
vsize: 150672
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 38283 0 0 0 34858 142 0 0 25 0 1 0 747371309 158613504 37907 4294967295 134512640 134714508 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38724 37907 1111 63 0 38661 0
vsize: 154896
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 38869 0 0 0 35856 145 0 0 25 0 1 0 747371309 161054720 38493 4294967295 134512640 134714508 3221221792 3221220532 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39320 38493 1111 63 0 39257 0
vsize: 157280
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 40092 0 0 0 36852 148 0 0 25 0 1 0 747371309 166035456 39716 4294967295 134512640 134714508 3221221792 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40536 39716 1111 63 0 40473 0
vsize: 162144
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 40690 0 0 0 37848 152 0 0 25 0 1 0 747371309 168468480 40314 4294967295 134512640 134714508 3221221792 3221220560 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41130 40314 1111 63 0 41067 0
vsize: 164520
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 42007 0 0 0 38844 157 0 0 25 0 1 0 747371309 173862912 41631 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42447 41631 1111 63 0 42384 0
vsize: 169788
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 43580 0 0 0 39839 162 0 0 25 0 1 0 747371309 180338688 43204 4294967295 134512640 134714508 3221221792 3221220352 134696567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44028 43204 1111 63 0 43965 0
vsize: 176112
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 44340 0 0 0 40836 165 0 0 25 0 1 0 747371309 183468032 43963 4294967295 134512640 134714508 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44792 43963 1111 63 0 44729 0
vsize: 179168
[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 44943 0 0 0 41834 167 0 0 25 0 1 0 747371309 186036224 44565 4294967295 134512640 134714508 3221221792 3221220116 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45419 44565 1111 63 0 45356 0
vsize: 181676
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 45813 0 0 0 42831 170 0 0 25 0 1 0 747371309 189546496 45435 4294967295 134512640 134714508 3221221792 3221220468 1077374580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46276 45435 1111 63 0 46213 0
vsize: 185104
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 47703 0 0 0 43825 177 0 0 25 0 1 0 747371309 197238784 47325 4294967295 134512640 134714508 3221221792 3221220432 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48154 47325 1111 63 0 48091 0
vsize: 192616
[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 48237 0 0 0 44822 180 0 0 25 0 1 0 747371309 199507968 47859 4294967295 134512640 134714508 3221221792 3221220504 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48708 47859 1111 63 0 48645 0
vsize: 194832
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 48566 0 0 0 45820 182 0 0 25 0 1 0 747371309 200839168 48188 4294967295 134512640 134714508 3221221792 3221220444 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49033 48188 1111 63 0 48970 0
vsize: 196132
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 49338 0 0 0 46817 185 0 0 25 0 1 0 747371309 203939840 48960 4294967295 134512640 134714508 3221221792 3221220536 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49790 48960 1111 63 0 49727 0
vsize: 199160
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 50487 0 0 0 47813 189 0 0 25 0 1 0 747371309 208650240 50109 4294967295 134512640 134714508 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50940 50109 1111 63 0 50877 0
vsize: 203760
[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 51777 0 0 0 48808 194 0 0 25 0 1 0 747371309 213897216 51399 4294967295 134512640 134714508 3221221792 3221220400 134523396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52221 51399 1111 63 0 52158 0
vsize: 208884
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 52383 0 0 0 49805 197 0 0 25 0 1 0 747371309 216563712 52001 4294967295 134512640 134714508 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52872 52001 1111 63 0 52809 0
vsize: 211488
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 52436 0 0 0 50805 198 0 0 25 0 1 0 747371309 216891392 52050 4294967295 134512640 134714508 3221221792 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52952 52050 1111 63 0 52889 0
vsize: 211808
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 52437 0 0 0 51805 198 0 0 25 0 1 0 747371309 216891392 52051 4294967295 134512640 134714508 3221221792 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52952 52051 1111 63 0 52889 0
vsize: 211808
[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 52441 0 0 0 52805 198 0 0 25 0 1 0 747371309 216891392 52055 4294967295 134512640 134714508 3221221792 3221220472 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52952 52055 1111 63 0 52889 0
vsize: 211808
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 53012 0 0 0 53802 201 0 0 25 0 1 0 747371309 219209728 52624 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53518 52624 1111 63 0 53455 0
vsize: 214072
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 53803 0 0 0 54799 204 0 0 25 0 1 0 747371309 222437376 53415 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54306 53415 1111 63 0 54243 0
vsize: 217224
[startup+560.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 54582 0 0 0 55796 208 0 0 25 0 1 0 747371309 225665024 54194 4294967295 134512640 134714508 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55094 54194 1111 63 0 55031 0
vsize: 220376
[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 55138 0 0 0 56792 211 0 0 25 0 1 0 747371309 228012032 54749 4294967295 134512640 134714508 3221221792 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55667 54749 1111 63 0 55604 0
vsize: 222668
[startup+580.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 55221 0 0 0 57792 212 0 0 25 0 1 0 747371309 228352000 54829 4294967295 134512640 134714508 3221221792 3221220496 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55750 54829 1111 63 0 55687 0
vsize: 223000
[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 55423 0 0 0 58791 213 0 0 25 0 1 0 747371309 229203968 55027 4294967295 134512640 134714508 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55958 55027 1111 63 0 55895 0
vsize: 223832
[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 55667 0 0 0 59791 214 0 0 25 0 1 0 747371309 230150144 55271 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56189 55271 1111 63 0 56126 0
vsize: 224756
[startup+610.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 55879 0 0 0 60790 214 0 0 25 0 1 0 747371309 230957056 55483 4294967295 134512640 134714508 3221221792 3221220484 134528706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56386 55483 1111 63 0 56323 0
vsize: 225544
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 55997 0 0 0 61790 215 0 0 25 0 1 0 747371309 231497728 55601 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56518 55601 1111 63 0 56455 0
vsize: 226072
[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 56231 0 0 0 62788 216 0 0 25 0 1 0 747371309 232443904 55835 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56749 55835 1111 63 0 56686 0
vsize: 226996
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 56357 0 0 0 63788 218 0 0 25 0 1 0 747371309 232984576 55961 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56881 55961 1111 63 0 56818 0
vsize: 227524
[startup+650.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 56627 0 0 0 64786 219 0 0 25 0 1 0 747371309 234065920 56231 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57145 56231 1111 63 0 57082 0
vsize: 228580
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 56909 0 0 0 65785 221 0 0 25 0 1 0 747371309 235134976 56513 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57406 56513 1111 63 0 57343 0
vsize: 229624
[startup+670.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 57310 0 0 0 66782 223 0 0 25 0 1 0 747371309 236883968 56914 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57833 56914 1111 63 0 57770 0
vsize: 231332
[startup+680.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 57401 0 0 0 67782 224 0 0 25 0 1 0 747371309 237154304 57005 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57899 57005 1111 63 0 57836 0
vsize: 231596
[startup+690.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 57557 0 0 0 68781 225 0 0 25 0 1 0 747371309 237830144 57161 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58064 57161 1111 63 0 58001 0
vsize: 232256
[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 57738 0 0 0 69780 226 0 0 25 0 1 0 747371309 238641152 57342 4294967295 134512640 134714508 3221221792 3221220416 134696007 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58262 57342 1111 63 0 58199 0
vsize: 233048
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 57783 0 0 0 70780 226 0 0 25 0 1 0 747371309 238776320 57387 4294967295 134512640 134714508 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58295 57387 1111 63 0 58232 0
vsize: 233180
[startup+720.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 57877 0 0 0 71779 228 0 0 25 0 1 0 747371309 239181824 57481 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58394 57481 1111 63 0 58331 0
vsize: 233576
[startup+730.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 57904 0 0 0 72779 228 0 0 25 0 1 0 747371309 239316992 57508 4294967295 134512640 134714508 3221221792 3221220480 134528602 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58427 57508 1111 63 0 58364 0
vsize: 233708
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 58027 0 0 0 73778 229 0 0 25 0 1 0 747371309 239710208 57631 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58523 57631 1111 63 0 58460 0
vsize: 234092
[startup+750.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 58097 0 0 0 74777 230 0 0 25 0 1 0 747371309 239980544 57701 4294967295 134512640 134714508 3221221792 3221220428 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58589 57701 1111 63 0 58526 0
vsize: 234356
[startup+760.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 58141 0 0 0 75776 231 0 0 25 0 1 0 747371309 240246784 57745 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58654 57745 1111 63 0 58591 0
vsize: 234616
[startup+770.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 58253 0 0 0 76775 232 0 0 25 0 1 0 747371309 240652288 57857 4294967295 134512640 134714508 3221221792 3221220576 134529225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58753 57857 1111 63 0 58690 0
vsize: 235012
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 58558 0 0 0 77774 234 0 0 25 0 1 0 747371309 242061312 58153 4294967295 134512640 134714508 3221221792 3221220496 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59097 58153 1111 63 0 59034 0
vsize: 236388
[startup+790.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 58641 0 0 0 78774 234 0 0 25 0 1 0 747371309 242364416 58227 4294967295 134512640 134714508 3221221792 3221220204 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59171 58227 1111 63 0 59108 0
vsize: 236684
[startup+800.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 58953 0 0 0 79772 236 0 0 25 0 1 0 747371309 243716096 58539 4294967295 134512640 134714508 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59501 58539 1111 63 0 59438 0
vsize: 238004
[startup+810.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 59145 0 0 0 80771 237 0 0 25 0 1 0 747371309 244527104 58731 4294967295 134512640 134714508 3221221792 3221220504 134551881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59699 58731 1111 63 0 59636 0
vsize: 238796
[startup+820.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 59391 0 0 0 81770 239 0 0 25 0 1 0 747371309 245473280 58977 4294967295 134512640 134714508 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59930 58977 1111 63 0 59867 0
vsize: 239720
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 59463 0 0 0 82769 240 0 0 25 0 1 0 747371309 245743616 59049 4294967295 134512640 134714508 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59996 59049 1111 63 0 59933 0
vsize: 239984
[startup+840.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 59976 0 0 0 83766 242 0 0 25 0 1 0 747371309 247906304 59562 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60524 59562 1111 63 0 60461 0
vsize: 242096
[startup+850.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 60217 0 0 0 84765 244 0 0 25 0 1 0 747371309 248852480 59803 4294967295 134512640 134714508 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60755 59803 1111 63 0 60692 0
vsize: 243020
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 60660 0 0 0 85762 247 0 0 25 0 1 0 747371309 250609664 60246 4294967295 134512640 134714508 3221221792 3221220360 1077377272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61184 60246 1111 63 0 61121 0
vsize: 244736
[startup+870.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 60727 0 0 0 86762 247 0 0 25 0 1 0 747371309 250880000 60313 4294967295 134512640 134714508 3221221792 3221220512 134535757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61250 60313 1111 63 0 61187 0
vsize: 245000
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 60834 0 0 0 87761 248 0 0 25 0 1 0 747371309 251404288 60420 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61378 60420 1111 63 0 61315 0
vsize: 245512
[startup+890.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 60949 0 0 0 88760 249 0 0 25 0 1 0 747371309 251805696 60535 4294967295 134512640 134714508 3221221792 3221220288 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61476 60535 1111 63 0 61413 0
vsize: 245904
[startup+900.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 61026 0 0 0 89760 250 0 0 25 0 1 0 747371309 252211200 60612 4294967295 134512640 134714508 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61575 60612 1111 63 0 61512 0
vsize: 246300
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 61128 0 0 0 90759 251 0 0 25 0 1 0 747371309 252616704 60714 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61674 60714 1111 63 0 61611 0
vsize: 246696
[startup+920.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 61183 0 0 0 91758 252 0 0 25 0 1 0 747371309 252751872 60769 4294967295 134512640 134714508 3221221792 3221220512 1076648059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61707 60769 1111 63 0 61644 0
vsize: 246828
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 61223 0 0 0 92758 252 0 0 25 0 1 0 747371309 253022208 60809 4294967295 134512640 134714508 3221221792 3221220552 134552549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61773 60809 1111 63 0 61710 0
vsize: 247092
[startup+940.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 61242 0 0 0 93758 253 0 0 25 0 1 0 747371309 253022208 60828 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61773 60828 1111 63 0 61710 0
vsize: 247092
[startup+950.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 61320 0 0 0 94757 254 0 0 25 0 1 0 747371309 253292544 60906 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61839 60906 1111 63 0 61776 0
vsize: 247356
[startup+960.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 61453 0 0 0 95756 255 0 0 25 0 1 0 747371309 253968384 61039 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62004 61039 1111 63 0 61941 0
vsize: 248016
[startup+970.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 61796 0 0 0 96754 257 0 0 25 0 1 0 747371309 255295488 61382 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62328 61382 1111 63 0 62265 0
vsize: 249312
[startup+980.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 61891 0 0 0 97753 258 0 0 25 0 1 0 747371309 255700992 61477 4294967295 134512640 134714508 3221221792 3221220540 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62427 61477 1111 63 0 62364 0
vsize: 249708
[startup+990.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 62029 0 0 0 98753 259 0 0 25 0 1 0 747371309 256241664 61615 4294967295 134512640 134714508 3221221792 3221220400 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62559 61615 1111 63 0 62496 0
vsize: 250236
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 62368 0 0 0 99751 260 0 0 25 0 1 0 747371309 257593344 61954 4294967295 134512640 134714508 3221221792 3221220188 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62889 61954 1111 63 0 62826 0
vsize: 251556
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 62549 0 0 0 100750 261 0 0 25 0 1 0 747371309 258404352 62135 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63087 62135 1111 63 0 63024 0
vsize: 252348
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 62886 0 0 0 101749 263 0 0 25 0 1 0 747371309 259743744 62472 4294967295 134512640 134714508 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63414 62472 1111 63 0 63351 0
vsize: 253656
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 62891 0 0 0 102748 264 0 0 25 0 1 0 747371309 259878912 62477 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63447 62477 1111 63 0 63384 0
vsize: 253788
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 62926 0 0 0 103748 264 0 0 25 0 1 0 747371309 260014080 62512 4294967295 134512640 134714508 3221221792 3221220516 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63480 62512 1111 63 0 63417 0
vsize: 253920
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 62951 0 0 0 104748 265 0 0 25 0 1 0 747371309 260014080 62537 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63480 62537 1111 63 0 63417 0
vsize: 253920
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 62977 0 0 0 105747 266 0 0 25 0 1 0 747371309 260149248 62563 4294967295 134512640 134714508 3221221792 3221220520 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63513 62563 1111 63 0 63450 0
vsize: 254052
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63017 0 0 0 106746 267 0 0 25 0 1 0 747371309 260284416 62603 4294967295 134512640 134714508 3221221792 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63546 62603 1111 63 0 63483 0
vsize: 254184
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63085 0 0 0 107746 267 0 0 25 0 1 0 747371309 260554752 62671 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63612 62671 1111 63 0 63549 0
vsize: 254448
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63199 0 0 0 108745 268 0 0 25 0 1 0 747371309 261095424 62785 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63744 62785 1111 63 0 63681 0
vsize: 254976
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63236 0 0 0 109744 269 0 0 25 0 1 0 747371309 261230592 62822 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63777 62822 1111 63 0 63714 0
vsize: 255108
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63353 0 0 0 110743 270 0 0 25 0 1 0 747371309 261636096 62939 4294967295 134512640 134714508 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63876 62939 1111 63 0 63813 0
vsize: 255504
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63512 0 0 0 111742 271 0 0 25 0 1 0 747371309 262311936 63098 4294967295 134512640 134714508 3221221792 3221220468 1077374494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64041 63098 1111 63 0 63978 0
vsize: 256164
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63567 0 0 0 112742 272 0 0 25 0 1 0 747371309 262582272 63153 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64107 63153 1111 63 0 64044 0
vsize: 256428
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63610 0 0 0 113741 273 0 0 25 0 1 0 747371309 262717440 63196 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64140 63196 1111 63 0 64077 0
vsize: 256560
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63761 0 0 0 114739 275 0 0 25 0 1 0 747371309 263393280 63347 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64305 63347 1111 63 0 64242 0
vsize: 257220
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63850 0 0 0 115739 276 0 0 25 0 1 0 747371309 263794688 63436 4294967295 134512640 134714508 3221221792 3221220432 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64403 63436 1111 63 0 64340 0
vsize: 257612
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63867 0 0 0 116738 276 0 0 25 0 1 0 747371309 263778304 63453 4294967295 134512640 134714508 3221221792 3221220504 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64399 63453 1111 63 0 64336 0
vsize: 257596
[startup+1175.03 s]
Raw data (loadavg): 1.07 1.00 1.00 1/54 28960
Raw data (stat): 28960 (bsolo_lpr_cuts) R 28959 7876 7672 0 -1 0 63867 0 0 0 116738 276 0 0 25 0 1 0 747371309 263778304 63453 4294967295 134512640 134714508 3221221792 3221220504 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64399 63453 1111 63 0 64336 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.15
CPU user time (s): 1172.26
CPU system time (s): 2.88956
CPU usage (%): 100.01
Max. virtual memory (Kb): 257612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####