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-ran10x26.opb
MD5SUM	f8a5d8e99e0f063cb10208b1e5f7bf38
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1277437
Optimality of the best value was proved	NO
Number of terms in the objective function	5460
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	1567797422
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	1567797422
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.04
Number of variables	5460
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	520
Trace number 26891

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 17:46:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19242 boxname=wulflinc4 idbench=1481 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  f8a5d8e99e0f063cb10208b1e5f7bf38  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran10x26.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran10x26.opb
IDLAUNCH: 19242
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        865384 kB
Buffers:         34112 kB
Cached:         114848 kB
SwapCached:        504 kB
Active:          58916 kB
Inactive:        92532 kB
HighTotal:      131008 kB
HighFree:        26208 kB
LowTotal:       903652 kB
LowFree:        839176 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5948 kB
Slab:            12184 kB
Committed_AS:    71860 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:05:43 (client local time) WITH STATUS 0 IN 1175.24 SECONDS
stats: 19242 7 1175.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5460 variables and 332 constraints.
c After prepocess the problem consists of 3050 variables and 409 constraints.
c preprocess terminated 8.76 s
c Initial Lower Bound: 493700
c Lower Bound Elapsed time: 0.844
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.21 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
Raw data (loadavg): 0.91 0.97 0.99 2/54 22234
Raw data (stat): 22234 (runsolver) R 22233 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773916184 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 8861 0 0 0 975 22 0 0 25 0 1 0 773916184 35778560 7905 4294967295 134512640 134714508 3221224576 3221223024 134648133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8735 7905 1111 63 0 8672 0
vsize: 34940
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 17523 0 0 0 1954 43 0 0 25 0 1 0 773916184 38555648 8613 4294967295 134512640 134714508 3221224576 3221220648 1074950198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9413 8613 1111 63 0 9350 0
vsize: 37652
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 24273 0 0 0 2940 58 0 0 25 0 1 0 773916184 37203968 8321 4294967295 134512640 134714508 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9083 8321 1111 63 0 9020 0
vsize: 36332
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 31176 0 0 0 3924 74 0 0 25 0 1 0 773916184 38551552 8615 4294967295 134512640 134714508 3221224576 3221220848 1074961205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9412 8615 1111 63 0 9349 0
vsize: 37648
[startup+50.0043 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 38119 0 0 0 4907 90 0 0 25 0 1 0 773916184 38465536 8534 4294967295 134512640 134714508 3221224576 3221222688 1074867328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9391 8534 1111 63 0 9328 0
vsize: 37564
[startup+60.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 45381 0 0 0 5889 109 0 0 25 0 1 0 773916184 38436864 8526 4294967295 134512640 134714508 3221224576 3221222304 1075828498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9384 8526 1111 63 0 9321 0
vsize: 37536
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 53028 0 0 0 6871 127 0 0 25 0 1 0 773916184 38465536 8565 4294967295 134512640 134714508 3221224576 3221221680 1074138623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9391 8565 1111 63 0 9328 0
vsize: 37564
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 60534 0 0 0 7855 143 0 0 25 0 1 0 773916184 38531072 8572 4294967295 134512640 134714508 3221224576 3221221560 1074831816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9407 8578 1111 63 0 9344 0
vsize: 37628
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 68003 0 0 0 8839 160 0 0 25 0 1 0 773916184 38531072 8597 4294967295 134512640 134714508 3221224576 3221220548 1074786482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9407 8597 1111 63 0 9344 0
vsize: 37628
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.99 3/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 75445 0 0 0 9824 175 0 0 25 0 1 0 773916184 38526976 8599 4294967295 134512640 134714508 3221224576 3221220668 1075663440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9406 8599 1111 63 0 9343 0
vsize: 37624
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 83176 0 0 0 10805 194 0 0 25 0 1 0 773916184 37199872 8324 4294967295 134512640 134714508 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8324 1111 63 0 9019 0
vsize: 36328
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 90517 0 0 0 11790 209 0 0 25 0 1 0 773916184 37212160 8327 4294967295 134512640 134714508 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9085 8327 1111 63 0 9022 0
vsize: 36340
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 98648 0 0 0 12772 228 0 0 25 0 1 0 773916184 37191680 8322 4294967295 134512640 134714508 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8322 1111 63 0 9017 0
vsize: 36320
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 106442 0 0 0 13753 246 0 0 25 0 1 0 773916184 38514688 8595 4294967295 134512640 134714508 3221224576 3221220780 1075563874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9403 8595 1111 63 0 9340 0
vsize: 37612
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 114304 0 0 0 14735 264 0 0 25 0 1 0 773916184 38416384 8522 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9379 8522 1111 63 0 9316 0
vsize: 37516
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 122204 0 0 0 15715 285 0 0 25 0 1 0 773916184 37191680 8322 4294967295 134512640 134714508 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8322 1111 63 0 9017 0
vsize: 36320
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 129794 0 0 0 16700 300 0 0 25 0 1 0 773916184 38432768 8557 4294967295 134512640 134714508 3221224576 3221221328 1074247419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9354 8557 1111 63 0 9291 0
vsize: 37532
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 137092 0 0 0 17685 315 0 0 25 0 1 0 773916184 38494208 8586 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9398 8586 1111 63 0 9335 0
vsize: 37592
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 144643 0 0 0 18667 333 0 0 25 0 1 0 773916184 37191680 8322 4294967295 134512640 134714508 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8322 1111 63 0 9017 0
vsize: 36320
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 152818 0 0 0 19648 353 0 0 25 0 1 0 773916184 38387712 8514 4294967295 134512640 134714508 3221224576 3221222224 1075818276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 8514 1111 63 0 9309 0
vsize: 37488
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 161303 0 0 0 20629 372 0 0 25 0 1 0 773916184 37052416 8288 4294967295 134512640 134714508 3221224576 3221222912 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8288 1111 63 0 8983 0
vsize: 36184
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 169713 0 0 0 21609 392 0 0 25 0 1 0 773916184 38481920 8590 4294967295 134512640 134714508 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9395 8590 1111 63 0 9332 0
vsize: 37580
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 177342 0 0 0 22592 410 0 0 25 0 1 0 773916184 38383616 8513 4294967295 134512640 134714508 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9371 8513 1111 63 0 9308 0
vsize: 37484
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 185066 0 0 0 23575 426 0 0 25 0 1 0 773916184 37203968 8325 4294967295 134512640 134714508 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9083 8325 1111 63 0 9020 0
vsize: 36332
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 193659 0 0 0 24557 445 0 0 25 0 1 0 773916184 37191680 8322 4294967295 134512640 134714508 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8322 1111 63 0 9017 0
vsize: 36320
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 202169 0 0 0 25537 464 0 0 25 0 1 0 773916184 37052416 8288 4294967295 134512640 134714508 3221224576 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8288 1111 63 0 8983 0
vsize: 36184
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 210741 0 0 0 26518 484 0 0 25 0 1 0 773916184 37195776 8323 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9081 8323 1111 63 0 9018 0
vsize: 36324
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 219252 0 0 0 27498 505 0 0 25 0 1 0 773916184 37208064 8326 4294967295 134512640 134714508 3221224576 3221221728 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9084 8326 1111 63 0 9021 0
vsize: 36336
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 228159 0 0 0 28479 523 0 0 25 0 1 0 773916184 37511168 8391 4294967295 134512640 134714508 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8395 1111 63 0 9095 0
vsize: 36632
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 236767 0 0 0 29459 543 0 0 25 0 1 0 773916184 37199872 8324 4294967295 134512640 134714508 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8324 1111 63 0 9019 0
vsize: 36328
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 245816 0 0 0 30439 564 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 254783 0 0 0 31420 583 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 263857 0 0 0 32401 602 0 0 25 0 1 0 773916184 37502976 8377 4294967295 134512640 134714508 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9156 8382 1111 63 0 9093 0
vsize: 36624
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 273229 0 0 0 33380 623 0 0 25 0 1 0 773916184 38420480 8578 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9380 8578 1111 63 0 9317 0
vsize: 37520
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 282381 0 0 0 34358 645 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 291261 0 0 0 35337 667 0 0 25 0 1 0 773916184 37269504 8343 4294967295 134512640 134714508 3221224576 3221219952 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9099 8343 1111 63 0 9036 0
vsize: 36396
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 300246 0 0 0 36318 686 0 0 25 0 1 0 773916184 38309888 8498 4294967295 134512640 134714508 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9353 8498 1111 63 0 9290 0
vsize: 37412
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 309572 0 0 0 37296 708 0 0 25 0 1 0 773916184 37380096 8370 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8370 1111 63 0 9063 0
vsize: 36504
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 318271 0 0 0 38277 727 0 0 25 0 1 0 773916184 37191680 8324 4294967295 134512640 134714508 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8324 1111 63 0 9017 0
vsize: 36320
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 326938 0 0 0 39260 745 0 0 25 0 1 0 773916184 37187584 8323 4294967295 134512640 134714508 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8323 1111 63 0 9016 0
vsize: 36316
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 336282 0 0 0 40239 766 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 345581 0 0 0 41218 787 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 354792 0 0 0 42197 808 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222880 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 364028 0 0 0 43178 828 0 0 25 0 1 0 773916184 37220352 8331 4294967295 134512640 134714508 3221224576 3221221904 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9087 8331 1111 63 0 9024 0
vsize: 36348
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 373345 0 0 0 44157 849 0 0 25 0 1 0 773916184 38260736 8488 4294967295 134512640 134714508 3221224576 3221222688 1074867299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9341 8488 1111 63 0 9278 0
vsize: 37364
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 382196 0 0 0 45137 869 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 391470 0 0 0 46118 888 0 0 25 0 1 0 773916184 37781504 8468 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9224 8468 1111 63 0 9161 0
vsize: 36896
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 400903 0 0 0 47096 910 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 410412 0 0 0 48075 932 0 0 25 0 1 0 773916184 37359616 8365 4294967295 134512640 134714508 3221224576 3221223280 134652516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9121 8365 1111 63 0 9058 0
vsize: 36484
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 419454 0 0 0 49054 952 0 0 25 0 1 0 773916184 37564416 8415 4294967295 134512640 134714508 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9171 8415 1111 63 0 9108 0
vsize: 36684
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 428928 0 0 0 50033 973 0 0 25 0 1 0 773916184 37765120 8464 4294967295 134512640 134714508 3221224576 3221222576 1074918260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9220 8464 1111 63 0 9157 0
vsize: 36880
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 438363 0 0 0 51011 996 0 0 25 0 1 0 773916184 38252544 8460 4294967295 134512640 134714508 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9339 8465 1111 63 0 9276 0
vsize: 37356
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 447616 0 0 0 51992 1015 0 0 25 0 1 0 773916184 37752832 8461 4294967295 134512640 134714508 3221224576 3221222480 1075460179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9217 8461 1111 63 0 9154 0
vsize: 36868
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 457014 0 0 0 52971 1036 0 0 25 0 1 0 773916184 38350848 8530 4294967295 134512640 134714508 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9363 8538 1111 63 0 9300 0
vsize: 37452
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 466496 0 0 0 53952 1056 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 475835 0 0 0 54930 1078 0 0 25 0 1 0 773916184 37818368 8415 4294967295 134512640 134714508 3221224576 3221221688 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9233 8415 1111 63 0 9170 0
vsize: 36932
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 485359 0 0 0 55906 1102 0 0 25 0 1 0 773916184 37244928 8337 4294967295 134512640 134714508 3221224576 3221220128 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8337 1111 63 0 9030 0
vsize: 36372
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 495010 0 0 0 56883 1125 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 504534 0 0 0 57863 1145 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 514060 0 0 0 58843 1165 0 0 25 0 1 0 773916184 37748736 8417 4294967295 134512640 134714508 3221224576 3221221496 1074950124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9216 8417 1111 63 0 9153 0
vsize: 36864
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 523349 0 0 0 59824 1185 0 0 25 0 1 0 773916184 38256640 8535 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9340 8535 1111 63 0 9277 0
vsize: 37360
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 532555 0 0 0 60804 1205 0 0 25 0 1 0 773916184 37711872 8451 4294967295 134512640 134714508 3221224576 3221222576 1074916908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9207 8451 1111 63 0 9144 0
vsize: 36828
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 542043 0 0 0 61784 1225 0 0 25 0 1 0 773916184 38240256 8524 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9336 8525 1111 63 0 9273 0
vsize: 37344
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 551557 0 0 0 62764 1246 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 560745 0 0 0 63744 1265 0 0 25 0 1 0 773916184 37203968 8327 4294967295 134512640 134714508 3221224576 3221221840 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9083 8327 1111 63 0 9020 0
vsize: 36332
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 570378 0 0 0 64725 1285 0 0 25 0 1 0 773916184 37236736 8335 4294967295 134512640 134714508 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 8335 1111 63 0 9028 0
vsize: 36364
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 579936 0 0 0 65703 1307 0 0 25 0 1 0 773916184 38146048 8460 4294967295 134512640 134714508 3221224576 3221222224 1075821198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9313 8460 1111 63 0 9250 0
vsize: 37252
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 589434 0 0 0 66682 1328 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221221872 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 598980 0 0 0 67663 1347 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222880 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 608230 0 0 0 68645 1366 0 0 25 0 1 0 773916184 38174720 8514 4294967295 134512640 134714508 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9320 8514 1111 63 0 9257 0
vsize: 37280
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 617286 0 0 0 69625 1386 0 0 25 0 1 0 773916184 37228544 8333 4294967295 134512640 134714508 3221224576 3221220800 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9089 8333 1111 63 0 9026 0
vsize: 36356
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 626777 0 0 0 70606 1405 0 0 25 0 1 0 773916184 37949440 8434 4294967295 134512640 134714508 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9265 8434 1111 63 0 9202 0
vsize: 37060
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 636469 0 0 0 71584 1428 0 0 25 0 1 0 773916184 37224448 8332 4294967295 134512640 134714508 3221224576 3221223216 134649075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9088 8332 1111 63 0 9025 0
vsize: 36352
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 645630 0 0 0 72563 1449 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 654991 0 0 0 73545 1467 0 0 25 0 1 0 773916184 37691392 8397 4294967295 134512640 134714508 3221224576 3221221688 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9202 8397 1111 63 0 9139 0
vsize: 36808
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 664339 0 0 0 74525 1487 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222048 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 673886 0 0 0 75503 1509 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 683329 0 0 0 76482 1530 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222868 1074152876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 692952 0 0 0 77461 1552 0 0 25 0 1 0 773916184 37990400 8472 4294967295 134512640 134714508 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9275 8475 1111 63 0 9212 0
vsize: 37100
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 702448 0 0 0 78441 1572 0 0 25 0 1 0 773916184 37212160 8329 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9085 8329 1111 63 0 9022 0
vsize: 36340
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 712073 0 0 0 79422 1591 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222208 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 721772 0 0 0 80401 1612 0 0 25 0 1 0 773916184 37203968 8327 4294967295 134512640 134714508 3221224576 3221220680 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9083 8327 1111 63 0 9020 0
vsize: 36332
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22234
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 731517 0 0 0 81381 1632 0 0 25 0 1 0 773916184 38105088 8480 4294967295 134512640 134714508 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9303 8480 1111 63 0 9240 0
vsize: 37212
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.99 3/58 22284
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 740980 0 0 0 82355 1658 0 0 25 0 1 0 773916184 37363712 8340 4294967295 134512640 134714508 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9122 8345 1111 63 0 9059 0
vsize: 36488
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22287
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 750951 0 0 0 83335 1678 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221215500 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22287
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 760689 0 0 0 84312 1702 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222888 1077410289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22287
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 770320 0 0 0 85292 1722 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+880.034 s]
Raw data (loadavg): 1.15 1.00 1.00 2/54 22287
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 780131 0 0 0 86267 1747 0 0 25 0 1 0 773916184 38076416 8483 4294967295 134512640 134714508 3221224576 3221220608 1075965311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9296 8483 1111 63 0 9233 0
vsize: 37184
[startup+890.035 s]
Raw data (loadavg): 1.12 1.00 1.00 2/54 22287
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 789761 0 0 0 87247 1767 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+900.035 s]
Raw data (loadavg): 1.10 1.00 1.00 2/54 22287
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 799137 0 0 0 88226 1788 0 0 25 0 1 0 773916184 38137856 8473 4294967295 134512640 134714508 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9311 8473 1111 63 0 9248 0
vsize: 37244
[startup+910.035 s]
Raw data (loadavg): 1.09 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 808163 0 0 0 89206 1808 0 0 25 0 1 0 773916184 37806080 8400 4294967295 134512640 134714508 3221224576 3221222496 1075799685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9230 8400 1111 63 0 9167 0
vsize: 36920
[startup+920.035 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 816851 0 0 0 90187 1828 0 0 25 0 1 0 773916184 37519360 8367 4294967295 134512640 134714508 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9160 8368 1111 63 0 9097 0
vsize: 36640
[startup+930.036 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 825093 0 0 0 91169 1845 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221205128 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+940.036 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 832522 0 0 0 92153 1862 0 0 25 0 1 0 773916184 37052416 8290 4294967295 134512640 134714508 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+950.036 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 840064 0 0 0 93136 1879 0 0 25 0 1 0 773916184 37490688 8365 4294967295 134512640 134714508 3221224576 3221222576 1074918290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9153 8365 1111 63 0 9090 0
vsize: 36612
[startup+960.037 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 847518 0 0 0 94121 1894 0 0 25 0 1 0 773916184 37052416 8292 4294967295 134512640 134714508 3221224576 3221221200 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+970.037 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 854803 0 0 0 95106 1910 0 0 25 0 1 0 773916184 37883904 8432 4294967295 134512640 134714508 3221224576 3221221680 1074138752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9249 8432 1111 63 0 9186 0
vsize: 36996
[startup+980.037 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 861776 0 0 0 96090 1926 0 0 25 0 1 0 773916184 37289984 8350 4294967295 134512640 134714508 3221224576 3221222856 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9104 8350 1111 63 0 9041 0
vsize: 36416
[startup+990.038 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 868709 0 0 0 97072 1944 0 0 25 0 1 0 773916184 37285888 8346 4294967295 134512640 134714508 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9103 8346 1111 63 0 9040 0
vsize: 36412
[startup+1000.04 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 875509 0 0 0 98057 1959 0 0 25 0 1 0 773916184 37052416 8292 4294967295 134512640 134714508 3221224576 3221222288 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1010.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 882297 0 0 0 99043 1973 0 0 25 0 1 0 773916184 37052416 8292 4294967295 134512640 134714508 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1020.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 889155 0 0 0 100026 1991 0 0 25 0 1 0 773916184 37666816 8367 4294967295 134512640 134714508 3221224576 3221222640 1075961747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9196 8367 1111 63 0 9133 0
vsize: 36784
[startup+1030.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 896251 0 0 0 101010 2006 0 0 25 0 1 0 773916184 37052416 8292 4294967295 134512640 134714508 3221224576 3221222912 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1040.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 903194 0 0 0 101995 2022 0 0 25 0 1 0 773916184 37978112 8468 4294967295 134512640 134714508 3221224576 3221221152 1076049404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9272 8469 1111 63 0 9209 0
vsize: 37088
[startup+1050.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 910049 0 0 0 102979 2038 0 0 25 0 1 0 773916184 37969920 8450 4294967295 134512640 134714508 3221224576 3221221640 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9270 8450 1111 63 0 9207 0
vsize: 37080
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 916828 0 0 0 103963 2054 0 0 25 0 1 0 773916184 37957632 8462 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9267 8462 1111 63 0 9204 0
vsize: 37068
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 923559 0 0 0 104950 2068 0 0 25 0 1 0 773916184 37154816 8317 4294967295 134512640 134714508 3221224576 3221223424 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9071 8317 1111 63 0 9008 0
vsize: 36284
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 930159 0 0 0 105936 2082 0 0 25 0 1 0 773916184 37052416 8292 4294967295 134512640 134714508 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 937526 0 0 0 106918 2099 0 0 25 0 1 0 773916184 37052416 8292 4294967295 134512640 134714508 3221224576 3221222976 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 944977 0 0 0 107903 2115 0 0 25 0 1 0 773916184 37322752 8326 4294967295 134512640 134714508 3221224576 3221222576 1074916785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9112 8326 1111 63 0 9049 0
vsize: 36448
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 952085 0 0 0 108886 2132 0 0 25 0 1 0 773916184 37052416 8292 4294967295 134512640 134714508 3221224576 3221221776 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 958235 0 0 0 109872 2146 0 0 25 0 1 0 773916184 37052416 8292 4294967295 134512640 134714508 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 965242 0 0 0 110855 2163 0 0 25 0 1 0 773916184 37134336 8312 4294967295 134512640 134714508 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9066 8312 1111 63 0 9003 0
vsize: 36264
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 972066 0 0 0 111840 2178 0 0 25 0 1 0 773916184 37142528 8299 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9068 8299 1111 63 0 9005 0
vsize: 36272
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 978688 0 0 0 112826 2193 0 0 25 0 1 0 773916184 37859328 8433 4294967295 134512640 134714508 3221224576 3221220540 1074860811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9243 8433 1111 63 0 9180 0
vsize: 36972
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22289
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 985185 0 0 0 113811 2208 0 0 25 0 1 0 773916184 37052416 8292 4294967295 134512640 134714508 3221224576 3221222320 1075646912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22291
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 991694 0 0 0 114795 2224 0 0 25 0 1 0 773916184 37814272 8419 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9232 8419 1111 63 0 9169 0
vsize: 36928
[startup+1175.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 22291
Raw data (stat): 22234 (bsolo_lpr_cuts) R 22233 21152 21151 0 -1 0 991694 0 0 0 114795 2224 0 0 25 0 1 0 773916184 37814272 8419 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9232 8419 1111 63 0 9169 0
vsize: 0

Child status: 0
Real time (s): 1175.08
CPU time (s): 1175.24
CPU user time (s): 1152.91
CPU system time (s): 22.3296
CPU usage (%): 100.013
Max. virtual memory (Kb): 37652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####