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/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
MD5SUM	7872170cf5be0e3f0e6be125266c16ee
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1364
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	230637
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	12800
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	879673
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	19292
Total number of constraints	4170
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1403
Number of constraints which are nor clauses,nor cardinality constraints	2767
Minimum length of a constraint	1
Maximum length of a constraint	980
Trace number 27381

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-24 21:26:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17409 boxname=wulflinc22 idbench=1340 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  7872170cf5be0e3f0e6be125266c16ee  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-aflow40b.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-aflow40b.opb
IDLAUNCH: 17409
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        824136 kB
Buffers:         36844 kB
Cached:         139316 kB
SwapCached:      12200 kB
Active:          66680 kB
Inactive:       123872 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        823884 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            14308 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:45:51 (client local time) WITH STATUS 0 IN 1175.25 SECONDS
stats: 17409 7 1175.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 19292 variables and 2884 constraints.
c After prepocess the problem consists of 19252 variables and 2858 constraints.
c preprocess terminated 402.791 s
c Initial Lower Bound: 1006
c Lower Bound Elapsed time: 20.9833
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.84 0.95 0.96 2/54 27122
Raw data (stat): 27122 (runsolver) R 27121 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833465735 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.86 0.95 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 31124 0 0 0 931 67 0 0 25 0 1 0 833465735 131428352 31042 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32087 31042 1111 63 0 32024 0
vsize: 128348
[startup+20.0009 s]
Raw data (loadavg): 0.88 0.95 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 51438 0 0 0 1882 116 0 0 25 0 1 0 833465735 153661440 36551 4294967295 134512640 134714508 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37515 36551 1111 63 0 37452 0
vsize: 150060
[startup+30.0013 s]
Raw data (loadavg): 0.90 0.95 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 200090 0 0 0 2510 487 0 0 25 0 1 0 833465735 161239040 38401 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39365 38401 1111 63 0 39302 0
vsize: 157460
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.95 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 262079 0 0 0 3358 639 0 0 25 0 1 0 833465735 168431616 40157 4294967295 134512640 134714508 3221224576 3221222992 134543738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41121 40157 1111 63 0 41058 0
vsize: 164484
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.95 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 295948 0 0 0 4270 728 0 0 25 0 1 0 833465735 174997504 41760 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42724 41760 1111 63 0 42661 0
vsize: 170896
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.95 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 320799 0 0 0 5208 789 0 0 25 0 1 0 833465735 182099968 43494 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44458 43494 1111 63 0 44395 0
vsize: 177832
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.95 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 380819 0 0 0 6063 934 0 0 25 0 1 0 833465735 186728448 44624 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45588 44624 1111 63 0 45525 0
vsize: 182352
[startup+80.0039 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 423759 0 0 0 6958 1039 0 0 25 0 1 0 833465735 193523712 46283 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47247 46283 1111 63 0 47184 0
vsize: 188988
[startup+90.0051 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 464699 0 0 0 7858 1140 0 0 25 0 1 0 833465735 199389184 47650 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48679 47650 1111 63 0 48616 0
vsize: 194716
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 477059 0 0 0 8828 1170 0 0 25 0 1 0 833465735 208695296 49974 4294967295 134512640 134714508 3221224576 3221222988 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50951 49974 1111 63 0 50888 0
vsize: 203804
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 482777 0 0 0 9816 1182 0 0 25 0 1 0 833465735 227696640 54619 4294967295 134512640 134714508 3221224576 3221223068 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55590 54619 1111 63 0 55527 0
vsize: 222360
[startup+120.007 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 488399 0 0 0 10805 1193 0 0 25 0 1 0 833465735 247644160 59490 4294967295 134512640 134714508 3221224576 3221223032 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60460 59490 1111 63 0 60397 0
vsize: 241840
[startup+130.008 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 494740 0 0 0 11793 1205 0 0 25 0 1 0 833465735 270094336 64964 4294967295 134512640 134714508 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65941 64964 1111 63 0 65878 0
vsize: 263764
[startup+140.008 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 501853 0 0 0 12777 1222 0 0 25 0 1 0 833465735 288833536 69520 4294967295 134512640 134714508 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70516 69520 1111 63 0 70453 0
vsize: 282064
[startup+150.009 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 507683 0 0 0 13765 1233 0 0 25 0 1 0 833465735 307564544 74114 4294967295 134512640 134714508 3221224576 3221223216 134665600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75089 74114 1111 63 0 75026 0
vsize: 300356
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 513830 0 0 0 14754 1245 0 0 25 0 1 0 833465735 327110656 78870 4294967295 134512640 134714508 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79861 78870 1111 63 0 79798 0
vsize: 319444
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 519158 0 0 0 15743 1256 0 0 25 0 1 0 833465735 344154112 83040 4294967295 134512640 134714508 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84022 83040 1111 63 0 83959 0
vsize: 336088
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 524787 0 0 0 16732 1267 0 0 25 0 1 0 833465735 362135552 87448 4294967295 134512640 134714508 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88412 87448 1111 63 0 88349 0
vsize: 353648
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 529127 0 0 0 17722 1277 0 0 25 0 1 0 833465735 377888768 91294 4294967295 134512640 134714508 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92258 91294 1111 63 0 92195 0
vsize: 369032
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 533757 0 0 0 18712 1287 0 0 25 0 1 0 833465735 390774784 94440 4294967295 134512640 134714508 3221224576 3221223220 134595012 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95404 94440 1111 63 0 95341 0
vsize: 381616
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 538733 0 0 0 19702 1297 0 0 25 0 1 0 833465735 407076864 98420 4294967295 134512640 134714508 3221224576 3221223056 134536600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99384 98420 1111 63 0 99321 0
vsize: 397536
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 543373 0 0 0 20694 1305 0 0 25 0 1 0 833465735 421609472 101968 4294967295 134512640 134714508 3221224576 3221223376 134617624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102932 101968 1111 63 0 102869 0
vsize: 411728
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 547643 0 0 0 21684 1315 0 0 25 0 1 0 833465735 434880512 105196 4294967295 134512640 134714508 3221224576 3221223040 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106172 105196 1111 63 0 106109 0
vsize: 424688
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 552221 0 0 0 22675 1325 0 0 25 0 1 0 833465735 448425984 108515 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109479 108515 1111 63 0 109416 0
vsize: 437916
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 556294 0 0 0 23667 1333 0 0 25 0 1 0 833465735 460836864 111513 4294967295 134512640 134714508 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112509 111513 1111 63 0 112446 0
vsize: 450036
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 559916 0 0 0 24659 1341 0 0 25 0 1 0 833465735 471625728 114147 4294967295 134512640 134714508 3221224576 3221222992 134542680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115143 114147 1111 63 0 115080 0
vsize: 460572
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 563607 0 0 0 25651 1349 0 0 25 0 1 0 833465735 481046528 116464 4294967295 134512640 134714508 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117443 116464 1111 63 0 117380 0
vsize: 469772
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 567145 0 0 0 26644 1356 0 0 25 0 1 0 833465735 490332160 118746 4294967295 134512640 134714508 3221224576 3221223304 134672911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119710 118746 1111 63 0 119647 0
vsize: 478840
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 570152 0 0 0 27637 1363 0 0 25 0 1 0 833465735 497963008 120577 4294967295 134512640 134714508 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121573 120577 1111 63 0 121510 0
vsize: 486292
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 572528 0 0 0 28632 1368 0 0 25 0 1 0 833465735 503246848 121899 4294967295 134512640 134714508 3221224576 3221223172 134587940 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122863 121899 1111 63 0 122800 0
vsize: 491452
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 573817 0 0 0 29629 1371 0 0 25 0 1 0 833465735 505221120 122364 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123345 122364 1111 63 0 123282 0
vsize: 493380
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 573818 0 0 0 30629 1371 0 0 25 0 1 0 833465735 505221120 122365 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123345 122365 1111 63 0 123282 0
vsize: 493380
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 573819 0 0 0 31629 1372 0 0 25 0 1 0 833465735 505221120 122366 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123345 122366 1111 63 0 123282 0
vsize: 493380
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 573819 0 0 0 32628 1372 0 0 25 0 1 0 833465735 505221120 122366 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123345 122366 1111 63 0 123282 0
vsize: 493380
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 573820 0 0 0 33628 1373 0 0 25 0 1 0 833465735 505221120 122367 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123345 122367 1111 63 0 123282 0
vsize: 493380
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 573820 0 0 0 34628 1373 0 0 25 0 1 0 833465735 505221120 122367 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123345 122367 1111 63 0 123282 0
vsize: 493380
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 573820 0 0 0 35627 1374 0 0 25 0 1 0 833465735 505221120 122367 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123345 122367 1111 63 0 123282 0
vsize: 493380
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 573821 0 0 0 36627 1374 0 0 25 0 1 0 833465735 505221120 122368 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123345 122368 1111 63 0 123282 0
vsize: 493380
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 573821 0 0 0 37627 1375 0 0 25 0 1 0 833465735 505221120 122368 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123345 122368 1111 63 0 123282 0
vsize: 493380
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 573821 0 0 0 38627 1375 0 0 25 0 1 0 833465735 505221120 122368 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123345 122368 1111 63 0 123282 0
vsize: 493380
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 576150 0 0 0 39619 1382 0 0 25 0 1 0 833465735 514211840 124558 4294967295 134512640 134714508 3221224576 3221222320 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125540 124558 1111 63 0 125477 0
vsize: 502160
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 576448 0 0 0 40617 1385 0 0 25 0 1 0 833465735 514678784 124673 4294967295 134512640 134714508 3221224576 3221222264 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125654 124673 1111 63 0 125591 0
vsize: 502616
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 580228 0 0 0 41609 1393 0 0 25 0 1 0 833465735 523837440 126796 4294967295 134512640 134714508 3221224576 3221220716 1075116564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127890 126796 1111 63 0 127827 0
vsize: 511560
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 584919 0 0 0 42598 1404 0 0 25 0 1 0 833465735 520605696 126191 4294967295 134512640 134714508 3221224576 3221222880 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127101 126191 1111 63 0 127038 0
vsize: 508404
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 592833 0 0 0 43580 1422 0 0 25 0 1 0 833465735 521101312 126327 4294967295 134512640 134714508 3221224576 3221223024 134648531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127222 126327 1111 63 0 127159 0
vsize: 508888
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 602517 0 0 0 44557 1445 0 0 25 0 1 0 833465735 523845632 126964 4294967295 134512640 134714508 3221224576 3221223024 134648531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127892 126964 1111 63 0 127829 0
vsize: 511568
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 608562 0 0 0 45545 1457 0 0 25 0 1 0 833465735 534323200 129374 4294967295 134512640 134714508 3221224576 3221220716 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130450 129374 1111 63 0 130387 0
vsize: 521800
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 608562 0 0 0 46544 1458 0 0 25 0 1 0 833465735 534323200 129374 4294967295 134512640 134714508 3221224576 3221220716 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130450 129374 1111 63 0 130387 0
vsize: 521800
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612276 0 0 0 47536 1466 0 0 25 0 1 0 833465735 523902976 127012 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127012 1111 63 0 127843 0
vsize: 511624
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612276 0 0 0 48536 1467 0 0 25 0 1 0 833465735 523902976 127012 4294967295 134512640 134714508 3221224576 3221223352 134613535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127012 1111 63 0 127843 0
vsize: 511624
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612278 0 0 0 49535 1467 0 0 25 0 1 0 833465735 523902976 127014 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127014 1111 63 0 127843 0
vsize: 511624
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612278 0 0 0 50535 1468 0 0 25 0 1 0 833465735 523902976 127014 4294967295 134512640 134714508 3221224576 3221223376 134597597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127014 1111 63 0 127843 0
vsize: 511624
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612280 0 0 0 51534 1469 0 0 25 0 1 0 833465735 523902976 127016 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127016 1111 63 0 127843 0
vsize: 511624
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612280 0 0 0 52533 1470 0 0 25 0 1 0 833465735 523902976 127016 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127016 1111 63 0 127843 0
vsize: 511624
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612282 0 0 0 53533 1470 0 0 25 0 1 0 833465735 523902976 127018 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127018 1111 63 0 127843 0
vsize: 511624
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612284 0 0 0 54533 1470 0 0 25 0 1 0 833465735 523902976 127020 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127020 1111 63 0 127843 0
vsize: 511624
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612284 0 0 0 55532 1471 0 0 25 0 1 0 833465735 523902976 127020 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127020 1111 63 0 127843 0
vsize: 511624
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612286 0 0 0 56531 1472 0 0 25 0 1 0 833465735 523902976 127022 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127022 1111 63 0 127843 0
vsize: 511624
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612288 0 0 0 57531 1473 0 0 25 0 1 0 833465735 523902976 127024 4294967295 134512640 134714508 3221224576 3221223340 134613500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127024 1111 63 0 127843 0
vsize: 511624
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612288 0 0 0 58530 1474 0 0 25 0 1 0 833465735 523902976 127024 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127024 1111 63 0 127843 0
vsize: 511624
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612290 0 0 0 59529 1475 0 0 25 0 1 0 833465735 523902976 127026 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127026 1111 63 0 127843 0
vsize: 511624
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612292 0 0 0 60528 1475 0 0 25 0 1 0 833465735 523902976 127028 4294967295 134512640 134714508 3221224576 3221223376 134597597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127028 1111 63 0 127843 0
vsize: 511624
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612294 0 0 0 61528 1476 0 0 25 0 1 0 833465735 523902976 127030 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127030 1111 63 0 127843 0
vsize: 511624
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612296 0 0 0 62527 1477 0 0 25 0 1 0 833465735 523902976 127032 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127032 1111 63 0 127843 0
vsize: 511624
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612298 0 0 0 63527 1478 0 0 25 0 1 0 833465735 523902976 127034 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127034 1111 63 0 127843 0
vsize: 511624
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612302 0 0 0 64526 1478 0 0 25 0 1 0 833465735 523902976 127038 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127038 1111 63 0 127843 0
vsize: 511624
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612306 0 0 0 65525 1479 0 0 25 0 1 0 833465735 523902976 127042 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127042 1111 63 0 127843 0
vsize: 511624
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 66524 1480 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 67524 1481 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 68523 1481 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 69522 1483 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223360 134597614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 70521 1484 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 71519 1486 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 72518 1487 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 73516 1489 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223352 134613526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 74515 1490 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 75514 1492 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223360 134597614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 76512 1494 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 77510 1496 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223356 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 78508 1497 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 79507 1499 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 80506 1500 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 81506 1501 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 82505 1502 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223376 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 83504 1503 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 84503 1504 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 85502 1505 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 86501 1506 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223376 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 87499 1508 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 88498 1510 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 89496 1511 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 90495 1512 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 91493 1515 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223264 134524469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 92492 1516 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223160 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 93491 1517 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223336 134592337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 94490 1518 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223344 134597639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 95489 1519 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 96488 1521 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 97487 1522 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223360 134597614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 98486 1523 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223352 134613528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 99485 1524 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223336 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612309 0 0 0 100485 1524 0 0 25 0 1 0 833465735 523902976 127045 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127906 127045 1111 63 0 127843 0
vsize: 511624
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612365 0 0 0 101484 1525 0 0 25 0 1 0 833465735 524038144 127101 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127939 127101 1111 63 0 127876 0
vsize: 511756
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612656 0 0 0 102482 1527 0 0 25 0 1 0 833465735 524869632 127323 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128142 127323 1111 63 0 128079 0
vsize: 512568
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612656 0 0 0 103480 1529 0 0 25 0 1 0 833465735 524869632 127323 4294967295 134512640 134714508 3221224576 3221223376 134597645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128142 127323 1111 63 0 128079 0
vsize: 512568
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612656 0 0 0 104479 1530 0 0 25 0 1 0 833465735 524869632 127323 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128142 127323 1111 63 0 128079 0
vsize: 512568
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612657 0 0 0 105477 1532 0 0 25 0 1 0 833465735 524976128 127324 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128168 127324 1111 63 0 128105 0
vsize: 512672
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612657 0 0 0 106475 1534 0 0 25 0 1 0 833465735 524869632 127323 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128142 127323 1111 63 0 128079 0
vsize: 512568
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612677 0 0 0 107474 1536 0 0 25 0 1 0 833465735 524910592 127333 4294967295 134512640 134714508 3221224576 3221223376 134597708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128152 127333 1111 63 0 128089 0
vsize: 512608
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612679 0 0 0 108472 1538 0 0 25 0 1 0 833465735 524976128 127325 4294967295 134512640 134714508 3221224576 3221223376 134597654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128168 127325 1111 63 0 128105 0
vsize: 512672
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612701 0 0 0 109471 1539 0 0 25 0 1 0 833465735 524976128 127347 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128168 127347 1111 63 0 128105 0
vsize: 512672
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612724 0 0 0 110469 1541 0 0 25 0 1 0 833465735 525066240 127370 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128190 127370 1111 63 0 128127 0
vsize: 512760
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612724 0 0 0 111467 1543 0 0 25 0 1 0 833465735 525066240 127370 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128190 127370 1111 63 0 128127 0
vsize: 512760
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612724 0 0 0 112466 1544 0 0 25 0 1 0 833465735 524963840 127346 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128165 127346 1111 63 0 128102 0
vsize: 512660
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612724 0 0 0 113464 1546 0 0 25 0 1 0 833465735 524963840 127346 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128165 127346 1111 63 0 128102 0
vsize: 512660
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612724 0 0 0 114463 1547 0 0 25 0 1 0 833465735 524963840 127346 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128165 127346 1111 63 0 128102 0
vsize: 512660
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612724 0 0 0 115462 1549 0 0 25 0 1 0 833465735 524963840 127346 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128165 127346 1111 63 0 128102 0
vsize: 512660
[startup+1175.18 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 27122
Raw data (stat): 27122 (bsolo_lpr_cuts) R 27121 23310 23309 0 -1 0 612724 0 0 0 115462 1549 0 0 25 0 1 0 833465735 524963840 127346 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128165 127346 1111 63 0 128102 0
vsize: 0

Child status: 0
Real time (s): 1175.18
CPU time (s): 1175.25
CPU user time (s): 1159.51
CPU system time (s): 15.7396
CPU usage (%): 100.006
Max. virtual memory (Kb): 521800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####