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-ran8x32.opb
MD5SUM	ff0017de67077abd1f68238274b64e50
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1695644
Optimality of the best value was proved	NO
Number of terms in the objective function	5376
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	1517603678
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	1517603678
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	1189.03
Number of variables	5376
Total number of constraints	296
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	296
Minimum length of a constraint	21
Maximum length of a constraint	640
Trace number 41642

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 18:45:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29706 boxname=wulflinc2 idbench=1490 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ff0017de67077abd1f68238274b64e50  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran8x32.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran8x32.opb
IDLAUNCH: 29706
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        870208 kB
Buffers:         22068 kB
Cached:         121400 kB
SwapCached:       1440 kB
Active:          27924 kB
Inactive:       117612 kB
HighTotal:      131008 kB
HighFree:        49000 kB
LowTotal:       903652 kB
LowFree:        821208 kB
SwapTotal:     2097136 kB
SwapFree:      2094656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13124 kB
Committed_AS:    71856 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:05:03 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 29706 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5376 variables and 336 constraints.
c After prepocess the problem consists of 2981 variables and 408 constraints.
c preprocess terminated 6.432 s
c Initial Lower Bound: 632011
c Lower Bound Elapsed time: 0.395
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.11 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.91 1/54 31820
Raw data (stat): 31820 (runsolver) D 31819 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 912542715 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99949 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 9640 0 0 0 974 22 0 0 25 0 1 0 912542715 33333248 7403 4294967295 134512640 134716908 3221224560 3221218880 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7403 1111 63 0 8075 0
vsize: 32552
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 14720 0 0 0 1962 35 0 0 25 0 1 0 912542715 33591296 7466 4294967295 134512640 134716908 3221224560 3221222560 1074916681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8201 7466 1111 63 0 8138 0
vsize: 32804
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 19606 0 0 0 2949 47 0 0 25 0 1 0 912542715 33939456 7475 4294967295 134512640 134716908 3221224560 3221222288 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8286 7475 1111 63 0 8223 0
vsize: 33144
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 25285 0 0 0 3935 62 0 0 25 0 1 0 912542715 33939456 7475 4294967295 134512640 134716908 3221224560 3221222288 1075828232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8286 7475 1111 63 0 8223 0
vsize: 33144
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 31144 0 0 0 4920 77 0 0 25 0 1 0 912542715 33333248 7404 4294967295 134512640 134716908 3221224560 3221221864 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7404 1111 63 0 8075 0
vsize: 32552
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 36955 0 0 0 5905 92 0 0 25 0 1 0 912542715 34222080 7579 4294967295 134512640 134716908 3221224560 3221220524 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8355 7579 1111 63 0 8292 0
vsize: 33420
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 42858 0 0 0 6890 107 0 0 25 0 1 0 912542715 33333248 7404 4294967295 134512640 134716908 3221224560 3221222848 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7404 1111 63 0 8075 0
vsize: 32552
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 48884 0 0 0 7875 122 0 0 25 0 1 0 912542715 34217984 7579 4294967295 134512640 134716908 3221224560 3221221480 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8294 7546 1111 63 0 8231 0
vsize: 33416
[startup+90.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 54724 0 0 0 8861 137 0 0 25 0 1 0 912542715 33333248 7408 4294967295 134512640 134716908 3221224560 3221219120 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7408 1111 63 0 8075 0
vsize: 32552
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 60702 0 0 0 9847 151 0 0 25 0 1 0 912542715 33333248 7408 4294967295 134512640 134716908 3221224560 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7408 1111 63 0 8075 0
vsize: 32552
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 66620 0 0 0 10834 164 0 0 25 0 1 0 912542715 33333248 7408 4294967295 134512640 134716908 3221224560 3221222848 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7408 1111 63 0 8075 0
vsize: 32552
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 72504 0 0 0 11820 179 0 0 25 0 1 0 912542715 33333248 7408 4294967295 134512640 134716908 3221224560 3221222128 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7408 1111 63 0 8075 0
vsize: 32552
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 78611 0 0 0 12804 195 0 0 25 0 1 0 912542715 33452032 7437 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7437 1111 63 0 8104 0
vsize: 32668
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 84598 0 0 0 13789 210 0 0 25 0 1 0 912542715 34197504 7576 4294967295 134512640 134716908 3221224560 3221220656 1074878979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8349 7576 1111 63 0 8286 0
vsize: 33396
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 90432 0 0 0 14776 223 0 0 25 0 1 0 912542715 33624064 7447 4294967295 134512640 134716908 3221224560 3221222560 1074916540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8209 7447 1111 63 0 8146 0
vsize: 32836
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 96426 0 0 0 15762 238 0 0 25 0 1 0 912542715 34013184 7496 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8304 7500 1111 63 0 8241 0
vsize: 33216
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 102393 0 0 0 16748 252 0 0 25 0 1 0 912542715 33447936 7417 4294967295 134512640 134716908 3221224560 3221222976 1074116233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7417 1111 63 0 8103 0
vsize: 32664
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 108326 0 0 0 17733 267 0 0 25 0 1 0 912542715 33615872 7446 4294967295 134512640 134716908 3221224560 3221222560 1074916822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8207 7446 1111 63 0 8144 0
vsize: 32828
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 114262 0 0 0 18717 283 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 120203 0 0 0 19701 299 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222760 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 125720 0 0 0 20689 311 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 130929 0 0 0 21677 323 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222304 134652538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 136257 0 0 0 22664 337 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 141513 0 0 0 23651 350 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 146670 0 0 0 24637 364 0 0 25 0 1 0 912542715 33439744 7435 4294967295 134512640 134716908 3221224560 3221222960 1074118811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8164 7435 1111 63 0 8101 0
vsize: 32656
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 151724 0 0 0 25624 377 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 156687 0 0 0 26611 391 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222008 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 161683 0 0 0 27597 405 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 166647 0 0 0 28585 417 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 171778 0 0 0 29573 429 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 176877 0 0 0 30560 442 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222008 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 182054 0 0 0 31546 456 0 0 25 0 1 0 912542715 34025472 7536 4294967295 134512640 134716908 3221224560 3221220928 1075894562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8307 7536 1111 63 0 8244 0
vsize: 33228
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 187074 0 0 0 32534 469 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222864 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 192191 0 0 0 33521 482 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 197251 0 0 0 34509 495 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 202385 0 0 0 35498 507 0 0 25 0 1 0 912542715 33533952 7416 4294967295 134512640 134716908 3221224560 3221222304 1075645384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8187 7416 1111 63 0 8124 0
vsize: 32748
[startup+370.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 207562 0 0 0 36485 521 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221223304 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 212638 0 0 0 37471 534 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221223104 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+390.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 217845 0 0 0 38459 547 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222720 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 222922 0 0 0 39447 559 0 0 25 0 1 0 912542715 34123776 7526 4294967295 134512640 134716908 3221224560 3221220632 1074950192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8331 7526 1111 63 0 8268 0
vsize: 33324
[startup+410.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 228018 0 0 0 40434 572 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222912 1074115317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 233078 0 0 0 41421 585 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222528 134652424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+430.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 238197 0 0 0 42407 600 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 243130 0 0 0 43394 612 0 0 25 0 1 0 912542715 33562624 7436 4294967295 134512640 134716908 3221224560 3221221904 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8194 7436 1111 63 0 8131 0
vsize: 32776
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 248118 0 0 0 44381 626 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222824 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 253065 0 0 0 45368 639 0 0 25 0 1 0 912542715 33333248 7409 4294967295 134512640 134716908 3221224560 3221222032 1073978466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7409 1111 63 0 8075 0
vsize: 32552
[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 258167 0 0 0 46354 653 0 0 25 0 1 0 912542715 34099200 7547 4294967295 134512640 134716908 3221224560 3221220720 1075093353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8325 7547 1111 63 0 8262 0
vsize: 33300
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 264033 0 0 0 47339 668 0 0 25 0 1 0 912542715 33333248 7410 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 270669 0 0 0 48321 686 0 0 25 0 1 0 912542715 33333248 7410 4294967295 134512640 134716908 3221224560 3221220880 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 277967 0 0 0 49302 706 0 0 25 0 1 0 912542715 33333248 7410 4294967295 134512640 134716908 3221224560 3221222808 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 285940 0 0 0 50282 726 0 0 25 0 1 0 912542715 34385920 7583 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8395 7583 1111 63 0 8332 0
vsize: 33580
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 293516 0 0 0 51265 743 0 0 25 0 1 0 912542715 33333248 7410 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 300729 0 0 0 52248 761 0 0 25 0 1 0 912542715 33579008 7470 4294967295 134512640 134716908 3221224560 3221222528 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8198 7470 1111 63 0 8135 0
vsize: 32792
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 307371 0 0 0 53231 778 0 0 25 0 1 0 912542715 33959936 7532 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8291 7535 1111 63 0 8228 0
vsize: 33164
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 314260 0 0 0 54215 794 0 0 25 0 1 0 912542715 33579008 7470 4294967295 134512640 134716908 3221224560 3221223088 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8198 7470 1111 63 0 8135 0
vsize: 32792
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 321182 0 0 0 55196 813 0 0 25 0 1 0 912542715 33579008 7470 4294967295 134512640 134716908 3221224560 3221222896 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8198 7470 1111 63 0 8135 0
vsize: 32792
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 328311 0 0 0 56178 831 0 0 25 0 1 0 912542715 33914880 7525 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8280 7529 1111 63 0 8217 0
vsize: 33120
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 335759 0 0 0 57158 851 0 0 25 0 1 0 912542715 33701888 7500 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8228 7500 1111 63 0 8165 0
vsize: 32912
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 343420 0 0 0 58139 870 0 0 25 0 1 0 912542715 33579008 7470 4294967295 134512640 134716908 3221224560 3221222384 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8198 7470 1111 63 0 8135 0
vsize: 32792
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 350986 0 0 0 59119 891 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222368 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 359878 0 0 0 60096 914 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222560 1074052264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 366013 0 0 0 61079 931 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 372479 0 0 0 62062 949 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 378116 0 0 0 63045 966 0 0 25 0 1 0 912542715 33742848 7510 4294967295 134512640 134716908 3221224560 3221223360 134597591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8238 7510 1111 63 0 8175 0
vsize: 32952
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 383765 0 0 0 64029 982 0 0 25 0 1 0 912542715 34271232 7563 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7563 1111 63 0 8304 0
vsize: 33468
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 389400 0 0 0 65015 996 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 394545 0 0 0 66001 1009 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222184 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 399802 0 0 0 66987 1024 0 0 25 0 1 0 912542715 34492416 7597 4294967295 134512640 134716908 3221224560 3221221584 1074810544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8421 7597 1111 63 0 8358 0
vsize: 33684
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 405369 0 0 0 67974 1037 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221220992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 411179 0 0 0 68959 1053 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222864 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 416867 0 0 0 69944 1068 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221219896 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 422217 0 0 0 70931 1081 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222192 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 427369 0 0 0 71917 1096 0 0 25 0 1 0 912542715 33742848 7510 4294967295 134512640 134716908 3221224560 3221223276 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8238 7510 1111 63 0 8175 0
vsize: 32952
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 432980 0 0 0 72903 1109 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222680 1077378485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 438762 0 0 0 73888 1124 0 0 25 0 1 0 912542715 33886208 7540 4294967295 134512640 134716908 3221224560 3221221664 1074138928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8273 7540 1111 63 0 8210 0
vsize: 33092
[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 444340 0 0 0 74875 1138 0 0 25 0 1 0 912542715 33742848 7510 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8238 7510 1111 63 0 8175 0
vsize: 32952
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 449494 0 0 0 75861 1151 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222664 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 454716 0 0 0 76849 1165 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222240 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 459968 0 0 0 77835 1178 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222776 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 465357 0 0 0 78820 1194 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222488 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 470792 0 0 0 79806 1208 0 0 25 0 1 0 912542715 33742848 7510 4294967295 134512640 134716908 3221224560 3221223236 134553609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8238 7510 1111 63 0 8175 0
vsize: 32952
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 475543 0 0 0 80793 1221 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222864 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 480542 0 0 0 81782 1232 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222896 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 484870 0 0 0 82769 1245 0 0 25 0 1 0 912542715 33685504 7496 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7496 1111 63 0 8161 0
vsize: 32896
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 488867 0 0 0 83760 1255 0 0 25 0 1 0 912542715 34148352 7520 4294967295 134512640 134716908 3221224560 3221221600 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8337 7520 1111 63 0 8274 0
vsize: 33348
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 492447 0 0 0 84750 1264 0 0 25 0 1 0 912542715 34525184 7701 4294967295 134512640 134716908 3221224560 3221223264 134654843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7701 1111 63 0 8366 0
vsize: 33716
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31820
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 495195 0 0 0 85743 1272 0 0 25 0 1 0 912542715 34525184 7701 4294967295 134512640 134716908 3221224560 3221222432 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7701 1111 63 0 8366 0
vsize: 33716
[startup+880.035 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31873
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 498851 0 0 0 86732 1283 0 0 25 0 1 0 912542715 34525184 7701 4294967295 134512640 134716908 3221224560 3221222696 1077377311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7701 1111 63 0 8366 0
vsize: 33716
[startup+890.036 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 31873
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 503258 0 0 0 87718 1297 0 0 25 0 1 0 912542715 34680832 7717 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8467 7718 1111 63 0 8404 0
vsize: 33868
[startup+900.036 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31873
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 507858 0 0 0 88707 1308 0 0 25 0 1 0 912542715 34525184 7701 4294967295 134512640 134716908 3221224560 3221222864 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7701 1111 63 0 8366 0
vsize: 33716
[startup+910.036 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31873
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 512151 0 0 0 89696 1319 0 0 25 0 1 0 912542715 34525184 7701 4294967295 134512640 134716908 3221224560 3221222864 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7701 1111 63 0 8366 0
vsize: 33716
[startup+920.037 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31873
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 515115 0 0 0 90688 1328 0 0 25 0 1 0 912542715 34525184 7701 4294967295 134512640 134716908 3221224560 3221223344 134624483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7701 1111 63 0 8366 0
vsize: 33716
[startup+930.037 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31873
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 518092 0 0 0 91679 1337 0 0 25 0 1 0 912542715 34525184 7701 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7701 1111 63 0 8366 0
vsize: 33716
[startup+940.036 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31873
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 520802 0 0 0 92671 1345 0 0 25 0 1 0 912542715 34525184 7701 4294967295 134512640 134716908 3221224560 3221222608 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7701 1111 63 0 8366 0
vsize: 33716
[startup+950.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31873
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 523288 0 0 0 93663 1353 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222560 1074056223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+960.038 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 525604 0 0 0 94657 1359 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221221456 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+970.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 528066 0 0 0 95648 1368 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+980.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 530515 0 0 0 96641 1376 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221223024 1074121006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+990.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 532945 0 0 0 97633 1384 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221221472 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1000.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 535487 0 0 0 98625 1392 0 0 25 0 1 0 912542715 34570240 7703 4294967295 134512640 134716908 3221224560 3221223008 1073990196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8440 7703 1111 63 0 8377 0
vsize: 33760
[startup+1010.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 538190 0 0 0 99616 1401 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 541016 0 0 0 100607 1410 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222976 1074116184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 544049 0 0 0 101598 1420 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222560 1074056544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 546897 0 0 0 102590 1428 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222960 1074118792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 549739 0 0 0 103578 1440 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222400 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 552597 0 0 0 104569 1450 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222424 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 555584 0 0 0 105558 1461 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 558696 0 0 0 106548 1470 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 562043 0 0 0 107540 1479 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221221712 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 565441 0 0 0 108531 1488 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222960 1074119053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 568708 0 0 0 109523 1497 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222368 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 571937 0 0 0 110515 1505 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222424 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 575008 0 0 0 111507 1513 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222504 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 578310 0 0 0 112497 1522 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222896 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 581655 0 0 0 113487 1533 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 584932 0 0 0 114480 1540 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221223200 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 588118 0 0 0 115470 1550 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221223176 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 33716
[startup+1174.97 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 31875
Raw data (stat): 31820 (bsolo_lpr_cuts-) R 31819 31399 31398 0 -1 0 588118 0 0 0 115470 1550 0 0 25 0 1 0 912542715 34525184 7702 4294967295 134512640 134716908 3221224560 3221223176 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8429 7702 1111 63 0 8366 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.14
CPU user time (s): 1159.56
CPU system time (s): 15.5796
CPU usage (%): 100.014
Max. virtual memory (Kb): 33868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####