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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	c1b4c3ad409db732d2b559e570b6f24c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	138
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	84
Trace number 41171

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 07:16:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29227 boxname=wulflinc6 idbench=1011 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c1b4c3ad409db732d2b559e570b6f24c  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 29227
/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:        596152 kB
Buffers:         15072 kB
Cached:         402196 kB
SwapCached:        932 kB
Active:          29220 kB
Inactive:       390084 kB
HighTotal:      131008 kB
HighFree:        18480 kB
LowTotal:       903652 kB
LowFree:        577672 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13544 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:36:24 (client local time) WITH STATUS 0 IN 1175.39 SECONDS
stats: 29227 7 1175.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1842 variables and 296 constraints.
c preprocess terminated 73.895 s
c Initial Lower Bound: 39
c Lower Bound Elapsed time: 0.23125
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.37 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.93 0.98 0.93 1/54 8353
Raw data (stat): 8353 (runsolver) R 8352 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908405623 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.0117 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 6488 0 0 0 983 15 0 0 25 0 1 0 908405623 29773824 6406 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7269 6406 1111 63 0 7206 0
vsize: 29076
[startup+20.0233 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 6560 0 0 0 1984 15 0 0 25 0 1 0 908405623 30060544 6478 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+30.0235 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 6560 0 0 0 2985 15 0 0 25 0 1 0 908405623 30060544 6478 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+40.0236 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 6560 0 0 0 3985 15 0 0 25 0 1 0 908405623 30060544 6478 4294967295 134512640 134716908 3221224560 3221223268 134618255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+50.0238 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 6560 0 0 0 4985 15 0 0 25 0 1 0 908405623 30060544 6478 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+60.0239 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 6560 0 0 0 5985 15 0 0 25 0 1 0 908405623 30060544 6478 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+70.0241 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 6560 0 0 0 6985 15 0 0 25 0 1 0 908405623 30060544 6478 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+80.0258 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 8126 0 1 0 7976 20 0 0 25 0 1 0 908405623 30158848 6661 4294967295 134512640 134716908 3221224560 3221222560 1074918498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7363 6661 1111 63 0 7300 0
vsize: 29452
[startup+90.0253 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 9689 0 1 0 8973 24 0 0 25 0 1 0 908405623 30093312 6649 4294967295 134512640 134716908 3221224560 3221223184 134651188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6649 1111 63 0 7284 0
vsize: 29388
[startup+100.025 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 11503 0 1 0 9967 30 0 0 25 0 1 0 908405623 30146560 6663 4294967295 134512640 134716908 3221224560 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6663 1111 63 0 7297 0
vsize: 29440
[startup+110.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 13291 0 1 0 10962 35 0 0 25 0 1 0 908405623 30388224 6695 4294967295 134512640 134716908 3221224560 3221220672 1075895905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 6695 1111 63 0 7356 0
vsize: 29676
[startup+120.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 14831 0 1 0 11959 38 0 0 25 0 1 0 908405623 30203904 6670 4294967295 134512640 134716908 3221224560 3221222928 1074140697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7374 6670 1111 63 0 7311 0
vsize: 29496
[startup+130.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 16394 0 1 0 12955 43 0 0 25 0 1 0 908405623 30466048 6676 4294967295 134512640 134716908 3221224560 3221220728 1075560345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6676 1111 63 0 7375 0
vsize: 29752
[startup+140.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 18520 0 1 0 13948 50 0 0 25 0 1 0 908405623 30142464 6663 4294967295 134512640 134716908 3221224560 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6663 1111 63 0 7296 0
vsize: 29436
[startup+150.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 20696 0 1 0 14942 57 0 0 25 0 1 0 908405623 30093312 6651 4294967295 134512640 134716908 3221224560 3221221664 1074138642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6651 1111 63 0 7284 0
vsize: 29388
[startup+160.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 22484 0 1 0 15937 62 0 0 25 0 1 0 908405623 30466048 6675 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6675 1111 63 0 7375 0
vsize: 29752
[startup+170.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 24220 0 1 0 16932 67 0 0 25 0 1 0 908405623 30142464 6658 4294967295 134512640 134716908 3221224560 3221222224 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6658 1111 63 0 7296 0
vsize: 29436
[startup+180.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 25920 0 1 0 17927 73 0 0 25 0 1 0 908405623 30093312 6651 4294967295 134512640 134716908 3221224560 3221222176 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6651 1111 63 0 7284 0
vsize: 29388
[startup+190.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 27752 0 1 0 18921 79 0 0 25 0 1 0 908405623 30093312 6651 4294967295 134512640 134716908 3221224560 3221222500 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6651 1111 63 0 7284 0
vsize: 29388
[startup+200.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 29893 0 1 0 19916 85 0 0 25 0 1 0 908405623 30093312 6651 4294967295 134512640 134716908 3221224560 3221222744 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6651 1111 63 0 7284 0
vsize: 29388
[startup+210.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 31982 0 1 0 20911 90 0 0 25 0 1 0 908405623 30093312 6651 4294967295 134512640 134716908 3221224560 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6651 1111 63 0 7284 0
vsize: 29388
[startup+220.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 34095 0 1 0 21904 97 0 0 25 0 1 0 908405623 30146560 6664 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6664 1111 63 0 7297 0
vsize: 29440
[startup+230.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 36367 0 1 0 22899 102 0 0 25 0 1 0 908405623 30449664 6671 4294967295 134512640 134716908 3221224560 3221222384 1075823328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 6671 1111 63 0 7371 0
vsize: 29736
[startup+240.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 38652 0 1 0 23893 109 0 0 25 0 1 0 908405623 30142464 6663 4294967295 134512640 134716908 3221224560 3221222160 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6663 1111 63 0 7296 0
vsize: 29436
[startup+250.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 40908 0 1 0 24888 115 0 0 25 0 1 0 908405623 30146560 6664 4294967295 134512640 134716908 3221224560 3221221960 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6664 1111 63 0 7297 0
vsize: 29440
[startup+260.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 43208 0 1 0 25882 121 0 0 25 0 1 0 908405623 30474240 6667 4294967295 134512640 134716908 3221224560 3221221552 1075971389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6670 1111 63 0 7377 0
vsize: 29760
[startup+270.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 45371 0 1 0 26875 128 0 0 25 0 1 0 908405623 30093312 6651 4294967295 134512640 134716908 3221224560 3221222848 1074153823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6651 1111 63 0 7284 0
vsize: 29388
[startup+280.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 47658 0 1 0 27869 134 0 0 25 0 1 0 908405623 30515200 6691 4294967295 134512640 134716908 3221224560 3221221168 1075966742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7450 6691 1111 63 0 7387 0
vsize: 29800
[startup+290.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 49853 0 1 0 28864 140 0 0 25 0 1 0 908405623 30146560 6666 4294967295 134512640 134716908 3221224560 3221222864 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6666 1111 63 0 7297 0
vsize: 29440
[startup+300.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 52107 0 1 0 29858 146 0 0 25 0 1 0 908405623 30519296 6688 4294967295 134512640 134716908 3221224560 3221221768 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7451 6688 1111 63 0 7388 0
vsize: 29804
[startup+310.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 54348 0 1 0 30853 151 0 0 25 0 1 0 908405623 30474240 6678 4294967295 134512640 134716908 3221224560 3221221504 1074620304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6678 1111 63 0 7377 0
vsize: 29760
[startup+320.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 56220 0 1 0 31848 157 0 0 25 0 1 0 908405623 30449664 6662 4294967295 134512640 134716908 3221224560 3221222528 1075809068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 6662 1111 63 0 7371 0
vsize: 29736
[startup+330.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 58316 0 1 0 32841 164 0 0 25 0 1 0 908405623 30519296 6691 4294967295 134512640 134716908 3221224560 3221221000 1074798917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7451 6691 1111 63 0 7388 0
vsize: 29804
[startup+340.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 60517 0 1 0 33834 171 0 0 25 0 1 0 908405623 30093312 6654 4294967295 134512640 134716908 3221224560 3221222432 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6654 1111 63 0 7284 0
vsize: 29388
[startup+350.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 62457 0 1 0 34828 178 0 0 25 0 1 0 908405623 30470144 6677 4294967295 134512640 134716908 3221224560 3221221328 1076083873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7439 6677 1111 63 0 7376 0
vsize: 29756
[startup+360.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 64336 0 1 0 35823 183 0 0 25 0 1 0 908405623 30351360 6690 4294967295 134512640 134716908 3221224560 3221220524 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7410 6690 1111 63 0 7347 0
vsize: 29640
[startup+370.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 66170 0 1 0 36817 190 0 0 25 0 1 0 908405623 30461952 6672 4294967295 134512640 134716908 3221224560 3221220572 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6672 1111 63 0 7374 0
vsize: 29748
[startup+380.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 68075 0 1 0 37812 195 0 0 25 0 1 0 908405623 30142464 6656 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6656 1111 63 0 7296 0
vsize: 29436
[startup+390.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 69905 0 1 0 38808 199 0 0 25 0 1 0 908405623 30138368 6661 4294967295 134512640 134716908 3221224560 3221221744 1074052283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6661 1111 63 0 7295 0
vsize: 29432
[startup+400.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 71693 0 1 0 39802 206 0 0 25 0 1 0 908405623 30461952 6672 4294967295 134512640 134716908 3221224560 3221220584 1074950224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6674 1111 63 0 7374 0
vsize: 29748
[startup+410.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 73567 0 1 0 40798 210 0 0 25 0 1 0 908405623 30445568 6659 4294967295 134512640 134716908 3221224560 3221221632 1074834440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7433 6659 1111 63 0 7370 0
vsize: 29732
[startup+420.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 75390 0 1 0 41792 216 0 0 25 0 1 0 908405623 30138368 6658 4294967295 134512640 134716908 3221224560 3221222512 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6658 1111 63 0 7295 0
vsize: 29432
[startup+430.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 77340 0 1 0 42786 222 0 0 25 0 1 0 908405623 30142464 6666 4294967295 134512640 134716908 3221224560 3221222864 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6666 1111 63 0 7296 0
vsize: 29436
[startup+440.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 79215 0 1 0 43781 228 0 0 25 0 1 0 908405623 30142464 6666 4294967295 134512640 134716908 3221224560 3221222864 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6666 1111 63 0 7296 0
vsize: 29436
[startup+450.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 81222 0 1 0 44774 235 0 0 25 0 1 0 908405623 30142464 6666 4294967295 134512640 134716908 3221224560 3221222864 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6666 1111 63 0 7296 0
vsize: 29436
[startup+460.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 83241 0 1 0 45770 240 0 0 25 0 1 0 908405623 30142464 6666 4294967295 134512640 134716908 3221224560 3221221664 1074138752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6666 1111 63 0 7296 0
vsize: 29436
[startup+470.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 85209 0 1 0 46763 247 0 0 25 0 1 0 908405623 30441472 6674 4294967295 134512640 134716908 3221224560 3221222672 1074867325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 6674 1111 63 0 7369 0
vsize: 29728
[startup+480.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 87197 0 1 0 47758 252 0 0 25 0 1 0 908405623 30146560 6667 4294967295 134512640 134716908 3221224560 3221223300 134556384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6667 1111 63 0 7297 0
vsize: 29440
[startup+490.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 89265 0 1 0 48750 260 0 0 25 0 1 0 908405623 30142464 6666 4294967295 134512640 134716908 3221224560 3221222864 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6666 1111 63 0 7296 0
vsize: 29436
[startup+500.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 91207 0 1 0 49744 267 0 0 25 0 1 0 908405623 30142464 6666 4294967295 134512640 134716908 3221224560 3221222360 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6666 1111 63 0 7296 0
vsize: 29436
[startup+510.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 93240 0 1 0 50738 273 0 0 25 0 1 0 908405623 30142464 6666 4294967295 134512640 134716908 3221224560 3221223176 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6666 1111 63 0 7296 0
vsize: 29436
[startup+520.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 95330 0 1 0 51732 279 0 0 25 0 1 0 908405623 30142464 6666 4294967295 134512640 134716908 3221224560 3221222348 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6666 1111 63 0 7296 0
vsize: 29436
[startup+530.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 97240 0 1 0 52726 286 0 0 25 0 1 0 908405623 30142464 6666 4294967295 134512640 134716908 3221224560 3221222560 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6666 1111 63 0 7296 0
vsize: 29436
[startup+540.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 99226 0 1 0 53722 291 0 0 25 0 1 0 908405623 30093312 6654 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6654 1111 63 0 7284 0
vsize: 29388
[startup+550.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 101253 0 1 0 54715 298 0 0 25 0 1 0 908405623 30093312 6654 4294967295 134512640 134716908 3221224560 3221222096 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6654 1111 63 0 7284 0
vsize: 29388
[startup+560.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 103239 0 1 0 55710 303 0 0 25 0 1 0 908405623 30142464 6666 4294967295 134512640 134716908 3221224560 3221222464 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6666 1111 63 0 7296 0
vsize: 29436
[startup+570.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 105256 0 1 0 56704 309 0 0 25 0 1 0 908405623 30445568 6674 4294967295 134512640 134716908 3221224560 3221222416 1075802495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7433 6674 1111 63 0 7370 0
vsize: 29732
[startup+580.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 107203 0 1 0 57698 316 0 0 25 0 1 0 908405623 30093312 6654 4294967295 134512640 134716908 3221224560 3221222352 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6654 1111 63 0 7284 0
vsize: 29388
[startup+590.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 109310 0 1 0 58693 321 0 0 25 0 1 0 908405623 30093312 6654 4294967295 134512640 134716908 3221224560 3221222216 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6654 1111 63 0 7284 0
vsize: 29388
[startup+600.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 111226 0 1 0 59688 327 0 0 25 0 1 0 908405623 30093312 6654 4294967295 134512640 134716908 3221224560 3221222768 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6654 1111 63 0 7284 0
vsize: 29388
[startup+610.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 113137 0 1 0 60681 334 0 0 25 0 1 0 908405623 30445568 6670 4294967295 134512640 134716908 3221224560 3221221544 1074831913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7433 6670 1111 63 0 7370 0
vsize: 29732
[startup+620.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 115072 0 1 0 61676 339 0 0 25 0 1 0 908405623 30466048 6679 4294967295 134512640 134716908 3221224560 3221221588 1075964282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6679 1111 63 0 7375 0
vsize: 29752
[startup+630.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 117080 0 1 0 62671 344 0 0 25 0 1 0 908405623 30457856 6683 4294967295 134512640 134716908 3221224560 3221221600 1075971404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7436 6683 1111 63 0 7373 0
vsize: 29744
[startup+640.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 119053 0 1 0 63666 350 0 0 25 0 1 0 908405623 30093312 6654 4294967295 134512640 134716908 3221224560 3221222864 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6654 1111 63 0 7284 0
vsize: 29388
[startup+650.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 120936 0 1 0 64661 356 0 0 25 0 1 0 908405623 30457856 6678 4294967295 134512640 134716908 3221224560 3221220584 1074860081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7436 6678 1111 63 0 7373 0
vsize: 29744
[startup+660.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 122820 0 1 0 65655 362 0 0 25 0 1 0 908405623 30277632 6667 4294967295 134512640 134716908 3221224560 3221222480 1075799556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7392 6667 1111 63 0 7329 0
vsize: 29568
[startup+670.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 124631 0 1 0 66649 368 0 0 25 0 1 0 908405623 30130176 6655 4294967295 134512640 134716908 3221224560 3221222560 1074916721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 6655 1111 63 0 7293 0
vsize: 29424
[startup+680.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 126451 0 1 0 67643 375 0 0 25 0 1 0 908405623 30093312 6654 4294967295 134512640 134716908 3221224560 3221222768 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6654 1111 63 0 7284 0
vsize: 29388
[startup+690.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 128328 0 1 0 68637 381 0 0 25 0 1 0 908405623 30093312 6654 4294967295 134512640 134716908 3221224560 3221221664 1074138813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6654 1111 63 0 7284 0
vsize: 29388
[startup+700.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 130305 0 1 0 69631 387 0 0 25 0 1 0 908405623 30507008 6686 4294967295 134512640 134716908 3221224560 3221220524 1074860647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7448 6686 1111 63 0 7385 0
vsize: 29792
[startup+710.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 132845 0 1 0 70623 396 0 0 25 0 1 0 908405623 30367744 6716 4294967295 134512640 134716908 3221224560 3221222176 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7414 6716 1111 63 0 7351 0
vsize: 29656
[startup+720.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 134545 0 1 0 71618 401 0 0 25 0 1 0 908405623 30502912 6748 4294967295 134512640 134716908 3221224560 3221223024 1074121006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7447 6748 1111 63 0 7384 0
vsize: 29788
[startup+730.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 135798 0 1 0 72613 407 0 0 25 0 1 0 908405623 30474240 6747 4294967295 134512640 134716908 3221224560 3221222680 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6747 1111 63 0 7377 0
vsize: 29760
[startup+740.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 136453 0 1 0 73610 410 0 0 25 0 1 0 908405623 30502912 6748 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7447 6748 1111 63 0 7384 0
vsize: 29788
[startup+750.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 137396 0 1 0 74606 414 0 0 25 0 1 0 908405623 30474240 6747 4294967295 134512640 134716908 3221224560 3221222632 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6747 1111 63 0 7377 0
vsize: 29760
[startup+760.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 138466 0 1 0 75602 418 0 0 25 0 1 0 908405623 30736384 6754 4294967295 134512640 134716908 3221224560 3221220524 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7504 6754 1111 63 0 7441 0
vsize: 30016
[startup+770.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 139696 0 1 0 76598 423 0 0 25 0 1 0 908405623 30502912 6754 4294967295 134512640 134716908 3221224560 3221222912 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7447 6754 1111 63 0 7384 0
vsize: 29788
[startup+780.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 141046 0 1 0 77595 427 0 0 25 0 1 0 908405623 30502912 6754 4294967295 134512640 134716908 3221224560 3221222416 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7447 6754 1111 63 0 7384 0
vsize: 29788
[startup+790.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 141364 0 1 0 78592 429 0 0 25 0 1 0 908405623 30711808 6749 4294967295 134512640 134716908 3221224560 3221221088 1076049806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7498 6749 1111 63 0 7435 0
vsize: 29992
[startup+800.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 141839 0 1 0 79589 433 0 0 25 0 1 0 908405623 30474240 6747 4294967295 134512640 134716908 3221224560 3221223104 134652872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6747 1111 63 0 7377 0
vsize: 29760
[startup+810.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 142927 0 1 0 80585 437 0 0 25 0 1 0 908405623 30474240 6747 4294967295 134512640 134716908 3221224560 3221222544 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6747 1111 63 0 7377 0
vsize: 29760
[startup+820.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 144278 0 1 0 81581 442 0 0 25 0 1 0 908405623 30961664 6796 4294967295 134512640 134716908 3221224560 3221220740 1075114926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7559 6796 1111 63 0 7496 0
vsize: 30236
[startup+830.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 144846 0 1 0 82578 445 0 0 25 0 1 0 908405623 30613504 6780 4294967295 134512640 134716908 3221224560 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6780 1111 63 0 7411 0
vsize: 29896
[startup+840.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 145054 0 1 0 83576 447 0 0 25 0 1 0 908405623 30580736 6773 4294967295 134512640 134716908 3221224560 3221222576 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7466 6773 1111 63 0 7403 0
vsize: 29864
[startup+850.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 145227 0 1 0 84575 449 0 0 25 0 1 0 908405623 30842880 6780 4294967295 134512640 134716908 3221224560 3221220560 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6780 1111 63 0 7467 0
vsize: 30120
[startup+860.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 145488 0 1 0 85574 450 0 0 25 0 1 0 908405623 30613504 6779 4294967295 134512640 134716908 3221224560 3221221664 1074138832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6779 1111 63 0 7411 0
vsize: 29896
[startup+870.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 145651 0 1 0 86573 452 0 0 25 0 1 0 908405623 30580736 6773 4294967295 134512640 134716908 3221224560 3221221568 134652836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7466 6773 1111 63 0 7403 0
vsize: 29864
[startup+880.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 145751 0 1 0 87572 453 0 0 25 0 1 0 908405623 30613504 6776 4294967295 134512640 134716908 3221224560 3221220524 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6776 1111 63 0 7411 0
vsize: 29896
[startup+890.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 145868 0 1 0 88571 454 0 0 25 0 1 0 908405623 30613504 6776 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6776 1111 63 0 7411 0
vsize: 29896
[startup+900.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 145992 0 1 0 89570 456 0 0 25 0 1 0 908405623 30580736 6773 4294967295 134512640 134716908 3221224560 3221222728 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7466 6773 1111 63 0 7403 0
vsize: 29864
[startup+910.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146071 0 1 0 90570 456 0 0 25 0 1 0 908405623 30613504 6774 4294967295 134512640 134716908 3221224560 3221222480 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6774 1111 63 0 7411 0
vsize: 29896
[startup+920.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146130 0 1 0 91570 456 0 0 25 0 1 0 908405623 30613504 6775 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6775 1111 63 0 7411 0
vsize: 29896
[startup+930.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146210 0 1 0 92569 458 0 0 25 0 1 0 908405623 30613504 6774 4294967295 134512640 134716908 3221224560 3221222624 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6774 1111 63 0 7411 0
vsize: 29896
[startup+940.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146339 0 1 0 93568 459 0 0 25 0 1 0 908405623 30613504 6774 4294967295 134512640 134716908 3221224560 3221222560 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6774 1111 63 0 7411 0
vsize: 29896
[startup+950.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146462 0 1 0 94567 460 0 0 25 0 1 0 908405623 30777344 6774 4294967295 134512640 134716908 3221224560 3221220784 1074961314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7514 6774 1111 63 0 7451 0
vsize: 30056
[startup+960.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146528 0 1 0 95567 461 0 0 25 0 1 0 908405623 30613504 6776 4294967295 134512640 134716908 3221224560 3221222240 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6776 1111 63 0 7411 0
vsize: 29896
[startup+970.053 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146595 0 1 0 96567 461 0 0 25 0 1 0 908405623 30613504 6774 4294967295 134512640 134716908 3221224560 3221221704 1074138247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6774 1111 63 0 7411 0
vsize: 29896
[startup+980.053 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146652 0 1 0 97567 462 0 0 25 0 1 0 908405623 30613504 6776 4294967295 134512640 134716908 3221224560 3221221840 1074139964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6776 1111 63 0 7411 0
vsize: 29896
[startup+990.054 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146718 0 1 0 98567 462 0 0 25 0 1 0 908405623 30613504 6774 4294967295 134512640 134716908 3221224560 3221222464 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6774 1111 63 0 7411 0
vsize: 29896
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146792 0 1 0 99566 463 0 0 25 0 1 0 908405623 30613504 6774 4294967295 134512640 134716908 3221224560 3221222472 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6774 1111 63 0 7411 0
vsize: 29896
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146848 0 1 0 100566 464 0 0 25 0 1 0 908405623 30580736 6773 4294967295 134512640 134716908 3221224560 3221222152 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7466 6773 1111 63 0 7403 0
vsize: 29864
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146913 0 1 0 101566 465 0 0 25 0 1 0 908405623 30613504 6776 4294967295 134512640 134716908 3221224560 3221220524 1074860632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6776 1111 63 0 7411 0
vsize: 29896
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 146982 0 1 0 102566 465 0 0 25 0 1 0 908405623 30613504 6776 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6776 1111 63 0 7411 0
vsize: 29896
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 147044 0 1 0 103565 466 0 0 25 0 1 0 908405623 30580736 6773 4294967295 134512640 134716908 3221224560 3221222112 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7466 6773 1111 63 0 7403 0
vsize: 29864
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 147106 0 1 0 104565 466 0 0 25 0 1 0 908405623 30613504 6776 4294967295 134512640 134716908 3221224560 3221220632 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6776 1111 63 0 7411 0
vsize: 29896
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 147170 0 1 0 105565 467 0 0 25 0 1 0 908405623 30613504 6776 4294967295 134512640 134716908 3221224560 3221222392 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6776 1111 63 0 7411 0
vsize: 29896
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 147244 0 1 0 106564 468 0 0 25 0 1 0 908405623 30613504 6774 4294967295 134512640 134716908 3221224560 3221222440 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6774 1111 63 0 7411 0
vsize: 29896
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 147305 0 1 0 107564 468 0 0 25 0 1 0 908405623 30613504 6774 4294967295 134512640 134716908 3221224560 3221222464 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6774 1111 63 0 7411 0
vsize: 29896
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 147374 0 1 0 108564 469 0 0 25 0 1 0 908405623 30777344 6775 4294967295 134512640 134716908 3221224560 3221220720 1074815170 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7514 6775 1111 63 0 7451 0
vsize: 30056
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 147442 0 1 0 109563 470 0 0 25 0 1 0 908405623 30613504 6775 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6775 1111 63 0 7411 0
vsize: 29896
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 147561 0 1 0 110563 471 0 0 25 0 1 0 908405623 30842880 6782 4294967295 134512640 134716908 3221224560 3221220556 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6782 1111 63 0 7467 0
vsize: 30120
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 147755 0 1 0 111562 472 0 0 25 0 1 0 908405623 30613504 6774 4294967295 134512640 134716908 3221224560 3221222608 1075963440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6774 1111 63 0 7411 0
vsize: 29896
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 147938 0 1 0 112561 474 0 0 25 0 1 0 908405623 30580736 6773 4294967295 134512640 134716908 3221224560 3221221856 1074839041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7466 6773 1111 63 0 7403 0
vsize: 29864
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 148109 0 1 0 113560 474 0 0 25 0 1 0 908405623 30613504 6778 4294967295 134512640 134716908 3221224560 3221222304 1075640218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6778 1111 63 0 7411 0
vsize: 29896
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 148275 0 1 0 114560 476 0 0 25 0 1 0 908405623 30613504 6774 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6774 1111 63 0 7411 0
vsize: 29896
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 148650 0 1 0 115558 478 0 0 25 0 1 0 908405623 30613504 6778 4294967295 134512640 134716908 3221224560 3221222040 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6778 1111 63 0 7411 0
vsize: 29896
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 148985 0 1 0 116556 480 0 0 25 0 1 0 908405623 30613504 6779 4294967295 134512640 134716908 3221224560 3221222520 1074138306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7520 6780 1111 63 0 7457 0
vsize: 29896
[startup+1175.08 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 8353
Raw data (stat): 8353 (bsolo_lpr_cuts-) R 8352 25568 25567 0 -1 0 148985 0 1 0 116556 480 0 0 25 0 1 0 908405623 30613504 6779 4294967295 134512640 134716908 3221224560 3221222520 1074138306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7520 6780 1111 63 0 7457 0
vsize: 0

Child status: 0
Real time (s): 1175.08
CPU time (s): 1175.39
CPU user time (s): 1170.56
CPU system time (s): 4.82927
CPU usage (%): 100.026
Max. virtual memory (Kb): 30236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####