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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb
MD5SUM	60f638829868e3a2820fb14a59c3225e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31460
Biggest coefficient in the objective function	977797120
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	331425197400
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	977797120
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	331425197400
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.311952
Number of variables	36360
Total number of constraints	1503
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	1503
Minimum length of a constraint	40
Maximum length of a constraint	4060
Trace number 26063

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 00:16:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15693 boxname=wulflinc31 idbench=1208 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  60f638829868e3a2820fb14a59c3225e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-degen3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-degen3.opb
IDLAUNCH: 15693
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        665816 kB
Buffers:         22268 kB
Cached:         325152 kB
SwapCached:       1352 kB
Active:         256136 kB
Inactive:        93832 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        665564 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13248 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 00:36:29 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 15693 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 36360 variables and 2220 constraints.
c After prepocess the problem consists of 16254 variables and 2656 constraints.
c preprocess terminated 386.528 s
c Initial Lower Bound: 1800696139
c Lower Bound Elapsed time: 35.8905
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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): 1.06 1.00 0.92 2/55 20397
Raw data (stat): 20397 (runsolver) R 20396 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 825830099 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 1.13 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 1393 0 0 0 991 4 0 0 25 0 1 0 825830099 18190336 1316 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4441 1316 1111 63 0 4378 0
vsize: 17764
[startup+20 s]
Raw data (loadavg): 1.11 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 2191 0 0 0 1989 6 0 0 25 0 1 0 825830099 21577728 2114 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5268 2114 1111 63 0 5205 0
vsize: 21072
[startup+30.0002 s]
Raw data (loadavg): 1.10 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 3006 0 0 0 2988 8 0 0 25 0 1 0 825830099 24825856 2929 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6061 2929 1111 63 0 5998 0
vsize: 24244
[startup+40.0009 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 3842 0 0 0 3987 9 0 0 25 0 1 0 825830099 28229632 3765 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6892 3765 1111 63 0 6829 0
vsize: 27568
[startup+50.0019 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 4697 0 0 0 4985 11 0 0 25 0 1 0 825830099 31760384 4620 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7754 4620 1111 63 0 7691 0
vsize: 31016
[startup+60.0021 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 5575 0 0 0 5984 12 0 0 25 0 1 0 825830099 35430400 5498 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8650 5498 1111 63 0 8587 0
vsize: 34600
[startup+70.0017 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 6477 0 0 0 6983 13 0 0 25 0 1 0 825830099 39112704 6400 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9549 6400 1111 63 0 9486 0
vsize: 38196
[startup+80.0027 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 7390 0 0 0 7982 14 0 0 25 0 1 0 825830099 42782720 7313 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10445 7313 1111 63 0 10382 0
vsize: 41780
[startup+90.0028 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 8316 0 0 0 8981 16 0 0 25 0 1 0 825830099 46604288 8239 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11378 8239 1111 63 0 11315 0
vsize: 45512
[startup+100.004 s]
Raw data (loadavg): 1.11 1.03 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 9256 0 0 0 9979 18 0 0 25 0 1 0 825830099 50413568 9179 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12308 9179 1111 63 0 12245 0
vsize: 49232
[startup+110.004 s]
Raw data (loadavg): 1.09 1.03 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 10277 0 0 0 10978 19 0 0 25 0 1 0 825830099 54644736 10200 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13341 10200 1111 63 0 13278 0
vsize: 53364
[startup+120.005 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 11424 0 0 0 11976 21 0 0 25 0 1 0 825830099 59305984 11347 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14479 11347 1111 63 0 14416 0
vsize: 57916
[startup+130.005 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 12709 0 0 0 12974 24 0 0 25 0 1 0 825830099 64757760 12632 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15810 12632 1111 63 0 15747 0
vsize: 63240
[startup+140.005 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 14049 0 0 0 13972 26 0 0 25 0 1 0 825830099 70119424 13972 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17119 13972 1111 63 0 17056 0
vsize: 68476
[startup+150.006 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 15452 0 0 0 14970 28 0 0 25 0 1 0 825830099 75907072 15375 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18532 15375 1111 63 0 18469 0
vsize: 74128
[startup+160.007 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 16918 0 0 0 15967 31 0 0 25 0 1 0 825830099 81838080 16841 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19980 16841 1111 63 0 19917 0
vsize: 79920
[startup+170.007 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 18377 0 0 0 16965 34 0 0 25 0 1 0 825830099 87912448 18300 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21463 18300 1111 63 0 21400 0
vsize: 85852
[startup+180.007 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 19850 0 0 0 17962 37 0 0 25 0 1 0 825830099 93843456 19773 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22911 19773 1111 63 0 22848 0
vsize: 91644
[startup+190.008 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 21343 0 0 0 18960 39 0 0 25 0 1 0 825830099 99913728 21266 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24393 21266 1111 63 0 24330 0
vsize: 97572
[startup+200.009 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 25184 0 0 0 19952 46 0 0 25 0 1 0 825830099 116056064 25104 4294967295 134512640 134714508 3221221776 3221220052 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28334 25104 1111 63 0 28271 0
vsize: 113336
[startup+210.009 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 27497 0 0 0 20947 52 0 0 25 0 1 0 825830099 125493248 27416 4294967295 134512640 134714508 3221221776 3221218240 1077298516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30638 27416 1111 63 0 30575 0
vsize: 122552
[startup+220.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 28710 0 0 0 21943 55 0 0 25 0 1 0 825830099 130658304 28629 4294967295 134512640 134714508 3221221776 3221220052 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31899 28629 1111 63 0 31836 0
vsize: 127596
[startup+230.011 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 29312 0 0 0 22942 56 0 0 25 0 1 0 825830099 133140480 29231 4294967295 134512640 134714508 3221221776 3221220052 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32505 29231 1111 63 0 32442 0
vsize: 130020
[startup+240.011 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 30457 0 0 0 23937 60 0 0 25 0 1 0 825830099 137887744 30376 4294967295 134512640 134714508 3221221776 3221220052 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33664 30376 1111 63 0 33601 0
vsize: 134656
[startup+250.011 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 31821 0 0 0 24934 64 0 0 25 0 1 0 825830099 143450112 31740 4294967295 134512640 134714508 3221221776 3221220052 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35022 31740 1111 63 0 34959 0
vsize: 140088
[startup+260.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 32691 0 0 0 25932 66 0 0 25 0 1 0 825830099 147161088 32610 4294967295 134512640 134714508 3221221776 3221220052 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35928 32610 1111 63 0 35865 0
vsize: 143712
[startup+270.011 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 33393 0 0 0 26931 67 0 0 25 0 1 0 825830099 150196224 33312 4294967295 134512640 134714508 3221221776 3221220052 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36669 33312 1111 63 0 36606 0
vsize: 146676
[startup+280.012 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 34026 0 0 0 27930 69 0 0 25 0 1 0 825830099 152928256 33945 4294967295 134512640 134714508 3221221776 3221219436 1077244246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37336 33945 1111 63 0 37273 0
vsize: 149344
[startup+290.012 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 34538 0 0 0 28928 70 0 0 25 0 1 0 825830099 155127808 34457 4294967295 134512640 134714508 3221221776 3221220052 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37873 34457 1111 63 0 37810 0
vsize: 151492
[startup+300.014 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 40241 0 0 0 29915 83 0 0 25 0 1 0 825830099 167825408 39674 4294967295 134512640 134714508 3221221776 3221220160 134542356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40973 39674 1111 63 0 40910 0
vsize: 163892
[startup+310.014 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 166802 0 0 0 30641 357 0 0 25 0 1 0 825830099 187580416 44519 4294967295 134512640 134714508 3221221776 3221220292 1077374441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45796 44519 1111 63 0 45733 0
vsize: 183184
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 325382 0 0 0 31281 716 0 0 25 0 1 0 825830099 186695680 44339 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45580 44339 1111 63 0 45517 0
vsize: 182320
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 473938 0 0 0 31952 1046 0 0 25 0 1 0 825830099 186937344 44395 4294967295 134512640 134714508 3221221776 3221220436 134627138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45639 44395 1111 63 0 45576 0
vsize: 182556
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 473949 0 0 0 32952 1046 0 0 25 0 1 0 825830099 186937344 44406 4294967295 134512640 134714508 3221221776 3221220436 134627138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45639 44406 1111 63 0 45576 0
vsize: 182556
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 473962 0 0 0 33952 1046 0 0 25 0 1 0 825830099 187072512 44419 4294967295 134512640 134714508 3221221776 3221220428 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45672 44419 1111 63 0 45609 0
vsize: 182688
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 473973 0 0 0 34953 1046 0 0 25 0 1 0 825830099 187072512 44430 4294967295 134512640 134714508 3221221776 3221220448 134627170 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45672 44430 1111 63 0 45609 0
vsize: 182688
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 473986 0 0 0 35953 1046 0 0 25 0 1 0 825830099 187072512 44443 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45672 44443 1111 63 0 45609 0
vsize: 182688
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 473999 0 0 0 36953 1046 0 0 25 0 1 0 825830099 187207680 44456 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45705 44456 1111 63 0 45642 0
vsize: 182820
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 480045 0 0 0 37941 1058 0 0 25 0 1 0 825830099 201093120 47693 4294967295 134512640 134714508 3221221776 3221219096 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49095 47693 1111 63 0 49032 0
vsize: 196380
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 512545 0 0 0 38861 1138 0 0 25 0 1 0 825830099 201728000 47874 4294967295 134512640 134714508 3221221776 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49250 47874 1111 63 0 49187 0
vsize: 197000
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 556151 0 0 0 39754 1245 0 0 25 0 1 0 825830099 201916416 47920 4294967295 134512640 134714508 3221221776 3221219936 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49296 47920 1111 63 0 49233 0
vsize: 197184
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 593458 0 0 0 40663 1337 0 0 25 0 1 0 825830099 202842112 48147 4294967295 134512640 134714508 3221221776 3221219744 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49522 48147 1111 63 0 49459 0
vsize: 198088
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 608327 0 0 0 41629 1371 0 0 25 0 1 0 825830099 213721088 50661 4294967295 134512640 134714508 3221221776 3221217840 1074970231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52178 50661 1111 63 0 52115 0
vsize: 208712
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 608330 0 0 0 42629 1371 0 0 25 0 1 0 825830099 213721088 50664 4294967295 134512640 134714508 3221221776 3221217904 1074792211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52178 50664 1111 63 0 52115 0
vsize: 208712
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 608387 0 0 0 43629 1371 0 0 25 0 1 0 825830099 213942272 50721 4294967295 134512640 134714508 3221221776 3221217856 1074794589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52232 50721 1111 63 0 52169 0
vsize: 208928
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 608387 0 0 0 44629 1371 0 0 25 0 1 0 825830099 213942272 50721 4294967295 134512640 134714508 3221221776 3221217564 1074787561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52232 50721 1111 63 0 52169 0
vsize: 208928
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 608387 0 0 0 45629 1371 0 0 25 0 1 0 825830099 213942272 50721 4294967295 134512640 134714508 3221221776 3221217564 1074787713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52232 50721 1111 63 0 52169 0
vsize: 208928
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 608387 0 0 0 46629 1371 0 0 25 0 1 0 825830099 213942272 50721 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52232 50721 1111 63 0 52169 0
vsize: 208928
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 618504 0 0 0 47609 1391 0 0 25 0 1 0 825830099 211087360 50229 4294967295 134512640 134714508 3221221776 3221219696 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51535 50229 1111 63 0 51472 0
vsize: 206140
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 620513 0 0 0 48606 1395 0 0 25 0 1 0 825830099 215429120 51011 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52595 51011 1111 63 0 52532 0
vsize: 210380
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 631682 0 0 0 49582 1419 0 0 25 0 1 0 825830099 216403968 51226 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52833 51226 1111 63 0 52770 0
vsize: 211332
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 637344 0 0 0 50571 1430 0 0 25 0 1 0 825830099 209387520 49758 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51120 49758 1111 63 0 51057 0
vsize: 204480
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647275 0 0 0 51549 1453 0 0 25 0 1 0 825830099 213725184 50595 4294967295 134512640 134714508 3221221776 3221218640 1074620311 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52179 50595 1111 63 0 52116 0
vsize: 208716
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647275 0 0 0 52548 1453 0 0 25 0 1 0 825830099 206356480 49061 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50380 49061 1111 63 0 50317 0
vsize: 201520
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647276 0 0 0 53548 1453 0 0 25 0 1 0 825830099 206356480 49062 4294967295 134512640 134714508 3221221776 3221220600 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50380 49062 1111 63 0 50317 0
vsize: 201520
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647276 0 0 0 54548 1453 0 0 25 0 1 0 825830099 206348288 49060 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50378 49060 1111 63 0 50315 0
vsize: 201512
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647276 0 0 0 55548 1453 0 0 25 0 1 0 825830099 206348288 49060 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50378 49060 1111 63 0 50315 0
vsize: 201512
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647276 0 0 0 56549 1453 0 0 25 0 1 0 825830099 206348288 49060 4294967295 134512640 134714508 3221221776 3221220600 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50378 49060 1111 63 0 50315 0
vsize: 201512
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647279 0 0 0 57548 1453 0 0 25 0 1 0 825830099 206348288 49063 4294967295 134512640 134714508 3221221776 3221220656 134577072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50378 49063 1111 63 0 50315 0
vsize: 201512
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647519 0 0 0 58547 1455 0 0 25 0 1 0 825830099 207159296 49303 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49303 1111 63 0 50513 0
vsize: 202304
[startup+610.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 59547 1455 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+620.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 60547 1455 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+630.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 61547 1455 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 62547 1455 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 63548 1455 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 64548 1455 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 65548 1456 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 66548 1456 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 67548 1456 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220576 134597775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 68548 1456 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 69548 1456 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 70548 1456 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 71548 1456 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+740.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 72548 1457 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 73548 1457 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+760.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 74548 1457 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 75548 1457 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+780.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 76548 1457 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+790.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 77548 1458 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 78548 1458 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 79548 1458 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+820.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 80548 1458 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 81548 1458 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 82548 1458 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+850.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 83548 1458 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 84548 1459 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 85548 1459 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220576 134597692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 86548 1459 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 87548 1459 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 88549 1459 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220564 134597669 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 89549 1459 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 90549 1459 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 91548 1460 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220600 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 92549 1460 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220548 134597630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 93549 1460 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 94549 1460 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 95549 1460 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 96549 1460 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220600 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 97549 1460 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 98549 1460 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220600 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 99549 1460 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 100549 1461 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220636 134600261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 101549 1461 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 102549 1461 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 103549 1461 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 104549 1461 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220556 134600348 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 105549 1461 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220600 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 106549 1461 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 107549 1462 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 108549 1462 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 109550 1462 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 110550 1462 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 111550 1462 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 112550 1462 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220576 134597705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 113550 1462 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220536 134613522 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 114550 1462 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 115550 1462 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 202304
[startup+1175.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 20397
Raw data (stat): 20397 (bsolo_lpr_cuts) R 20396 7876 7672 0 -1 0 647531 0 0 0 115550 1462 0 0 25 0 1 0 825830099 207159296 49315 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50576 49315 1111 63 0 50513 0
vsize: 0

Child status: 0
Real time (s): 1175.05
CPU time (s): 1175.14
CPU user time (s): 1160.42
CPU system time (s): 14.7238
CPU usage (%): 100.008
Max. virtual memory (Kb): 211332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####