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/miplib/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.34
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 41456

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        908688 kB
Buffers:          7972 kB
Cached:          98144 kB
SwapCached:        712 kB
Active:          30908 kB
Inactive:        77208 kB
HighTotal:      131008 kB
HighFree:        47516 kB
LowTotal:       903652 kB
LowFree:        861172 kB
SwapTotal:     2097136 kB
SwapFree:      2095352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            12200 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:08:52 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 29516 7 1175.09 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 75.305 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 2.103
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 10215
Raw data (stat): 10215 (runsolver) R 10214 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910393028 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 16251 0 0 0 962 35 0 0 25 0 1 0 910393028 69668864 16160 4294967295 134512640 134716908 3221224560 3221223004 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17009 16160 1111 63 0 16946 0
vsize: 68036
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 17639 0 0 0 1959 38 0 0 25 0 1 0 910393028 75350016 17548 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17548 1111 63 0 18333 0
vsize: 73584
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 17693 0 0 0 2959 38 0 0 25 0 1 0 910393028 75620352 17602 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 17602 1111 63 0 18399 0
vsize: 73848
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 17740 0 0 0 3959 38 0 0 25 0 1 0 910393028 75755520 17649 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17649 1111 63 0 18432 0
vsize: 73980
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 17786 0 0 0 4959 38 0 0 25 0 1 0 910393028 76025856 17695 4294967295 134512640 134716908 3221224560 3221223232 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17695 1111 63 0 18498 0
vsize: 74244
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 17836 0 0 0 5960 38 0 0 25 0 1 0 910393028 76161024 17745 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17745 1111 63 0 18531 0
vsize: 74376
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 17878 0 0 0 6960 38 0 0 25 0 1 0 910393028 76296192 17787 4294967295 134512640 134716908 3221224560 3221223208 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18627 17787 1111 63 0 18564 0
vsize: 74508
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 19082 0 0 0 7956 42 0 0 25 0 1 0 910393028 77651968 18260 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18958 18260 1111 63 0 18895 0
vsize: 75832
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 19663 0 0 0 8952 45 0 0 25 0 1 0 910393028 80064512 18841 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19547 18841 1111 63 0 19484 0
vsize: 78188
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 19899 0 0 0 9952 46 0 0 25 0 1 0 910393028 81080320 19068 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19795 19068 1111 63 0 19732 0
vsize: 79180
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 20320 0 0 0 10950 48 0 0 25 0 1 0 910393028 82759680 19489 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20205 19489 1111 63 0 20142 0
vsize: 80820
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 20612 0 0 0 11949 49 0 0 25 0 1 0 910393028 83886080 19781 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20480 19781 1111 63 0 20417 0
vsize: 81920
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 20733 0 0 0 12948 50 0 0 25 0 1 0 910393028 84426752 19902 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20612 19902 1111 63 0 20549 0
vsize: 82448
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 20956 0 0 0 13947 52 0 0 25 0 1 0 910393028 85348352 20125 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20837 20125 1111 63 0 20774 0
vsize: 83348
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21032 0 0 0 14947 52 0 0 25 0 1 0 910393028 85618688 20201 4294967295 134512640 134716908 3221224560 3221223172 134548552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20903 20201 1111 63 0 20840 0
vsize: 83612
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21198 0 0 0 15946 53 0 0 25 0 1 0 910393028 86294528 20367 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21068 20367 1111 63 0 21005 0
vsize: 84272
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21208 0 0 0 16945 54 0 0 25 0 1 0 910393028 86429696 20377 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21101 20377 1111 63 0 21038 0
vsize: 84404
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21392 0 0 0 17945 55 0 0 25 0 1 0 910393028 87158784 20561 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21279 20561 1111 63 0 21216 0
vsize: 85116
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21493 0 0 0 18944 56 0 0 25 0 1 0 910393028 87347200 20625 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21325 20625 1111 63 0 21262 0
vsize: 85300
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21531 0 0 0 19944 56 0 0 25 0 1 0 910393028 87482368 20663 4294967295 134512640 134716908 3221224560 3221223276 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21358 20663 1111 63 0 21295 0
vsize: 85432
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21551 0 0 0 20944 57 0 0 25 0 1 0 910393028 87617536 20683 4294967295 134512640 134716908 3221224560 3221223344 134584866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20683 1111 63 0 21328 0
vsize: 85564
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21740 0 0 0 21943 57 0 0 25 0 1 0 910393028 88428544 20872 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21589 20872 1111 63 0 21526 0
vsize: 86356
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21792 0 0 0 22943 58 0 0 25 0 1 0 910393028 88563712 20924 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21622 20924 1111 63 0 21559 0
vsize: 86488
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21793 0 0 0 23943 58 0 0 25 0 1 0 910393028 88563712 20925 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21622 20925 1111 63 0 21559 0
vsize: 86488
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 21844 0 0 0 24942 59 0 0 25 0 1 0 910393028 88764416 20976 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21671 20976 1111 63 0 21608 0
vsize: 86684
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 22281 0 0 0 25941 60 0 0 25 0 1 0 910393028 90632192 21413 4294967295 134512640 134716908 3221224560 3221223136 134698678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22127 21413 1111 63 0 22064 0
vsize: 88508
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 22556 0 0 0 26939 62 0 0 25 0 1 0 910393028 91713536 21688 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22391 21688 1111 63 0 22328 0
vsize: 89564
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 22614 0 0 0 27939 63 0 0 25 0 1 0 910393028 91971584 21746 4294967295 134512640 134716908 3221224560 3221223184 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22454 21746 1111 63 0 22391 0
vsize: 89816
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 22846 0 0 0 28938 63 0 0 25 0 1 0 910393028 92917760 21978 4294967295 134512640 134716908 3221224560 3221223200 134698475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22685 21978 1111 63 0 22622 0
vsize: 90740
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 22936 0 0 0 29937 65 0 0 25 0 1 0 910393028 93306880 22068 4294967295 134512640 134716908 3221224560 3221223144 134543638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22780 22068 1111 63 0 22717 0
vsize: 91120
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 23043 0 0 0 30937 65 0 0 25 0 1 0 910393028 93704192 22175 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22877 22175 1111 63 0 22814 0
vsize: 91508
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 23282 0 0 0 31936 66 0 0 25 0 1 0 910393028 94785536 22414 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23141 22414 1111 63 0 23078 0
vsize: 92564
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 23343 0 0 0 32936 67 0 0 25 0 1 0 910393028 94965760 22475 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23185 22475 1111 63 0 23122 0
vsize: 92740
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 23550 0 0 0 33934 68 0 0 25 0 1 0 910393028 95850496 22682 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23401 22682 1111 63 0 23338 0
vsize: 93604
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 23655 0 0 0 34933 69 0 0 25 0 1 0 910393028 96251904 22787 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23499 22787 1111 63 0 23436 0
vsize: 93996
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 23748 0 0 0 35933 70 0 0 25 0 1 0 910393028 96583680 22880 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23580 22880 1111 63 0 23517 0
vsize: 94320
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 23798 0 0 0 36932 71 0 0 25 0 1 0 910393028 96854016 22930 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23646 22930 1111 63 0 23583 0
vsize: 94584
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 23988 0 0 0 37932 72 0 0 25 0 1 0 910393028 97665024 23120 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23844 23120 1111 63 0 23781 0
vsize: 95376
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24040 0 0 0 38931 72 0 0 25 0 1 0 910393028 97783808 23172 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23873 23172 1111 63 0 23810 0
vsize: 95492
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24085 0 0 0 39930 73 0 0 25 0 1 0 910393028 98054144 23217 4294967295 134512640 134716908 3221224560 3221223316 134592387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23939 23217 1111 63 0 23876 0
vsize: 95756
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24142 0 0 0 40930 74 0 0 25 0 1 0 910393028 98189312 23274 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23972 23274 1111 63 0 23909 0
vsize: 95888
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24195 0 0 0 41930 75 0 0 25 0 1 0 910393028 98373632 23309 4294967295 134512640 134716908 3221224560 3221223100 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24017 23309 1111 63 0 23954 0
vsize: 96068
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24257 0 0 0 42929 75 0 0 25 0 1 0 910393028 98643968 23371 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24083 23371 1111 63 0 24020 0
vsize: 96332
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24258 0 0 0 43929 75 0 0 25 0 1 0 910393028 98643968 23372 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24083 23372 1111 63 0 24020 0
vsize: 96332
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24375 0 0 0 44929 76 0 0 25 0 1 0 910393028 98885632 23447 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24142 23447 1111 63 0 24079 0
vsize: 96568
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24375 0 0 0 45929 76 0 0 25 0 1 0 910393028 98824192 23432 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24127 23432 1111 63 0 24064 0
vsize: 96508
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24383 0 0 0 46928 77 0 0 25 0 1 0 910393028 98959360 23440 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24160 23440 1111 63 0 24097 0
vsize: 96640
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24440 0 0 0 47927 78 0 0 25 0 1 0 910393028 99094528 23497 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24193 23497 1111 63 0 24130 0
vsize: 96772
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24541 0 0 0 48927 78 0 0 25 0 1 0 910393028 99635200 23598 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24325 23598 1111 63 0 24262 0
vsize: 97300
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24695 0 0 0 49926 79 0 0 25 0 1 0 910393028 100175872 23752 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24457 23752 1111 63 0 24394 0
vsize: 97828
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24722 0 0 0 50926 80 0 0 25 0 1 0 910393028 100311040 23779 4294967295 134512640 134716908 3221224560 3221223216 134524193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24490 23779 1111 63 0 24427 0
vsize: 97960
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24807 0 0 0 51926 80 0 0 25 0 1 0 910393028 100716544 23864 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24589 23864 1111 63 0 24526 0
vsize: 98356
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 24891 0 0 0 52925 81 0 0 25 0 1 0 910393028 100986880 23948 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24655 23948 1111 63 0 24592 0
vsize: 98620
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25042 0 0 0 53924 82 0 0 25 0 1 0 910393028 101662720 24099 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24820 24099 1111 63 0 24757 0
vsize: 99280
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25077 0 0 0 54924 83 0 0 25 0 1 0 910393028 101797888 24134 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24853 24134 1111 63 0 24790 0
vsize: 99412
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25077 0 0 0 55924 83 0 0 25 0 1 0 910393028 101797888 24134 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24853 24134 1111 63 0 24790 0
vsize: 99412
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25116 0 0 0 56923 84 0 0 25 0 1 0 910393028 101933056 24173 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24886 24173 1111 63 0 24823 0
vsize: 99544
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25218 0 0 0 57923 85 0 0 25 0 1 0 910393028 102338560 24275 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24985 24275 1111 63 0 24922 0
vsize: 99940
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25218 0 0 0 58922 85 0 0 25 0 1 0 910393028 102338560 24275 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24985 24275 1111 63 0 24922 0
vsize: 99940
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25271 0 0 0 59921 87 0 0 25 0 1 0 910393028 102387712 24283 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24997 24283 1111 63 0 24934 0
vsize: 99988
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25271 0 0 0 60921 87 0 0 25 0 1 0 910393028 102387712 24283 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24997 24283 1111 63 0 24934 0
vsize: 99988
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25271 0 0 0 61920 88 0 0 25 0 1 0 910393028 102387712 24283 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24997 24283 1111 63 0 24934 0
vsize: 99988
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25306 0 0 0 62919 89 0 0 25 0 1 0 910393028 102408192 24307 4294967295 134512640 134716908 3221224560 3221223136 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25002 24307 1111 63 0 24939 0
vsize: 100008
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10215
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25306 0 0 0 63919 90 0 0 25 0 1 0 910393028 102408192 24307 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25002 24307 1111 63 0 24939 0
vsize: 100008
[startup+650.021 s]
Raw data (loadavg): 1.07 0.99 0.91 3/59 10267
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25375 0 0 0 64918 90 0 0 25 0 1 0 910393028 102813696 24376 4294967295 134512640 134716908 3221224560 3221223264 134528449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25101 24376 1111 63 0 25038 0
vsize: 100404
[startup+660.021 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 10268
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25375 0 0 0 65918 91 0 0 25 0 1 0 910393028 102813696 24376 4294967295 134512640 134716908 3221224560 3221223212 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25101 24376 1111 63 0 25038 0
vsize: 100404
[startup+670.021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 10268
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25497 0 0 0 66917 91 0 0 25 0 1 0 910393028 103219200 24498 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25200 24498 1111 63 0 25137 0
vsize: 100800
[startup+680.022 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 10268
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25497 0 0 0 67917 92 0 0 25 0 1 0 910393028 103219200 24498 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25200 24498 1111 63 0 25137 0
vsize: 100800
[startup+690.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 10268
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25505 0 0 0 68916 93 0 0 25 0 1 0 910393028 103354368 24506 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25233 24506 1111 63 0 25170 0
vsize: 100932
[startup+700.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10268
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25505 0 0 0 69916 94 0 0 25 0 1 0 910393028 103354368 24506 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25233 24506 1111 63 0 25170 0
vsize: 100932
[startup+710.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10268
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25548 0 0 0 70915 94 0 0 25 0 1 0 910393028 103489536 24549 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25266 24549 1111 63 0 25203 0
vsize: 101064
[startup+720.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10268
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25581 0 0 0 71915 95 0 0 25 0 1 0 910393028 103624704 24582 4294967295 134512640 134716908 3221224560 3221223308 134558496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25299 24582 1111 63 0 25236 0
vsize: 101196
[startup+730.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25581 0 0 0 72914 95 0 0 25 0 1 0 910393028 103624704 24582 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25299 24582 1111 63 0 25236 0
vsize: 101196
[startup+740.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25647 0 0 0 73914 96 0 0 25 0 1 0 910393028 103866368 24648 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25358 24648 1111 63 0 25295 0
vsize: 101432
[startup+750.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25730 0 0 0 74913 97 0 0 25 0 1 0 910393028 104280064 24731 4294967295 134512640 134716908 3221224560 3221223296 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25459 24731 1111 63 0 25396 0
vsize: 101836
[startup+760.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25770 0 0 0 75913 97 0 0 25 0 1 0 910393028 104415232 24771 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25492 24771 1111 63 0 25429 0
vsize: 101968
[startup+770.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25906 0 0 0 76912 98 0 0 25 0 1 0 910393028 104955904 24907 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25624 24907 1111 63 0 25561 0
vsize: 102496
[startup+780.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25907 0 0 0 77912 99 0 0 25 0 1 0 910393028 104955904 24908 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25624 24908 1111 63 0 25561 0
vsize: 102496
[startup+790.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25908 0 0 0 78912 99 0 0 25 0 1 0 910393028 104955904 24909 4294967295 134512640 134716908 3221224560 3221223344 134529395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25624 24909 1111 63 0 25561 0
vsize: 102496
[startup+800.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 25908 0 0 0 79911 100 0 0 25 0 1 0 910393028 104955904 24909 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25624 24909 1111 63 0 25561 0
vsize: 102496
[startup+810.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26167 0 0 0 80910 101 0 0 25 0 1 0 910393028 106037248 25168 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25168 1111 63 0 25825 0
vsize: 103552
[startup+820.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26209 0 0 0 81909 102 0 0 25 0 1 0 910393028 106225664 25210 4294967295 134512640 134716908 3221224560 3221223188 1077374189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25934 25210 1111 63 0 25871 0
vsize: 103736
[startup+830.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26251 0 0 0 82909 103 0 0 25 0 1 0 910393028 106360832 25252 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25967 25252 1111 63 0 25904 0
vsize: 103868
[startup+840.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26404 0 0 0 83908 103 0 0 25 0 1 0 910393028 106905600 25402 4294967295 134512640 134716908 3221224560 3221223100 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26100 25402 1111 63 0 26037 0
vsize: 104400
[startup+850.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26424 0 0 0 84907 105 0 0 25 0 1 0 910393028 107040768 25422 4294967295 134512640 134716908 3221224560 3221223148 134535488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26133 25422 1111 63 0 26070 0
vsize: 104532
[startup+860.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26550 0 0 0 85907 105 0 0 25 0 1 0 910393028 107536384 25548 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26254 25548 1111 63 0 26191 0
vsize: 105016
[startup+870.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26605 0 0 0 86907 106 0 0 25 0 1 0 910393028 107810816 25603 4294967295 134512640 134716908 3221224560 3221223272 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26321 25603 1111 63 0 26258 0
vsize: 105284
[startup+880.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26605 0 0 0 87907 106 0 0 25 0 1 0 910393028 107810816 25603 4294967295 134512640 134716908 3221224560 3221223100 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26321 25603 1111 63 0 26258 0
vsize: 105284
[startup+890.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26749 0 0 0 88906 107 0 0 25 0 1 0 910393028 108351488 25747 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26453 25747 1111 63 0 26390 0
vsize: 105812
[startup+900.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26826 0 0 0 89905 107 0 0 25 0 1 0 910393028 108752896 25824 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26551 25824 1111 63 0 26488 0
vsize: 106204
[startup+910.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26826 0 0 0 90905 108 0 0 25 0 1 0 910393028 108675072 25824 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26532 25824 1111 63 0 26469 0
vsize: 106128
[startup+920.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26908 0 0 0 91904 109 0 0 25 0 1 0 910393028 108998656 25899 4294967295 134512640 134716908 3221224560 3221223216 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26611 25899 1111 63 0 26548 0
vsize: 106444
[startup+930.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 26951 0 0 0 92903 110 0 0 25 0 1 0 910393028 109158400 25936 4294967295 134512640 134716908 3221224560 3221223188 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26650 25936 1111 63 0 26587 0
vsize: 106600
[startup+940.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 27000 0 0 0 93903 110 0 0 25 0 1 0 910393028 109391872 25985 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26707 25985 1111 63 0 26644 0
vsize: 106828
[startup+950.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 27160 0 0 0 94902 112 0 0 25 0 1 0 910393028 109817856 26085 4294967295 134512640 134716908 3221224560 3221223320 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26811 26085 1111 63 0 26748 0
vsize: 107244
[startup+960.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 27160 0 0 0 95901 112 0 0 25 0 1 0 910393028 109817856 26085 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26811 26085 1111 63 0 26748 0
vsize: 107244
[startup+970.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10270
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 27331 0 0 0 96900 113 0 0 25 0 1 0 910393028 110518272 26256 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26982 26256 1111 63 0 26919 0
vsize: 107928
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 27576 0 0 0 97899 115 0 0 25 0 1 0 910393028 111525888 26501 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27228 26501 1111 63 0 27165 0
vsize: 108912
[startup+990.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 27584 0 0 0 98899 116 0 0 25 0 1 0 910393028 111439872 26509 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27207 26509 1111 63 0 27144 0
vsize: 108828
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 27718 0 0 0 99898 116 0 0 25 0 1 0 910393028 112029696 26643 4294967295 134512640 134716908 3221224560 3221223248 134594343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27351 26643 1111 63 0 27288 0
vsize: 109404
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 27814 0 0 0 100898 116 0 0 25 0 1 0 910393028 112431104 26739 4294967295 134512640 134716908 3221224560 3221223356 134554961 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27449 26739 1111 63 0 27386 0
vsize: 109796
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 27940 0 0 0 101898 117 0 0 25 0 1 0 910393028 112947200 26865 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27575 26865 1111 63 0 27512 0
vsize: 110300
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 28015 0 0 0 102898 117 0 0 25 0 1 0 910393028 113197056 26940 4294967295 134512640 134716908 3221224560 3221223048 134699794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27636 26940 1111 63 0 27573 0
vsize: 110544
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 28131 0 0 0 103897 118 0 0 25 0 1 0 910393028 113737728 27056 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27768 27056 1111 63 0 27705 0
vsize: 111072
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 28286 0 0 0 104896 119 0 0 25 0 1 0 910393028 114413568 27211 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27933 27211 1111 63 0 27870 0
vsize: 111732
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 28624 0 0 0 105895 121 0 0 25 0 1 0 910393028 115818496 27549 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28276 27549 1111 63 0 28213 0
vsize: 113104
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 28728 0 0 0 106894 121 0 0 25 0 1 0 910393028 116015104 27629 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28324 27629 1111 63 0 28261 0
vsize: 113296
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 28882 0 0 0 107894 122 0 0 25 0 1 0 910393028 116690944 27783 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28489 27783 1111 63 0 28426 0
vsize: 113956
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 28960 0 0 0 108893 123 0 0 25 0 1 0 910393028 117067776 27861 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28581 27861 1111 63 0 28518 0
vsize: 114324
[startup+1100.03 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 28960 0 0 0 109893 123 0 0 25 0 1 0 910393028 117067776 27861 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28581 27861 1111 63 0 28518 0
vsize: 114324
[startup+1110.03 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 28992 0 0 0 110893 124 0 0 25 0 1 0 910393028 117202944 27893 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28614 27893 1111 63 0 28551 0
vsize: 114456
[startup+1120.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 29042 0 0 0 111892 124 0 0 25 0 1 0 910393028 117342208 27937 4294967295 134512640 134716908 3221224560 3221223312 134592373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28648 27937 1111 63 0 28585 0
vsize: 114592
[startup+1130.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 29126 0 0 0 112892 125 0 0 25 0 1 0 910393028 117678080 28021 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28730 28021 1111 63 0 28667 0
vsize: 114920
[startup+1140.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 29178 0 0 0 113892 125 0 0 25 0 1 0 910393028 117841920 28073 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 28073 1111 63 0 28707 0
vsize: 115080
[startup+1150.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 29178 0 0 0 114891 126 0 0 25 0 1 0 910393028 117841920 28073 4294967295 134512640 134716908 3221224560 3221223308 134675288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 28073 1111 63 0 28707 0
vsize: 115080
[startup+1160.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 29178 0 0 0 115891 127 0 0 25 0 1 0 910393028 117841920 28073 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 28073 1111 63 0 28707 0
vsize: 115080
[startup+1170.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 29207 0 0 0 116890 127 0 0 25 0 1 0 910393028 117977088 28102 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28803 28102 1111 63 0 28740 0
vsize: 115212
[startup+1174.93 s]
Raw data (loadavg): 1.02 1.00 0.92 1/53 10272
Raw data (stat): 10215 (bsolo_lpr_cuts-) R 10214 20224 20223 0 -1 0 29207 0 0 0 116890 127 0 0 25 0 1 0 910393028 117977088 28102 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28803 28102 1111 63 0 28740 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.09
CPU user time (s): 1173.75
CPU system time (s): 1.3308
CPU usage (%): 100.013
Max. virtual memory (Kb): 115212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####