PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.28
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 28690

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 03:38:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11897 boxname=wulflinc4 idbench=916 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 11897
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        872284 kB
Buffers:         33652 kB
Cached:         108236 kB
SwapCached:        572 kB
Active:          17636 kB
Inactive:       126700 kB
HighTotal:      131008 kB
HighFree:        40152 kB
LowTotal:       903652 kB
LowFree:        832132 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            12292 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:57:47 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 11897 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 397 constraints.
c preprocess terminated 74.816 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 1.616
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.91 0.97 0.95 2/54 26815
Raw data (stat): 26815 (runsolver) R 26814 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777468976 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 16258 0 0 0 960 36 0 0 25 0 1 0 777468976 69668864 16171 4294967295 134512640 134714508 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17009 16171 1111 63 0 16946 0
vsize: 68036
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 17637 0 0 0 1957 39 0 0 25 0 1 0 777468976 75350016 17550 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18396 17550 1111 63 0 18333 0
vsize: 73584
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 17690 0 0 0 2958 39 0 0 25 0 1 0 777468976 75620352 17603 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18462 17603 1111 63 0 18399 0
vsize: 73848
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 17744 0 0 0 3957 40 0 0 25 0 1 0 777468976 75755520 17657 4294967295 134512640 134714508 3221224576 3221223248 134627241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18495 17657 1111 63 0 18432 0
vsize: 73980
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 17787 0 0 0 4957 40 0 0 25 0 1 0 777468976 76025856 17700 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18561 17700 1111 63 0 18498 0
vsize: 74244
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 17838 0 0 0 5958 40 0 0 25 0 1 0 777468976 76161024 17751 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18594 17751 1111 63 0 18531 0
vsize: 74376
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 17881 0 0 0 6958 40 0 0 25 0 1 0 777468976 76431360 17794 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18660 17794 1111 63 0 18597 0
vsize: 74640
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 21722 0 0 0 7950 48 0 0 25 0 1 0 777468976 78774272 18496 4294967295 134512640 134714508 3221224576 3221223324 134535623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19232 18496 1111 63 0 19169 0
vsize: 76928
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 21726 0 0 0 8948 49 0 0 25 0 1 0 777468976 78774272 18500 4294967295 134512640 134714508 3221224576 3221223192 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19232 18500 1111 63 0 19169 0
vsize: 76928
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 21827 0 0 0 9947 50 0 0 25 0 1 0 777468976 79044608 18601 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19298 18601 1111 63 0 19235 0
vsize: 77192
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 21874 0 0 0 10947 51 0 0 25 0 1 0 777468976 79314944 18648 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19364 18648 1111 63 0 19301 0
vsize: 77456
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 21958 0 0 0 11946 52 0 0 25 0 1 0 777468976 79605760 18732 4294967295 134512640 134714508 3221224576 3221223116 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19435 18732 1111 63 0 19372 0
vsize: 77740
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 21965 0 0 0 12946 52 0 0 25 0 1 0 777468976 79605760 18739 4294967295 134512640 134714508 3221224576 3221223084 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19435 18739 1111 63 0 19372 0
vsize: 77740
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 21965 0 0 0 13946 53 0 0 25 0 1 0 777468976 79605760 18739 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19435 18739 1111 63 0 19372 0
vsize: 77740
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 22028 0 0 0 14944 54 0 0 25 0 1 0 777468976 79863808 18802 4294967295 134512640 134714508 3221224576 3221223304 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19498 18802 1111 63 0 19435 0
vsize: 77992
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 22104 0 0 0 15942 56 0 0 25 0 1 0 777468976 80240640 18878 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19590 18878 1111 63 0 19527 0
vsize: 78360
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 22181 0 0 0 16941 58 0 0 25 0 1 0 777468976 80510976 18955 4294967295 134512640 134714508 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19656 18955 1111 63 0 19593 0
vsize: 78624
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 22184 0 0 0 17941 58 0 0 25 0 1 0 777468976 80510976 18958 4294967295 134512640 134714508 3221224576 3221223152 134523171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19656 18958 1111 63 0 19593 0
vsize: 78624
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 22452 0 0 0 18941 59 0 0 25 0 1 0 777468976 81592320 19226 4294967295 134512640 134714508 3221224576 3221223344 134592125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19920 19226 1111 63 0 19857 0
vsize: 79680
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 22740 0 0 0 19939 60 0 0 25 0 1 0 777468976 82776064 19514 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20209 19514 1111 63 0 20146 0
vsize: 80836
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 22774 0 0 0 20939 61 0 0 25 0 1 0 777468976 82915328 19548 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20243 19548 1111 63 0 20180 0
vsize: 80972
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 22942 0 0 0 21938 62 0 0 25 0 1 0 777468976 83709952 19716 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20437 19716 1111 63 0 20374 0
vsize: 81748
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 23141 0 0 0 22938 62 0 0 25 0 1 0 777468976 84475904 19915 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20624 19915 1111 63 0 20561 0
vsize: 82496
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 23224 0 0 0 23938 63 0 0 25 0 1 0 777468976 84746240 19998 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20690 19998 1111 63 0 20627 0
vsize: 82760
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 23384 0 0 0 24938 63 0 0 25 0 1 0 777468976 85422080 20158 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20855 20158 1111 63 0 20792 0
vsize: 83420
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 23401 0 0 0 25938 63 0 0 25 0 1 0 777468976 85557248 20175 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20888 20175 1111 63 0 20825 0
vsize: 83552
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 23509 0 0 0 26937 63 0 0 25 0 1 0 777468976 85938176 20283 4294967295 134512640 134714508 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20981 20283 1111 63 0 20918 0
vsize: 83924
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 23549 0 0 0 27937 64 0 0 25 0 1 0 777468976 86073344 20323 4294967295 134512640 134714508 3221224576 3221223036 1077374432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21014 20323 1111 63 0 20951 0
vsize: 84056
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 23641 0 0 0 28937 65 0 0 25 0 1 0 777468976 86441984 20399 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21104 20399 1111 63 0 21041 0
vsize: 84416
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 23698 0 0 0 29936 65 0 0 25 0 1 0 777468976 86581248 20448 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21138 20448 1111 63 0 21075 0
vsize: 84552
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 23865 0 0 0 30935 67 0 0 25 0 1 0 777468976 87396352 20615 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21337 20615 1111 63 0 21274 0
vsize: 85348
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 23981 0 0 0 31934 67 0 0 25 0 1 0 777468976 87793664 20731 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21434 20731 1111 63 0 21371 0
vsize: 85736
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24009 0 0 0 32934 68 0 0 25 0 1 0 777468976 87900160 20759 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21460 20759 1111 63 0 21397 0
vsize: 85840
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24071 0 0 0 33934 68 0 0 25 0 1 0 777468976 88113152 20821 4294967295 134512640 134714508 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21512 20821 1111 63 0 21449 0
vsize: 86048
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24071 0 0 0 34934 68 0 0 25 0 1 0 777468976 88113152 20821 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21512 20821 1111 63 0 21449 0
vsize: 86048
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24177 0 0 0 35933 69 0 0 25 0 1 0 777468976 88535040 20925 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21615 20925 1111 63 0 21552 0
vsize: 86460
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24277 0 0 0 36933 70 0 0 25 0 1 0 777468976 89075712 21025 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21747 21025 1111 63 0 21684 0
vsize: 86988
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24402 0 0 0 37933 70 0 0 25 0 1 0 777468976 89481216 21150 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21846 21150 1111 63 0 21783 0
vsize: 87384
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24402 0 0 0 38932 71 0 0 25 0 1 0 777468976 89481216 21150 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21846 21150 1111 63 0 21783 0
vsize: 87384
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24427 0 0 0 39932 71 0 0 25 0 1 0 777468976 89616384 21175 4294967295 134512640 134714508 3221224576 3221223312 134591997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21879 21175 1111 63 0 21816 0
vsize: 87516
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24663 0 0 0 40932 72 0 0 25 0 1 0 777468976 90566656 21411 4294967295 134512640 134714508 3221224576 3221223344 134587964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22111 21411 1111 63 0 22048 0
vsize: 88444
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24756 0 0 0 41931 72 0 0 25 0 1 0 777468976 90976256 21504 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22211 21504 1111 63 0 22148 0
vsize: 88844
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24756 0 0 0 42931 73 0 0 25 0 1 0 777468976 90976256 21504 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22211 21504 1111 63 0 22148 0
vsize: 88844
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24756 0 0 0 43931 73 0 0 25 0 1 0 777468976 90976256 21504 4294967295 134512640 134714508 3221224576 3221223152 134523184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22211 21504 1111 63 0 22148 0
vsize: 88844
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24835 0 0 0 44930 74 0 0 25 0 1 0 777468976 91365376 21583 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22306 21583 1111 63 0 22243 0
vsize: 89224
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24835 0 0 0 45930 74 0 0 25 0 1 0 777468976 91365376 21583 4294967295 134512640 134714508 3221224576 3221223240 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22306 21583 1111 63 0 22243 0
vsize: 89224
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 24972 0 0 0 46929 75 0 0 25 0 1 0 777468976 91885568 21720 4294967295 134512640 134714508 3221224576 3221223132 134539230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22433 21720 1111 63 0 22370 0
vsize: 89732
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25005 0 0 0 47930 75 0 0 25 0 1 0 777468976 92020736 21753 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22466 21753 1111 63 0 22403 0
vsize: 89864
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25005 0 0 0 48929 75 0 0 25 0 1 0 777468976 92020736 21753 4294967295 134512640 134714508 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22466 21753 1111 63 0 22403 0
vsize: 89864
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25005 0 0 0 49929 76 0 0 25 0 1 0 777468976 92020736 21753 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22466 21753 1111 63 0 22403 0
vsize: 89864
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25060 0 0 0 50929 76 0 0 25 0 1 0 777468976 92241920 21808 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22520 21808 1111 63 0 22457 0
vsize: 90080
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25165 0 0 0 51929 77 0 0 25 0 1 0 777468976 92647424 21913 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22619 21913 1111 63 0 22556 0
vsize: 90476
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25165 0 0 0 52929 77 0 0 25 0 1 0 777468976 92647424 21913 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22619 21913 1111 63 0 22556 0
vsize: 90476
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25165 0 0 0 53928 77 0 0 25 0 1 0 777468976 92647424 21913 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22619 21913 1111 63 0 22556 0
vsize: 90476
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25235 0 0 0 54928 78 0 0 25 0 1 0 777468976 92917760 21983 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22685 21983 1111 63 0 22622 0
vsize: 90740
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25277 0 0 0 55927 79 0 0 25 0 1 0 777468976 93052928 22025 4294967295 134512640 134714508 3221224576 3221223324 134672949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22718 22025 1111 63 0 22655 0
vsize: 90872
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25450 0 0 0 56926 80 0 0 25 0 1 0 777468976 93749248 22198 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22888 22198 1111 63 0 22825 0
vsize: 91552
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25473 0 0 0 57926 81 0 0 25 0 1 0 777468976 93884416 22221 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22921 22221 1111 63 0 22858 0
vsize: 91684
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25577 0 0 0 58925 81 0 0 25 0 1 0 777468976 94285824 22325 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23019 22325 1111 63 0 22956 0
vsize: 92076
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25612 0 0 0 59925 82 0 0 25 0 1 0 777468976 94412800 22360 4294967295 134512640 134714508 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23050 22360 1111 63 0 22987 0
vsize: 92200
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25692 0 0 0 60925 82 0 0 25 0 1 0 777468976 94818304 22440 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23149 22440 1111 63 0 23086 0
vsize: 92596
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25766 0 0 0 61924 83 0 0 25 0 1 0 777468976 95088640 22514 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23215 22514 1111 63 0 23152 0
vsize: 92860
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25766 0 0 0 62924 84 0 0 25 0 1 0 777468976 95088640 22514 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23215 22514 1111 63 0 23152 0
vsize: 92860
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25766 0 0 0 63924 84 0 0 25 0 1 0 777468976 95088640 22514 4294967295 134512640 134714508 3221224576 3221223292 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23215 22514 1111 63 0 23152 0
vsize: 92860
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25771 0 0 0 64923 84 0 0 25 0 1 0 777468976 95088640 22519 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23215 22519 1111 63 0 23152 0
vsize: 92860
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25852 0 0 0 65923 85 0 0 25 0 1 0 777468976 95473664 22600 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23309 22600 1111 63 0 23246 0
vsize: 93236
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25852 0 0 0 66923 85 0 0 25 0 1 0 777468976 95473664 22600 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23309 22600 1111 63 0 23246 0
vsize: 93236
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 25913 0 0 0 67922 86 0 0 25 0 1 0 777468976 95719424 22661 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23369 22661 1111 63 0 23306 0
vsize: 93476
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26027 0 0 0 68922 86 0 0 25 0 1 0 777468976 96235520 22775 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23495 22775 1111 63 0 23432 0
vsize: 93980
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26077 0 0 0 69922 87 0 0 25 0 1 0 777468976 96354304 22825 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23524 22825 1111 63 0 23461 0
vsize: 94096
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26109 0 0 0 70922 87 0 0 25 0 1 0 777468976 96489472 22857 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23557 22857 1111 63 0 23494 0
vsize: 94228
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26120 0 0 0 71921 88 0 0 25 0 1 0 777468976 96591872 22866 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23582 22866 1111 63 0 23519 0
vsize: 94328
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26264 0 0 0 72921 88 0 0 25 0 1 0 777468976 97173504 23010 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23724 23010 1111 63 0 23661 0
vsize: 94896
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26341 0 0 0 73920 89 0 0 25 0 1 0 777468976 97447936 23087 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23791 23087 1111 63 0 23728 0
vsize: 95164
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26341 0 0 0 74919 90 0 0 25 0 1 0 777468976 97386496 23085 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23776 23085 1111 63 0 23713 0
vsize: 95104
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26401 0 0 0 75919 91 0 0 25 0 1 0 777468976 97656832 23145 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23842 23145 1111 63 0 23779 0
vsize: 95368
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26452 0 0 0 76918 91 0 0 25 0 1 0 777468976 97902592 23195 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23902 23195 1111 63 0 23839 0
vsize: 95608
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26452 0 0 0 77918 92 0 0 25 0 1 0 777468976 97902592 23195 4294967295 134512640 134714508 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23902 23195 1111 63 0 23839 0
vsize: 95608
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26453 0 0 0 78918 92 0 0 25 0 1 0 777468976 97902592 23196 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23902 23196 1111 63 0 23839 0
vsize: 95608
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26453 0 0 0 79918 92 0 0 25 0 1 0 777468976 97902592 23196 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23902 23196 1111 63 0 23839 0
vsize: 95608
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26453 0 0 0 80918 93 0 0 25 0 1 0 777468976 97902592 23196 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23902 23196 1111 63 0 23839 0
vsize: 95608
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26522 0 0 0 81918 93 0 0 25 0 1 0 777468976 98172928 23265 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23968 23265 1111 63 0 23905 0
vsize: 95872
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26569 0 0 0 82918 93 0 0 25 0 1 0 777468976 98443264 23312 4294967295 134512640 134714508 3221224576 3221223324 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24034 23312 1111 63 0 23971 0
vsize: 96136
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26583 0 0 0 83917 94 0 0 25 0 1 0 777468976 98443264 23326 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26583 0 0 0 84917 94 0 0 25 0 1 0 777468976 98443264 23326 4294967295 134512640 134714508 3221224576 3221223160 134543617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26583 0 0 0 85917 94 0 0 25 0 1 0 777468976 98443264 23326 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26583 0 0 0 86916 95 0 0 25 0 1 0 777468976 98443264 23326 4294967295 134512640 134714508 3221224576 3221223204 1077374195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26686 0 0 0 87916 96 0 0 25 0 1 0 777468976 98844672 23429 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24132 23429 1111 63 0 24069 0
vsize: 96528
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26715 0 0 0 88916 96 0 0 25 0 1 0 777468976 98979840 23458 4294967295 134512640 134714508 3221224576 3221223276 1077374432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26715 0 0 0 89916 96 0 0 25 0 1 0 777468976 98979840 23458 4294967295 134512640 134714508 3221224576 3221223312 134535837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26715 0 0 0 90915 97 0 0 25 0 1 0 777468976 98979840 23458 4294967295 134512640 134714508 3221224576 3221223184 134548556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26715 0 0 0 91915 97 0 0 25 0 1 0 777468976 98979840 23458 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26761 0 0 0 92915 98 0 0 25 0 1 0 777468976 99086336 23501 4294967295 134512640 134714508 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24191 23501 1111 63 0 24128 0
vsize: 96764
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26910 0 0 0 93914 99 0 0 25 0 1 0 777468976 99762176 23650 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24356 23650 1111 63 0 24293 0
vsize: 97424
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26910 0 0 0 94914 99 0 0 25 0 1 0 777468976 99762176 23650 4294967295 134512640 134714508 3221224576 3221223320 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24356 23650 1111 63 0 24293 0
vsize: 97424
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26910 0 0 0 95914 99 0 0 25 0 1 0 777468976 99762176 23650 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24356 23650 1111 63 0 24293 0
vsize: 97424
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26911 0 0 0 96914 100 0 0 25 0 1 0 777468976 99762176 23651 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24356 23651 1111 63 0 24293 0
vsize: 97424
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26925 0 0 0 97913 100 0 0 25 0 1 0 777468976 99762176 23665 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24356 23665 1111 63 0 24293 0
vsize: 97424
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 26943 0 0 0 98913 101 0 0 25 0 1 0 777468976 99897344 23683 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24389 23683 1111 63 0 24326 0
vsize: 97556
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27056 0 0 0 99913 101 0 0 25 0 1 0 777468976 100302848 23796 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24488 23796 1111 63 0 24425 0
vsize: 97952
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27072 0 0 0 100912 102 0 0 25 0 1 0 777468976 100438016 23812 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24521 23812 1111 63 0 24458 0
vsize: 98084
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27072 0 0 0 101912 102 0 0 25 0 1 0 777468976 100405248 23812 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24513 23812 1111 63 0 24450 0
vsize: 98052
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27173 0 0 0 102912 103 0 0 25 0 1 0 777468976 100798464 23905 4294967295 134512640 134714508 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24609 23905 1111 63 0 24546 0
vsize: 98436
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27273 0 0 0 103912 103 0 0 25 0 1 0 777468976 101142528 23987 4294967295 134512640 134714508 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24693 23987 1111 63 0 24630 0
vsize: 98772
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27273 0 0 0 104912 103 0 0 25 0 1 0 777468976 101142528 23987 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24693 23987 1111 63 0 24630 0
vsize: 98772
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27274 0 0 0 105912 103 0 0 25 0 1 0 777468976 101142528 23988 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24693 23988 1111 63 0 24630 0
vsize: 98772
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27274 0 0 0 106911 104 0 0 25 0 1 0 777468976 100970496 23961 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27274 0 0 0 107911 104 0 0 25 0 1 0 777468976 100970496 23961 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27274 0 0 0 108911 104 0 0 25 0 1 0 777468976 100970496 23961 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27274 0 0 0 109911 104 0 0 25 0 1 0 777468976 100970496 23961 4294967295 134512640 134714508 3221224576 3221223332 134652880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27274 0 0 0 110911 105 0 0 25 0 1 0 777468976 100970496 23961 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27274 0 0 0 111911 105 0 0 25 0 1 0 777468976 100970496 23961 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27274 0 0 0 112911 105 0 0 25 0 1 0 777468976 100970496 23961 4294967295 134512640 134714508 3221224576 3221223324 134551637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27370 0 0 0 113911 106 0 0 25 0 1 0 777468976 101376000 24057 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24750 24057 1111 63 0 24687 0
vsize: 99000
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27383 0 0 0 114910 106 0 0 25 0 1 0 777468976 101511168 24070 4294967295 134512640 134714508 3221224576 3221223136 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24783 24070 1111 63 0 24720 0
vsize: 99132
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27440 0 0 0 115910 107 0 0 25 0 1 0 777468976 101781504 24127 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24849 24127 1111 63 0 24786 0
vsize: 99396
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27440 0 0 0 116910 107 0 0 25 0 1 0 777468976 101781504 24127 4294967295 134512640 134714508 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24849 24127 1111 63 0 24786 0
vsize: 99396
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 26815
Raw data (stat): 26815 (bsolo_lpr_cuts) R 26814 21152 21151 0 -1 0 27440 0 0 0 116910 107 0 0 25 0 1 0 777468976 101781504 24127 4294967295 134512640 134714508 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24849 24127 1111 63 0 24786 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.06
CPU user time (s): 1173.94
CPU system time (s): 1.11683
CPU usage (%): 100.01
Max. virtual memory (Kb): 99396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####