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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb
MD5SUM	6d2898572483dddc248ecc48cac97a0c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5657891
Optimality of the best value was proved	NO
Number of terms in the objective function	7200
Biggest coefficient in the objective function	41943040
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	6207564000
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	41943040
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	6207564000
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	390.25
Number of variables	9600
Total number of constraints	300
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	300
Minimum length of a constraint	60
Maximum length of a constraint	440
Trace number 41408

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 11:44:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29471 boxname=wulflinc1 idbench=1255 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6d2898572483dddc248ecc48cac97a0c  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sctap1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sctap1.opb
IDLAUNCH: 29471
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        598792 kB
Buffers:         26752 kB
Cached:         385008 kB
SwapCached:       1136 kB
Active:          27240 kB
Inactive:       386684 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        598540 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16160 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:03:53 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 29471 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9600 variables and 404 constraints.
c After prepocess the problem consists of 5280 variables and 524 constraints.
c preprocess terminated 16.452 s
c Initial Lower Bound: 180768
c Lower Bound Elapsed time: 0.99975
c 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.91 0.95 0.90 2/55 5448
Raw data (stat): 5448 (runsolver) R 5447 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853154719 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 8927 0 0 0 976 22 0 0 25 0 1 0 853154719 39833600 8809 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9725 8809 1111 63 0 9662 0
vsize: 38900
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 12537 0 0 0 1968 30 0 0 25 0 1 0 853154719 46456832 10563 4294967295 134512640 134716908 3221224560 3221222912 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11342 10563 1111 63 0 11279 0
vsize: 45368
[startup+30.0088 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 17849 0 0 0 2956 42 0 0 25 0 1 0 853154719 47624192 10700 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11627 10701 1111 63 0 11564 0
vsize: 46508
[startup+40.0091 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 22795 0 0 0 3946 53 0 0 25 0 1 0 853154719 46100480 10476 4294967295 134512640 134716908 3221224560 3221219728 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10476 1111 63 0 11192 0
vsize: 45020
[startup+50.0089 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 28264 0 0 0 4935 64 0 0 25 0 1 0 853154719 47955968 10832 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11708 10832 1111 63 0 11645 0
vsize: 46832
[startup+60.0087 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 33213 0 0 0 5924 75 0 0 25 0 1 0 853154719 47955968 10836 4294967295 134512640 134716908 3221224560 3221220832 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11708 10836 1111 63 0 11645 0
vsize: 46832
[startup+70.0085 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 38429 0 0 0 6913 86 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221221456 1074153767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+80.0093 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 43511 0 0 0 7902 97 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222704 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+90.0094 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 48747 0 0 0 8891 108 0 0 25 0 1 0 853154719 46837760 10654 4294967295 134512640 134716908 3221224560 3221222560 1074918566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11435 10654 1111 63 0 11372 0
vsize: 45740
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 54106 0 0 0 9880 119 0 0 25 0 1 0 853154719 46620672 10607 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11382 10607 1111 63 0 11319 0
vsize: 45528
[startup+110.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 59290 0 0 0 10869 131 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222032 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 64766 0 0 0 11857 143 0 0 25 0 1 0 853154719 47955968 10836 4294967295 134512640 134716908 3221224560 3221220632 1074950220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11708 10836 1111 63 0 11645 0
vsize: 46832
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 70026 0 0 0 12847 154 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222680 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 75288 0 0 0 13835 165 0 0 25 0 1 0 853154719 46825472 10651 4294967295 134512640 134716908 3221224560 3221222560 1074919666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11432 10651 1111 63 0 11369 0
vsize: 45728
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 80613 0 0 0 14824 177 0 0 25 0 1 0 853154719 47812608 10801 4294967295 134512640 134716908 3221224560 3221220560 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11673 10801 1111 63 0 11610 0
vsize: 46692
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 85857 0 0 0 15811 190 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222704 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 90791 0 0 0 16800 201 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222224 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 96312 0 0 0 17789 212 0 0 25 0 1 0 853154719 47812608 10800 4294967295 134512640 134716908 3221224560 3221220632 1074950204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11673 10800 1111 63 0 11610 0
vsize: 46692
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 101588 0 0 0 18778 224 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 106869 0 0 0 19765 236 0 0 25 0 1 0 853154719 46825472 10644 4294967295 134512640 134716908 3221224560 3221222840 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11432 10645 1111 63 0 11369 0
vsize: 45728
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 112318 0 0 0 20754 248 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222704 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 117114 0 0 0 21744 258 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222224 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 121973 0 0 0 22735 267 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222240 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 127366 0 0 0 23725 277 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222720 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 132538 0 0 0 24716 287 0 0 25 0 1 0 853154719 47779840 10791 4294967295 134512640 134716908 3221224560 3221220524 1074860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11665 10791 1111 63 0 11602 0
vsize: 46660
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 137051 0 0 0 25706 296 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222704 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 142066 0 0 0 26695 308 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 146865 0 0 0 27684 319 0 0 25 0 1 0 853154719 47779840 10789 4294967295 134512640 134716908 3221224560 3221220788 1075115125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11665 10789 1111 63 0 11602 0
vsize: 46660
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 151334 0 0 0 28674 329 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 156052 0 0 0 29664 339 0 0 25 0 1 0 853154719 47771648 10789 4294967295 134512640 134716908 3221224560 3221220500 1074786571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11663 10789 1111 63 0 11600 0
vsize: 46652
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 160518 0 0 0 30655 348 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222272 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 165468 0 0 0 31644 359 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222416 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 170830 0 0 0 32634 370 0 0 25 0 1 0 853154719 47759360 10788 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11660 10788 1111 63 0 11597 0
vsize: 46640
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 175657 0 0 0 33624 380 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 180295 0 0 0 34614 390 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222664 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 185422 0 0 0 35604 401 0 0 25 0 1 0 853154719 47755264 10784 4294967295 134512640 134716908 3221224560 3221220720 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11659 10784 1111 63 0 11596 0
vsize: 46636
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 190185 0 0 0 36594 411 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222224 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 194763 0 0 0 37585 420 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222224 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 199842 0 0 0 38575 430 0 0 25 0 1 0 853154719 46419968 10529 4294967295 134512640 134716908 3221224560 3221222304 1075646796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 10529 1111 63 0 11270 0
vsize: 45332
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 204557 0 0 0 39566 440 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221221920 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 209738 0 0 0 40554 451 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 214904 0 0 0 41541 464 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222768 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 219615 0 0 0 42532 474 0 0 25 0 1 0 853154719 47513600 10677 4294967295 134512640 134716908 3221224560 3221222480 1075799638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11600 10677 1111 63 0 11537 0
vsize: 46400
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 225060 0 0 0 43520 486 0 0 25 0 1 0 853154719 47734784 10779 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11654 10779 1111 63 0 11591 0
vsize: 46616
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 229723 0 0 0 44510 496 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 235198 0 0 0 45500 506 0 0 25 0 1 0 853154719 47509504 10728 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11599 10728 1111 63 0 11536 0
vsize: 46396
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 240381 0 0 0 46488 518 0 0 25 0 1 0 853154719 47722496 10777 4294967295 134512640 134716908 3221224560 3221220780 1074878880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11651 10777 1111 63 0 11588 0
vsize: 46604
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 245631 0 0 0 47477 530 0 0 25 0 1 0 853154719 46100480 10480 4294967295 134512640 134716908 3221224560 3221222416 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10480 1111 63 0 11192 0
vsize: 45020
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 251350 0 0 0 48465 542 0 0 25 0 1 0 853154719 46235648 10513 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11288 10513 1111 63 0 11225 0
vsize: 45152
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 256896 0 0 0 49452 555 0 0 25 0 1 0 853154719 47714304 10772 4294967295 134512640 134716908 3221224560 3221220592 1075965256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11649 10772 1111 63 0 11586 0
vsize: 46596
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 261988 0 0 0 50443 565 0 0 25 0 1 0 853154719 46100480 10481 4294967295 134512640 134716908 3221224560 3221222240 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10481 1111 63 0 11192 0
vsize: 45020
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 267420 0 0 0 51431 576 0 0 25 0 1 0 853154719 46100480 10481 4294967295 134512640 134716908 3221224560 3221222512 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10481 1111 63 0 11192 0
vsize: 45020
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 273226 0 0 0 52420 588 0 0 25 0 1 0 853154719 47628288 10751 4294967295 134512640 134716908 3221224560 3221221392 1075115803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11628 10751 1111 63 0 11565 0
vsize: 46512
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 278545 0 0 0 53408 600 0 0 25 0 1 0 853154719 47628288 10751 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11628 10751 1111 63 0 11565 0
vsize: 46512
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 283853 0 0 0 54396 612 0 0 25 0 1 0 853154719 47579136 10746 4294967295 134512640 134716908 3221224560 3221221504 1074620294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 10746 1111 63 0 11553 0
vsize: 46464
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 289098 0 0 0 55385 623 0 0 25 0 1 0 853154719 47616000 10749 4294967295 134512640 134716908 3221224560 3221220524 1074860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11625 10749 1111 63 0 11562 0
vsize: 46500
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 294302 0 0 0 56373 636 0 0 25 0 1 0 853154719 46448640 10566 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11340 10566 1111 63 0 11277 0
vsize: 45360
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 299541 0 0 0 57362 647 0 0 25 0 1 0 853154719 46100480 10481 4294967295 134512640 134716908 3221224560 3221216656 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10481 1111 63 0 11192 0
vsize: 45020
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 304616 0 0 0 58351 658 0 0 25 0 1 0 853154719 46100480 10481 4294967295 134512640 134716908 3221224560 3221222240 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10481 1111 63 0 11192 0
vsize: 45020
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 310083 0 0 0 59338 670 0 0 25 0 1 0 853154719 47517696 10732 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11601 10732 1111 63 0 11538 0
vsize: 46404
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 315618 0 0 0 60327 682 0 0 25 0 1 0 853154719 47468544 10727 4294967295 134512640 134716908 3221224560 3221220524 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11589 10727 1111 63 0 11526 0
vsize: 46356
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 321238 0 0 0 61315 694 0 0 25 0 1 0 853154719 46100480 10481 4294967295 134512640 134716908 3221224560 3221216392 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10481 1111 63 0 11192 0
vsize: 45020
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 326571 0 0 0 62303 706 0 0 25 0 1 0 853154719 47468544 10727 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11589 10727 1111 63 0 11526 0
vsize: 46356
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 332064 0 0 0 63291 718 0 0 25 0 1 0 853154719 47517696 10731 4294967295 134512640 134716908 3221224560 3221220556 1074860985 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11601 10731 1111 63 0 11538 0
vsize: 46404
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 337765 0 0 0 64280 730 0 0 25 0 1 0 853154719 47255552 10616 4294967295 134512640 134716908 3221224560 3221222480 1075799685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11537 10616 1111 63 0 11474 0
vsize: 46148
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 343609 0 0 0 65266 744 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221221136 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 348994 0 0 0 66253 757 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222432 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 354845 0 0 0 67241 769 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222616 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 360685 0 0 0 68227 783 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221221808 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 366435 0 0 0 69214 797 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222480 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 372712 0 0 0 70200 811 0 0 25 0 1 0 853154719 46333952 10524 4294967295 134512640 134716908 3221224560 3221222528 1074247389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11346 10524 1111 63 0 11283 0
vsize: 45248
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 379179 0 0 0 71185 826 0 0 25 0 1 0 853154719 46194688 10505 4294967295 134512640 134716908 3221224560 3221223024 1074121049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11278 10505 1111 63 0 11215 0
vsize: 45112
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 385595 0 0 0 72170 841 0 0 25 0 1 0 853154719 47443968 10711 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11583 10711 1111 63 0 11520 0
vsize: 46332
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 391766 0 0 0 73156 855 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221221568 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 398224 0 0 0 74143 868 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222680 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 404875 0 0 0 75130 881 0 0 25 0 1 0 853154719 47435776 10714 4294967295 134512640 134716908 3221224560 3221220592 1075965272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11581 10714 1111 63 0 11518 0
vsize: 46324
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 411719 0 0 0 76114 897 0 0 25 0 1 0 853154719 46194688 10505 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11278 10505 1111 63 0 11215 0
vsize: 45112
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 418295 0 0 0 77101 911 0 0 25 0 1 0 853154719 47435776 10712 4294967295 134512640 134716908 3221224560 3221220632 1074950215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11581 10712 1111 63 0 11518 0
vsize: 46324
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 424976 0 0 0 78088 924 0 0 25 0 1 0 853154719 46858240 10603 4294967295 134512640 134716908 3221224560 3221221680 1074866635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11440 10603 1111 63 0 11377 0
vsize: 45760
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 431563 0 0 0 79075 937 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222328 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 438181 0 0 0 80060 953 0 0 25 0 1 0 853154719 46325760 10537 4294967295 134512640 134716908 3221224560 3221222288 1075635444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11310 10537 1111 63 0 11247 0
vsize: 45240
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 444064 0 0 0 81048 964 0 0 25 0 1 0 853154719 46649344 10584 4294967295 134512640 134716908 3221224560 3221221664 1074138614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 10584 1111 63 0 11326 0
vsize: 45556
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 449397 0 0 0 82037 976 0 0 25 0 1 0 853154719 47206400 10705 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11525 10706 1111 63 0 11462 0
vsize: 46100
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 455043 0 0 0 83025 988 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222704 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 460854 0 0 0 84012 1001 0 0 25 0 1 0 853154719 46497792 10579 4294967295 134512640 134716908 3221224560 3221222304 1075646821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11352 10579 1111 63 0 11289 0
vsize: 45408
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 466407 0 0 0 85001 1013 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222464 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 472329 0 0 0 85987 1027 0 0 25 0 1 0 853154719 47132672 10589 4294967295 134512640 134716908 3221224560 3221222672 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11507 10589 1111 63 0 11444 0
vsize: 46028
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 478363 0 0 0 86973 1041 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222800 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 484070 0 0 0 87961 1053 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222424 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 489922 0 0 0 88947 1067 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222944 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 495681 0 0 0 89936 1079 0 0 25 0 1 0 853154719 47521792 10727 4294967295 134512640 134716908 3221224560 3221220720 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11602 10727 1111 63 0 11539 0
vsize: 46408
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 501167 0 0 0 90924 1090 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221221576 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 506938 0 0 0 91912 1103 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5448
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 512650 0 0 0 92898 1117 0 0 25 0 1 0 853154719 47517696 10728 4294967295 134512640 134716908 3221224560 3221221060 1074846163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11601 10728 1111 63 0 11538 0
vsize: 46404
[startup+950.028 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 5501
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 518111 0 0 0 93886 1129 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222512 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+960.029 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 5501
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 523840 0 0 0 94874 1141 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222456 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+970.028 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 5501
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 529515 0 0 0 95862 1153 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222776 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+980.029 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 5501
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 535169 0 0 0 96850 1165 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222944 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+990.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 5501
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 540812 0 0 0 97837 1179 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222752 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1000.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 5501
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 546420 0 0 0 98824 1192 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221221568 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1010.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 5503
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 552231 0 0 0 99809 1207 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221221276 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1020.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 558194 0 0 0 100794 1221 0 0 25 0 1 0 853154719 47108096 10583 4294967295 134512640 134716908 3221224560 3221222288 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11501 10583 1111 63 0 11438 0
vsize: 46004
[startup+1030.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 564309 0 0 0 101780 1236 0 0 25 0 1 0 853154719 46469120 10540 4294967295 134512640 134716908 3221224560 3221222880 1074138471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11345 10540 1111 63 0 11282 0
vsize: 45380
[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 570645 0 0 0 102768 1249 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222744 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1050.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 576740 0 0 0 103754 1262 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222328 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1060.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 583076 0 0 0 104741 1275 0 0 25 0 1 0 853154719 46641152 10563 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11387 10567 1111 63 0 11324 0
vsize: 45548
[startup+1070.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 589164 0 0 0 105728 1289 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221221952 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1080.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 595437 0 0 0 106714 1303 0 0 25 0 1 0 853154719 46465024 10571 4294967295 134512640 134716908 3221224560 3221222304 1075646682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11344 10571 1111 63 0 11281 0
vsize: 45376
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 601468 0 0 0 107701 1316 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222512 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 607789 0 0 0 108688 1330 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222728 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 613843 0 0 0 109674 1343 0 0 25 0 1 0 853154719 47099904 10581 4294967295 134512640 134716908 3221224560 3221222384 1075824332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11499 10581 1111 63 0 11436 0
vsize: 45996
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 619980 0 0 0 110661 1357 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222392 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 626191 0 0 0 111648 1370 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222380 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 632241 0 0 0 112636 1382 0 0 25 0 1 0 853154719 46473216 10573 4294967295 134512640 134716908 3221224560 3221222304 1075646652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11346 10573 1111 63 0 11283 0
vsize: 45384
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 638140 0 0 0 113623 1395 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222456 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 644345 0 0 0 114611 1407 0 0 25 0 1 0 853154719 47108096 10583 4294967295 134512640 134716908 3221224560 3221222208 1075818396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11501 10583 1111 63 0 11438 0
vsize: 46004
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 650685 0 0 0 115595 1423 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222768 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 45020
[startup+1174.91 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 5505
Raw data (stat): 5448 (bsolo_lpr_cuts-) R 5447 8378 8377 0 -1 0 650685 0 0 0 115595 1423 0 0 25 0 1 0 853154719 46100480 10482 4294967295 134512640 134716908 3221224560 3221222768 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10482 1111 63 0 11192 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.07
CPU user time (s): 1160.76
CPU system time (s): 14.3158
CPU usage (%): 100.014
Max. virtual memory (Kb): 46832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####