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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb
MD5SUM	a7baaeaa26a0026c630e11c495604909
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1091178
Optimality of the best value was proved	NO
Number of terms in the objective function	5292
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1421968313
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1421968313
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	5292
Total number of constraints	284
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	284
Minimum length of a constraint	21
Maximum length of a constraint	360
Trace number 41635

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 18:27:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29701 boxname=wulflinc6 idbench=1485 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a7baaeaa26a0026c630e11c495604909  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran14x18.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran14x18.opb
IDLAUNCH: 29701
/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:        893220 kB
Buffers:         13044 kB
Cached:         107780 kB
SwapCached:        896 kB
Active:          29220 kB
Inactive:        93580 kB
HighTotal:      131008 kB
HighFree:        55272 kB
LowTotal:       903652 kB
LowFree:        837948 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            13012 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:46:40 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 29701 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5292 variables and 316 constraints.
c After prepocess the problem consists of 3084 variables and 453 constraints.
c preprocess terminated 8.549 s
c Initial Lower Bound: 386175
c Lower Bound Elapsed time: 0.612167
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.13 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.92 0.97 0.92 2/54 15390
Raw data (stat): 15390 (runsolver) R 15389 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912427853 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.0006 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 8302 0 0 0 976 20 0 0 25 0 1 0 912427853 34963456 7707 4294967295 134512640 134716908 3221224560 3221222576 1074867200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8536 7707 1111 63 0 8473 0
vsize: 34144
[startup+20.001 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 16527 0 0 0 1957 39 0 0 25 0 1 0 912427853 35061760 7828 4294967295 134512640 134716908 3221224560 3221222304 1075636575 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 7828 1111 63 0 8497 0
vsize: 34240
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 23084 0 0 0 2942 54 0 0 25 0 1 0 912427853 34709504 7743 4294967295 134512640 134716908 3221224560 3221222760 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7743 1111 63 0 8411 0
vsize: 33896
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 30218 0 0 0 3924 73 0 0 25 0 1 0 912427853 35577856 7881 4294967295 134512640 134716908 3221224560 3221222288 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8686 7881 1111 63 0 8623 0
vsize: 34744
[startup+50.002 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 37477 0 0 0 4907 90 0 0 25 0 1 0 912427853 35577856 7880 4294967295 134512640 134716908 3221224560 3221222672 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8686 7880 1111 63 0 8623 0
vsize: 34744
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 44592 0 0 0 5889 109 0 0 25 0 1 0 912427853 34709504 7743 4294967295 134512640 134716908 3221224560 3221222848 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7743 1111 63 0 8411 0
vsize: 33896
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 51540 0 0 0 6873 125 0 0 25 0 1 0 912427853 35037184 7802 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8554 7806 1111 63 0 8491 0
vsize: 34216
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 58753 0 0 0 7858 140 0 0 25 0 1 0 912427853 34709504 7744 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7744 1111 63 0 8411 0
vsize: 33896
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 66298 0 0 0 8841 157 0 0 25 0 1 0 912427853 34873344 7784 4294967295 134512640 134716908 3221224560 3221222960 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8514 7784 1111 63 0 8451 0
vsize: 34056
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 73460 0 0 0 9825 174 0 0 25 0 1 0 912427853 35561472 7878 4294967295 134512640 134716908 3221224560 3221222288 1075828510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8682 7878 1111 63 0 8619 0
vsize: 34728
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 80791 0 0 0 10809 190 0 0 25 0 1 0 912427853 34852864 7779 4294967295 134512640 134716908 3221224560 3221220736 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8509 7779 1111 63 0 8446 0
vsize: 34036
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 88121 0 0 0 11794 205 0 0 25 0 1 0 912427853 34709504 7744 4294967295 134512640 134716908 3221224560 3221220896 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7744 1111 63 0 8411 0
vsize: 33896
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 95418 0 0 0 12778 222 0 0 25 0 1 0 912427853 34709504 7744 4294967295 134512640 134716908 3221224560 3221221088 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7744 1111 63 0 8411 0
vsize: 33896
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 102562 0 0 0 13762 239 0 0 25 0 1 0 912427853 34709504 7744 4294967295 134512640 134716908 3221224560 3221221120 1074153783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7744 1111 63 0 8411 0
vsize: 33896
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 109329 0 0 0 14747 254 0 0 25 0 1 0 912427853 34709504 7744 4294967295 134512640 134716908 3221224560 3221222848 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7744 1111 63 0 8411 0
vsize: 33896
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 116051 0 0 0 15730 271 0 0 25 0 1 0 912427853 35532800 7871 4294967295 134512640 134716908 3221224560 3221222208 1075818295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8675 7871 1111 63 0 8612 0
vsize: 34700
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 123024 0 0 0 16715 286 0 0 25 0 1 0 912427853 35786752 7929 4294967295 134512640 134716908 3221224560 3221220788 1075114921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8737 7929 1111 63 0 8674 0
vsize: 34948
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 129362 0 0 0 17699 303 0 0 25 0 1 0 912427853 35532800 7871 4294967295 134512640 134716908 3221224560 3221222288 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8675 7871 1111 63 0 8612 0
vsize: 34700
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 135795 0 0 0 18683 319 0 0 25 0 1 0 912427853 35770368 7929 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8733 7929 1111 63 0 8670 0
vsize: 34932
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 142444 0 0 0 19668 335 0 0 25 0 1 0 912427853 34709504 7748 4294967295 134512640 134716908 3221224560 3221223392 134623302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7748 1111 63 0 8411 0
vsize: 33896
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 148897 0 0 0 20653 350 0 0 25 0 1 0 912427853 34709504 7748 4294967295 134512640 134716908 3221224560 3221222816 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7748 1111 63 0 8411 0
vsize: 33896
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 155549 0 0 0 21639 364 0 0 25 0 1 0 912427853 35520512 7871 4294967295 134512640 134716908 3221224560 3221222288 1075828535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8672 7871 1111 63 0 8609 0
vsize: 34688
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 162263 0 0 0 22623 380 0 0 25 0 1 0 912427853 34709504 7748 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7748 1111 63 0 8411 0
vsize: 33896
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 168725 0 0 0 23607 397 0 0 25 0 1 0 912427853 34856960 7772 4294967295 134512640 134716908 3221224560 3221222472 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8510 7776 1111 63 0 8447 0
vsize: 34040
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 175610 0 0 0 24590 414 0 0 25 0 1 0 912427853 34709504 7748 4294967295 134512640 134716908 3221224560 3221222944 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7748 1111 63 0 8411 0
vsize: 33896
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 182594 0 0 0 25574 431 0 0 25 0 1 0 912427853 34709504 7748 4294967295 134512640 134716908 3221224560 3221220784 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7748 1111 63 0 8411 0
vsize: 33896
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 189957 0 0 0 26557 448 0 0 25 0 1 0 912427853 34709504 7748 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7748 1111 63 0 8411 0
vsize: 33896
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 196765 0 0 0 27542 463 0 0 25 0 1 0 912427853 35749888 8001 4294967295 134512640 134716908 3221224560 3221220848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8001 1111 63 0 8665 0
vsize: 34912
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 200912 0 0 0 28532 473 0 0 25 0 1 0 912427853 36372480 8092 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8880 8092 1111 63 0 8817 0
vsize: 35520
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 204846 0 0 0 29524 482 0 0 25 0 1 0 912427853 35749888 8002 4294967295 134512640 134716908 3221224560 3221222960 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8002 1111 63 0 8665 0
vsize: 34912
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 208706 0 0 0 30513 493 0 0 25 0 1 0 912427853 35749888 8002 4294967295 134512640 134716908 3221224560 3221220800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8002 1111 63 0 8665 0
vsize: 34912
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 212743 0 0 0 31503 504 0 0 25 0 1 0 912427853 35749888 8002 4294967295 134512640 134716908 3221224560 3221221664 1074139067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8002 1111 63 0 8665 0
vsize: 34912
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 216091 0 0 0 32495 512 0 0 25 0 1 0 912427853 35749888 8002 4294967295 134512640 134716908 3221224560 3221223024 1074121006 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8002 1111 63 0 8665 0
vsize: 34912
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 218310 0 0 0 33491 517 0 0 25 0 1 0 912427853 36331520 8084 4294967295 134512640 134716908 3221224560 3221220720 1074794571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8870 8084 1111 63 0 8807 0
vsize: 35480
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 220581 0 0 0 34486 522 0 0 25 0 1 0 912427853 36229120 8076 4294967295 134512640 134716908 3221224560 3221220832 1074961123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8845 8076 1111 63 0 8782 0
vsize: 35380
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 222692 0 0 0 35480 528 0 0 25 0 1 0 912427853 35749888 8002 4294967295 134512640 134716908 3221224560 3221222560 1074916750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8002 1111 63 0 8665 0
vsize: 34912
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 224926 0 0 0 36476 533 0 0 25 0 1 0 912427853 35749888 8002 4294967295 134512640 134716908 3221224560 3221220992 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8002 1111 63 0 8665 0
vsize: 34912
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 227068 0 0 0 37470 539 0 0 25 0 1 0 912427853 35749888 8002 4294967295 134512640 134716908 3221224560 3221222560 1074916565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8728 8002 1111 63 0 8665 0
vsize: 34912
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 229101 0 0 0 38465 544 0 0 25 0 1 0 912427853 36114432 8007 4294967295 134512640 134716908 3221224560 3221222672 1074867317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8817 8007 1111 63 0 8754 0
vsize: 35268
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 231208 0 0 0 39459 550 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221221904 1074839104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 233300 0 0 0 40454 555 0 0 25 0 1 0 912427853 36311040 8095 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8865 8095 1111 63 0 8802 0
vsize: 35460
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 235334 0 0 0 41450 560 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 237345 0 0 0 42444 566 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221222896 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 239426 0 0 0 43439 572 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221223324 134543553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 241481 0 0 0 44433 578 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221222896 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 243517 0 0 0 45428 584 0 0 25 0 1 0 912427853 35934208 8005 4294967295 134512640 134716908 3221224560 3221222288 1075828235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8773 8005 1111 63 0 8710 0
vsize: 35092
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 245618 0 0 0 46423 589 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221222896 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 247690 0 0 0 47418 594 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 249736 0 0 0 48413 600 0 0 25 0 1 0 912427853 35934208 8005 4294967295 134512640 134716908 3221224560 3221222288 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8773 8005 1111 63 0 8710 0
vsize: 35092
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 251845 0 0 0 49408 605 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221222764 1074206272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 253926 0 0 0 50403 610 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221221664 1074139124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 255984 0 0 0 51397 617 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221219708 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 258001 0 0 0 52392 622 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221221760 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 260074 0 0 0 53388 627 0 0 25 0 1 0 912427853 35934208 8005 4294967295 134512640 134716908 3221224560 3221222672 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8773 8005 1111 63 0 8710 0
vsize: 35092
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 262128 0 0 0 54383 632 0 0 25 0 1 0 912427853 35885056 8006 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 35044
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 263867 0 0 0 55377 638 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221221840 1074140070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 265547 0 0 0 56373 642 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221221032 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 267259 0 0 0 57370 646 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221222944 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 268858 0 0 0 58366 651 0 0 25 0 1 0 912427853 35749888 8003 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8003 1111 63 0 8665 0
vsize: 34912
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 270447 0 0 0 59362 655 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221221472 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 271976 0 0 0 60360 657 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 273116 0 0 0 61357 660 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 273925 0 0 0 62355 663 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 275030 0 0 0 63352 666 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 276138 0 0 0 64348 671 0 0 25 0 1 0 912427853 35934208 8006 4294967295 134512640 134716908 3221224560 3221222672 1074867212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8773 8006 1111 63 0 8710 0
vsize: 35092
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 277206 0 0 0 65345 674 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221222896 1074153767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 278064 0 0 0 66341 678 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 278846 0 0 0 67338 681 0 0 25 0 1 0 912427853 36020224 8025 4294967295 134512640 134716908 3221224560 3221220852 1075171853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8794 8025 1111 63 0 8731 0
vsize: 35176
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 279579 0 0 0 68336 684 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221223024 1074121052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 280328 0 0 0 69334 686 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221221184 1075895367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 281046 0 0 0 70332 688 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221222476 1074206265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 281775 0 0 0 71330 691 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221221992 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 282508 0 0 0 72329 692 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221221528 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 283228 0 0 0 73327 695 0 0 25 0 1 0 912427853 35749888 8004 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8004 1111 63 0 8665 0
vsize: 34912
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 283731 0 0 0 74326 696 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 283869 0 0 0 75326 697 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 284013 0 0 0 76325 698 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222288 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 284163 0 0 0 77325 699 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 284313 0 0 0 78324 699 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222696 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 284469 0 0 0 79323 701 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222304 1075640247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 284628 0 0 0 80323 701 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 284784 0 0 0 81322 703 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221221544 1074831565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 284937 0 0 0 82322 703 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222520 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 285102 0 0 0 83321 705 0 0 25 0 1 0 912427853 35885056 8008 4294967295 134512640 134716908 3221224560 3221220524 1074860598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 8008 1111 63 0 8698 0
vsize: 35044
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 285258 0 0 0 84320 706 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222896 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 285426 0 0 0 85320 706 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 285585 0 0 0 86319 707 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222896 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 285744 0 0 0 87318 708 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221223200 134651142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 285906 0 0 0 88318 709 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222472 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 286079 0 0 0 89317 710 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 286256 0 0 0 90316 711 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 286450 0 0 0 91316 712 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222296 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 286777 0 0 0 92315 713 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222320 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 287132 0 0 0 93314 715 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222944 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 287707 0 0 0 94311 718 0 0 25 0 1 0 912427853 35885056 8008 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 8008 1111 63 0 8698 0
vsize: 35044
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 287857 0 0 0 95311 719 0 0 25 0 1 0 912427853 35885056 8008 4294967295 134512640 134716908 3221224560 3221220832 1074799138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 8008 1111 63 0 8698 0
vsize: 35044
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 288007 0 0 0 96310 720 0 0 25 0 1 0 912427853 35885056 8008 4294967295 134512640 134716908 3221224560 3221221592 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 8008 1111 63 0 8698 0
vsize: 35044
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 288157 0 0 0 97309 721 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 288310 0 0 0 98309 721 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222976 1074116666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 288558 0 0 0 99309 722 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222960 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 288966 0 0 0 100308 723 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222272 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 289357 0 0 0 101307 725 0 0 25 0 1 0 912427853 36052992 8017 4294967295 134512640 134716908 3221224560 3221220524 1074860637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8802 8017 1111 63 0 8739 0
vsize: 35208
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 289774 0 0 0 102306 726 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222832 1074056231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 290152 0 0 0 103305 728 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222368 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 290555 0 0 0 104304 729 0 0 25 0 1 0 912427853 36052992 8016 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8802 8016 1111 63 0 8739 0
vsize: 35208
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 290858 0 0 0 105303 730 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222672 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 291154 0 0 0 106302 732 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 291387 0 0 0 107301 733 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221223104 134652450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 291676 0 0 0 108300 734 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222288 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 292040 0 0 0 109299 736 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222416 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 292542 0 0 0 110297 738 0 0 25 0 1 0 912427853 35885056 8008 4294967295 134512640 134716908 3221224560 3221220720 1075084537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 8008 1111 63 0 8698 0
vsize: 35044
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 293040 0 0 0 111295 740 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 293611 0 0 0 112294 742 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222912 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 294312 0 0 0 113291 745 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222288 1075829542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 294534 0 0 0 114290 746 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222384 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 294830 0 0 0 115288 749 0 0 25 0 1 0 912427853 35749888 8005 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8728 8005 1111 63 0 8665 0
vsize: 34912
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 295212 0 0 0 116287 750 0 0 25 0 1 0 912427853 35885056 8008 4294967295 134512640 134716908 3221224560 3221221060 1076048774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 8008 1111 63 0 8698 0
vsize: 35044
[startup+1174.8 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 15390
Raw data (stat): 15390 (bsolo_lpr_cuts-) R 15389 25568 25567 0 -1 0 295212 0 0 0 116287 750 0 0 25 0 1 0 912427853 35885056 8008 4294967295 134512640 134716908 3221224560 3221221060 1076048774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 8008 1111 63 0 8698 0
vsize: 0

Child status: 0
Real time (s): 1174.8
CPU time (s): 1175.15
CPU user time (s): 1167.63
CPU system time (s): 7.51986
CPU usage (%): 100.029
Max. virtual memory (Kb): 35520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####