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/miplib3/normalized-mps-v2-20-10-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4742
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.33
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 28320

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 01:37:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13483 boxname=wulflinc29 idbench=1038 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 13483
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        344752 kB
Buffers:         32820 kB
Cached:         627772 kB
SwapCached:        776 kB
Active:          59132 kB
Inactive:       607232 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        344500 kB
SwapTotal:     2097892 kB
SwapFree:      2096724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            17908 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:57:04 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 13483 7 1175.07 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.599 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 1.57467
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.60 0.87 0.95 2/54 26114
Raw data (stat): 26114 (runsolver) R 26113 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834969750 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.66 0.87 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 16284 0 0 0 964 33 0 0 25 0 1 0 834969750 69804032 16197 4294967295 134512640 134714508 3221224576 3221223132 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17042 16197 1111 63 0 16979 0
vsize: 68168
[startup+20.0014 s]
Raw data (loadavg): 0.72 0.87 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 17637 0 0 0 1960 37 0 0 25 0 1 0 834969750 75350016 17550 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17550 1111 63 0 18333 0
vsize: 73584
[startup+30.0022 s]
Raw data (loadavg): 0.76 0.88 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 17694 0 0 0 2960 37 0 0 25 0 1 0 834969750 75620352 17607 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 17607 1111 63 0 18399 0
vsize: 73848
[startup+40.0023 s]
Raw data (loadavg): 0.80 0.88 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 17744 0 0 0 3960 37 0 0 25 0 1 0 834969750 75755520 17657 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17657 1111 63 0 18432 0
vsize: 73980
[startup+50.0018 s]
Raw data (loadavg): 0.83 0.88 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 17788 0 0 0 4960 38 0 0 25 0 1 0 834969750 76025856 17701 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17701 1111 63 0 18498 0
vsize: 74244
[startup+60.0015 s]
Raw data (loadavg): 0.85 0.89 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 17838 0 0 0 5960 38 0 0 25 0 1 0 834969750 76161024 17751 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17751 1111 63 0 18531 0
vsize: 74376
[startup+70.0016 s]
Raw data (loadavg): 0.87 0.89 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 17882 0 0 0 6960 38 0 0 25 0 1 0 834969750 76431360 17795 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18660 17795 1111 63 0 18597 0
vsize: 74640
[startup+80.0022 s]
Raw data (loadavg): 0.89 0.89 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 21722 0 0 0 7951 46 0 0 25 0 1 0 834969750 78774272 18496 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19232 18496 1111 63 0 19169 0
vsize: 76928
[startup+90.0019 s]
Raw data (loadavg): 0.91 0.90 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 21726 0 0 0 8950 48 0 0 25 0 1 0 834969750 78774272 18500 4294967295 134512640 134714508 3221224576 3221223184 134549286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19232 18500 1111 63 0 19169 0
vsize: 76928
[startup+100.002 s]
Raw data (loadavg): 0.92 0.90 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 21827 0 0 0 9949 49 0 0 25 0 1 0 834969750 79044608 18601 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19298 18601 1111 63 0 19235 0
vsize: 77192
[startup+110.002 s]
Raw data (loadavg): 0.93 0.90 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 21874 0 0 0 10948 50 0 0 25 0 1 0 834969750 79314944 18648 4294967295 134512640 134714508 3221224576 3221223240 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19364 18648 1111 63 0 19301 0
vsize: 77456
[startup+120.002 s]
Raw data (loadavg): 0.94 0.90 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 21965 0 0 0 11947 51 0 0 25 0 1 0 834969750 79605760 18739 4294967295 134512640 134714508 3221224576 3221223160 134543617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19435 18739 1111 63 0 19372 0
vsize: 77740
[startup+130.002 s]
Raw data (loadavg): 0.95 0.91 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 21965 0 0 0 12946 53 0 0 25 0 1 0 834969750 79605760 18739 4294967295 134512640 134714508 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19435 18739 1111 63 0 19372 0
vsize: 77740
[startup+140.003 s]
Raw data (loadavg): 0.96 0.91 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 21965 0 0 0 13945 53 0 0 25 0 1 0 834969750 79605760 18739 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19435 18739 1111 63 0 19372 0
vsize: 77740
[startup+150.003 s]
Raw data (loadavg): 0.96 0.91 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 22028 0 0 0 14944 55 0 0 25 0 1 0 834969750 79863808 18802 4294967295 134512640 134714508 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19498 18802 1111 63 0 19435 0
vsize: 77992
[startup+160.003 s]
Raw data (loadavg): 0.97 0.91 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 22104 0 0 0 15942 56 0 0 25 0 1 0 834969750 80240640 18878 4294967295 134512640 134714508 3221224576 3221223312 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19590 18878 1111 63 0 19527 0
vsize: 78360
[startup+170.003 s]
Raw data (loadavg): 0.97 0.92 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 22181 0 0 0 16941 57 0 0 25 0 1 0 834969750 80510976 18955 4294967295 134512640 134714508 3221224576 3221223344 134592449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19656 18955 1111 63 0 19593 0
vsize: 78624
[startup+180.004 s]
Raw data (loadavg): 0.98 0.92 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 22193 0 0 0 17941 58 0 0 25 0 1 0 834969750 80646144 18967 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19689 18967 1111 63 0 19626 0
vsize: 78756
[startup+190.004 s]
Raw data (loadavg): 0.98 0.92 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 22468 0 0 0 18940 59 0 0 25 0 1 0 834969750 81727488 19242 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19953 19242 1111 63 0 19890 0
vsize: 79812
[startup+200.004 s]
Raw data (loadavg): 0.98 0.92 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 22740 0 0 0 19939 60 0 0 25 0 1 0 834969750 82776064 19514 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20209 19514 1111 63 0 20146 0
vsize: 80836
[startup+210.004 s]
Raw data (loadavg): 0.98 0.92 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 22774 0 0 0 20939 61 0 0 25 0 1 0 834969750 82915328 19548 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20243 19548 1111 63 0 20180 0
vsize: 80972
[startup+220.004 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 22942 0 0 0 21938 62 0 0 25 0 1 0 834969750 83709952 19716 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20437 19716 1111 63 0 20374 0
vsize: 81748
[startup+230.012 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 23141 0 0 0 22938 62 0 0 25 0 1 0 834969750 84475904 19915 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20624 19915 1111 63 0 20561 0
vsize: 82496
[startup+240.012 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 23224 0 0 0 23938 63 0 0 25 0 1 0 834969750 84746240 19998 4294967295 134512640 134714508 3221224576 3221223264 134524469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20690 19998 1111 63 0 20627 0
vsize: 82760
[startup+250.012 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 23384 0 0 0 24938 63 0 0 25 0 1 0 834969750 85422080 20158 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20855 20158 1111 63 0 20792 0
vsize: 83420
[startup+260.012 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 23401 0 0 0 25937 64 0 0 25 0 1 0 834969750 85557248 20175 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20888 20175 1111 63 0 20825 0
vsize: 83552
[startup+270.012 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 23509 0 0 0 26937 65 0 0 25 0 1 0 834969750 85938176 20283 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20981 20283 1111 63 0 20918 0
vsize: 83924
[startup+280.013 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 23549 0 0 0 27936 65 0 0 25 0 1 0 834969750 86073344 20323 4294967295 134512640 134714508 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21014 20323 1111 63 0 20951 0
vsize: 84056
[startup+290.013 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 23641 0 0 0 28936 66 0 0 25 0 1 0 834969750 86441984 20399 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21104 20399 1111 63 0 21041 0
vsize: 84416
[startup+300.012 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 23709 0 0 0 29935 67 0 0 25 0 1 0 834969750 86716416 20459 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21171 20459 1111 63 0 21108 0
vsize: 84684
[startup+310.012 s]
Raw data (loadavg): 1.07 0.96 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 23865 0 0 0 30935 67 0 0 25 0 1 0 834969750 87396352 20615 4294967295 134512640 134714508 3221224576 3221223320 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21337 20615 1111 63 0 21274 0
vsize: 85348
[startup+320.012 s]
Raw data (loadavg): 1.06 0.96 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 23981 0 0 0 31934 68 0 0 25 0 1 0 834969750 87793664 20731 4294967295 134512640 134714508 3221224576 3221223152 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21434 20731 1111 63 0 21371 0
vsize: 85736
[startup+330.012 s]
Raw data (loadavg): 1.05 0.96 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24009 0 0 0 32934 69 0 0 25 0 1 0 834969750 87900160 20759 4294967295 134512640 134714508 3221224576 3221223264 134543698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21460 20759 1111 63 0 21397 0
vsize: 85840
[startup+340.012 s]
Raw data (loadavg): 1.04 0.96 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24071 0 0 0 33933 69 0 0 25 0 1 0 834969750 88113152 20821 4294967295 134512640 134714508 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21512 20821 1111 63 0 21449 0
vsize: 86048
[startup+350.013 s]
Raw data (loadavg): 1.03 0.96 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24071 0 0 0 34933 70 0 0 25 0 1 0 834969750 88113152 20821 4294967295 134512640 134714508 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21512 20821 1111 63 0 21449 0
vsize: 86048
[startup+360.013 s]
Raw data (loadavg): 1.03 0.96 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24177 0 0 0 35933 70 0 0 25 0 1 0 834969750 88535040 20925 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21615 20925 1111 63 0 21552 0
vsize: 86460
[startup+370.021 s]
Raw data (loadavg): 1.02 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24277 0 0 0 36933 71 0 0 25 0 1 0 834969750 89075712 21025 4294967295 134512640 134714508 3221224576 3221223308 134518132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21747 21025 1111 63 0 21684 0
vsize: 86988
[startup+380.026 s]
Raw data (loadavg): 1.02 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24402 0 0 0 37933 72 0 0 25 0 1 0 834969750 89481216 21150 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21846 21150 1111 63 0 21783 0
vsize: 87384
[startup+390.025 s]
Raw data (loadavg): 1.02 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24402 0 0 0 38933 72 0 0 25 0 1 0 834969750 89481216 21150 4294967295 134512640 134714508 3221224576 3221223308 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21846 21150 1111 63 0 21783 0
vsize: 87384
[startup+400.026 s]
Raw data (loadavg): 1.01 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24434 0 0 0 39932 73 0 0 25 0 1 0 834969750 89616384 21182 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21879 21182 1111 63 0 21816 0
vsize: 87516
[startup+410.026 s]
Raw data (loadavg): 1.01 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24663 0 0 0 40932 74 0 0 25 0 1 0 834969750 90566656 21411 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22111 21411 1111 63 0 22048 0
vsize: 88444
[startup+420.027 s]
Raw data (loadavg): 1.01 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24756 0 0 0 41932 74 0 0 25 0 1 0 834969750 90976256 21504 4294967295 134512640 134714508 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22211 21504 1111 63 0 22148 0
vsize: 88844
[startup+430.028 s]
Raw data (loadavg): 1.01 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24756 0 0 0 42931 74 0 0 25 0 1 0 834969750 90976256 21504 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22211 21504 1111 63 0 22148 0
vsize: 88844
[startup+440.027 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24756 0 0 0 43931 74 0 0 25 0 1 0 834969750 90976256 21504 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22211 21504 1111 63 0 22148 0
vsize: 88844
[startup+450.027 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24835 0 0 0 44931 75 0 0 25 0 1 0 834969750 91365376 21583 4294967295 134512640 134714508 3221224576 3221223304 134558807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22306 21583 1111 63 0 22243 0
vsize: 89224
[startup+460.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24835 0 0 0 45930 76 0 0 25 0 1 0 834969750 91365376 21583 4294967295 134512640 134714508 3221224576 3221223312 134535750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22306 21583 1111 63 0 22243 0
vsize: 89224
[startup+470.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 24972 0 0 0 46930 77 0 0 25 0 1 0 834969750 91885568 21720 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22433 21720 1111 63 0 22370 0
vsize: 89732
[startup+480.029 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25005 0 0 0 47930 77 0 0 25 0 1 0 834969750 92020736 21753 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22466 21753 1111 63 0 22403 0
vsize: 89864
[startup+490.029 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25005 0 0 0 48930 77 0 0 25 0 1 0 834969750 92020736 21753 4294967295 134512640 134714508 3221224576 3221223136 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22466 21753 1111 63 0 22403 0
vsize: 89864
[startup+500.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25005 0 0 0 49930 77 0 0 25 0 1 0 834969750 92020736 21753 4294967295 134512640 134714508 3221224576 3221223216 134536657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22466 21753 1111 63 0 22403 0
vsize: 89864
[startup+510.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25060 0 0 0 50930 78 0 0 25 0 1 0 834969750 92241920 21808 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22520 21808 1111 63 0 22457 0
vsize: 90080
[startup+520.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25165 0 0 0 51929 78 0 0 25 0 1 0 834969750 92647424 21913 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22619 21913 1111 63 0 22556 0
vsize: 90476
[startup+530.132 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25165 0 0 0 52939 79 0 0 25 0 1 0 834969750 92647424 21913 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22619 21913 1111 63 0 22556 0
vsize: 90476
[startup+540.131 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25165 0 0 0 53939 79 0 0 25 0 1 0 834969750 92647424 21913 4294967295 134512640 134714508 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22619 21913 1111 63 0 22556 0
vsize: 90476
[startup+550.131 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25235 0 0 0 54938 80 0 0 25 0 1 0 834969750 92917760 21983 4294967295 134512640 134714508 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22685 21983 1111 63 0 22622 0
vsize: 90740
[startup+560.132 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25280 0 0 0 55938 80 0 0 25 0 1 0 834969750 93052928 22028 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22718 22028 1111 63 0 22655 0
vsize: 90872
[startup+570.131 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25450 0 0 0 56938 81 0 0 25 0 1 0 834969750 93749248 22198 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22888 22198 1111 63 0 22825 0
vsize: 91552
[startup+580.132 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25473 0 0 0 57937 81 0 0 25 0 1 0 834969750 93884416 22221 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22921 22221 1111 63 0 22858 0
vsize: 91684
[startup+590.132 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25577 0 0 0 58937 82 0 0 25 0 1 0 834969750 94285824 22325 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23019 22325 1111 63 0 22956 0
vsize: 92076
[startup+600.132 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25614 0 0 0 59937 82 0 0 25 0 1 0 834969750 94547968 22362 4294967295 134512640 134714508 3221224576 3221222972 1077379947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23083 22362 1111 63 0 23020 0
vsize: 92332
[startup+610.132 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25720 0 0 0 60936 83 0 0 25 0 1 0 834969750 94953472 22468 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23182 22468 1111 63 0 23119 0
vsize: 92728
[startup+620.132 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25766 0 0 0 61936 84 0 0 25 0 1 0 834969750 95088640 22514 4294967295 134512640 134714508 3221224576 3221223168 134549821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 22514 1111 63 0 23152 0
vsize: 92860
[startup+630.133 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25766 0 0 0 62936 84 0 0 25 0 1 0 834969750 95088640 22514 4294967295 134512640 134714508 3221224576 3221223216 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 22514 1111 63 0 23152 0
vsize: 92860
[startup+640.133 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25766 0 0 0 63935 85 0 0 25 0 1 0 834969750 95088640 22514 4294967295 134512640 134714508 3221224576 3221223264 134524469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 22514 1111 63 0 23152 0
vsize: 92860
[startup+650.133 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25771 0 0 0 64935 85 0 0 25 0 1 0 834969750 95088640 22519 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 22519 1111 63 0 23152 0
vsize: 92860
[startup+660.134 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25852 0 0 0 65935 85 0 0 25 0 1 0 834969750 95473664 22600 4294967295 134512640 134714508 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23309 22600 1111 63 0 23246 0
vsize: 93236
[startup+670.134 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25852 0 0 0 66935 85 0 0 25 0 1 0 834969750 95473664 22600 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23309 22600 1111 63 0 23246 0
vsize: 93236
[startup+680.134 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 25913 0 0 0 67935 86 0 0 25 0 1 0 834969750 95719424 22661 4294967295 134512640 134714508 3221224576 3221223300 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23369 22661 1111 63 0 23306 0
vsize: 93476
[startup+690.135 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26027 0 0 0 68934 86 0 0 25 0 1 0 834969750 96219136 22775 4294967295 134512640 134714508 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23491 22775 1111 63 0 23428 0
vsize: 93964
[startup+700.135 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26077 0 0 0 69934 87 0 0 25 0 1 0 834969750 96354304 22825 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23524 22825 1111 63 0 23461 0
vsize: 94096
[startup+710.136 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26109 0 0 0 70934 88 0 0 25 0 1 0 834969750 96489472 22857 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23557 22857 1111 63 0 23494 0
vsize: 94228
[startup+720.135 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26120 0 0 0 71934 88 0 0 25 0 1 0 834969750 96591872 22866 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23582 22866 1111 63 0 23519 0
vsize: 94328
[startup+730.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26264 0 0 0 72933 89 0 0 25 0 1 0 834969750 97173504 23010 4294967295 134512640 134714508 3221224576 3221223344 134592116 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.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26341 0 0 0 73931 90 0 0 25 0 1 0 834969750 97447936 23087 4294967295 134512640 134714508 3221224576 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23791 23087 1111 63 0 23728 0
vsize: 95164
[startup+750.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26341 0 0 0 74930 91 0 0 25 0 1 0 834969750 97386496 23085 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23776 23085 1111 63 0 23713 0
vsize: 95104
[startup+760.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26401 0 0 0 75930 91 0 0 25 0 1 0 834969750 97656832 23145 4294967295 134512640 134714508 3221224576 3221223344 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23842 23145 1111 63 0 23779 0
vsize: 95368
[startup+770.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26452 0 0 0 76930 92 0 0 25 0 1 0 834969750 97902592 23195 4294967295 134512640 134714508 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23902 23195 1111 63 0 23839 0
vsize: 95608
[startup+780.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26452 0 0 0 77929 93 0 0 25 0 1 0 834969750 97902592 23195 4294967295 134512640 134714508 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23902 23195 1111 63 0 23839 0
vsize: 95608
[startup+790.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26453 0 0 0 78929 93 0 0 25 0 1 0 834969750 97902592 23196 4294967295 134512640 134714508 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23902 23196 1111 63 0 23839 0
vsize: 95608
[startup+800.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26453 0 0 0 79928 94 0 0 25 0 1 0 834969750 97902592 23196 4294967295 134512640 134714508 3221224576 3221223252 134594355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23902 23196 1111 63 0 23839 0
vsize: 95608
[startup+810.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26453 0 0 0 80928 94 0 0 25 0 1 0 834969750 97902592 23196 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23902 23196 1111 63 0 23839 0
vsize: 95608
[startup+820.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26522 0 0 0 81928 94 0 0 25 0 1 0 834969750 98172928 23265 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23968 23265 1111 63 0 23905 0
vsize: 95872
[startup+830.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26583 0 0 0 82927 95 0 0 25 0 1 0 834969750 98443264 23326 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+840.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26583 0 0 0 83927 96 0 0 25 0 1 0 834969750 98443264 23326 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+850.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26583 0 0 0 84927 96 0 0 25 0 1 0 834969750 98443264 23326 4294967295 134512640 134714508 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+860.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26583 0 0 0 85927 97 0 0 25 0 1 0 834969750 98443264 23326 4294967295 134512640 134714508 3221224576 3221223264 134524415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+870.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26583 0 0 0 86927 97 0 0 25 0 1 0 834969750 98443264 23326 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+880.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26686 0 0 0 87926 97 0 0 25 0 1 0 834969750 98844672 23429 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24132 23429 1111 63 0 24069 0
vsize: 96528
[startup+890.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26715 0 0 0 88926 97 0 0 25 0 1 0 834969750 98979840 23458 4294967295 134512640 134714508 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+900.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26715 0 0 0 89926 98 0 0 25 0 1 0 834969750 98979840 23458 4294967295 134512640 134714508 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+910.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26715 0 0 0 90926 98 0 0 25 0 1 0 834969750 98979840 23458 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+920.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26715 0 0 0 91926 98 0 0 25 0 1 0 834969750 98979840 23458 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+930.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26761 0 0 0 92925 99 0 0 25 0 1 0 834969750 99086336 23501 4294967295 134512640 134714508 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24191 23501 1111 63 0 24128 0
vsize: 96764
[startup+940.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26910 0 0 0 93925 100 0 0 25 0 1 0 834969750 99762176 23650 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23650 1111 63 0 24293 0
vsize: 97424
[startup+950.136 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26910 0 0 0 94924 100 0 0 25 0 1 0 834969750 99762176 23650 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23650 1111 63 0 24293 0
vsize: 97424
[startup+960.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26910 0 0 0 95924 100 0 0 25 0 1 0 834969750 99762176 23650 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23650 1111 63 0 24293 0
vsize: 97424
[startup+970.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26911 0 0 0 96924 101 0 0 25 0 1 0 834969750 99762176 23651 4294967295 134512640 134714508 3221224576 3221222820 134697327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23651 1111 63 0 24293 0
vsize: 97424
[startup+980.138 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26925 0 0 0 97924 101 0 0 25 0 1 0 834969750 99762176 23665 4294967295 134512640 134714508 3221224576 3221223336 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23665 1111 63 0 24293 0
vsize: 97424
[startup+990.137 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 26943 0 0 0 98924 102 0 0 25 0 1 0 834969750 99897344 23683 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24389 23683 1111 63 0 24326 0
vsize: 97556
[startup+1000.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27056 0 0 0 99923 102 0 0 25 0 1 0 834969750 100302848 23796 4294967295 134512640 134714508 3221224576 3221223260 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24488 23796 1111 63 0 24425 0
vsize: 97952
[startup+1010.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27072 0 0 0 100923 102 0 0 25 0 1 0 834969750 100438016 23812 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24521 23812 1111 63 0 24458 0
vsize: 98084
[startup+1020.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27072 0 0 0 101923 103 0 0 25 0 1 0 834969750 100405248 23812 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24513 23812 1111 63 0 24450 0
vsize: 98052
[startup+1030.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27173 0 0 0 102923 103 0 0 25 0 1 0 834969750 100798464 23905 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24609 23905 1111 63 0 24546 0
vsize: 98436
[startup+1040.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27273 0 0 0 103922 104 0 0 25 0 1 0 834969750 101142528 23987 4294967295 134512640 134714508 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24693 23987 1111 63 0 24630 0
vsize: 98772
[startup+1050.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27273 0 0 0 104922 104 0 0 25 0 1 0 834969750 101142528 23987 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24693 23987 1111 63 0 24630 0
vsize: 98772
[startup+1060.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27274 0 0 0 105922 104 0 0 25 0 1 0 834969750 101142528 23988 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24693 23988 1111 63 0 24630 0
vsize: 98772
[startup+1070.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27274 0 0 0 106922 105 0 0 25 0 1 0 834969750 100970496 23961 4294967295 134512640 134714508 3221224576 3221223344 134592119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1080.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27274 0 0 0 107922 105 0 0 25 0 1 0 834969750 100970496 23961 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1090.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27274 0 0 0 108921 106 0 0 25 0 1 0 834969750 100970496 23961 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1100.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27274 0 0 0 109921 106 0 0 25 0 1 0 834969750 100970496 23961 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1110.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27274 0 0 0 110920 107 0 0 25 0 1 0 834969750 100970496 23961 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27274 0 0 0 111920 108 0 0 25 0 1 0 834969750 100970496 23961 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1130.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27274 0 0 0 112920 108 0 0 25 0 1 0 834969750 100970496 23961 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27370 0 0 0 113919 109 0 0 25 0 1 0 834969750 101376000 24057 4294967295 134512640 134714508 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24750 24057 1111 63 0 24687 0
vsize: 99000
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27407 0 0 0 114919 109 0 0 25 0 1 0 834969750 101646336 24094 4294967295 134512640 134714508 3221224576 3221223116 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24816 24095 1111 63 0 24753 0
vsize: 99264
[startup+1160.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27440 0 0 0 115919 110 0 0 25 0 1 0 834969750 101781504 24127 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24849 24127 1111 63 0 24786 0
vsize: 99396
[startup+1170.14 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27440 0 0 0 116919 110 0 0 25 0 1 0 834969750 101781504 24127 4294967295 134512640 134714508 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24849 24127 1111 63 0 24786 0
vsize: 99396
[startup+1174.91 s]
Raw data (loadavg): 1.00 0.97 0.96 1/53 26114
Raw data (stat): 26114 (bsolo_lpr_cuts) R 26113 20001 20000 0 -1 0 27440 0 0 0 116919 110 0 0 25 0 1 0 834969750 101781504 24127 4294967295 134512640 134714508 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24849 24127 1111 63 0 24786 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.07
CPU user time (s): 1173.91
CPU system time (s): 1.15182
CPU usage (%): 100.013
Max. virtual memory (Kb): 99396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####