PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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	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.69
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 27107

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-24 19:15:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18475 boxname=wulflinc17 idbench=1422 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 18475
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        888860 kB
Buffers:          3192 kB
Cached:         120496 kB
SwapCached:        480 kB
Active:          36296 kB
Inactive:        90152 kB
HighTotal:      131008 kB
HighFree:        14560 kB
LowTotal:       903652 kB
LowFree:        874300 kB
SwapTotal:     2097892 kB
SwapFree:      2097148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6044 kB
Slab:            13800 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:35:30 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 18475 7 1175.08 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 394 constraints.
c preprocess terminated 74.974 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 1.74325
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.92 0.90 2/54 11716
Raw data (stat): 11716 (runsolver) R 11715 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832696599 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+9.99998 s]
Raw data (loadavg): 0.86 0.92 0.90 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 16288 0 0 0 959 39 0 0 25 0 1 0 832696599 69804032 16201 4294967295 134512640 134714508 3221224576 3221223304 134672948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17042 16201 1111 63 0 16979 0
vsize: 68168
[startup+19.9993 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17637 0 0 0 1957 41 0 0 25 0 1 0 832696599 75350016 17550 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17550 1111 63 0 18333 0
vsize: 73584
[startup+29.9999 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17690 0 0 0 2957 41 0 0 25 0 1 0 832696599 75620352 17603 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 17603 1111 63 0 18399 0
vsize: 73848
[startup+39.9998 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17741 0 0 0 3957 41 0 0 25 0 1 0 832696599 75755520 17654 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17654 1111 63 0 18432 0
vsize: 73980
[startup+50.0001 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17786 0 0 0 4957 41 0 0 25 0 1 0 832696599 76025856 17699 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17699 1111 63 0 18498 0
vsize: 74244
[startup+59.9997 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17833 0 0 0 5956 42 0 0 25 0 1 0 832696599 76161024 17746 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17746 1111 63 0 18531 0
vsize: 74376
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 17876 0 0 0 6957 42 0 0 25 0 1 0 832696599 76296192 17789 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18627 17789 1111 63 0 18564 0
vsize: 74508
[startup+80.0021 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 22821 0 0 0 7946 52 0 0 25 0 1 0 832696599 80461824 18928 4294967295 134512640 134714508 3221224576 3221222880 134539120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19644 18928 1111 63 0 19581 0
vsize: 78576
[startup+90.0015 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 25496 0 0 0 8939 58 0 0 25 0 1 0 832696599 81588224 19226 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19919 19226 1111 63 0 19856 0
vsize: 79676
[startup+100.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 25496 0 0 0 9939 59 0 0 25 0 1 0 832696599 81588224 19226 4294967295 134512640 134714508 3221224576 3221223212 134696866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19919 19226 1111 63 0 19856 0
vsize: 79676
[startup+110.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 25766 0 0 0 10938 61 0 0 25 0 1 0 832696599 82804736 19496 4294967295 134512640 134714508 3221224576 3221223300 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19496 1111 63 0 20153 0
vsize: 80864
[startup+120.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 26148 0 0 0 11936 62 0 0 25 0 1 0 832696599 84279296 19878 4294967295 134512640 134714508 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20576 19878 1111 63 0 20513 0
vsize: 82304
[startup+130.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 26503 0 0 0 12935 64 0 0 25 0 1 0 832696599 85708800 20233 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20925 20233 1111 63 0 20862 0
vsize: 83700
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 26629 0 0 0 13934 65 0 0 25 0 1 0 832696599 86331392 20355 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21077 20355 1111 63 0 21014 0
vsize: 84308
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 26775 0 0 0 14933 66 0 0 25 0 1 0 832696599 86855680 20501 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21205 20501 1111 63 0 21142 0
vsize: 84820
[startup+160.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 26951 0 0 0 15932 67 0 0 25 0 1 0 832696599 87531520 20677 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21370 20677 1111 63 0 21307 0
vsize: 85480
[startup+170.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27180 0 0 0 16931 68 0 0 25 0 1 0 832696599 88449024 20904 4294967295 134512640 134714508 3221224576 3221223136 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21594 20904 1111 63 0 21531 0
vsize: 86376
[startup+180.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27291 0 0 0 17931 69 0 0 25 0 1 0 832696599 88936448 21015 4294967295 134512640 134714508 3221224576 3221223324 134543124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21713 21015 1111 63 0 21650 0
vsize: 86852
[startup+190.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27513 0 0 0 18930 69 0 0 25 0 1 0 832696599 89882624 21237 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21944 21237 1111 63 0 21881 0
vsize: 87776
[startup+200.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27648 0 0 0 19929 70 0 0 25 0 1 0 832696599 90423296 21372 4294967295 134512640 134714508 3221224576 3221223216 134613431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22076 21372 1111 63 0 22013 0
vsize: 88304
[startup+210.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27747 0 0 0 20928 72 0 0 25 0 1 0 832696599 90828800 21471 4294967295 134512640 134714508 3221224576 3221223184 134549332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22175 21471 1111 63 0 22112 0
vsize: 88700
[startup+220.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 27920 0 0 0 21928 72 0 0 25 0 1 0 832696599 91512832 21644 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22342 21644 1111 63 0 22279 0
vsize: 89368
[startup+230.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28057 0 0 0 22927 74 0 0 25 0 1 0 832696599 92053504 21781 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22474 21781 1111 63 0 22411 0
vsize: 89896
[startup+240.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28158 0 0 0 23926 75 0 0 25 0 1 0 832696599 92393472 21867 4294967295 134512640 134714508 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22557 21867 1111 63 0 22494 0
vsize: 90228
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28301 0 0 0 24925 76 0 0 25 0 1 0 832696599 93048832 22004 4294967295 134512640 134714508 3221224576 3221223324 134672949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22717 22004 1111 63 0 22654 0
vsize: 90868
[startup+260.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28448 0 0 0 25924 77 0 0 25 0 1 0 832696599 93589504 22151 4294967295 134512640 134714508 3221224576 3221223232 134523904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22849 22151 1111 63 0 22786 0
vsize: 91396
[startup+270.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28660 0 0 0 26923 78 0 0 25 0 1 0 832696599 94507008 22363 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23073 22363 1111 63 0 23010 0
vsize: 92292
[startup+280.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28672 0 0 0 27923 79 0 0 25 0 1 0 832696599 94507008 22375 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23073 22375 1111 63 0 23010 0
vsize: 92292
[startup+290.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28840 0 0 0 28921 80 0 0 25 0 1 0 832696599 95182848 22543 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23238 22543 1111 63 0 23175 0
vsize: 92952
[startup+300.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 28999 0 0 0 29920 81 0 0 25 0 1 0 832696599 95854592 22695 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23402 22695 1111 63 0 23339 0
vsize: 93608
[startup+310.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29227 0 0 0 30919 82 0 0 25 0 1 0 832696599 96800768 22923 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23633 22923 1111 63 0 23570 0
vsize: 94532
[startup+320.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29307 0 0 0 31919 83 0 0 25 0 1 0 832696599 97071104 23003 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23699 23003 1111 63 0 23636 0
vsize: 94796
[startup+330.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29472 0 0 0 32918 84 0 0 25 0 1 0 832696599 97837056 23168 4294967295 134512640 134714508 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23886 23168 1111 63 0 23823 0
vsize: 95544
[startup+340.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29687 0 0 0 33917 85 0 0 25 0 1 0 832696599 98492416 23348 4294967295 134512640 134714508 3221224576 3221223276 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24046 23348 1111 63 0 23983 0
vsize: 96184
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29843 0 0 0 34917 86 0 0 25 0 1 0 832696599 99069952 23493 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24187 23493 1111 63 0 24124 0
vsize: 96748
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 29937 0 0 0 35916 86 0 0 25 0 1 0 832696599 99475456 23587 4294967295 134512640 134714508 3221224576 3221223184 134523399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24286 23587 1111 63 0 24223 0
vsize: 97144
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30030 0 0 0 36915 88 0 0 25 0 1 0 832696599 99880960 23680 4294967295 134512640 134714508 3221224576 3221223244 134539344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24385 23680 1111 63 0 24322 0
vsize: 97540
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30060 0 0 0 37915 88 0 0 25 0 1 0 832696599 100016128 23710 4294967295 134512640 134714508 3221224576 3221223288 134591888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24418 23710 1111 63 0 24355 0
vsize: 97672
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30153 0 0 0 38914 89 0 0 25 0 1 0 832696599 100421632 23803 4294967295 134512640 134714508 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24517 23803 1111 63 0 24454 0
vsize: 98068
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30259 0 0 0 39913 90 0 0 25 0 1 0 832696599 100818944 23909 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24614 23909 1111 63 0 24551 0
vsize: 98456
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30468 0 0 0 40913 90 0 0 25 0 1 0 832696599 101715968 24117 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24833 24117 1111 63 0 24770 0
vsize: 99332
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30468 0 0 0 41913 91 0 0 25 0 1 0 832696599 101666816 24117 4294967295 134512640 134714508 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24821 24117 1111 63 0 24758 0
vsize: 99284
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30472 0 0 0 42913 91 0 0 25 0 1 0 832696599 101666816 24121 4294967295 134512640 134714508 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24821 24121 1111 63 0 24758 0
vsize: 99284
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30511 0 0 0 43912 92 0 0 25 0 1 0 832696599 101801984 24160 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24854 24160 1111 63 0 24791 0
vsize: 99416
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30746 0 0 0 44910 94 0 0 25 0 1 0 832696599 102748160 24395 4294967295 134512640 134714508 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25085 24395 1111 63 0 25022 0
vsize: 100340
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30802 0 0 0 45910 95 0 0 25 0 1 0 832696599 103014400 24451 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25150 24451 1111 63 0 25087 0
vsize: 100600
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30832 0 0 0 46910 95 0 0 25 0 1 0 832696599 103149568 24481 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25183 24481 1111 63 0 25120 0
vsize: 100732
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30860 0 0 0 47910 95 0 0 25 0 1 0 832696599 103284736 24509 4294967295 134512640 134714508 3221224576 3221223324 134672920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25216 24509 1111 63 0 25153 0
vsize: 100864
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 30943 0 0 0 48909 96 0 0 25 0 1 0 832696599 103616512 24592 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25297 24592 1111 63 0 25234 0
vsize: 101188
[startup+500.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31180 0 0 0 49908 97 0 0 25 0 1 0 832696599 104652800 24829 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25550 24829 1111 63 0 25487 0
vsize: 102200
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31180 0 0 0 50908 98 0 0 25 0 1 0 832696599 104546304 24829 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25524 24829 1111 63 0 25461 0
vsize: 102096
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31320 0 0 0 51907 98 0 0 25 0 1 0 832696599 105218048 24969 4294967295 134512640 134714508 3221224576 3221223100 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25688 24969 1111 63 0 25625 0
vsize: 102752
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31457 0 0 0 52906 99 0 0 25 0 1 0 832696599 105758720 25106 4294967295 134512640 134714508 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25820 25108 1111 63 0 25757 0
vsize: 103280
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31512 0 0 0 53906 100 0 0 25 0 1 0 832696599 105893888 25161 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25853 25161 1111 63 0 25790 0
vsize: 103412
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31594 0 0 0 54905 101 0 0 25 0 1 0 832696599 106225664 25243 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25934 25243 1111 63 0 25871 0
vsize: 103736
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31612 0 0 0 55905 101 0 0 25 0 1 0 832696599 106352640 25261 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25965 25261 1111 63 0 25902 0
vsize: 103860
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31632 0 0 0 56905 101 0 0 25 0 1 0 832696599 106422272 25279 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25982 25279 1111 63 0 25919 0
vsize: 103928
[startup+580.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31770 0 0 0 57904 102 0 0 25 0 1 0 832696599 106659840 25350 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26040 25350 1111 63 0 25977 0
vsize: 104160
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 31865 0 0 0 58904 102 0 0 25 0 1 0 832696599 107065344 25445 4294967295 134512640 134714508 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26139 25445 1111 63 0 26076 0
vsize: 104556
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32077 0 0 0 59904 103 0 0 25 0 1 0 832696599 107937792 25657 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26352 25657 1111 63 0 26289 0
vsize: 105408
[startup+610.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32077 0 0 0 60903 104 0 0 25 0 1 0 832696599 107937792 25657 4294967295 134512640 134714508 3221224576 3221223184 134523393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26352 25657 1111 63 0 26289 0
vsize: 105408
[startup+620 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32077 0 0 0 61902 105 0 0 25 0 1 0 832696599 107937792 25657 4294967295 134512640 134714508 3221224576 3221223216 134539369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26352 25657 1111 63 0 26289 0
vsize: 105408
[startup+630.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32200 0 0 0 62901 106 0 0 25 0 1 0 832696599 108445696 25777 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26476 25777 1111 63 0 26413 0
vsize: 105904
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32355 0 0 0 63901 107 0 0 25 0 1 0 832696599 109068288 25932 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26628 25932 1111 63 0 26565 0
vsize: 106512
[startup+650 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32356 0 0 0 64901 107 0 0 25 0 1 0 832696599 109068288 25933 4294967295 134512640 134714508 3221224576 3221223160 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26628 25933 1111 63 0 26565 0
vsize: 106512
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32363 0 0 0 65900 108 0 0 25 0 1 0 832696599 109203456 25940 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26661 25940 1111 63 0 26598 0
vsize: 106644
[startup+670.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32449 0 0 0 66900 109 0 0 25 0 1 0 832696599 109453312 26023 4294967295 134512640 134714508 3221224576 3221223232 134543735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26722 26023 1111 63 0 26659 0
vsize: 106888
[startup+680.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32490 0 0 0 67899 109 0 0 25 0 1 0 832696599 109588480 26064 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26755 26064 1111 63 0 26692 0
vsize: 107020
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32524 0 0 0 68898 110 0 0 25 0 1 0 832696599 109748224 26098 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26794 26098 1111 63 0 26731 0
vsize: 107176
[startup+700 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32578 0 0 0 69898 111 0 0 25 0 1 0 832696599 109998080 26152 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26855 26152 1111 63 0 26792 0
vsize: 107420
[startup+710.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32658 0 0 0 70897 112 0 0 25 0 1 0 832696599 110403584 26232 4294967295 134512640 134714508 3221224576 3221223104 134543035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26954 26232 1111 63 0 26891 0
vsize: 107816
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32744 0 0 0 71896 113 0 0 25 0 1 0 832696599 110735360 26312 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27035 26312 1111 63 0 26972 0
vsize: 108140
[startup+730.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32774 0 0 0 72896 114 0 0 25 0 1 0 832696599 110735360 26342 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27035 26342 1111 63 0 26972 0
vsize: 108140
[startup+740.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32856 0 0 0 73894 115 0 0 25 0 1 0 832696599 111071232 26424 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27117 26424 1111 63 0 27054 0
vsize: 108468
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 32872 0 0 0 74894 115 0 0 25 0 1 0 832696599 111206400 26440 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26440 1111 63 0 27087 0
vsize: 108600
[startup+760.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33124 0 0 0 75893 117 0 0 25 0 1 0 832696599 112267264 26692 4294967295 134512640 134714508 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27409 26692 1111 63 0 27346 0
vsize: 109636
[startup+770.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33392 0 0 0 76892 118 0 0 25 0 1 0 832696599 113348608 26960 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27673 26960 1111 63 0 27610 0
vsize: 110692
[startup+780.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33572 0 0 0 77891 119 0 0 25 0 1 0 832696599 114024448 27140 4294967295 134512640 134714508 3221224576 3221223228 134536791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27838 27140 1111 63 0 27775 0
vsize: 111352
[startup+790.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33715 0 0 0 78890 120 0 0 25 0 1 0 832696599 114675712 27283 4294967295 134512640 134714508 3221224576 3221223280 134528732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27997 27283 1111 63 0 27934 0
vsize: 111988
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33786 0 0 0 79889 122 0 0 25 0 1 0 832696599 114933760 27354 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28060 27354 1111 63 0 27997 0
vsize: 112240
[startup+810.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 33968 0 0 0 80888 122 0 0 25 0 1 0 832696599 115732480 27536 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28255 27536 1111 63 0 28192 0
vsize: 113020
[startup+820.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34107 0 0 0 81888 123 0 0 25 0 1 0 832696599 116273152 27675 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28387 27675 1111 63 0 28324 0
vsize: 113548
[startup+830.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34152 0 0 0 82888 124 0 0 25 0 1 0 832696599 116408320 27720 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28420 27720 1111 63 0 28357 0
vsize: 113680
[startup+840 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34462 0 0 0 83887 125 0 0 25 0 1 0 832696599 117760000 28030 4294967295 134512640 134714508 3221224576 3221223392 134590080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28750 28030 1111 63 0 28687 0
vsize: 115000
[startup+850 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34523 0 0 0 84886 125 0 0 25 0 1 0 832696599 117882880 28085 4294967295 134512640 134714508 3221224576 3221223116 134539265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28780 28085 1111 63 0 28717 0
vsize: 115120
[startup+860 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34555 0 0 0 85886 125 0 0 25 0 1 0 832696599 118018048 28117 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28813 28117 1111 63 0 28750 0
vsize: 115252
[startup+869.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34630 0 0 0 86885 126 0 0 25 0 1 0 832696599 118423552 28192 4294967295 134512640 134714508 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28912 28192 1111 63 0 28849 0
vsize: 115648
[startup+879.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34743 0 0 0 87885 126 0 0 25 0 1 0 832696599 118829056 28305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29011 28305 1111 63 0 28948 0
vsize: 116044
[startup+889.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 34985 0 0 0 88884 127 0 0 25 0 1 0 832696599 119840768 28547 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29258 28547 1111 63 0 29195 0
vsize: 117032
[startup+899.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35054 0 0 0 89884 128 0 0 25 0 1 0 832696599 120135680 28616 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29330 28616 1111 63 0 29267 0
vsize: 117320
[startup+909.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35147 0 0 0 90883 129 0 0 25 0 1 0 832696599 120532992 28709 4294967295 134512640 134714508 3221224576 3221223164 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29427 28709 1111 63 0 29364 0
vsize: 117708
[startup+919.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35289 0 0 0 91883 129 0 0 25 0 1 0 832696599 121061376 28851 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29556 28851 1111 63 0 29493 0
vsize: 118224
[startup+929.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35300 0 0 0 92882 130 0 0 25 0 1 0 832696599 121061376 28862 4294967295 134512640 134714508 3221224576 3221223168 134542674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29556 28862 1111 63 0 29493 0
vsize: 118224
[startup+939.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35389 0 0 0 93882 130 0 0 25 0 1 0 832696599 121434112 28951 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29647 28951 1111 63 0 29584 0
vsize: 118588
[startup+949.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35482 0 0 0 94881 131 0 0 25 0 1 0 832696599 121880576 29041 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29756 29041 1111 63 0 29693 0
vsize: 119024
[startup+959.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35574 0 0 0 95881 131 0 0 25 0 1 0 832696599 122036224 29104 4294967295 134512640 134714508 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29794 29104 1111 63 0 29731 0
vsize: 119176
[startup+969.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35713 0 0 0 96881 132 0 0 25 0 1 0 832696599 122613760 29217 4294967295 134512640 134714508 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29935 29217 1111 63 0 29872 0
vsize: 119740
[startup+979.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35841 0 0 0 97880 132 0 0 25 0 1 0 832696599 122978304 29330 4294967295 134512640 134714508 3221224576 3221223204 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30024 29330 1111 63 0 29961 0
vsize: 120096
[startup+989.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35873 0 0 0 98880 132 0 0 25 0 1 0 832696599 123113472 29362 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30057 29362 1111 63 0 29994 0
vsize: 120228
[startup+999.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 35900 0 0 0 99880 133 0 0 25 0 1 0 832696599 123248640 29389 4294967295 134512640 134714508 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30090 29389 1111 63 0 30027 0
vsize: 120360
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36062 0 0 0 100879 134 0 0 25 0 1 0 832696599 123924480 29551 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30255 29551 1111 63 0 30192 0
vsize: 121020
[startup+1019.99 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36076 0 0 0 101879 134 0 0 25 0 1 0 832696599 123924480 29565 4294967295 134512640 134714508 3221224576 3221223036 1077374432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30255 29565 1111 63 0 30192 0
vsize: 121020
[startup+1029.99 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36076 0 0 0 102879 135 0 0 25 0 1 0 832696599 123924480 29565 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30255 29565 1111 63 0 30192 0
vsize: 121020
[startup+1039.99 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36135 0 0 0 103878 135 0 0 25 0 1 0 832696599 124194816 29624 4294967295 134512640 134714508 3221224576 3221223168 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30321 29624 1111 63 0 30258 0
vsize: 121284
[startup+1049.99 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36176 0 0 0 104878 136 0 0 25 0 1 0 832696599 124452864 29665 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30384 29665 1111 63 0 30321 0
vsize: 121536
[startup+1059.99 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36244 0 0 0 105878 137 0 0 25 0 1 0 832696599 124657664 29733 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30434 29733 1111 63 0 30371 0
vsize: 121736
[startup+1069.99 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36393 0 0 0 106877 138 0 0 25 0 1 0 832696599 125247488 29882 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1079.99 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36393 0 0 0 107876 138 0 0 25 0 1 0 832696599 125247488 29882 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1089.99 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36393 0 0 0 108876 139 0 0 25 0 1 0 832696599 125247488 29882 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1099.99 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36393 0 0 0 109876 139 0 0 25 0 1 0 832696599 125247488 29882 4294967295 134512640 134714508 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1109.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36414 0 0 0 110876 139 0 0 25 0 1 0 832696599 125317120 29903 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30595 29903 1111 63 0 30532 0
vsize: 122380
[startup+1119.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36471 0 0 0 111875 140 0 0 25 0 1 0 832696599 125546496 29960 4294967295 134512640 134714508 3221224576 3221223312 134594954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30651 29960 1111 63 0 30588 0
vsize: 122604
[startup+1129.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36644 0 0 0 112875 141 0 0 25 0 1 0 832696599 126337024 30126 4294967295 134512640 134714508 3221224576 3221223136 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30844 30126 1111 63 0 30781 0
vsize: 123376
[startup+1139.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36669 0 0 0 113874 141 0 0 25 0 1 0 832696599 126435328 30151 4294967295 134512640 134714508 3221224576 3221223312 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30868 30151 1111 63 0 30805 0
vsize: 123472
[startup+1149.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36690 0 0 0 114874 142 0 0 25 0 1 0 832696599 126435328 30172 4294967295 134512640 134714508 3221224576 3221223360 134528896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30868 30172 1111 63 0 30805 0
vsize: 123472
[startup+1159.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36702 0 0 0 115874 142 0 0 25 0 1 0 832696599 126570496 30184 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30901 30184 1111 63 0 30838 0
vsize: 123604
[startup+1169.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36819 0 0 0 116874 142 0 0 25 0 1 0 832696599 126976000 30301 4294967295 134512640 134714508 3221224576 3221223344 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31000 30301 1111 63 0 30937 0
vsize: 124000
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 11716
Raw data (stat): 11716 (bsolo_lpr_cuts) R 11715 7475 7474 0 -1 0 36819 0 0 0 116874 142 0 0 25 0 1 0 832696599 126976000 30301 4294967295 134512640 134714508 3221224576 3221223344 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31000 30301 1111 63 0 30937 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.08
CPU user time (s): 1173.59
CPU system time (s): 1.48577
CPU usage (%): 100.015
Max. virtual memory (Kb): 124000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####