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/miplib3/normalized-mps-v2-20-10-fiber.opb
MD5SUM	665f67f4b53c876b2782c354a2ecbf32
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	95.7554
Number of variables	2574
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 41192

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 07:36:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29243 boxname=wulflinc6 idbench=1027 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  665f67f4b53c876b2782c354a2ecbf32  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 29243
/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:        593996 kB
Buffers:         16656 kB
Cached:         402788 kB
SwapCached:        932 kB
Active:          29256 kB
Inactive:       392228 kB
HighTotal:      131008 kB
HighFree:        18228 kB
LowTotal:       903652 kB
LowFree:        575768 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13476 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:56:34 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 29243 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2574 variables and 711 constraints.
c After prepocess the problem consists of 2066 variables and 590 constraints.
c preprocess terminated 1.275 s
c Initial Lower Bound: 16001051
c Lower Bound Elapsed time: 0.2916
c Use computed LB before first solution.
#### 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 8446
Raw data (stat): 8446 (runsolver) R 8445 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908523911 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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+9.99981 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 13147 0 0 0 969 29 0 0 25 0 1 0 908523911 43462656 9918 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10611 9918 1111 63 0 10548 0
vsize: 42444
[startup+19.9999 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 16325 0 0 0 1961 37 0 0 25 0 1 0 908523911 43630592 9945 4294967295 134512640 134716908 3221224560 3221221752 1074138297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10652 9945 1111 63 0 10589 0
vsize: 42608
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 20196 0 0 0 2950 47 0 0 25 0 1 0 908523911 43978752 10045 4294967295 134512640 134716908 3221224560 3221222304 1075646787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10737 10045 1111 63 0 10674 0
vsize: 42948
[startup+40.0002 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 23452 0 0 0 3942 57 0 0 25 0 1 0 908523911 44425216 10144 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10846 10144 1111 63 0 10783 0
vsize: 43384
[startup+50.0004 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 27766 0 0 0 4932 67 0 0 25 0 1 0 908523911 45568000 10342 4294967295 134512640 134716908 3221224560 3221221600 1075971410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11125 10343 1111 63 0 11062 0
vsize: 44500
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 31658 0 0 0 5922 77 0 0 25 0 1 0 908523911 44654592 10188 4294967295 134512640 134716908 3221224560 3221222912 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10902 10188 1111 63 0 10839 0
vsize: 43608
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 35449 0 0 0 6913 86 0 0 25 0 1 0 908523911 44703744 10217 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10914 10217 1111 63 0 10851 0
vsize: 43656
[startup+80.0009 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 38535 0 0 0 7905 94 0 0 25 0 1 0 908523911 46301184 10583 4294967295 134512640 134716908 3221224560 3221220832 1074799477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11304 10583 1111 63 0 11241 0
vsize: 45216
[startup+90.0013 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 41632 0 0 0 8898 102 0 0 25 0 1 0 908523911 45244416 10357 4294967295 134512640 134716908 3221224560 3221222944 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11046 10357 1111 63 0 10983 0
vsize: 44184
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 44712 0 0 0 9891 109 0 0 25 0 1 0 908523911 46694400 10671 4294967295 134512640 134716908 3221224560 3221220764 1075564289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11400 10671 1111 63 0 11337 0
vsize: 45600
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 48764 0 0 0 10882 119 0 0 25 0 1 0 908523911 45252608 10359 4294967295 134512640 134716908 3221224560 3221221848 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11048 10359 1111 63 0 10985 0
vsize: 44192
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 52380 0 0 0 11873 128 0 0 25 0 1 0 908523911 47050752 10778 4294967295 134512640 134716908 3221224560 3221221328 1076084141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11487 10778 1111 63 0 11424 0
vsize: 45948
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 54043 0 0 0 12869 132 0 0 25 0 1 0 908523911 47181824 10795 4294967295 134512640 134716908 3221224560 3221220736 1074882630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11519 10795 1111 63 0 11456 0
vsize: 46076
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 58509 0 0 0 13860 142 0 0 25 0 1 0 908523911 45826048 10499 4294967295 134512640 134716908 3221224560 3221222656 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11188 10499 1111 63 0 11125 0
vsize: 44752
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 62377 0 0 0 14851 151 0 0 25 0 1 0 908523911 46186496 10587 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11276 10587 1111 63 0 11213 0
vsize: 45104
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 63732 0 0 0 15848 155 0 0 25 0 1 0 908523911 47603712 10912 4294967295 134512640 134716908 3221224560 3221220832 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11622 10912 1111 63 0 11559 0
vsize: 46488
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 67364 0 0 0 16841 162 0 0 25 0 1 0 908523911 46866432 10744 4294967295 134512640 134716908 3221224560 3221223016 134606836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11442 10744 1111 63 0 11379 0
vsize: 45768
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 70125 0 0 0 17835 169 0 0 25 0 1 0 908523911 47726592 10904 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11652 10904 1111 63 0 11589 0
vsize: 46608
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 73395 0 0 0 18827 176 0 0 25 0 1 0 908523911 46899200 10761 4294967295 134512640 134716908 3221224560 3221222336 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11450 10761 1111 63 0 11387 0
vsize: 45800
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 76523 0 0 0 19821 183 0 0 25 0 1 0 908523911 47968256 10981 4294967295 134512640 134716908 3221224560 3221222672 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11711 10981 1111 63 0 11648 0
vsize: 46844
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 80516 0 0 0 20812 192 0 0 25 0 1 0 908523911 48766976 11103 4294967295 134512640 134716908 3221224560 3221221152 1074887369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11906 11103 1111 63 0 11843 0
vsize: 47624
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 81837 0 0 0 21809 196 0 0 25 0 1 0 908523911 49000448 11225 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11963 11225 1111 63 0 11900 0
vsize: 47852
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 84817 0 0 0 22803 202 0 0 25 0 1 0 908523911 47587328 10905 4294967295 134512640 134716908 3221224560 3221223040 1074031964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11618 10905 1111 63 0 11555 0
vsize: 46472
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 87399 0 0 0 23796 209 0 0 25 0 1 0 908523911 47489024 10905 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11594 10905 1111 63 0 11531 0
vsize: 46376
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 91099 0 0 0 24789 217 0 0 25 0 1 0 908523911 47501312 10901 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11597 10901 1111 63 0 11534 0
vsize: 46388
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 93101 0 0 0 25784 222 0 0 25 0 1 0 908523911 48996352 11252 4294967295 134512640 134716908 3221224560 3221220444 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11962 11252 1111 63 0 11899 0
vsize: 47848
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 95666 0 0 0 26778 228 0 0 25 0 1 0 908523911 49131520 11263 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11995 11263 1111 63 0 11932 0
vsize: 47980
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 97102 0 0 0 27776 231 0 0 25 0 1 0 908523911 49295360 11314 4294967295 134512640 134716908 3221224560 3221220832 1074960781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12035 11314 1111 63 0 11972 0
vsize: 48140
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 101142 0 0 0 28766 241 0 0 25 0 1 0 908523911 49520640 11393 4294967295 134512640 134716908 3221224560 3221220416 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12090 11393 1111 63 0 12027 0
vsize: 48360
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 104738 0 0 0 29758 249 0 0 25 0 1 0 908523911 48214016 11059 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11771 11059 1111 63 0 11708 0
vsize: 47084
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 107618 0 0 0 30752 256 0 0 25 0 1 0 908523911 47837184 10990 4294967295 134512640 134716908 3221224560 3221222560 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11679 10990 1111 63 0 11616 0
vsize: 46716
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 110078 0 0 0 31748 261 0 0 25 0 1 0 908523911 49946624 11462 4294967295 134512640 134716908 3221224560 3221220564 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12194 11462 1111 63 0 12131 0
vsize: 48776
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 113070 0 0 0 32741 267 0 0 25 0 1 0 908523911 50442240 11565 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12315 11565 1111 63 0 12252 0
vsize: 49260
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 114673 0 0 0 33737 272 0 0 25 0 1 0 908523911 50421760 11621 4294967295 134512640 134716908 3221224560 3221220764 1075564289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12310 11621 1111 63 0 12247 0
vsize: 49240
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 117998 0 0 0 34730 280 0 0 25 0 1 0 908523911 50470912 11613 4294967295 134512640 134716908 3221224560 3221220416 1074871517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12322 11613 1111 63 0 12259 0
vsize: 49288
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 120730 0 0 0 35725 285 0 0 25 0 1 0 908523911 50020352 11486 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12212 11486 1111 63 0 12149 0
vsize: 48848
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 124693 0 0 0 36716 294 0 0 25 0 1 0 908523911 50761728 11646 4294967295 134512640 134716908 3221224560 3221220604 1074873534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12393 11646 1111 63 0 12330 0
vsize: 49572
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 125469 0 0 0 37715 295 0 0 25 0 1 0 908523911 48979968 11271 4294967295 134512640 134716908 3221224560 3221222712 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11958 11271 1111 63 0 11895 0
vsize: 47832
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 127947 0 0 0 38710 301 0 0 25 0 1 0 908523911 51048448 11731 4294967295 134512640 134716908 3221224560 3221220416 1074871521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12463 11731 1111 63 0 12400 0
vsize: 49852
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 131286 0 0 0 39702 309 0 0 25 0 1 0 908523911 51544064 11746 4294967295 134512640 134716908 3221224560 3221220464 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12584 11746 1111 63 0 12521 0
vsize: 50336
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 133907 0 0 0 40696 316 0 0 25 0 1 0 908523911 49324032 11360 4294967295 134512640 134716908 3221224560 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12042 11360 1111 63 0 11979 0
vsize: 48168
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 136660 0 0 0 41691 321 0 0 25 0 1 0 908523911 51216384 11802 4294967295 134512640 134716908 3221224560 3221220736 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12504 11802 1111 63 0 12441 0
vsize: 50016
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 141072 0 0 0 42681 332 0 0 25 0 1 0 908523911 49410048 11381 4294967295 134512640 134716908 3221224560 3221222944 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12063 11381 1111 63 0 12000 0
vsize: 48252
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 142206 0 0 0 43678 335 0 0 25 0 1 0 908523911 51748864 11911 4294967295 134512640 134716908 3221224560 3221220788 1075115057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12634 11911 1111 63 0 12571 0
vsize: 50536
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 144178 0 0 0 44673 340 0 0 25 0 1 0 908523911 51912704 11921 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12674 11921 1111 63 0 12611 0
vsize: 50696
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 147793 0 0 0 45664 349 0 0 25 0 1 0 908523911 51994624 11979 4294967295 134512640 134716908 3221224560 3221220564 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12694 11979 1111 63 0 12631 0
vsize: 50776
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 149204 0 0 0 46662 352 0 0 25 0 1 0 908523911 51490816 11889 4294967295 134512640 134716908 3221224560 3221222560 1074915844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12571 11889 1111 63 0 12508 0
vsize: 50284
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 151768 0 0 0 47657 357 0 0 25 0 1 0 908523911 52707328 12038 4294967295 134512640 134716908 3221224560 3221220832 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12868 12038 1111 63 0 12805 0
vsize: 51472
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 151847 0 0 0 48657 357 0 0 25 0 1 0 908523911 52334592 12023 4294967295 134512640 134716908 3221224560 3221220444 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12777 12023 1111 63 0 12714 0
vsize: 51108
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 155959 0 0 0 49648 366 0 0 25 0 1 0 908523911 52518912 12093 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12822 12093 1111 63 0 12759 0
vsize: 51288
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 156108 0 0 0 50648 367 0 0 25 0 1 0 908523911 53489664 12242 4294967295 134512640 134716908 3221224560 3221220416 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13059 12242 1111 63 0 12996 0
vsize: 52236
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 156667 0 0 0 51647 369 0 0 25 0 1 0 908523911 50327552 11607 4294967295 134512640 134716908 3221224560 3221221680 1074865165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12287 11607 1111 63 0 12224 0
vsize: 49148
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 160707 0 0 0 52638 378 0 0 25 0 1 0 908523911 53653504 12173 4294967295 134512640 134716908 3221224560 3221220572 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13099 12173 1111 63 0 13036 0
vsize: 52396
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 163835 0 0 0 53631 386 0 0 25 0 1 0 908523911 50282496 11596 4294967295 134512640 134716908 3221224560 3221222912 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12276 11596 1111 63 0 12213 0
vsize: 49104
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 167445 0 0 0 54623 393 0 0 25 0 1 0 908523911 53829632 12223 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13142 12223 1111 63 0 13079 0
vsize: 52568
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 167537 0 0 0 55623 393 0 0 25 0 1 0 908523911 53829632 12312 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13142 12312 1111 63 0 13079 0
vsize: 52568
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 167537 0 0 0 56624 394 0 0 25 0 1 0 908523911 53829632 12312 4294967295 134512640 134716908 3221224560 3221221216 1075967695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13142 12312 1111 63 0 13079 0
vsize: 52568
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 167537 0 0 0 57624 394 0 0 25 0 1 0 908523911 53829632 12312 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13142 12312 1111 63 0 13079 0
vsize: 52568
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 171007 0 0 0 58616 402 0 0 25 0 1 0 908523911 50794496 11699 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12401 11699 1111 63 0 12338 0
vsize: 49604
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 172449 0 0 0 59613 405 0 0 25 0 1 0 908523911 54018048 12328 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13188 12328 1111 63 0 13125 0
vsize: 52752
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 172453 0 0 0 60614 405 0 0 25 0 1 0 908523911 54018048 12332 4294967295 134512640 134716908 3221224560 3221220660 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13188 12332 1111 63 0 13125 0
vsize: 52752
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 172467 0 0 0 61614 405 0 0 25 0 1 0 908523911 54018048 12346 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13188 12346 1111 63 0 13125 0
vsize: 52752
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 175929 0 0 0 62606 413 0 0 25 0 1 0 908523911 50814976 11727 4294967295 134512640 134716908 3221224560 3221222480 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 11727 1111 63 0 12343 0
vsize: 49624
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 177395 0 0 0 63603 416 0 0 25 0 1 0 908523911 54226944 12364 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13239 12364 1111 63 0 13176 0
vsize: 52956
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 179281 0 0 0 64598 422 0 0 25 0 1 0 908523911 52367360 12106 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12785 12106 1111 63 0 12722 0
vsize: 51140
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 180246 0 0 0 65596 424 0 0 25 0 1 0 908523911 54394880 12427 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13280 12427 1111 63 0 13217 0
vsize: 53120
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 180252 0 0 0 66597 424 0 0 25 0 1 0 908523911 54394880 12433 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13280 12433 1111 63 0 13217 0
vsize: 53120
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 185040 0 0 0 67587 435 0 0 25 0 1 0 908523911 54497280 12401 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13305 12401 1111 63 0 13242 0
vsize: 53220
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 185097 0 0 0 68586 435 0 0 25 0 1 0 908523911 54497280 12458 4294967295 134512640 134716908 3221224560 3221220720 1074794560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13305 12458 1111 63 0 13242 0
vsize: 53220
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 185103 0 0 0 69587 435 0 0 25 0 1 0 908523911 54648832 12464 4294967295 134512640 134716908 3221224560 3221220496 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13342 12464 1111 63 0 13279 0
vsize: 53368
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 189987 0 0 0 70576 446 0 0 25 0 1 0 908523911 54837248 12578 4294967295 134512640 134716908 3221224560 3221220416 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13388 12578 1111 63 0 13325 0
vsize: 53552
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 190004 0 0 0 71577 446 0 0 25 0 1 0 908523911 54837248 12595 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13388 12595 1111 63 0 13325 0
vsize: 53552
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 190006 0 0 0 72577 446 0 0 25 0 1 0 908523911 54837248 12597 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13388 12597 1111 63 0 13325 0
vsize: 53552
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 195014 0 0 0 73564 460 0 0 25 0 1 0 908523911 55050240 12536 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13440 12536 1111 63 0 13377 0
vsize: 53760
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 202359 0 0 0 74547 477 0 0 25 0 1 0 908523911 56360960 12614 4294967295 134512640 134716908 3221224560 3221220604 1074873379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13760 12614 1111 63 0 13697 0
vsize: 55040
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 202737 0 0 0 75547 478 0 0 25 0 1 0 908523911 55500800 12782 4294967295 134512640 134716908 3221224560 3221220416 1074871210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13550 12782 1111 63 0 13487 0
vsize: 54200
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 202738 0 0 0 76547 478 0 0 25 0 1 0 908523911 55500800 12783 4294967295 134512640 134716908 3221224560 3221220832 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13550 12783 1111 63 0 13487 0
vsize: 54200
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 205474 0 0 0 77541 484 0 0 25 0 1 0 908523911 55562240 12707 4294967295 134512640 134716908 3221224560 3221220788 1075115051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13565 12707 1111 63 0 13502 0
vsize: 54260
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 210730 0 0 0 78528 497 0 0 25 0 1 0 908523911 56578048 12726 4294967295 134512640 134716908 3221224560 3221220604 1074873501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13813 12726 1111 63 0 13750 0
vsize: 55252
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 210962 0 0 0 79528 498 0 0 25 0 1 0 908523911 55717888 12748 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13603 12748 1111 63 0 13540 0
vsize: 54412
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 210975 0 0 0 80528 498 0 0 25 0 1 0 908523911 55857152 12761 4294967295 134512640 134716908 3221224560 3221221152 1074885987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13637 12761 1111 63 0 13574 0
vsize: 54548
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 216313 0 0 0 81517 510 0 0 25 0 1 0 908523911 56180736 12855 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13716 12855 1111 63 0 13653 0
vsize: 54864
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 216323 0 0 0 82517 510 0 0 25 0 1 0 908523911 56320000 12865 4294967295 134512640 134716908 3221224560 3221220720 1074794568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13750 12865 1111 63 0 13687 0
vsize: 55000
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 221109 0 0 0 83506 521 0 0 25 0 1 0 908523911 53751808 12444 4294967295 134512640 134716908 3221224560 3221222912 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13123 12444 1111 63 0 13060 0
vsize: 52492
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 222128 0 0 0 84505 523 0 0 25 0 1 0 908523911 56426496 12944 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13776 12944 1111 63 0 13713 0
vsize: 55104
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 225097 0 0 0 85498 530 0 0 25 0 1 0 908523911 56438784 12979 4294967295 134512640 134716908 3221224560 3221220416 1074871210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13779 12979 1111 63 0 13716 0
vsize: 55116
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 225103 0 0 0 86498 530 0 0 25 0 1 0 908523911 56586240 12985 4294967295 134512640 134716908 3221224560 3221220832 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13815 12985 1111 63 0 13752 0
vsize: 55260
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 228138 0 0 0 87493 536 0 0 25 0 1 0 908523911 56619008 12966 4294967295 134512640 134716908 3221224560 3221220528 1074872805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13823 12966 1111 63 0 13760 0
vsize: 55292
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 232253 0 0 0 88484 546 0 0 25 0 1 0 908523911 52584448 12159 4294967295 134512640 134716908 3221224560 3221222224 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12838 12159 1111 63 0 12775 0
vsize: 51352
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 234130 0 0 0 89479 550 0 0 25 0 1 0 908523911 56868864 13024 4294967295 134512640 134716908 3221224560 3221220556 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13884 13024 1111 63 0 13821 0
vsize: 55536
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 234169 0 0 0 90479 551 0 0 25 0 1 0 908523911 56868864 13060 4294967295 134512640 134716908 3221224560 3221220528 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13884 13060 1111 63 0 13821 0
vsize: 55536
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 234175 0 0 0 91480 551 0 0 25 0 1 0 908523911 56868864 13066 4294967295 134512640 134716908 3221224560 3221220528 1074872781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13884 13066 1111 63 0 13821 0
vsize: 55536
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 234181 0 0 0 92480 551 0 0 25 0 1 0 908523911 56868864 13072 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13884 13072 1111 63 0 13821 0
vsize: 55536
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 237450 0 0 0 93473 558 0 0 25 0 1 0 908523911 57085952 13096 4294967295 134512640 134716908 3221224560 3221220800 1075088581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13937 13096 1111 63 0 13874 0
vsize: 55748
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 237529 0 0 0 94473 558 0 0 25 0 1 0 908523911 57085952 13175 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13937 13175 1111 63 0 13874 0
vsize: 55748
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 239763 0 0 0 95469 563 0 0 25 0 1 0 908523911 55279616 12817 4294967295 134512640 134716908 3221224560 3221222560 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13496 12817 1111 63 0 13433 0
vsize: 53984
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 241002 0 0 0 96466 566 0 0 25 0 1 0 908523911 57143296 13264 4294967295 134512640 134716908 3221224560 3221220392 1074789193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13951 13264 1111 63 0 13888 0
vsize: 55804
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 241002 0 0 0 97466 566 0 0 25 0 1 0 908523911 57143296 13264 4294967295 134512640 134716908 3221224560 3221220392 1074789239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13951 13264 1111 63 0 13888 0
vsize: 55804
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 241006 0 0 0 98467 566 0 0 25 0 1 0 908523911 57315328 13268 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13993 13268 1111 63 0 13930 0
vsize: 55972
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 241011 0 0 0 99467 566 0 0 25 0 1 0 908523911 57315328 13273 4294967295 134512640 134716908 3221224560 3221220768 1074815361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13993 13273 1111 63 0 13930 0
vsize: 55972
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 243172 0 0 0 100462 572 0 0 25 0 1 0 908523911 55394304 12845 4294967295 134512640 134716908 3221224560 3221222560 1074916799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13524 12845 1111 63 0 13461 0
vsize: 54096
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 247015 0 0 0 101453 581 0 0 25 0 1 0 908523911 58085376 13105 4294967295 134512640 134716908 3221224560 3221220604 1074873543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14181 13105 1111 63 0 14118 0
vsize: 56724
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 247258 0 0 0 102453 581 0 0 25 0 1 0 908523911 57225216 13138 4294967295 134512640 134716908 3221224560 3221220736 1074882630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13971 13138 1111 63 0 13908 0
vsize: 55884
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 250240 0 0 0 103446 589 0 0 25 0 1 0 908523911 58249216 13022 4294967295 134512640 134716908 3221224560 3221220832 1074961301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14221 13022 1111 63 0 14158 0
vsize: 56884
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 250598 0 0 0 104446 589 0 0 25 0 1 0 908523911 57389056 13167 4294967295 134512640 134716908 3221224560 3221220736 1074882630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14011 13167 1111 63 0 13948 0
vsize: 56044
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 253864 0 0 0 105439 596 0 0 25 0 1 0 908523911 57348096 13196 4294967295 134512640 134716908 3221224560 3221220416 1074870914 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14001 13196 1111 63 0 13938 0
vsize: 56004
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 253892 0 0 0 106440 596 0 0 25 0 1 0 908523911 57516032 13224 4294967295 134512640 134716908 3221224560 3221220736 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14042 13224 1111 63 0 13979 0
vsize: 56168
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 258338 0 0 0 107431 606 0 0 25 0 1 0 908523911 53940224 12474 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13169 12474 1111 63 0 13106 0
vsize: 52676
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 260382 0 0 0 108426 611 0 0 25 0 1 0 908523911 57831424 13389 4294967295 134512640 134716908 3221224560 3221220560 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14119 13389 1111 63 0 14056 0
vsize: 56476
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 260405 0 0 0 109426 611 0 0 25 0 1 0 908523911 57831424 13409 4294967295 134512640 134716908 3221224560 3221220392 1074789264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14119 13409 1111 63 0 14056 0
vsize: 56476
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 260405 0 0 0 110427 611 0 0 25 0 1 0 908523911 57831424 13409 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14119 13409 1111 63 0 14056 0
vsize: 56476
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 260410 0 0 0 111427 611 0 0 25 0 1 0 908523911 57978880 13414 4294967295 134512640 134716908 3221224560 3221220736 1074882614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14155 13414 1111 63 0 14092 0
vsize: 56620
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 265133 0 0 0 112416 623 0 0 25 0 1 0 908523911 53620736 12412 4294967295 134512640 134716908 3221224560 3221222240 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13091 12412 1111 63 0 13028 0
vsize: 52364
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 267091 0 0 0 113412 627 0 0 25 0 1 0 908523911 57827328 13287 4294967295 134512640 134716908 3221224560 3221220500 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14118 13287 1111 63 0 14055 0
vsize: 56472
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 267117 0 0 0 114412 627 0 0 25 0 1 0 908523911 57970688 13310 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14153 13310 1111 63 0 14090 0
vsize: 56612
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 268768 0 0 0 115407 633 0 0 25 0 1 0 908523911 53682176 12427 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13106 12427 1111 63 0 13043 0
vsize: 52424
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 270729 0 0 0 116402 638 0 0 25 0 1 0 908523911 58048512 13300 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14172 13300 1111 63 0 14109 0
vsize: 56688
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 273194 0 0 0 117396 644 0 0 25 0 1 0 908523911 55951360 12968 4294967295 134512640 134716908 3221224560 3221222560 1074916543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13660 12968 1111 63 0 13597 0
vsize: 54640
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 274350 0 0 0 118395 646 0 0 25 0 1 0 908523911 57946112 13302 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14147 13302 1111 63 0 14084 0
vsize: 56588
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) R 8445 25568 25567 0 -1 0 277743 0 0 0 119387 654 0 0 25 0 1 0 908523911 57982976 13272 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14156 13272 1111 63 0 14093 0
vsize: 56624
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 8446
Raw data (stat): 8446 (bsolo_lpr_cuts-) Z 8445 25568 25567 0 -1 1036 277743 0 0 0 119387 656 0 0 25 0 1 0 908523911 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.44
CPU user time (s): 1193.88
CPU system time (s): 6.567
CPU usage (%): 100.031
Max. virtual memory (Kb): 56884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####