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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb
MD5SUM	40c6760f4e05a9ceb06922f685226f97
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39144954388
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39144954388
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.00884
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26924

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 18:09:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19112 boxname=wulflinc26 idbench=1471 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  40c6760f4e05a9ceb06922f685226f97  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-n3709.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-n3709.opb
IDLAUNCH: 19112
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        429096 kB
Buffers:         34804 kB
Cached:         539048 kB
SwapCached:        680 kB
Active:          45056 kB
Inactive:       531492 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        428816 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6036 kB
Slab:            23372 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:29:22 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 19112 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.93 0.98 0.96 2/54 22671
Raw data (stat): 22671 (runsolver) R 22670 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832291558 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 1158 0 0 0 992 5 0 0 25 0 1 0 832291558 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 1398 0 0 0 1992 6 0 0 25 0 1 0 832291558 17039360 1322 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 1322 1111 63 0 4097 0
vsize: 16640
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 1648 0 0 0 2992 6 0 0 25 0 1 0 832291558 18178048 1572 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1572 1111 63 0 4375 0
vsize: 17752
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 1890 0 0 0 3991 7 0 0 25 0 1 0 832291558 19165184 1814 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1814 1111 63 0 4616 0
vsize: 18716
[startup+50.0012 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 2137 0 0 0 4991 7 0 0 25 0 1 0 832291558 20152320 2061 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2061 1111 63 0 4857 0
vsize: 19680
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 2390 0 0 0 5991 7 0 0 25 0 1 0 832291558 21135360 2314 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2314 1111 63 0 5097 0
vsize: 20640
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 2637 0 0 0 6990 8 0 0 25 0 1 0 832291558 22114304 2561 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2561 1111 63 0 5336 0
vsize: 21596
[startup+80.0003 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 2885 0 0 0 7990 9 0 0 25 0 1 0 832291558 23240704 2809 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2809 1111 63 0 5611 0
vsize: 22696
[startup+90 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 3132 0 0 0 8989 10 0 0 25 0 1 0 832291558 24227840 3056 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3056 1111 63 0 5852 0
vsize: 23660
[startup+99.9996 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 3380 0 0 0 9989 10 0 0 25 0 1 0 832291558 25214976 3304 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3304 1111 63 0 6093 0
vsize: 24624
[startup+110 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 3628 0 0 0 10988 11 0 0 25 0 1 0 832291558 26202112 3552 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 3552 1111 63 0 6334 0
vsize: 25588
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 3883 0 0 0 11988 12 0 0 25 0 1 0 832291558 27348992 3807 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3807 1111 63 0 6614 0
vsize: 26708
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 4131 0 0 0 12987 12 0 0 25 0 1 0 832291558 28336128 4055 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4055 1111 63 0 6855 0
vsize: 27672
[startup+140 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 4385 0 0 0 13986 13 0 0 25 0 1 0 832291558 29315072 4309 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4309 1111 63 0 7094 0
vsize: 28628
[startup+150 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 4634 0 0 0 14986 14 0 0 25 0 1 0 832291558 30302208 4558 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 4558 1111 63 0 7335 0
vsize: 29592
[startup+160 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 4888 0 0 0 15984 15 0 0 25 0 1 0 832291558 31428608 4812 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 4812 1111 63 0 7610 0
vsize: 30692
[startup+169.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 5137 0 0 0 16984 16 0 0 25 0 1 0 832291558 32415744 5061 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5061 1111 63 0 7851 0
vsize: 31656
[startup+179.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 5386 0 0 0 17983 17 0 0 25 0 1 0 832291558 33402880 5310 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5310 1111 63 0 8092 0
vsize: 32620
[startup+190 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 5641 0 0 0 18983 17 0 0 25 0 1 0 832291558 34529280 5565 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5565 1111 63 0 8367 0
vsize: 33720
[startup+199.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 5895 0 0 0 19982 18 0 0 25 0 1 0 832291558 35516416 5819 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8671 5819 1111 63 0 8608 0
vsize: 34684
[startup+209.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 6148 0 0 0 20982 19 0 0 25 0 1 0 832291558 36495360 6072 4294967295 134512640 134714508 3221224592 3221222820 1077414418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8910 6072 1111 63 0 8847 0
vsize: 35640
[startup+219.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 6402 0 0 0 21981 19 0 0 25 0 1 0 832291558 37625856 6326 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9186 6326 1111 63 0 9123 0
vsize: 36744
[startup+229.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 6662 0 0 0 22981 20 0 0 25 0 1 0 832291558 38760448 6586 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9463 6586 1111 63 0 9400 0
vsize: 37852
[startup+239.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 6923 0 0 0 23980 21 0 0 25 0 1 0 832291558 39747584 6847 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9704 6847 1111 63 0 9641 0
vsize: 38816
[startup+249.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 7172 0 0 0 24980 22 0 0 25 0 1 0 832291558 40734720 7096 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9945 7096 1111 63 0 9882 0
vsize: 39780
[startup+259.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 7434 0 0 0 25979 22 0 0 25 0 1 0 832291558 41861120 7358 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10220 7358 1111 63 0 10157 0
vsize: 40880
[startup+269.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 7689 0 0 0 26979 23 0 0 25 0 1 0 832291558 42848256 7613 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10461 7613 1111 63 0 10398 0
vsize: 41844
[startup+279.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 7951 0 0 0 27979 23 0 0 25 0 1 0 832291558 43974656 7875 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10736 7875 1111 63 0 10673 0
vsize: 42944
[startup+289.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 8212 0 0 0 28978 24 0 0 25 0 1 0 832291558 45096960 8136 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11010 8136 1111 63 0 10947 0
vsize: 44040
[startup+299.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 8467 0 0 0 29978 25 0 0 25 0 1 0 832291558 46084096 8391 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11251 8391 1111 63 0 11188 0
vsize: 45004
[startup+309.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 8731 0 0 0 30977 25 0 0 25 0 1 0 832291558 47210496 8655 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11526 8655 1111 63 0 11463 0
vsize: 46104
[startup+319.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 8992 0 0 0 31977 25 0 0 25 0 1 0 832291558 48197632 8916 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11767 8916 1111 63 0 11704 0
vsize: 47068
[startup+329.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 9255 0 0 0 32977 26 0 0 25 0 1 0 832291558 49324032 9179 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12042 9179 1111 63 0 11979 0
vsize: 48168
[startup+339.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 9522 0 0 0 33976 27 0 0 25 0 1 0 832291558 50450432 9446 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12317 9447 1111 63 0 12254 0
vsize: 49268
[startup+349.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 9785 0 0 0 34976 28 0 0 25 0 1 0 832291558 51437568 9709 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12558 9709 1111 63 0 12495 0
vsize: 50232
[startup+359.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 10047 0 0 0 35975 28 0 0 25 0 1 0 832291558 52563968 9971 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12833 9971 1111 63 0 12770 0
vsize: 51332
[startup+369.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 10316 0 0 0 36975 29 0 0 25 0 1 0 832291558 53690368 10240 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13108 10240 1111 63 0 13045 0
vsize: 52432
[startup+379.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 10578 0 0 0 37974 30 0 0 25 0 1 0 832291558 54673408 10502 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13348 10502 1111 63 0 13285 0
vsize: 53392
[startup+389.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 10840 0 0 0 38974 30 0 0 25 0 1 0 832291558 55799808 10764 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13623 10764 1111 63 0 13560 0
vsize: 54492
[startup+399.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 11108 0 0 0 39974 30 0 0 25 0 1 0 832291558 56926208 11032 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13898 11032 1111 63 0 13835 0
vsize: 55592
[startup+409.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 11376 0 0 0 40974 31 0 0 25 0 1 0 832291558 57909248 11300 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14138 11300 1111 63 0 14075 0
vsize: 56552
[startup+419.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 11638 0 0 0 41973 31 0 0 25 0 1 0 832291558 59039744 11562 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14414 11562 1111 63 0 14351 0
vsize: 57656
[startup+429.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 11906 0 0 0 42973 32 0 0 25 0 1 0 832291558 60166144 11830 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14689 11830 1111 63 0 14626 0
vsize: 58756
[startup+439.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 12192 0 0 0 43972 33 0 0 25 0 1 0 832291558 61370368 12116 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14983 12116 1111 63 0 14920 0
vsize: 59932
[startup+449.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 12461 0 0 0 44972 33 0 0 25 0 1 0 832291558 62496768 12385 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15258 12385 1111 63 0 15195 0
vsize: 61032
[startup+460 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 12731 0 0 0 45972 33 0 0 25 0 1 0 832291558 63623168 12655 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15533 12655 1111 63 0 15470 0
vsize: 62132
[startup+470 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 12999 0 0 0 46972 33 0 0 25 0 1 0 832291558 64753664 12923 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15809 12923 1111 63 0 15746 0
vsize: 63236
[startup+480 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 13268 0 0 0 47972 34 0 0 25 0 1 0 832291558 65880064 13192 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16084 13192 1111 63 0 16021 0
vsize: 64336
[startup+489.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 13544 0 0 0 48971 34 0 0 25 0 1 0 832291558 67006464 13468 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16359 13468 1111 63 0 16296 0
vsize: 65436
[startup+499.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 13812 0 0 0 49971 35 0 0 25 0 1 0 832291558 67985408 13736 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16598 13736 1111 63 0 16535 0
vsize: 66392
[startup+510 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 14081 0 0 0 50971 35 0 0 25 0 1 0 832291558 69111808 14005 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16873 14005 1111 63 0 16810 0
vsize: 67492
[startup+520 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 14356 0 0 0 51970 36 0 0 25 0 1 0 832291558 70242304 14280 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17149 14280 1111 63 0 17086 0
vsize: 68596
[startup+529.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 14626 0 0 0 52970 37 0 0 25 0 1 0 832291558 71368704 14550 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17424 14550 1111 63 0 17361 0
vsize: 69696
[startup+540.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 14902 0 0 0 53969 38 0 0 25 0 1 0 832291558 72495104 14826 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17699 14826 1111 63 0 17636 0
vsize: 70796
[startup+550.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 15178 0 0 0 54969 38 0 0 25 0 1 0 832291558 73621504 15102 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17974 15102 1111 63 0 17911 0
vsize: 71896
[startup+560.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 15448 0 0 0 55969 39 0 0 25 0 1 0 832291558 74747904 15372 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18249 15372 1111 63 0 18186 0
vsize: 72996
[startup+570.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 15723 0 0 0 56968 39 0 0 25 0 1 0 832291558 75874304 15647 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18524 15647 1111 63 0 18461 0
vsize: 74096
[startup+580.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 15999 0 0 0 57968 40 0 0 25 0 1 0 832291558 77000704 15923 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18799 15923 1111 63 0 18736 0
vsize: 75196
[startup+590.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 16281 0 0 0 58968 40 0 0 25 0 1 0 832291558 78127104 16205 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19074 16205 1111 63 0 19011 0
vsize: 76296
[startup+600.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 16557 0 0 0 59967 41 0 0 25 0 1 0 832291558 79253504 16481 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19349 16481 1111 63 0 19286 0
vsize: 77396
[startup+610.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 16834 0 0 0 60968 41 0 0 25 0 1 0 832291558 80379904 16758 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19624 16758 1111 63 0 19561 0
vsize: 78496
[startup+620.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 17115 0 0 0 61967 41 0 0 25 0 1 0 832291558 81510400 17039 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19900 17039 1111 63 0 19837 0
vsize: 79600
[startup+630.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 17392 0 0 0 62967 42 0 0 25 0 1 0 832291558 82636800 17316 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20175 17316 1111 63 0 20112 0
vsize: 80700
[startup+640.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 17674 0 0 0 63966 42 0 0 25 0 1 0 832291558 83755008 17598 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20448 17598 1111 63 0 20385 0
vsize: 81792
[startup+650.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 17956 0 0 0 64966 43 0 0 25 0 1 0 832291558 85028864 17880 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20759 17880 1111 63 0 20696 0
vsize: 83036
[startup+660.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 18232 0 0 0 65966 43 0 0 25 0 1 0 832291558 86147072 18156 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21032 18156 1111 63 0 20969 0
vsize: 84128
[startup+670.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 18514 0 0 0 66965 45 0 0 25 0 1 0 832291558 87273472 18438 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21307 18438 1111 63 0 21244 0
vsize: 85228
[startup+680.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 18797 0 0 0 67965 45 0 0 25 0 1 0 832291558 88403968 18721 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21583 18721 1111 63 0 21520 0
vsize: 86332
[startup+690.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 19080 0 0 0 68964 46 0 0 25 0 1 0 832291558 89530368 19004 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21858 19004 1111 63 0 21795 0
vsize: 87432
[startup+700.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 19362 0 0 0 69964 46 0 0 25 0 1 0 832291558 90656768 19286 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22133 19286 1111 63 0 22070 0
vsize: 88532
[startup+710.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 19652 0 0 0 70963 47 0 0 25 0 1 0 832291558 91922432 19576 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22442 19576 1111 63 0 22379 0
vsize: 89768
[startup+720.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 19935 0 0 0 71962 48 0 0 25 0 1 0 832291558 93048832 19859 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22717 19859 1111 63 0 22654 0
vsize: 90868
[startup+730.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 20218 0 0 0 72962 49 0 0 25 0 1 0 832291558 94175232 20142 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22992 20142 1111 63 0 22929 0
vsize: 91968
[startup+740.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 20507 0 0 0 73962 49 0 0 25 0 1 0 832291558 95444992 20431 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 20431 1111 63 0 23239 0
vsize: 93208
[startup+750.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 20797 0 0 0 74961 50 0 0 25 0 1 0 832291558 96571392 20721 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23577 20721 1111 63 0 23514 0
vsize: 94308
[startup+760.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 21086 0 0 0 75961 50 0 0 25 0 1 0 832291558 97697792 21010 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23852 21010 1111 63 0 23789 0
vsize: 95408
[startup+770.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 21375 0 0 0 76960 51 0 0 25 0 1 0 832291558 98963456 21299 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24161 21299 1111 63 0 24098 0
vsize: 96644
[startup+780.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 21666 0 0 0 77960 52 0 0 25 0 1 0 832291558 100089856 21590 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24436 21590 1111 63 0 24373 0
vsize: 97744
[startup+790.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 21955 0 0 0 78960 52 0 0 25 0 1 0 832291558 101355520 21879 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24745 21879 1111 63 0 24682 0
vsize: 98980
[startup+800.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 22245 0 0 0 79960 52 0 0 25 0 1 0 832291558 102481920 22169 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25020 22169 1111 63 0 24957 0
vsize: 100080
[startup+810.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 22534 0 0 0 80959 53 0 0 25 0 1 0 832291558 103612416 22458 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25296 22458 1111 63 0 25233 0
vsize: 101184
[startup+820.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 22823 0 0 0 81959 53 0 0 25 0 1 0 832291558 104878080 22747 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25605 22747 1111 63 0 25542 0
vsize: 102420
[startup+830.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 23152 0 0 0 82958 54 0 0 25 0 1 0 832291558 106504192 23076 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26002 23076 1111 63 0 25939 0
vsize: 104008
[startup+840.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 23447 0 0 0 83958 55 0 0 25 0 1 0 832291558 107630592 23371 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26277 23371 1111 63 0 26214 0
vsize: 105108
[startup+850.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 23738 0 0 0 84957 56 0 0 25 0 1 0 832291558 108896256 23662 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26586 23662 1111 63 0 26523 0
vsize: 106344
[startup+860.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 24034 0 0 0 85957 56 0 0 25 0 1 0 832291558 110026752 23958 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26862 23958 1111 63 0 26799 0
vsize: 107448
[startup+870.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 24330 0 0 0 86957 57 0 0 25 0 1 0 832291558 111292416 24254 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27171 24254 1111 63 0 27108 0
vsize: 108684
[startup+880.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 24627 0 0 0 87956 57 0 0 25 0 1 0 832291558 112418816 24551 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27446 24551 1111 63 0 27383 0
vsize: 109784
[startup+890.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 24923 0 0 0 88956 58 0 0 25 0 1 0 832291558 113684480 24847 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27755 24847 1111 63 0 27692 0
vsize: 111020
[startup+900.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 25220 0 0 0 89955 59 0 0 25 0 1 0 832291558 114954240 25144 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28065 25144 1111 63 0 28002 0
vsize: 112260
[startup+910.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 25516 0 0 0 90954 60 0 0 25 0 1 0 832291558 116080640 25440 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28340 25440 1111 63 0 28277 0
vsize: 113360
[startup+920.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 25820 0 0 0 91954 60 0 0 25 0 1 0 832291558 117346304 25744 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 25744 1111 63 0 28586 0
vsize: 114596
[startup+930.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 26116 0 0 0 92953 61 0 0 25 0 1 0 832291558 118611968 26040 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28958 26040 1111 63 0 28895 0
vsize: 115832
[startup+940.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 26419 0 0 0 93953 61 0 0 25 0 1 0 832291558 119742464 26343 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29234 26343 1111 63 0 29171 0
vsize: 116936
[startup+950.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 26723 0 0 0 94952 62 0 0 25 0 1 0 832291558 121008128 26647 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 26647 1111 63 0 29480 0
vsize: 118172
[startup+960.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 27025 0 0 0 95952 63 0 0 25 0 1 0 832291558 122273792 26949 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29852 26949 1111 63 0 29789 0
vsize: 119408
[startup+970.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 27329 0 0 0 96952 63 0 0 25 0 1 0 832291558 123539456 27253 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30161 27253 1111 63 0 30098 0
vsize: 120644
[startup+980.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 27632 0 0 0 97952 64 0 0 25 0 1 0 832291558 124809216 27556 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30471 27556 1111 63 0 30408 0
vsize: 121884
[startup+990.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 27937 0 0 0 98951 64 0 0 25 0 1 0 832291558 125935616 27861 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30746 27861 1111 63 0 30683 0
vsize: 122984
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 28239 0 0 0 99951 64 0 0 25 0 1 0 832291558 127201280 28163 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31055 28163 1111 63 0 30992 0
vsize: 124220
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 28549 0 0 0 100951 65 0 0 25 0 1 0 832291558 128466944 28473 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31364 28473 1111 63 0 31301 0
vsize: 125456
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 28853 0 0 0 101951 65 0 0 25 0 1 0 832291558 129732608 28777 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31673 28777 1111 63 0 31610 0
vsize: 126692
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 29163 0 0 0 102950 66 0 0 25 0 1 0 832291558 131002368 29087 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31983 29087 1111 63 0 31920 0
vsize: 127932
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 29474 0 0 0 103950 67 0 0 25 0 1 0 832291558 132276224 29398 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32294 29398 1111 63 0 32231 0
vsize: 129176
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 29778 0 0 0 104949 67 0 0 25 0 1 0 832291558 133541888 29702 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32603 29702 1111 63 0 32540 0
vsize: 130412
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 30088 0 0 0 105949 68 0 0 25 0 1 0 832291558 134807552 30012 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32912 30012 1111 63 0 32849 0
vsize: 131648
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 30397 0 0 0 106948 68 0 0 25 0 1 0 832291558 136077312 30321 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33222 30321 1111 63 0 33159 0
vsize: 132888
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 30708 0 0 0 107948 69 0 0 25 0 1 0 832291558 137342976 30632 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33531 30632 1111 63 0 33468 0
vsize: 134124
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 31018 0 0 0 108948 69 0 0 25 0 1 0 832291558 138608640 30942 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33840 30942 1111 63 0 33777 0
vsize: 135360
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 31334 0 0 0 109947 70 0 0 25 0 1 0 832291558 139874304 31258 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34149 31258 1111 63 0 34086 0
vsize: 136596
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 31645 0 0 0 110946 71 0 0 25 0 1 0 832291558 141144064 31569 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34459 31569 1111 63 0 34396 0
vsize: 137836
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 31954 0 0 0 111946 72 0 0 25 0 1 0 832291558 142409728 31878 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34768 31878 1111 63 0 34705 0
vsize: 139072
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 32272 0 0 0 112946 72 0 0 25 0 1 0 832291558 143679488 32196 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35078 32196 1111 63 0 35015 0
vsize: 140312
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 32588 0 0 0 113945 73 0 0 25 0 1 0 832291558 144945152 32512 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35387 32512 1111 63 0 35324 0
vsize: 141548
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 32900 0 0 0 114945 73 0 0 25 0 1 0 832291558 146210816 32824 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35696 32824 1111 63 0 35633 0
vsize: 142784
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 33216 0 0 0 115945 73 0 0 25 0 1 0 832291558 147619840 33140 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36040 33140 1111 63 0 35977 0
vsize: 144160
[startup+1170 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 33534 0 0 0 116945 74 0 0 25 0 1 0 832291558 148885504 33458 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36349 33458 1111 63 0 36286 0
vsize: 145396
[startup+1180 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 33850 0 0 0 117944 74 0 0 25 0 1 0 832291558 150151168 33774 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36658 33774 1111 63 0 36595 0
vsize: 146632
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 34170 0 0 0 118944 75 0 0 25 0 1 0 832291558 151416832 34094 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36967 34094 1111 63 0 36904 0
vsize: 147868
[startup+1200 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) R 22670 20687 20686 0 -1 0 34486 0 0 0 119943 76 0 0 25 0 1 0 832291558 152690688 34410 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37278 34410 1111 63 0 37215 0
vsize: 149112
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.96 1/54 22671
Raw data (stat): 22671 (bsolo_lpr_cuts) Z 22670 20687 20686 0 -1 1036 34486 0 0 0 119943 82 0 0 25 0 1 0 832291558 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.26
CPU user time (s): 1199.43
CPU system time (s): 0.828873
CPU usage (%): 100.016
Max. virtual memory (Kb): 149112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####