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-1-c.opb
MD5SUM	8c1b8634a2f99e9f8e579ef031d10353
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	2630
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	2630
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	2630
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	2630
Total number of constraints	6569
Number of constraints which are clauses	6569
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 24153

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 11:02:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1820 boxname=wulflinc31 idbench=203 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  8c1b8634a2f99e9f8e579ef031d10353  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-1-c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par32-1-c.opb
IDLAUNCH: 1820
/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:        140416 kB
Buffers:         41720 kB
Cached:         818312 kB
SwapCached:        644 kB
Active:         492604 kB
Inactive:       369732 kB
HighTotal:      131008 kB
HighFree:         3332 kB
LowTotal:       903652 kB
LowFree:        137084 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26424 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 11:22:25 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 1820 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2630 variables and 6569 constraints.
c After prepocess the problem consists of 2565 variables and 8418 constraints.
c preprocess terminated 57.834 s
c Initial Lower Bound: 809
c Lower Bound Elapsed time: 19.7363
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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.92 0.96 0.91 2/54 15164
Raw data (stat): 15164 (runsolver) R 15163 7876 7672 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 691450218 1056768 98 4294967295 134512640 135381576 3221221680 3221217120 134514522 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+9.99976 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 5373 0 0 0 981 14 0 0 25 0 1 0 691450218 18067456 3568 4294967295 134512640 134714508 3221221776 3221220432 134627203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4411 3568 1111 63 0 4348 0
vsize: 17644
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 5373 0 0 0 1981 14 0 0 25 0 1 0 691450218 18067456 3568 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4411 3568 1111 63 0 4348 0
vsize: 17644
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 5391 0 0 0 2981 15 0 0 25 0 1 0 691450218 18202624 3586 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4444 3586 1111 63 0 4381 0
vsize: 17776
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 5546 0 0 0 3981 15 0 0 25 0 1 0 691450218 18878464 3741 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 3741 1111 63 0 4546 0
vsize: 18436
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 5668 0 0 0 4981 15 0 0 25 0 1 0 691450218 19283968 3863 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4708 3863 1111 63 0 4645 0
vsize: 18832
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 6851 0 0 0 5979 17 0 0 25 0 1 0 691450218 24166400 5046 4294967295 134512640 134714508 3221221776 3221220040 1074146097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5900 5046 1111 63 0 5837 0
vsize: 23600
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 8270 0 0 0 6973 22 0 0 25 0 1 0 691450218 30601216 6154 4294967295 134512640 134714508 3221221776 3221217644 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6154 1111 63 0 7408 0
vsize: 29884
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 8312 0 0 0 7973 22 0 0 25 0 1 0 691450218 30601216 6196 4294967295 134512640 134714508 3221221776 3221217840 1074971324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6196 1111 63 0 7408 0
vsize: 29884
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 8329 0 0 0 8974 22 0 0 25 0 1 0 691450218 30601216 6213 4294967295 134512640 134714508 3221221776 3221217644 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6213 1111 63 0 7408 0
vsize: 29884
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 8340 0 0 0 9974 22 0 0 25 0 1 0 691450218 30601216 6224 4294967295 134512640 134714508 3221221776 3221217916 1075116757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6224 1111 63 0 7408 0
vsize: 29884
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 8340 0 0 0 10974 22 0 0 25 0 1 0 691450218 30601216 6224 4294967295 134512640 134714508 3221221776 3221217916 1075116856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6224 1111 63 0 7408 0
vsize: 29884
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 8571 0 0 0 11974 22 0 0 25 0 1 0 691450218 29609984 6189 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7229 6189 1111 63 0 7166 0
vsize: 28916
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 8571 0 0 0 12974 22 0 0 25 0 1 0 691450218 29609984 6189 4294967295 134512640 134714508 3221221776 3221217664 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7229 6189 1111 63 0 7166 0
vsize: 28916
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 8593 0 0 0 13974 22 0 0 25 0 1 0 691450218 29724672 6211 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7257 6211 1111 63 0 7194 0
vsize: 29028
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 8619 0 0 0 14974 22 0 0 25 0 1 0 691450218 29851648 6237 4294967295 134512640 134714508 3221221776 3221218072 1075112630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7288 6237 1111 63 0 7225 0
vsize: 29152
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 8630 0 0 0 15974 22 0 0 25 0 1 0 691450218 29970432 6248 4294967295 134512640 134714508 3221221776 3221217900 1075564165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7317 6248 1111 63 0 7254 0
vsize: 29268
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 11708 0 0 0 16968 29 0 0 25 0 1 0 691450218 31682560 6600 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7735 6600 1111 63 0 7672 0
vsize: 30940
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 14370 0 0 0 17963 34 0 0 25 0 1 0 691450218 32169984 6291 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7854 6291 1111 63 0 7791 0
vsize: 31416
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 17765 0 0 0 18956 41 0 0 25 0 1 0 691450218 30867456 6393 4294967295 134512640 134714508 3221221776 3221218136 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6393 1111 63 0 7473 0
vsize: 30144
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 22694 0 0 0 19943 55 0 0 25 0 1 0 691450218 27983872 5920 4294967295 134512640 134714508 3221221776 3221218856 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6832 5920 1111 63 0 6769 0
vsize: 27328
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 23767 0 0 0 20941 57 0 0 25 0 1 0 691450218 31477760 6546 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7685 6546 1111 63 0 7622 0
vsize: 30740
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 23826 0 0 0 21941 57 0 0 25 0 1 0 691450218 31621120 6605 4294967295 134512640 134714508 3221221776 3221218244 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7720 6605 1111 63 0 7657 0
vsize: 30880
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 26942 0 0 0 22934 64 0 0 25 0 1 0 691450218 31555584 6573 4294967295 134512640 134714508 3221221776 3221218064 1075894562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7704 6573 1111 63 0 7641 0
vsize: 30816
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 32989 0 0 0 23920 78 0 0 25 0 1 0 691450218 31911936 6678 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7791 6678 1111 63 0 7728 0
vsize: 31164
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 33004 0 0 0 24920 78 0 0 25 0 1 0 691450218 31911936 6687 4294967295 134512640 134714508 3221221776 3221217968 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7791 6687 1111 63 0 7728 0
vsize: 31164
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 37087 0 0 0 25911 88 0 0 25 0 1 0 691450218 26791936 5829 4294967295 134512640 134714508 3221221776 3221220396 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6541 5829 1111 63 0 6478 0
vsize: 26164
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 37087 0 0 0 26910 88 0 0 25 0 1 0 691450218 26791936 5829 4294967295 134512640 134714508 3221221776 3221220532 134652855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6541 5829 1111 63 0 6478 0
vsize: 26164
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 37251 0 0 0 27909 89 0 0 25 0 1 0 691450218 27467776 5993 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6706 5993 1111 63 0 6643 0
vsize: 26824
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 37418 0 0 0 28908 90 0 0 25 0 1 0 691450218 28278784 6160 4294967295 134512640 134714508 3221221776 3221220368 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6904 6160 1111 63 0 6841 0
vsize: 27616
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 37592 0 0 0 29907 91 0 0 25 0 1 0 691450218 28954624 6334 4294967295 134512640 134714508 3221221776 3221220380 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7069 6334 1111 63 0 7006 0
vsize: 28276
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 37786 0 0 0 30907 92 0 0 25 0 1 0 691450218 29765632 6528 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7267 6528 1111 63 0 7204 0
vsize: 29068
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 38005 0 0 0 31906 93 0 0 25 0 1 0 691450218 30576640 6747 4294967295 134512640 134714508 3221221776 3221220400 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7465 6747 1111 63 0 7402 0
vsize: 29860
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 38207 0 0 0 32904 95 0 0 25 0 1 0 691450218 31387648 6949 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6949 1111 63 0 7600 0
vsize: 30652
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 38395 0 0 0 33904 96 0 0 25 0 1 0 691450218 32198656 7137 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7861 7137 1111 63 0 7798 0
vsize: 31444
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 38602 0 0 0 34903 97 0 0 25 0 1 0 691450218 33009664 7344 4294967295 134512640 134714508 3221221776 3221220496 134584759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7344 1111 63 0 7996 0
vsize: 32236
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 38798 0 0 0 35901 98 0 0 25 0 1 0 691450218 33820672 7540 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8257 7540 1111 63 0 8194 0
vsize: 33028
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 38997 0 0 0 36901 99 0 0 25 0 1 0 691450218 34631680 7739 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8455 7739 1111 63 0 8392 0
vsize: 33820
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 39152 0 0 0 37900 100 0 0 25 0 1 0 691450218 35307520 7894 4294967295 134512640 134714508 3221221776 3221220404 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8620 7894 1111 63 0 8557 0
vsize: 34480
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 39284 0 0 0 38899 101 0 0 25 0 1 0 691450218 35848192 8026 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8752 8026 1111 63 0 8689 0
vsize: 35008
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 39432 0 0 0 39898 102 0 0 25 0 1 0 691450218 36524032 8174 4294967295 134512640 134714508 3221221776 3221220260 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8917 8174 1111 63 0 8854 0
vsize: 35668
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 39554 0 0 0 40898 103 0 0 25 0 1 0 691450218 36929536 8296 4294967295 134512640 134714508 3221221776 3221220512 134594954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9016 8296 1111 63 0 8953 0
vsize: 36064
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 39670 0 0 0 41897 103 0 0 25 0 1 0 691450218 37470208 8412 4294967295 134512640 134714508 3221221776 3221220352 134542775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9148 8412 1111 63 0 9085 0
vsize: 36592
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 39783 0 0 0 42897 104 0 0 25 0 1 0 691450218 37879808 8525 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9248 8525 1111 63 0 9185 0
vsize: 36992
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 39870 0 0 0 43896 105 0 0 25 0 1 0 691450218 38285312 8612 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9347 8612 1111 63 0 9284 0
vsize: 37388
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 39966 0 0 0 44895 107 0 0 25 0 1 0 691450218 38690816 8708 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9446 8708 1111 63 0 9383 0
vsize: 37784
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 40055 0 0 0 45894 107 0 0 25 0 1 0 691450218 38961152 8797 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9512 8797 1111 63 0 9449 0
vsize: 38048
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 40147 0 0 0 46894 108 0 0 25 0 1 0 691450218 39366656 8889 4294967295 134512640 134714508 3221221776 3221220316 134539217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9611 8889 1111 63 0 9548 0
vsize: 38444
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 40293 0 0 0 47893 109 0 0 25 0 1 0 691450218 40042496 9035 4294967295 134512640 134714508 3221221776 3221220416 134696061 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9776 9035 1111 63 0 9713 0
vsize: 39104
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 40423 0 0 0 48893 109 0 0 25 0 1 0 691450218 40583168 9165 4294967295 134512640 134714508 3221221776 3221220444 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9908 9165 1111 63 0 9845 0
vsize: 39632
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 40551 0 0 0 49892 110 0 0 25 0 1 0 691450218 41123840 9293 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10040 9293 1111 63 0 9977 0
vsize: 40160
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 40685 0 0 0 50891 111 0 0 25 0 1 0 691450218 41664512 9427 4294967295 134512640 134714508 3221221776 3221220360 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10172 9427 1111 63 0 10109 0
vsize: 40688
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 40810 0 0 0 51891 112 0 0 25 0 1 0 691450218 42070016 9552 4294967295 134512640 134714508 3221221776 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10271 9552 1111 63 0 10208 0
vsize: 41084
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 40907 0 0 0 52890 112 0 0 25 0 1 0 691450218 42475520 9649 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10370 9649 1111 63 0 10307 0
vsize: 41480
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 41026 0 0 0 53890 113 0 0 25 0 1 0 691450218 43016192 9768 4294967295 134512640 134714508 3221221776 3221220376 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10502 9768 1111 63 0 10439 0
vsize: 42008
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 41133 0 0 0 54890 113 0 0 25 0 1 0 691450218 43421696 9875 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10601 9875 1111 63 0 10538 0
vsize: 42404
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 41228 0 0 0 55889 114 0 0 25 0 1 0 691450218 43827200 9970 4294967295 134512640 134714508 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10700 9970 1111 63 0 10637 0
vsize: 42800
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 41341 0 0 0 56888 115 0 0 25 0 1 0 691450218 44232704 10083 4294967295 134512640 134714508 3221221776 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10799 10083 1111 63 0 10736 0
vsize: 43196
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 41460 0 0 0 57888 115 0 0 25 0 1 0 691450218 44773376 10202 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10931 10202 1111 63 0 10868 0
vsize: 43724
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 41584 0 0 0 58888 116 0 0 25 0 1 0 691450218 45314048 10326 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11063 10326 1111 63 0 11000 0
vsize: 44252
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 41709 0 0 0 59887 116 0 0 25 0 1 0 691450218 45854720 10451 4294967295 134512640 134714508 3221221776 3221220592 134590269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11195 10451 1111 63 0 11132 0
vsize: 44780
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 41823 0 0 0 60886 117 0 0 25 0 1 0 691450218 46260224 10565 4294967295 134512640 134714508 3221221776 3221220544 134592323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11294 10565 1111 63 0 11231 0
vsize: 45176
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 41936 0 0 0 61886 118 0 0 25 0 1 0 691450218 46800896 10678 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11426 10678 1111 63 0 11363 0
vsize: 45704
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 42047 0 0 0 62886 119 0 0 25 0 1 0 691450218 47206400 10789 4294967295 134512640 134714508 3221221776 3221220332 134539276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11525 10789 1111 63 0 11462 0
vsize: 46100
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 42142 0 0 0 63885 120 0 0 25 0 1 0 691450218 47616000 10884 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11625 10884 1111 63 0 11562 0
vsize: 46500
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 42246 0 0 0 64884 120 0 0 25 0 1 0 691450218 48021504 10988 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11724 10988 1111 63 0 11661 0
vsize: 46896
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 42350 0 0 0 65883 121 0 0 25 0 1 0 691450218 48427008 11092 4294967295 134512640 134714508 3221221776 3221220312 134697069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11823 11092 1111 63 0 11760 0
vsize: 47292
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 42461 0 0 0 66883 122 0 0 25 0 1 0 691450218 48967680 11203 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11955 11203 1111 63 0 11892 0
vsize: 47820
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 42554 0 0 0 67882 123 0 0 25 0 1 0 691450218 49238016 11296 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12021 11296 1111 63 0 11958 0
vsize: 48084
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 42649 0 0 0 68882 124 0 0 25 0 1 0 691450218 49643520 11391 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12120 11391 1111 63 0 12057 0
vsize: 48480
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 42749 0 0 0 69881 124 0 0 25 0 1 0 691450218 50049024 11491 4294967295 134512640 134714508 3221221776 3221220336 134542344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12219 11491 1111 63 0 12156 0
vsize: 48876
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 42841 0 0 0 70881 125 0 0 25 0 1 0 691450218 50454528 11583 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12318 11583 1111 63 0 12255 0
vsize: 49272
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 42941 0 0 0 71880 126 0 0 25 0 1 0 691450218 50860032 11683 4294967295 134512640 134714508 3221221776 3221220352 134549640 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12417 11683 1111 63 0 12354 0
vsize: 49668
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43043 0 0 0 72880 126 0 0 25 0 1 0 691450218 51273728 11785 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12518 11785 1111 63 0 12455 0
vsize: 50072
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43131 0 0 0 73879 127 0 0 25 0 1 0 691450218 51691520 11873 4294967295 134512640 134714508 3221221776 3221220520 134523854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 11873 1111 63 0 12557 0
vsize: 50480
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43240 0 0 0 74879 127 0 0 25 0 1 0 691450218 52133888 11982 4294967295 134512640 134714508 3221221776 3221220316 134539262 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12728 11982 1111 63 0 12665 0
vsize: 50912
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43292 0 0 0 75879 128 0 0 25 0 1 0 691450218 52412416 12034 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12796 12034 1111 63 0 12733 0
vsize: 51184
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43355 0 0 0 76879 128 0 0 25 0 1 0 691450218 52682752 12097 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12862 12097 1111 63 0 12799 0
vsize: 51448
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43432 0 0 0 77879 128 0 0 25 0 1 0 691450218 52953088 12174 4294967295 134512640 134714508 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12928 12174 1111 63 0 12865 0
vsize: 51712
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43502 0 0 0 78878 129 0 0 25 0 1 0 691450218 53223424 12244 4294967295 134512640 134714508 3221221776 3221220560 134529259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12994 12244 1111 63 0 12931 0
vsize: 51976
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43572 0 0 0 79878 129 0 0 25 0 1 0 691450218 53493760 12314 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13060 12314 1111 63 0 12997 0
vsize: 52240
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43639 0 0 0 80878 129 0 0 25 0 1 0 691450218 53899264 12381 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13159 12381 1111 63 0 13096 0
vsize: 52636
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43695 0 0 0 81878 129 0 0 25 0 1 0 691450218 54038528 12437 4294967295 134512640 134714508 3221221776 3221220368 134549739 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13193 12437 1111 63 0 13130 0
vsize: 52772
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43773 0 0 0 82878 130 0 0 25 0 1 0 691450218 54444032 12515 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13292 12515 1111 63 0 13229 0
vsize: 53168
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43840 0 0 0 83877 131 0 0 25 0 1 0 691450218 54714368 12581 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13358 12581 1111 63 0 13295 0
vsize: 53432
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43906 0 0 0 84877 131 0 0 25 0 1 0 691450218 54984704 12647 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13424 12647 1111 63 0 13361 0
vsize: 53696
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 43975 0 0 0 85877 131 0 0 25 0 1 0 691450218 55275520 12715 4294967295 134512640 134714508 3221221776 3221220416 134696069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13495 12715 1111 63 0 13432 0
vsize: 53980
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44011 0 0 0 86877 131 0 0 25 0 1 0 691450218 55410688 12751 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12751 1111 63 0 13465 0
vsize: 54112
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44059 0 0 0 87877 131 0 0 25 0 1 0 691450218 55545856 12799 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13561 12799 1111 63 0 13498 0
vsize: 54244
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44120 0 0 0 88877 132 0 0 25 0 1 0 691450218 55816192 12860 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13627 12860 1111 63 0 13564 0
vsize: 54508
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44192 0 0 0 89877 132 0 0 25 0 1 0 691450218 56090624 12932 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13694 12932 1111 63 0 13631 0
vsize: 54776
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44276 0 0 0 90876 133 0 0 25 0 1 0 691450218 56496128 13016 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13793 13016 1111 63 0 13730 0
vsize: 55172
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44356 0 0 0 91876 133 0 0 25 0 1 0 691450218 56766464 13096 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13859 13096 1111 63 0 13796 0
vsize: 55436
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44431 0 0 0 92876 134 0 0 25 0 1 0 691450218 57171968 13171 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13958 13171 1111 63 0 13895 0
vsize: 55832
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44502 0 0 0 93875 134 0 0 25 0 1 0 691450218 57442304 13242 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14024 13242 1111 63 0 13961 0
vsize: 56096
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44551 0 0 0 94875 135 0 0 25 0 1 0 691450218 57577472 13291 4294967295 134512640 134714508 3221221776 3221220324 134696712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14057 13291 1111 63 0 13994 0
vsize: 56228
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44602 0 0 0 95875 135 0 0 25 0 1 0 691450218 57847808 13342 4294967295 134512640 134714508 3221221776 3221220444 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13342 1111 63 0 14060 0
vsize: 56492
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44653 0 0 0 96874 136 0 0 25 0 1 0 691450218 57982976 13393 4294967295 134512640 134714508 3221221776 3221220548 134597630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14156 13393 1111 63 0 14093 0
vsize: 56624
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44707 0 0 0 97874 137 0 0 25 0 1 0 691450218 58253312 13447 4294967295 134512640 134714508 3221221776 3221220416 134695937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14222 13447 1111 63 0 14159 0
vsize: 56888
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44754 0 0 0 98874 137 0 0 25 0 1 0 691450218 58388480 13494 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14255 13494 1111 63 0 14192 0
vsize: 57020
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44805 0 0 0 99874 137 0 0 25 0 1 0 691450218 58658816 13545 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14321 13545 1111 63 0 14258 0
vsize: 57284
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44848 0 0 0 100874 137 0 0 25 0 1 0 691450218 58793984 13588 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14354 13588 1111 63 0 14291 0
vsize: 57416
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44890 0 0 0 101874 137 0 0 25 0 1 0 691450218 59064320 13630 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14420 13630 1111 63 0 14357 0
vsize: 57680
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 44959 0 0 0 102874 138 0 0 25 0 1 0 691450218 59334656 13699 4294967295 134512640 134714508 3221221776 3221220428 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14486 13699 1111 63 0 14423 0
vsize: 57944
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45007 0 0 0 103874 138 0 0 25 0 1 0 691450218 59469824 13747 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14519 13747 1111 63 0 14456 0
vsize: 58076
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45050 0 0 0 104874 138 0 0 25 0 1 0 691450218 59604992 13790 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14552 13790 1111 63 0 14489 0
vsize: 58208
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45091 0 0 0 105874 138 0 0 25 0 1 0 691450218 59875328 13831 4294967295 134512640 134714508 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14618 13831 1111 63 0 14555 0
vsize: 58472
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45128 0 0 0 106874 138 0 0 25 0 1 0 691450218 60010496 13868 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14651 13868 1111 63 0 14588 0
vsize: 58604
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45171 0 0 0 107874 138 0 0 25 0 1 0 691450218 60145664 13911 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14684 13911 1111 63 0 14621 0
vsize: 58736
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45209 0 0 0 108874 138 0 0 25 0 1 0 691450218 60280832 13949 4294967295 134512640 134714508 3221221776 3221220084 134697471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14717 13949 1111 63 0 14654 0
vsize: 58868
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45249 0 0 0 109874 139 0 0 25 0 1 0 691450218 60416000 13989 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14750 13989 1111 63 0 14687 0
vsize: 59000
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45287 0 0 0 110874 139 0 0 25 0 1 0 691450218 60686336 14027 4294967295 134512640 134714508 3221221776 3221220416 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14816 14027 1111 63 0 14753 0
vsize: 59264
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45324 0 0 0 111874 139 0 0 25 0 1 0 691450218 60821504 14064 4294967295 134512640 134714508 3221221776 3221220568 134528763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14849 14064 1111 63 0 14786 0
vsize: 59396
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45360 0 0 0 112874 139 0 0 25 0 1 0 691450218 60956672 14100 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14882 14100 1111 63 0 14819 0
vsize: 59528
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45410 0 0 0 113874 139 0 0 25 0 1 0 691450218 61091840 14150 4294967295 134512640 134714508 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14915 14150 1111 63 0 14852 0
vsize: 59660
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45461 0 0 0 114874 140 0 0 25 0 1 0 691450218 61362176 14201 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14981 14201 1111 63 0 14918 0
vsize: 59924
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45509 0 0 0 115874 140 0 0 25 0 1 0 691450218 61497344 14249 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15014 14249 1111 63 0 14951 0
vsize: 60056
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45559 0 0 0 116874 140 0 0 25 0 1 0 691450218 61767680 14299 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15080 14299 1111 63 0 15017 0
vsize: 60320
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 15164
Raw data (stat): 15164 (bsolo_lpr_cuts) R 15163 7876 7672 0 -1 0 45559 0 0 0 116874 140 0 0 25 0 1 0 691450218 61767680 14299 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15080 14299 1111 63 0 15017 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.11
CPU user time (s): 1173.67
CPU system time (s): 1.43778
CPU usage (%): 100.01
Max. virtual memory (Kb): 60320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####