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/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUM	a788dbf2f72289ace41b812e06d88575
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	101
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	362.64
Number of variables	4626
Total number of constraints	35373
Number of constraints which are clauses	29724
Number of constraints which are cardinality constraints (but not clauses)	5571
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 40912

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 02:01:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28978 boxname=wulflinc6 idbench=364 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a788dbf2f72289ace41b812e06d88575  /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:1-9,16-19.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:1-9,16-19.opb
IDLAUNCH: 28978
/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:        906308 kB
Buffers:         21720 kB
Cached:          82556 kB
SwapCached:       4048 kB
Active:          29940 kB
Inactive:        79568 kB
HighTotal:      131008 kB
HighFree:        49644 kB
LowTotal:       903652 kB
LowFree:        856664 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13284 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:20:41 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28978 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4626 variables and 30921 constraints.
c After prepocess the problem consists of 4626 variables and 30921 constraints.
c preprocess terminated 55.117 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.95 0.97 0.91 1/54 4816
Raw data (stat): 4816 (runsolver) R 4815 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906511161 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4816
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 31475 0 0 0 916 80 0 0 25 0 1 0 906511161 63619072 14672 4294967295 134512640 134716908 3221224560 3221222892 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15532 14672 1111 63 0 15469 0
vsize: 62128
[startup+20.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 77971 0 0 0 1800 197 0 0 25 0 1 0 906511161 63619072 14672 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15532 14672 1111 63 0 15469 0
vsize: 62128
[startup+30.0035 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 126715 0 0 0 2678 318 0 0 25 0 1 0 906511161 73539584 17085 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17954 17085 1111 63 0 17891 0
vsize: 71816
[startup+40.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129152 0 0 0 3672 325 0 0 25 0 1 0 906511161 73576448 17103 4294967295 134512640 134716908 3221224560 3221223176 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17103 1111 63 0 17900 0
vsize: 71852
[startup+50.0045 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129162 0 0 0 4672 325 0 0 25 0 1 0 906511161 73576448 17103 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17103 1111 63 0 17900 0
vsize: 71852
[startup+60.0049 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129176 0 0 0 5671 326 0 0 25 0 1 0 906511161 73576448 17117 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17117 1111 63 0 17900 0
vsize: 71852
[startup+70.0058 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 6670 328 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+80.0072 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 7669 329 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+90.0074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 8668 330 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+100.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 9668 331 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 10668 331 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 11668 332 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 12668 332 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 13667 333 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223344 134529126 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 14667 333 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223100 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 15667 334 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223164 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 16666 335 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223164 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 17666 336 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 18666 336 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223116 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129177 0 0 0 19666 336 0 0 25 0 1 0 906511161 73576448 17118 4294967295 134512640 134716908 3221224560 3221223040 134699696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17963 17118 1111 63 0 17900 0
vsize: 71852
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129498 0 0 0 20665 337 0 0 25 0 1 0 906511161 74928128 17439 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18293 17439 1111 63 0 18230 0
vsize: 73172
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 129943 0 0 0 21663 340 0 0 25 0 1 0 906511161 76820480 17884 4294967295 134512640 134716908 3221224560 3221223380 134590265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18755 17884 1111 63 0 18692 0
vsize: 75020
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 130218 0 0 0 22661 342 0 0 25 0 1 0 906511161 77897728 18159 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19018 18159 1111 63 0 18955 0
vsize: 76072
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 130375 0 0 0 23661 343 0 0 25 0 1 0 906511161 78577664 18316 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19184 18316 1111 63 0 19121 0
vsize: 76736
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4818
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 130728 0 0 0 24660 344 0 0 25 0 1 0 906511161 79933440 18669 4294967295 134512640 134716908 3221224560 3221223096 134699437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19515 18669 1111 63 0 19452 0
vsize: 78060
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 131330 0 0 0 25657 347 0 0 25 0 1 0 906511161 82501632 19271 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20142 19271 1111 63 0 20079 0
vsize: 80568
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 131609 0 0 0 26656 349 0 0 25 0 1 0 906511161 83582976 19550 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 19550 1111 63 0 20343 0
vsize: 81624
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 131998 0 0 0 27655 351 0 0 25 0 1 0 906511161 85204992 19939 4294967295 134512640 134716908 3221224560 3221222676 134699695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20802 19939 1111 63 0 20739 0
vsize: 83208
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 132362 0 0 0 28653 353 0 0 25 0 1 0 906511161 86691840 20303 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21165 20303 1111 63 0 21102 0
vsize: 84660
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 132509 0 0 0 29652 354 0 0 25 0 1 0 906511161 87355392 20450 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21327 20450 1111 63 0 21264 0
vsize: 85308
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 132543 0 0 0 30652 354 0 0 25 0 1 0 906511161 87490560 20484 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21360 20484 1111 63 0 21297 0
vsize: 85440
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 132547 0 0 0 31653 354 0 0 25 0 1 0 906511161 87490560 20488 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21360 20488 1111 63 0 21297 0
vsize: 85440
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 132868 0 0 0 32652 356 0 0 25 0 1 0 906511161 88707072 20809 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21657 20809 1111 63 0 21594 0
vsize: 86628
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 133404 0 0 0 33649 359 0 0 25 0 1 0 906511161 91004928 21345 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22218 21345 1111 63 0 22155 0
vsize: 88872
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 133857 0 0 0 34647 361 0 0 25 0 1 0 906511161 92762112 21798 4294967295 134512640 134716908 3221224560 3221223248 134523350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22647 21798 1111 63 0 22584 0
vsize: 90588
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 133971 0 0 0 35647 361 0 0 25 0 1 0 906511161 93302784 21912 4294967295 134512640 134716908 3221224560 3221223068 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22779 21912 1111 63 0 22716 0
vsize: 91116
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 134331 0 0 0 36646 363 0 0 25 0 1 0 906511161 94789632 22272 4294967295 134512640 134716908 3221224560 3221223184 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23142 22272 1111 63 0 23079 0
vsize: 92568
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 134674 0 0 0 37645 365 0 0 25 0 1 0 906511161 96141312 22615 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23472 22615 1111 63 0 23409 0
vsize: 93888
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 135060 0 0 0 38644 366 0 0 25 0 1 0 906511161 97759232 23001 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23867 23001 1111 63 0 23804 0
vsize: 95468
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 135482 0 0 0 39642 368 0 0 25 0 1 0 906511161 99520512 23423 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24297 23423 1111 63 0 24234 0
vsize: 97188
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 135699 0 0 0 40641 369 0 0 25 0 1 0 906511161 100331520 23640 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24495 23640 1111 63 0 24432 0
vsize: 97980
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 135978 0 0 0 41640 371 0 0 25 0 1 0 906511161 101548032 23919 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24792 23919 1111 63 0 24729 0
vsize: 99168
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 136225 0 0 0 42639 373 0 0 25 0 1 0 906511161 102494208 24166 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25023 24166 1111 63 0 24960 0
vsize: 100092
[startup+440.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 136448 0 0 0 43638 374 0 0 25 0 1 0 906511161 103440384 24389 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25254 24389 1111 63 0 25191 0
vsize: 101016
[startup+450.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 136707 0 0 0 44637 375 0 0 25 0 1 0 906511161 104517632 24648 4294967295 134512640 134716908 3221224560 3221223200 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25517 24648 1111 63 0 25454 0
vsize: 102068
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 137015 0 0 0 45636 377 0 0 25 0 1 0 906511161 105734144 24956 4294967295 134512640 134716908 3221224560 3221223324 134552684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25814 24956 1111 63 0 25751 0
vsize: 103256
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 137493 0 0 0 46635 379 0 0 25 0 1 0 906511161 107761664 25434 4294967295 134512640 134716908 3221224560 3221223228 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26309 25434 1111 63 0 26246 0
vsize: 105236
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 137933 0 0 0 47633 381 0 0 25 0 1 0 906511161 109518848 25874 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26738 25874 1111 63 0 26675 0
vsize: 106952
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 138099 0 0 0 48632 382 0 0 25 0 1 0 906511161 110178304 26040 4294967295 134512640 134716908 3221224560 3221223232 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26899 26040 1111 63 0 26836 0
vsize: 107596
[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 138316 0 0 0 49632 383 0 0 25 0 1 0 906511161 111124480 26257 4294967295 134512640 134716908 3221224560 3221223152 134698638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27130 26257 1111 63 0 27067 0
vsize: 108520
[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 138599 0 0 0 50631 384 0 0 25 0 1 0 906511161 112205824 26540 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27394 26540 1111 63 0 27331 0
vsize: 109576
[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 138831 0 0 0 51630 385 0 0 25 0 1 0 906511161 113152000 26772 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27625 26772 1111 63 0 27562 0
vsize: 110500
[startup+530.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139065 0 0 0 52629 386 0 0 25 0 1 0 906511161 114094080 27006 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27855 27006 1111 63 0 27792 0
vsize: 111420
[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139214 0 0 0 53629 387 0 0 25 0 1 0 906511161 114769920 27155 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28020 27155 1111 63 0 27957 0
vsize: 112080
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139376 0 0 0 54629 388 0 0 25 0 1 0 906511161 115445760 27317 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28185 27317 1111 63 0 28122 0
vsize: 112740
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139503 0 0 0 55628 389 0 0 25 0 1 0 906511161 115986432 27444 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28317 27444 1111 63 0 28254 0
vsize: 113268
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139641 0 0 0 56627 390 0 0 25 0 1 0 906511161 116527104 27582 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28449 27582 1111 63 0 28386 0
vsize: 113796
[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139784 0 0 0 57627 390 0 0 25 0 1 0 906511161 117067776 27725 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28581 27725 1111 63 0 28518 0
vsize: 114324
[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 139914 0 0 0 58626 391 0 0 25 0 1 0 906511161 117608448 27855 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28713 27855 1111 63 0 28650 0
vsize: 114852
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 140044 0 0 0 59626 392 0 0 25 0 1 0 906511161 118149120 27985 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28845 27985 1111 63 0 28782 0
vsize: 115380
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 140215 0 0 0 60625 393 0 0 25 0 1 0 906511161 118824960 28156 4294967295 134512640 134716908 3221224560 3221223188 134543703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29010 28156 1111 63 0 28947 0
vsize: 116040
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 140509 0 0 0 61624 394 0 0 25 0 1 0 906511161 120041472 28450 4294967295 134512640 134716908 3221224560 3221223152 134542668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29307 28450 1111 63 0 29244 0
vsize: 117228
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 140813 0 0 0 62623 395 0 0 25 0 1 0 906511161 121257984 28754 4294967295 134512640 134716908 3221224560 3221223176 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29604 28754 1111 63 0 29541 0
vsize: 118416
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 141309 0 0 0 63622 397 0 0 25 0 1 0 906511161 123416576 29250 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30131 29250 1111 63 0 30068 0
vsize: 120524
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 141522 0 0 0 64621 398 0 0 25 0 1 0 906511161 124203008 29463 4294967295 134512640 134716908 3221224560 3221222884 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30323 29463 1111 63 0 30260 0
vsize: 121292
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 142010 0 0 0 65620 400 0 0 25 0 1 0 906511161 126230528 29951 4294967295 134512640 134716908 3221224560 3221223104 134542998 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30818 29951 1111 63 0 30755 0
vsize: 123272
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 142283 0 0 0 66619 401 0 0 25 0 1 0 906511161 127311872 30224 4294967295 134512640 134716908 3221224560 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31082 30224 1111 63 0 31019 0
vsize: 124328
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 142471 0 0 0 67619 402 0 0 25 0 1 0 906511161 128122880 30412 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31280 30412 1111 63 0 31217 0
vsize: 125120
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 142862 0 0 0 68617 404 0 0 25 0 1 0 906511161 129744896 30803 4294967295 134512640 134716908 3221224560 3221222904 1077379846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31676 30803 1111 63 0 31613 0
vsize: 126704
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 143033 0 0 0 69616 405 0 0 25 0 1 0 906511161 130420736 30974 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31841 30974 1111 63 0 31778 0
vsize: 127364
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 143181 0 0 0 70615 406 0 0 25 0 1 0 906511161 131096576 31122 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32006 31122 1111 63 0 31943 0
vsize: 128024
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 143582 0 0 0 71614 407 0 0 25 0 1 0 906511161 132718592 31523 4294967295 134512640 134716908 3221224560 3221223088 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32402 31523 1111 63 0 32339 0
vsize: 129608
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 143833 0 0 0 72613 408 0 0 25 0 1 0 906511161 133681152 31774 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32637 31774 1111 63 0 32574 0
vsize: 130548
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 144178 0 0 0 73612 410 0 0 25 0 1 0 906511161 135168000 32119 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33000 32119 1111 63 0 32937 0
vsize: 132000
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 144433 0 0 0 74611 411 0 0 25 0 1 0 906511161 136249344 32374 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33264 32374 1111 63 0 33201 0
vsize: 133056
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 144776 0 0 0 75610 412 0 0 25 0 1 0 906511161 137601024 32717 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33594 32717 1111 63 0 33531 0
vsize: 134376
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 144892 0 0 0 76610 413 0 0 25 0 1 0 906511161 138133504 32833 4294967295 134512640 134716908 3221224560 3221223180 134549859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33724 32833 1111 63 0 33661 0
vsize: 134896
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 145062 0 0 0 77609 414 0 0 25 0 1 0 906511161 138809344 33003 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33889 33003 1111 63 0 33826 0
vsize: 135556
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 145182 0 0 0 78609 414 0 0 25 0 1 0 906511161 139214848 33123 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33988 33123 1111 63 0 33925 0
vsize: 135952
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 145222 0 0 0 79609 415 0 0 25 0 1 0 906511161 139350016 33163 4294967295 134512640 134716908 3221224560 3221223276 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34021 33163 1111 63 0 33958 0
vsize: 136084
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 145518 0 0 0 80609 416 0 0 25 0 1 0 906511161 140574720 33459 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34320 33459 1111 63 0 34257 0
vsize: 137280
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 145833 0 0 0 81608 417 0 0 25 0 1 0 906511161 141930496 33774 4294967295 134512640 134716908 3221224560 3221223216 134536753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34651 33774 1111 63 0 34588 0
vsize: 138604
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 146010 0 0 0 82607 418 0 0 25 0 1 0 906511161 142606336 33951 4294967295 134512640 134716908 3221224560 3221223180 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34816 33951 1111 63 0 34753 0
vsize: 139264
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 146157 0 0 0 83607 419 0 0 25 0 1 0 906511161 143298560 34098 4294967295 134512640 134716908 3221224560 3221223164 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34985 34098 1111 63 0 34922 0
vsize: 139940
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 146415 0 0 0 84607 419 0 0 25 0 1 0 906511161 144375808 34356 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35248 34356 1111 63 0 35185 0
vsize: 140992
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 146604 0 0 0 85606 420 0 0 25 0 1 0 906511161 145051648 34545 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35413 34545 1111 63 0 35350 0
vsize: 141652
[startup+870.028 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 146853 0 0 0 86605 421 0 0 25 0 1 0 906511161 146141184 34794 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35679 34794 1111 63 0 35616 0
vsize: 142716
[startup+880.028 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147076 0 0 0 87605 422 0 0 25 0 1 0 906511161 147087360 35017 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35910 35017 1111 63 0 35847 0
vsize: 143640
[startup+890.027 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147328 0 0 0 88604 423 0 0 25 0 1 0 906511161 148033536 35269 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36141 35269 1111 63 0 36078 0
vsize: 144564
[startup+900.028 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147536 0 0 0 89604 424 0 0 25 0 1 0 906511161 148979712 35477 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36372 35477 1111 63 0 36309 0
vsize: 145488
[startup+910.027 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147628 0 0 0 90603 424 0 0 25 0 1 0 906511161 149250048 35569 4294967295 134512640 134716908 3221224560 3221223212 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36438 35569 1111 63 0 36375 0
vsize: 145752
[startup+920.027 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147766 0 0 0 91603 425 0 0 25 0 1 0 906511161 149925888 35707 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36603 35707 1111 63 0 36540 0
vsize: 146412
[startup+930.027 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 147939 0 0 0 92603 425 0 0 25 0 1 0 906511161 150601728 35880 4294967295 134512640 134716908 3221224560 3221223216 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36768 35880 1111 63 0 36705 0
vsize: 147072
[startup+940.027 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 148151 0 0 0 93601 427 0 0 25 0 1 0 906511161 151412736 36092 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36966 36092 1111 63 0 36903 0
vsize: 147864
[startup+950.026 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 148345 0 0 0 94601 428 0 0 25 0 1 0 906511161 152219648 36286 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37163 36286 1111 63 0 37100 0
vsize: 148652
[startup+960.025 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 148701 0 0 0 95600 429 0 0 25 0 1 0 906511161 153706496 36642 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37526 36642 1111 63 0 37463 0
vsize: 150104
[startup+970.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 148856 0 0 0 96600 429 0 0 25 0 1 0 906511161 154382336 36797 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37691 36797 1111 63 0 37628 0
vsize: 150764
[startup+980.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 149181 0 0 0 97599 431 0 0 25 0 1 0 906511161 155729920 37122 4294967295 134512640 134716908 3221224560 3221223120 134542334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38020 37122 1111 63 0 37957 0
vsize: 152080
[startup+990.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 149384 0 0 0 98598 432 0 0 25 0 1 0 906511161 156540928 37325 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38218 37325 1111 63 0 38155 0
vsize: 152872
[startup+1000.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 149453 0 0 0 99598 432 0 0 25 0 1 0 906511161 156811264 37394 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38284 37394 1111 63 0 38221 0
vsize: 153136
[startup+1010.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 149630 0 0 0 100598 433 0 0 25 0 1 0 906511161 157487104 37571 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38449 37571 1111 63 0 38386 0
vsize: 153796
[startup+1020.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 149925 0 0 0 101596 434 0 0 25 0 1 0 906511161 158703616 37866 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38746 37866 1111 63 0 38683 0
vsize: 154984
[startup+1030.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150206 0 0 0 102595 436 0 0 25 0 1 0 906511161 159936512 38147 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39047 38147 1111 63 0 38984 0
vsize: 156188
[startup+1040.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150345 0 0 0 103595 437 0 0 25 0 1 0 906511161 160477184 38286 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39179 38286 1111 63 0 39116 0
vsize: 156716
[startup+1050.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150437 0 0 0 104594 437 0 0 25 0 1 0 906511161 160882688 38378 4294967295 134512640 134716908 3221224560 3221223068 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39278 38378 1111 63 0 39215 0
vsize: 157112
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150585 0 0 0 105594 438 0 0 25 0 1 0 906511161 161423360 38526 4294967295 134512640 134716908 3221224560 3221223068 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39410 38526 1111 63 0 39347 0
vsize: 157640
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150882 0 0 0 106593 439 0 0 25 0 1 0 906511161 162639872 38823 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39707 38823 1111 63 0 39644 0
vsize: 158828
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 150990 0 0 0 107593 440 0 0 25 0 1 0 906511161 163180544 38931 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39839 38931 1111 63 0 39776 0
vsize: 159356
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 151214 0 0 0 108592 441 0 0 25 0 1 0 906511161 163987456 39155 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40036 39155 1111 63 0 39973 0
vsize: 160144
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 151436 0 0 0 109591 442 0 0 25 0 1 0 906511161 164933632 39377 4294967295 134512640 134716908 3221224560 3221223100 134539262 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40267 39377 1111 63 0 40204 0
vsize: 161068
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 151553 0 0 0 110591 443 0 0 25 0 1 0 906511161 165474304 39494 4294967295 134512640 134716908 3221224560 3221223104 134542995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40399 39494 1111 63 0 40336 0
vsize: 161596
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 151773 0 0 0 111590 444 0 0 25 0 1 0 906511161 166285312 39714 4294967295 134512640 134716908 3221224560 3221223320 134552570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40597 39714 1111 63 0 40534 0
vsize: 162388
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 152108 0 0 0 112589 445 0 0 25 0 1 0 906511161 167772160 40049 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40960 40049 1111 63 0 40897 0
vsize: 163840
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 152603 0 0 0 113587 447 0 0 25 0 1 0 906511161 169799680 40544 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41455 40544 1111 63 0 41392 0
vsize: 165820
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 153112 0 0 0 114585 449 0 0 25 0 1 0 906511161 171827200 41053 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41950 41053 1111 63 0 41887 0
vsize: 167800
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 153638 0 0 0 115583 452 0 0 25 0 1 0 906511161 174002176 41579 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42481 41579 1111 63 0 42418 0
vsize: 169924
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 154002 0 0 0 116581 454 0 0 25 0 1 0 906511161 175489024 41943 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42844 41943 1111 63 0 42781 0
vsize: 171376
[startup+1174.78 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 4820
Raw data (stat): 4816 (bsolo_lpr_cuts-) R 4815 25568 25567 0 -1 0 154002 0 0 0 116581 454 0 0 25 0 1 0 906511161 175489024 41943 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42844 41943 1111 63 0 42781 0
vsize: 0

Child status: 0
Real time (s): 1174.78
CPU time (s): 1175.13
CPU user time (s): 1170.51
CPU system time (s): 4.6203
CPU usage (%): 100.029
Max. virtual memory (Kb): 171376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####