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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
MD5SUM	b2d6fc6e4e4b51f8b59d0f4ed12a9f74
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2678
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2678
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2678
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2678
Total number of constraints	6689
Number of constraints which are clauses	6689
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 24193

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 01:59:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1892 boxname=wulflinc31 idbench=211 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5-c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5-c.opb
IDLAUNCH: 1892
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        135712 kB
Buffers:         42692 kB
Cached:         821828 kB
SwapCached:        644 kB
Active:         495496 kB
Inactive:       371372 kB
HighTotal:      131008 kB
HighFree:          476 kB
LowTotal:       903652 kB
LowFree:        135236 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26532 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 02:18:43 (client local time) WITH STATUS 0 IN 1175.28 SECONDS
stats: 1892 7 1175.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2678 variables and 6689 constraints.
c After prepocess the problem consists of 2613 variables and 8538 constraints.
c preprocess terminated 57.996 s
c Initial Lower Bound: 823
c Lower Bound Elapsed time: 14.5786
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.22 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.93 2/54 18959
Raw data (stat): 18959 (runsolver) R 18958 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 696828678 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 4515 0 0 0 981 14 0 0 25 0 1 0 696828678 18305024 3627 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4469 3627 1111 63 0 4406 0
vsize: 17876
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 4515 0 0 0 1982 14 0 0 25 0 1 0 696828678 18305024 3627 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4469 3627 1111 63 0 4406 0
vsize: 17876
[startup+30.0032 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 4515 0 0 0 2982 14 0 0 25 0 1 0 696828678 18305024 3627 4294967295 134512640 134714508 3221221776 3221220424 134558609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4469 3627 1111 63 0 4406 0
vsize: 17876
[startup+40.0038 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 4668 0 0 0 3982 14 0 0 25 0 1 0 696828678 18980864 3780 4294967295 134512640 134714508 3221221776 3221220420 134630907 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4634 3780 1111 63 0 4571 0
vsize: 18536
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 4790 0 0 0 4982 15 0 0 25 0 1 0 696828678 19521536 3902 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3902 1111 63 0 4703 0
vsize: 19064
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 5959 0 0 0 5980 17 0 0 25 0 1 0 696828678 24227840 5070 4294967295 134512640 134714508 3221221776 3221220032 1073986742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5915 5070 1111 63 0 5852 0
vsize: 23660
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 7385 0 0 0 6975 21 0 0 25 0 1 0 696828678 30871552 6179 4294967295 134512640 134714508 3221221776 3221217916 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6179 1111 63 0 7474 0
vsize: 30148
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 7457 0 0 0 7974 22 0 0 25 0 1 0 696828678 30871552 6251 4294967295 134512640 134714508 3221221776 3221217656 1074789553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6251 1111 63 0 7474 0
vsize: 30148
[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 7820 0 0 0 8974 23 0 0 25 0 1 0 696828678 30871552 6347 4294967295 134512640 134714508 3221221776 3221217848 1074883029 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6347 1111 63 0 7474 0
vsize: 30148
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 7821 0 0 0 9973 23 0 0 25 0 1 0 696828678 30871552 6348 4294967295 134512640 134714508 3221221776 3221217916 1075116489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6348 1111 63 0 7474 0
vsize: 30148
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 7827 0 0 0 10973 24 0 0 25 0 1 0 696828678 30871552 6354 4294967295 134512640 134714508 3221221776 3221217968 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6354 1111 63 0 7474 0
vsize: 30148
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 7828 0 0 0 11973 24 0 0 25 0 1 0 696828678 30871552 6355 4294967295 134512640 134714508 3221221776 3221217632 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6355 1111 63 0 7474 0
vsize: 30148
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 7843 0 0 0 12973 24 0 0 25 0 1 0 696828678 30871552 6370 4294967295 134512640 134714508 3221221776 3221217500 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6370 1111 63 0 7474 0
vsize: 30148
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 10903 0 0 0 13965 32 0 0 25 0 1 0 696828678 30253056 6360 4294967295 134512640 134714508 3221221776 3221217840 1074969469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6360 1111 63 0 7323 0
vsize: 29544
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 10928 0 0 0 14965 32 0 0 25 0 1 0 696828678 30367744 6379 4294967295 134512640 134714508 3221221776 3221217728 1074790218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6379 1111 63 0 7351 0
vsize: 29656
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 13771 0 0 0 15958 39 0 0 25 0 1 0 696828678 32002048 6439 4294967295 134512640 134714508 3221221776 3221218720 1074810439 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7813 6439 1111 63 0 7750 0
vsize: 31252
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 22959 0 0 0 16936 61 0 0 25 0 1 0 696828678 32567296 6599 4294967295 134512640 134714508 3221221776 3221217916 1075116781 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7951 6599 1111 63 0 7888 0
vsize: 31804
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 29250 0 0 0 17922 75 0 0 25 0 1 0 696828678 32825344 6685 4294967295 134512640 134714508 3221221776 3221218508 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8014 6685 1111 63 0 7951 0
vsize: 32056
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 33238 0 0 0 18912 86 0 0 25 0 1 0 696828678 32133120 6727 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7845 6727 1111 63 0 7782 0
vsize: 31380
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 36663 0 0 0 19905 93 0 0 25 0 1 0 696828678 33988608 6851 4294967295 134512640 134714508 3221221776 3221217916 1075116489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8298 6851 1111 63 0 8235 0
vsize: 33192
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 38029 0 0 0 20901 97 0 0 25 0 1 0 696828678 26783744 5829 4294967295 134512640 134714508 3221221776 3221220356 134542747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6539 5829 1111 63 0 6476 0
vsize: 26156
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 38077 0 0 0 21900 98 0 0 25 0 1 0 696828678 27054080 5877 4294967295 134512640 134714508 3221221776 3221220576 134597733 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6605 5877 1111 63 0 6542 0
vsize: 26420
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 38280 0 0 0 22899 99 0 0 25 0 1 0 696828678 27865088 6080 4294967295 134512640 134714508 3221221776 3221220512 134587992 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6080 1111 63 0 6740 0
vsize: 27212
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 38428 0 0 0 23898 100 0 0 25 0 1 0 696828678 28540928 6228 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 6228 1111 63 0 6905 0
vsize: 27872
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 38571 0 0 0 24898 101 0 0 25 0 1 0 696828678 29081600 6371 4294967295 134512640 134714508 3221221776 3221220432 134536591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7100 6371 1111 63 0 7037 0
vsize: 28400
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 38699 0 0 0 25897 102 0 0 25 0 1 0 696828678 29622272 6499 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7232 6499 1111 63 0 7169 0
vsize: 28928
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 38909 0 0 0 26896 103 0 0 25 0 1 0 696828678 30433280 6709 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7430 6709 1111 63 0 7367 0
vsize: 29720
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 39127 0 0 0 27894 104 0 0 25 0 1 0 696828678 31379456 6927 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7661 6927 1111 63 0 7598 0
vsize: 30644
[startup+290.011 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 39305 0 0 0 28894 105 0 0 25 0 1 0 696828678 32055296 7105 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7826 7105 1111 63 0 7763 0
vsize: 31304
[startup+300.012 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 39452 0 0 0 29893 106 0 0 25 0 1 0 696828678 32731136 7252 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7991 7252 1111 63 0 7928 0
vsize: 31964
[startup+310.013 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 39598 0 0 0 30892 107 0 0 25 0 1 0 696828678 33271808 7398 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8123 7398 1111 63 0 8060 0
vsize: 32492
[startup+320.013 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 39757 0 0 0 31891 108 0 0 25 0 1 0 696828678 33947648 7557 4294967295 134512640 134714508 3221221776 3221220352 134549488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8288 7557 1111 63 0 8225 0
vsize: 33152
[startup+330.014 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 39934 0 0 0 32890 109 0 0 25 0 1 0 696828678 34623488 7734 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8453 7734 1111 63 0 8390 0
vsize: 33812
[startup+340.014 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 40091 0 0 0 33889 110 0 0 25 0 1 0 696828678 35295232 7891 4294967295 134512640 134714508 3221221776 3221220344 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8617 7891 1111 63 0 8554 0
vsize: 34468
[startup+350.014 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 40241 0 0 0 34888 112 0 0 25 0 1 0 696828678 35971072 8041 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8782 8041 1111 63 0 8719 0
vsize: 35128
[startup+360.015 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 40368 0 0 0 35887 112 0 0 25 0 1 0 696828678 36376576 8168 4294967295 134512640 134714508 3221221776 3221220080 134697475 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8881 8168 1111 63 0 8818 0
vsize: 35524
[startup+370.015 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 40497 0 0 0 36886 113 0 0 25 0 1 0 696828678 36917248 8297 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9013 8297 1111 63 0 8950 0
vsize: 36052
[startup+380.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 40661 0 0 0 37885 114 0 0 25 0 1 0 696828678 37593088 8461 4294967295 134512640 134714508 3221221776 3221220380 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9178 8461 1111 63 0 9115 0
vsize: 36712
[startup+390.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 40817 0 0 0 38885 115 0 0 25 0 1 0 696828678 38268928 8617 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9343 8617 1111 63 0 9280 0
vsize: 37372
[startup+400.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 40944 0 0 0 39884 116 0 0 25 0 1 0 696828678 38809600 8744 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9475 8744 1111 63 0 9412 0
vsize: 37900
[startup+410.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 41057 0 0 0 40884 116 0 0 25 0 1 0 696828678 39215104 8857 4294967295 134512640 134714508 3221221776 3221220356 134542744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9574 8857 1111 63 0 9511 0
vsize: 38296
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 41206 0 0 0 41884 117 0 0 25 0 1 0 696828678 39890944 9006 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9739 9006 1111 63 0 9676 0
vsize: 38956
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 41342 0 0 0 42883 117 0 0 25 0 1 0 696828678 40431616 9142 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9871 9142 1111 63 0 9808 0
vsize: 39484
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 41465 0 0 0 43883 118 0 0 25 0 1 0 696828678 40972288 9265 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10003 9265 1111 63 0 9940 0
vsize: 40012
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 41570 0 0 0 44882 119 0 0 25 0 1 0 696828678 41377792 9370 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10102 9370 1111 63 0 10039 0
vsize: 40408
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 41741 0 0 0 45882 120 0 0 25 0 1 0 696828678 42053632 9541 4294967295 134512640 134714508 3221221776 3221220480 134528495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10267 9541 1111 63 0 10204 0
vsize: 41068
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 41880 0 0 0 46881 120 0 0 25 0 1 0 696828678 42594304 9680 4294967295 134512640 134714508 3221221776 3221220416 134543070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10399 9680 1111 63 0 10336 0
vsize: 41596
[startup+480.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 42014 0 0 0 47880 121 0 0 25 0 1 0 696828678 43134976 9814 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10531 9814 1111 63 0 10468 0
vsize: 42124
[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 42132 0 0 0 48880 121 0 0 25 0 1 0 696828678 43675648 9932 4294967295 134512640 134714508 3221221776 3221220560 134529390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10663 9932 1111 63 0 10600 0
vsize: 42652
[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 42313 0 0 0 49880 122 0 0 25 0 1 0 696828678 44351488 10113 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10828 10113 1111 63 0 10765 0
vsize: 43312
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 42458 0 0 0 50879 123 0 0 25 0 1 0 696828678 45031424 10258 4294967295 134512640 134714508 3221221776 3221220380 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10994 10258 1111 63 0 10931 0
vsize: 43976
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 42577 0 0 0 51879 124 0 0 25 0 1 0 696828678 45436928 10377 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11093 10377 1111 63 0 11030 0
vsize: 44372
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 42678 0 0 0 52879 124 0 0 25 0 1 0 696828678 45842432 10478 4294967295 134512640 134714508 3221221776 3221220324 134696449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11192 10478 1111 63 0 11129 0
vsize: 44768
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 42830 0 0 0 53878 124 0 0 25 0 1 0 696828678 46518272 10630 4294967295 134512640 134714508 3221221776 3221220532 134652883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11357 10630 1111 63 0 11294 0
vsize: 45428
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 42992 0 0 0 54878 125 0 0 25 0 1 0 696828678 47194112 10792 4294967295 134512640 134714508 3221221776 3221220448 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11522 10792 1111 63 0 11459 0
vsize: 46088
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 43144 0 0 0 55877 126 0 0 25 0 1 0 696828678 47869952 10944 4294967295 134512640 134714508 3221221776 3221220316 134539287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11687 10944 1111 63 0 11624 0
vsize: 46748
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 43268 0 0 0 56876 127 0 0 25 0 1 0 696828678 48275456 11068 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11786 11068 1111 63 0 11723 0
vsize: 47144
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 43419 0 0 0 57875 128 0 0 25 0 1 0 696828678 48951296 11219 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11951 11220 1111 63 0 11888 0
vsize: 47804
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 43590 0 0 0 58875 129 0 0 25 0 1 0 696828678 49627136 11390 4294967295 134512640 134714508 3221221776 3221220512 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12116 11390 1111 63 0 12053 0
vsize: 48464
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 43732 0 0 0 59874 129 0 0 25 0 1 0 696828678 50167808 11532 4294967295 134512640 134714508 3221221776 3221220404 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12248 11532 1111 63 0 12185 0
vsize: 48992
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 43844 0 0 0 60874 130 0 0 25 0 1 0 696828678 50708480 11644 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12380 11644 1111 63 0 12317 0
vsize: 49520
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 43946 0 0 0 61873 131 0 0 25 0 1 0 696828678 51113984 11746 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12479 11746 1111 63 0 12416 0
vsize: 49916
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 44083 0 0 0 62873 131 0 0 25 0 1 0 696828678 51654656 11883 4294967295 134512640 134714508 3221221776 3221220480 134528749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12611 11883 1111 63 0 12548 0
vsize: 50444
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 44235 0 0 0 63873 132 0 0 25 0 1 0 696828678 52330496 12035 4294967295 134512640 134714508 3221221776 3221220540 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12776 12035 1111 63 0 12713 0
vsize: 51104
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 44371 0 0 0 64872 133 0 0 25 0 1 0 696828678 52871168 12171 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12908 12171 1111 63 0 12845 0
vsize: 51632
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 44484 0 0 0 65872 133 0 0 25 0 1 0 696828678 53276672 12284 4294967295 134512640 134714508 3221221776 3221220400 134696344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13007 12284 1111 63 0 12944 0
vsize: 52028
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 44632 0 0 0 66872 133 0 0 25 0 1 0 696828678 53952512 12432 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13172 12432 1111 63 0 13109 0
vsize: 52688
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 44791 0 0 0 67871 134 0 0 25 0 1 0 696828678 54628352 12591 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13337 12591 1111 63 0 13274 0
vsize: 53348
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 44921 0 0 0 68870 135 0 0 25 0 1 0 696828678 55169024 12721 4294967295 134512640 134714508 3221221776 3221220316 134539296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13469 12721 1111 63 0 13406 0
vsize: 53876
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 45030 0 0 0 69870 136 0 0 25 0 1 0 696828678 55574528 12830 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13568 12830 1111 63 0 13505 0
vsize: 54272
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 45132 0 0 0 70869 136 0 0 25 0 1 0 696828678 55980032 12932 4294967295 134512640 134714508 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13667 12932 1111 63 0 13604 0
vsize: 54668
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 45277 0 0 0 71869 137 0 0 25 0 1 0 696828678 56520704 13077 4294967295 134512640 134714508 3221221776 3221220284 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13799 13077 1111 63 0 13736 0
vsize: 55196
[startup+730.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 45417 0 0 0 72869 137 0 0 25 0 1 0 696828678 57196544 13217 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13964 13217 1111 63 0 13901 0
vsize: 55856
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 45534 0 0 0 73868 138 0 0 25 0 1 0 696828678 57602048 13334 4294967295 134512640 134714508 3221221776 3221220464 134523190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14063 13334 1111 63 0 14000 0
vsize: 56252
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 45652 0 0 0 74868 139 0 0 25 0 1 0 696828678 58142720 13452 4294967295 134512640 134714508 3221221776 3221220380 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14195 13452 1111 63 0 14132 0
vsize: 56780
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 45772 0 0 0 75867 139 0 0 25 0 1 0 696828678 58548224 13572 4294967295 134512640 134714508 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14294 13572 1111 63 0 14231 0
vsize: 57176
[startup+770.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 45904 0 0 0 76867 140 0 0 25 0 1 0 696828678 59088896 13704 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13704 1111 63 0 14363 0
vsize: 57704
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 46019 0 0 0 77867 140 0 0 25 0 1 0 696828678 59629568 13819 4294967295 134512640 134714508 3221221776 3221220512 134523949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14558 13819 1111 63 0 14495 0
vsize: 58232
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 46119 0 0 0 78866 141 0 0 25 0 1 0 696828678 60035072 13919 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14657 13919 1111 63 0 14594 0
vsize: 58628
[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 46226 0 0 0 79866 141 0 0 25 0 1 0 696828678 60440576 14026 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14756 14026 1111 63 0 14693 0
vsize: 59024
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 46374 0 0 0 80866 142 0 0 25 0 1 0 696828678 61116416 14174 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14921 14174 1111 63 0 14858 0
vsize: 59684
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 46508 0 0 0 81865 142 0 0 25 0 1 0 696828678 61657088 14308 4294967295 134512640 134714508 3221221776 3221220504 134535787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15053 14308 1111 63 0 14990 0
vsize: 60212
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 46630 0 0 0 82865 143 0 0 25 0 1 0 696828678 62062592 14430 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15152 14430 1111 63 0 15089 0
vsize: 60608
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 46734 0 0 0 83865 143 0 0 25 0 1 0 696828678 62603264 14534 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15284 14534 1111 63 0 15221 0
vsize: 61136
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 46857 0 0 0 84864 144 0 0 25 0 1 0 696828678 63008768 14657 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15383 14657 1111 63 0 15320 0
vsize: 61532
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 46978 0 0 0 85864 145 0 0 25 0 1 0 696828678 63549440 14777 4294967295 134512640 134714508 3221221776 3221220356 134542744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15515 14777 1111 63 0 15452 0
vsize: 62060
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 47086 0 0 0 86863 145 0 0 25 0 1 0 696828678 63954944 14885 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15614 14885 1111 63 0 15551 0
vsize: 62456
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 47185 0 0 0 87863 146 0 0 25 0 1 0 696828678 64360448 14984 4294967295 134512640 134714508 3221221776 3221220356 134542685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15713 14984 1111 63 0 15650 0
vsize: 62852
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 47306 0 0 0 88862 147 0 0 25 0 1 0 696828678 64901120 15105 4294967295 134512640 134714508 3221221776 3221220284 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15845 15105 1111 63 0 15782 0
vsize: 63380
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 47438 0 0 0 89862 147 0 0 25 0 1 0 696828678 65441792 15237 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15977 15237 1111 63 0 15914 0
vsize: 63908
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 47551 0 0 0 90861 148 0 0 25 0 1 0 696828678 65847296 15350 4294967295 134512640 134714508 3221221776 3221220312 134697069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16076 15350 1111 63 0 16013 0
vsize: 64304
[startup+920.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 47657 0 0 0 91860 149 0 0 25 0 1 0 696828678 66392064 15456 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16209 15456 1111 63 0 16146 0
vsize: 64836
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 47847 0 0 0 92860 150 0 0 25 0 1 0 696828678 67067904 15646 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16374 15646 1111 63 0 16311 0
vsize: 65496
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 48017 0 0 0 93859 151 0 0 25 0 1 0 696828678 67887104 15816 4294967295 134512640 134714508 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16574 15816 1111 63 0 16511 0
vsize: 66296
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 48158 0 0 0 94858 152 0 0 25 0 1 0 696828678 68423680 15957 4294967295 134512640 134714508 3221221776 3221220404 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16705 15957 1111 63 0 16642 0
vsize: 66820
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 48283 0 0 0 95858 153 0 0 25 0 1 0 696828678 68964352 16082 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16837 16082 1111 63 0 16774 0
vsize: 67348
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 48396 0 0 0 96857 153 0 0 25 0 1 0 696828678 69369856 16195 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16936 16195 1111 63 0 16873 0
vsize: 67744
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 48566 0 0 0 97856 154 0 0 25 0 1 0 696828678 70049792 16364 4294967295 134512640 134714508 3221221776 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17102 16364 1111 63 0 17039 0
vsize: 68408
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 48714 0 0 0 98856 155 0 0 25 0 1 0 696828678 70729728 16512 4294967295 134512640 134714508 3221221776 3221220440 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17268 16512 1111 63 0 17205 0
vsize: 69072
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 48842 0 0 0 99855 156 0 0 25 0 1 0 696828678 71270400 16640 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17400 16640 1111 63 0 17337 0
vsize: 69600
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 48949 0 0 0 100855 156 0 0 25 0 1 0 696828678 71675904 16747 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17499 16747 1111 63 0 17436 0
vsize: 69996
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 49089 0 0 0 101854 157 0 0 25 0 1 0 696828678 72216576 16887 4294967295 134512640 134714508 3221221776 3221220424 134543647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17631 16887 1111 63 0 17568 0
vsize: 70524
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 49241 0 0 0 102853 158 0 0 25 0 1 0 696828678 72892416 17039 4294967295 134512640 134714508 3221221776 3221220532 134652855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17796 17039 1111 63 0 17733 0
vsize: 71184
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 49372 0 0 0 103853 158 0 0 25 0 1 0 696828678 73433088 17168 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17928 17168 1111 63 0 17865 0
vsize: 71712
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 49483 0 0 0 104852 159 0 0 25 0 1 0 696828678 73838592 17279 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18027 17279 1111 63 0 17964 0
vsize: 72108
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 49583 0 0 0 105852 160 0 0 25 0 1 0 696828678 74244096 17379 4294967295 134512640 134714508 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18126 17379 1111 63 0 18063 0
vsize: 72504
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 49718 0 0 0 106852 160 0 0 25 0 1 0 696828678 74784768 17514 4294967295 134512640 134714508 3221221776 3221220400 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18258 17514 1111 63 0 18195 0
vsize: 73032
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 49849 0 0 0 107852 160 0 0 25 0 1 0 696828678 75325440 17645 4294967295 134512640 134714508 3221221776 3221220436 134536744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18390 17645 1111 63 0 18327 0
vsize: 73560
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 49970 0 0 0 108851 161 0 0 25 0 1 0 696828678 75866112 17766 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18522 17766 1111 63 0 18459 0
vsize: 74088
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 50061 0 0 0 109851 162 0 0 25 0 1 0 696828678 76271616 17857 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18621 17857 1111 63 0 18558 0
vsize: 74484
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 50176 0 0 0 110851 162 0 0 25 0 1 0 696828678 76677120 17972 4294967295 134512640 134714508 3221221776 3221220424 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18720 17972 1111 63 0 18657 0
vsize: 74880
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 50280 0 0 0 111850 163 0 0 25 0 1 0 696828678 77082624 18076 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18819 18076 1111 63 0 18756 0
vsize: 75276
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 50377 0 0 0 112850 163 0 0 25 0 1 0 696828678 77488128 18173 4294967295 134512640 134714508 3221221776 3221220404 134696234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18918 18173 1111 63 0 18855 0
vsize: 75672
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 50466 0 0 0 113850 163 0 0 25 0 1 0 696828678 77893632 18262 4294967295 134512640 134714508 3221221776 3221220624 134595364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19017 18262 1111 63 0 18954 0
vsize: 76068
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 50544 0 0 0 114850 163 0 0 25 0 1 0 696828678 78163968 18340 4294967295 134512640 134714508 3221221776 3221220364 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19083 18340 1111 63 0 19020 0
vsize: 76332
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 50646 0 0 0 115850 164 0 0 25 0 1 0 696828678 78569472 18442 4294967295 134512640 134714508 3221221776 3221220528 134587954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19182 18442 1111 63 0 19119 0
vsize: 76728
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 50754 0 0 0 116849 165 0 0 25 0 1 0 696828678 79110144 18550 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19314 18550 1111 63 0 19251 0
vsize: 77256
[startup+1175.16 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 18959
Raw data (stat): 18959 (bsolo_lpr_cuts) R 18958 7876 7672 0 -1 0 50754 0 0 0 116849 165 0 0 25 0 1 0 696828678 79110144 18550 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19314 18550 1111 63 0 19251 0
vsize: 0

Child status: 0
Real time (s): 1175.16
CPU time (s): 1175.28
CPU user time (s): 1173.59
CPU system time (s): 1.68974
CPU usage (%): 100.01
Max. virtual memory (Kb): 77256
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####