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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	5efced6eaf647505ade406591fd69d4e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1216.42
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 41567

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 15:52:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29628 boxname=wulflinc6 idbench=1412 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5efced6eaf647505ade406591fd69d4e  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 29628
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        718480 kB
Buffers:         23808 kB
Cached:         271220 kB
SwapCached:        908 kB
Active:          28848 kB
Inactive:       268236 kB
HighTotal:      131008 kB
HighFree:        40824 kB
LowTotal:       903652 kB
LowFree:        677656 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5000 kB
Slab:            13504 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:12:04 (client local time) WITH STATUS 0 IN 1175.82 SECONDS
stats: 29628 7 1175.82 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 789 constraints.
c preprocess terminated 739.815 s
c Initial Lower Bound: 172795
c Lower Bound Elapsed time: 0.8064
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.78 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.87 0.92 0.90 2/54 14292
Raw data (stat): 14292 (runsolver) R 14291 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911499987 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 8842 0 0 0 979 18 0 0 25 0 1 0 911499987 49266688 8762 4294967295 134512640 134716908 3221224560 3221221100 1077091064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12028 8762 1111 63 0 11965 0
vsize: 48112
[startup+20.0015 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 17665 0 0 0 1957 40 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+30.0026 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 17728 0 0 0 2957 40 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+40.0029 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 17808 0 0 0 3957 40 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+50.0038 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 17978 0 0 0 4957 41 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223272 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+60.004 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 18029 0 0 0 5957 41 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+70.0054 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 18115 0 0 0 6957 41 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+80.0063 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 18505 0 0 0 7956 43 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+90.0064 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 18829 0 0 0 8955 44 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+100.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 20267 0 0 0 9951 48 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+110.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 23670 0 0 0 10943 57 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+120.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 28427 0 0 0 11930 70 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 32955 0 0 0 12918 82 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 38563 0 0 0 13905 96 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+150.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 44583 0 0 0 14889 113 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+160.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 51523 0 0 0 15873 129 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+170.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 59398 0 0 0 16853 149 0 0 25 0 1 0 911499987 75546624 17516 4294967295 134512640 134716908 3221224560 3221223044 1077378730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18444 17516 1111 63 0 18381 0
vsize: 73776
[startup+180.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 68427 0 0 0 17830 172 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221222984 1077377443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+190.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 77598 0 0 0 18807 196 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+200.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 87001 0 0 0 19784 219 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+210.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 97560 0 0 0 20758 245 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+220.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 108293 0 0 0 21732 272 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 119985 0 0 0 22704 301 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 132222 0 0 0 23674 331 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 144558 0 0 0 24645 360 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+260.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 156981 0 0 0 25616 389 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 170752 0 0 0 26584 422 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+280.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 184392 0 0 0 27550 457 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+290.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 198064 0 0 0 28513 493 0 0 25 0 1 0 911499987 75227136 17470 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+300.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 198728 0 0 0 29512 495 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+310.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 198776 0 0 0 30513 495 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+320.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 198869 0 0 0 31513 495 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 199077 0 0 0 32511 497 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 199203 0 0 0 33511 497 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 199385 0 0 0 34511 497 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 199645 0 0 0 35511 498 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 201139 0 0 0 36505 504 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 202355 0 0 0 37501 508 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 204234 0 0 0 38497 513 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 207061 0 0 0 39489 522 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 209975 0 0 0 40481 530 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+420.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 212976 0 0 0 41473 539 0 0 25 0 1 0 911499987 75710464 17588 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 214023 0 0 0 42469 543 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 215442 0 0 0 43465 547 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14292
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 216896 0 0 0 44460 552 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+460.035 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 14345
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 219340 0 0 0 45443 569 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+470.035 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 14345
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 222470 0 0 0 46434 578 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+480.036 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 14345
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 226603 0 0 0 47424 589 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+490.038 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 14345
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 231102 0 0 0 48412 601 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+500.039 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 14345
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 235746 0 0 0 49401 613 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+510.04 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 14345
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 240622 0 0 0 50389 626 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223280 134618245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+520.041 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 14345
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 246588 0 0 0 51373 641 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+530.042 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 252583 0 0 0 52358 657 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+540.043 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 258636 0 0 0 53343 673 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223276 134675317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+550.045 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 264968 0 0 0 54326 690 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+560.046 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 272767 0 0 0 55304 712 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+570.047 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 280260 0 0 0 56284 733 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+580.048 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 287724 0 0 0 57265 752 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+590.049 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 295465 0 0 0 58247 771 0 0 25 0 1 0 911499987 75796480 17609 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+600.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302615 0 0 0 59228 791 0 0 25 0 1 0 911499987 76111872 17655 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18582 17655 1111 63 0 18519 0
vsize: 74328
[startup+610.051 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 60227 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+620.053 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 61227 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223232 134606979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+630.054 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 62228 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+640.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 63228 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+650.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 64229 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+660.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 65229 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+670.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 66229 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223160 134557227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 67229 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+690.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 68230 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+700.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 69230 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+710.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 70231 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+720.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 71231 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302876 0 0 0 72231 792 0 0 25 0 1 0 911499987 76869632 17868 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+740.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 302898 0 0 0 73231 793 0 0 25 0 1 0 911499987 76869632 17890 4294967295 134512640 134716908 3221224560 3221222768 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17890 1111 63 0 18704 0
vsize: 75068
[startup+750.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 310407 0 0 0 74213 809 0 0 25 0 1 0 911499987 76869632 18014 4294967295 134512640 134716908 3221224560 3221222800 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18014 1111 63 0 18704 0
vsize: 75068
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14347
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 314228 0 0 0 75205 818 0 0 25 0 1 0 911499987 77967360 18214 4294967295 134512640 134716908 3221224560 3221220604 1074873393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19035 18214 1111 63 0 18972 0
vsize: 76140
[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 317861 0 0 0 76199 825 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+780.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 321911 0 0 0 77190 834 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 325595 0 0 0 78182 843 0 0 25 0 1 0 911499987 77852672 18198 4294967295 134512640 134716908 3221224560 3221221596 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19007 18208 1111 63 0 18944 0
vsize: 76028
[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 329278 0 0 0 79174 851 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222776 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 333309 0 0 0 80166 859 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+820.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 337296 0 0 0 81159 867 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 341276 0 0 0 82151 875 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 345244 0 0 0 83142 884 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222848 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+850.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 349163 0 0 0 84133 893 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 353088 0 0 0 85125 902 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222552 1077374802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+870.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 357010 0 0 0 86118 909 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 360933 0 0 0 87109 918 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222512 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 364855 0 0 0 88102 926 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222848 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 368770 0 0 0 89093 936 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222488 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+910.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 372736 0 0 0 90084 945 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221219792 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 376924 0 0 0 91075 954 0 0 25 0 1 0 911499987 77471744 18164 4294967295 134512640 134716908 3221224560 3221222560 1074916671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18914 18164 1111 63 0 18851 0
vsize: 75656
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 380468 0 0 0 92067 962 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221219264 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 384206 0 0 0 93061 969 0 0 25 0 1 0 911499987 77697024 18154 4294967295 134512640 134716908 3221224560 3221220832 1074960710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18969 18154 1111 63 0 18906 0
vsize: 75876
[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 387578 0 0 0 94054 976 0 0 25 0 1 0 911499987 77697024 18154 4294967295 134512640 134716908 3221224560 3221220704 1074969095 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18969 18154 1111 63 0 18906 0
vsize: 75876
[startup+960.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 390946 0 0 0 95047 983 0 0 25 0 1 0 911499987 77697024 18148 4294967295 134512640 134716908 3221224560 3221220524 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18969 18148 1111 63 0 18906 0
vsize: 75876
[startup+970.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 394401 0 0 0 96039 991 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222704 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 397739 0 0 0 97032 999 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222816 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 401119 0 0 0 98025 1006 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222512 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 404842 0 0 0 99018 1014 0 0 25 0 1 0 911499987 77688832 18152 4294967295 134512640 134716908 3221224560 3221220556 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18967 18152 1111 63 0 18904 0
vsize: 75868
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 408363 0 0 0 100010 1022 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222544 1074052525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 411681 0 0 0 101004 1028 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 415221 0 0 0 101998 1035 0 0 25 0 1 0 911499987 77336576 18134 4294967295 134512640 134716908 3221224560 3221222560 1074918470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18881 18134 1111 63 0 18818 0
vsize: 75524
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 418871 0 0 0 102990 1042 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221217640 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 422185 0 0 0 103984 1049 0 0 25 0 1 0 911499987 76869632 18020 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18020 1111 63 0 18704 0
vsize: 75068
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 425663 0 0 0 104977 1056 0 0 25 0 1 0 911499987 78041088 18183 4294967295 134512640 134716908 3221224560 3221222672 1074867317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19053 18183 1111 63 0 18990 0
vsize: 76212
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 429368 0 0 0 105970 1064 0 0 25 0 1 0 911499987 76869632 18021 4294967295 134512640 134716908 3221224560 3221222864 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18021 1111 63 0 18704 0
vsize: 75068
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 433033 0 0 0 106961 1073 0 0 25 0 1 0 911499987 77103104 18078 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18824 18078 1111 63 0 18761 0
vsize: 75296
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 436524 0 0 0 107954 1081 0 0 25 0 1 0 911499987 76869632 18022 4294967295 134512640 134716908 3221224560 3221221936 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18022 1111 63 0 18704 0
vsize: 75068
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 440334 0 0 0 108945 1090 0 0 25 0 1 0 911499987 76869632 18022 4294967295 134512640 134716908 3221224560 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18022 1111 63 0 18704 0
vsize: 75068
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 443946 0 0 0 109937 1098 0 0 25 0 1 0 911499987 77099008 18078 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18823 18078 1111 63 0 18760 0
vsize: 75292
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 447522 0 0 0 110930 1106 0 0 25 0 1 0 911499987 78032896 18140 4294967295 134512640 134716908 3221224560 3221222384 1075824339 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18140 1111 63 0 18988 0
vsize: 76204
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 451203 0 0 0 111924 1112 0 0 25 0 1 0 911499987 76869632 18022 4294967295 134512640 134716908 3221224560 3221222864 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18022 1111 63 0 18704 0
vsize: 75068
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 455008 0 0 0 112916 1120 0 0 25 0 1 0 911499987 76869632 18022 4294967295 134512640 134716908 3221224560 3221222776 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18022 1111 63 0 18704 0
vsize: 75068
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 458613 0 0 0 113909 1127 0 0 25 0 1 0 911499987 77099008 18078 4294967295 134512640 134716908 3221224560 3221222960 1074119046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18823 18078 1111 63 0 18760 0
vsize: 75292
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 462072 0 0 0 114902 1135 0 0 25 0 1 0 911499987 76869632 18022 4294967295 134512640 134716908 3221224560 3221222464 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18022 1111 63 0 18704 0
vsize: 75068
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 465879 0 0 0 115895 1142 0 0 25 0 1 0 911499987 76869632 18022 4294967295 134512640 134716908 3221224560 3221222864 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18022 1111 63 0 18704 0
vsize: 75068
[startup+1175.5 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 14349
Raw data (stat): 14292 (bsolo_lpr_cuts-) R 14291 25568 25567 0 -1 0 465879 0 0 0 115895 1142 0 0 25 0 1 0 911499987 76869632 18022 4294967295 134512640 134716908 3221224560 3221222864 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18022 1111 63 0 18704 0
vsize: 0

Child status: 0
Real time (s): 1175.5
CPU time (s): 1175.82
CPU user time (s): 1164.31
CPU system time (s): 11.5023
CPU usage (%): 100.027
Max. virtual memory (Kb): 76212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####