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/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
MD5SUM	6c328ef6f9d8d5a179eec9bf3550b7fd
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.027995
Number of variables	1000
Total number of constraints	90
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	25
Trace number 23183

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 04:42:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=74 boxname=wulflinc31 idbench=9 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6c328ef6f9d8d5a179eec9bf3550b7fd  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_25_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_25_pb.cnf.cr.opb
IDLAUNCH: 74
/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:        931488 kB
Buffers:         35632 kB
Cached:          45036 kB
SwapCached:        864 kB
Active:          70648 kB
Inactive:        12984 kB
HighTotal:      131008 kB
HighFree:        84420 kB
LowTotal:       903652 kB
LowFree:        847068 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7196 kB
Slab:            13896 kB
Committed_AS:    67544 kB
PageTables:        360 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 05:01:50 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 74 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1000 variables and 90 constraints.
c After prepocess the problem consists of 1000 variables and 90 constraints.
c preprocess terminated 0.265 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.85 0.95 0.90 2/57 8215
Raw data (stat): 8215 (runsolver) R 8214 7876 7672 34817 7672 64 5 0 0 0 0 0 0 0 19 0 1 0 628679574 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.0013 s]
Raw data (loadavg): 0.87 0.96 0.90 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 3803 0 0 0 981 15 0 0 25 0 1 0 628679574 18735104 3724 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4574 3724 1111 63 0 4511 0
vsize: 18296
[startup+20.0022 s]
Raw data (loadavg): 0.89 0.96 0.90 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 5004 0 0 0 1976 20 0 0 25 0 1 0 628679574 23609344 4925 4294967295 134512640 134714508 3221221776 3221220368 134549609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5764 4925 1111 63 0 5701 0
vsize: 23056
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.96 0.90 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 5973 0 0 0 2972 24 0 0 25 0 1 0 628679574 27545600 5894 4294967295 134512640 134714508 3221221776 3221220368 134549670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6725 5894 1111 63 0 6662 0
vsize: 26900
[startup+40.0031 s]
Raw data (loadavg): 0.92 0.96 0.90 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 6618 0 0 0 3969 27 0 0 25 0 1 0 628679574 30248960 6539 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6539 1111 63 0 7322 0
vsize: 29540
[startup+50.004 s]
Raw data (loadavg): 0.93 0.96 0.90 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 7214 0 0 0 4965 31 0 0 25 0 1 0 628679574 32694272 7135 4294967295 134512640 134714508 3221221776 3221220260 134697345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7982 7135 1111 63 0 7919 0
vsize: 31928
[startup+60.0049 s]
Raw data (loadavg): 0.94 0.96 0.90 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 7937 0 0 0 5962 34 0 0 25 0 1 0 628679574 35667968 7858 4294967295 134512640 134714508 3221221776 3221220512 134523939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8708 7858 1111 63 0 8645 0
vsize: 34832
[startup+70.0063 s]
Raw data (loadavg): 0.95 0.96 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 8315 0 0 0 6960 37 0 0 25 0 1 0 628679574 37298176 8236 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9106 8236 1111 63 0 9043 0
vsize: 36424
[startup+80.0068 s]
Raw data (loadavg): 0.96 0.96 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 8633 0 0 0 7958 39 0 0 25 0 1 0 628679574 38518784 8554 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9404 8554 1111 63 0 9341 0
vsize: 37616
[startup+90.0077 s]
Raw data (loadavg): 0.96 0.96 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 8818 0 0 0 8957 40 0 0 25 0 1 0 628679574 39329792 8739 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9602 8739 1111 63 0 9539 0
vsize: 38408
[startup+100.008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 8992 0 0 0 9955 42 0 0 25 0 1 0 628679574 40034304 8913 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9774 8913 1111 63 0 9711 0
vsize: 39096
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 9152 0 0 0 10954 43 0 0 25 0 1 0 628679574 40710144 9073 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9939 9073 1111 63 0 9876 0
vsize: 39756
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 10734 0 0 0 11948 50 0 0 25 0 1 0 628679574 47329280 10655 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11555 10655 1111 63 0 11492 0
vsize: 46220
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 11899 0 0 0 12942 56 0 0 25 0 1 0 628679574 52056064 11820 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12709 11820 1111 63 0 12646 0
vsize: 50836
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 12379 0 0 0 13941 57 0 0 25 0 1 0 628679574 53977088 12299 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13178 12299 1111 63 0 13115 0
vsize: 52712
[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 12902 0 0 0 14938 60 0 0 25 0 1 0 628679574 56135680 12822 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13705 12822 1111 63 0 13642 0
vsize: 54820
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 13153 0 0 0 15937 61 0 0 25 0 1 0 628679574 57233408 13073 4294967295 134512640 134714508 3221221776 3221220364 134535658 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13973 13073 1111 63 0 13910 0
vsize: 55892
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 13455 0 0 0 16936 63 0 0 25 0 1 0 628679574 58449920 13374 4294967295 134512640 134714508 3221221776 3221220536 134552685 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14270 13374 1111 63 0 14207 0
vsize: 57080
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 13987 0 0 0 17933 66 0 0 25 0 1 0 628679574 60628992 13906 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14802 13906 1111 63 0 14739 0
vsize: 59208
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 14942 0 0 0 18930 69 0 0 25 0 1 0 628679574 64544768 14861 4294967295 134512640 134714508 3221221776 3221220400 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15758 14861 1111 63 0 15695 0
vsize: 63032
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 15487 0 0 0 19927 72 0 0 25 0 1 0 628679574 66842624 15406 4294967295 134512640 134714508 3221221776 3221220428 134536839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16319 15406 1111 63 0 16256 0
vsize: 65276
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 15959 0 0 0 20925 74 0 0 25 0 1 0 628679574 68734976 15878 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16781 15878 1111 63 0 16718 0
vsize: 67124
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 16557 0 0 0 21923 77 0 0 25 0 1 0 628679574 71168000 16475 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17375 16475 1111 63 0 17312 0
vsize: 69500
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 16853 0 0 0 22922 78 0 0 25 0 1 0 628679574 72413184 16771 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17679 16771 1111 63 0 17616 0
vsize: 70716
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 17207 0 0 0 23921 79 0 0 25 0 1 0 628679574 73764864 17125 4294967295 134512640 134714508 3221221776 3221220536 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18042 17126 1111 63 0 17979 0
vsize: 72036
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 17452 0 0 0 24920 81 0 0 25 0 1 0 628679574 74846208 17370 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18273 17370 1111 63 0 18210 0
vsize: 73092
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 17627 0 0 0 25919 81 0 0 25 0 1 0 628679574 75522048 17545 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18438 17545 1111 63 0 18375 0
vsize: 73752
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 17719 0 0 0 26919 82 0 0 25 0 1 0 628679574 75931648 17637 4294967295 134512640 134714508 3221221776 3221220488 134591891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18538 17637 1111 63 0 18475 0
vsize: 74152
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 18246 0 0 0 27917 83 0 0 25 0 1 0 628679574 78123008 18163 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19073 18163 1111 63 0 19010 0
vsize: 76292
[startup+290.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 18637 0 0 0 28919 85 0 0 25 0 1 0 628679574 79745024 18554 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18554 1111 63 0 19406 0
vsize: 77876
[startup+300.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 18994 0 0 0 29917 87 0 0 25 0 1 0 628679574 81231872 18911 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19832 18911 1111 63 0 19769 0
vsize: 79328
[startup+310.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 19454 0 0 0 30916 89 0 0 25 0 1 0 628679574 83140608 19371 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20298 19371 1111 63 0 20235 0
vsize: 81192
[startup+320.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 19766 0 0 0 31914 90 0 0 25 0 1 0 628679574 84385792 19683 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20602 19683 1111 63 0 20539 0
vsize: 82408
[startup+330.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 19983 0 0 0 32913 91 0 0 25 0 1 0 628679574 85331968 19900 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20833 19900 1111 63 0 20770 0
vsize: 83332
[startup+340.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 20181 0 0 0 33913 92 0 0 25 0 1 0 628679574 86142976 20098 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21031 20098 1111 63 0 20968 0
vsize: 84124
[startup+350.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 20284 0 0 0 34913 92 0 0 25 0 1 0 628679574 86548480 20201 4294967295 134512640 134714508 3221221776 3221220480 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21130 20201 1111 63 0 21067 0
vsize: 84520
[startup+360.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 20369 0 0 0 35912 93 0 0 25 0 1 0 628679574 86953984 20286 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21229 20286 1111 63 0 21166 0
vsize: 84916
[startup+370.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 20611 0 0 0 36911 95 0 0 25 0 1 0 628679574 87941120 20528 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21470 20528 1111 63 0 21407 0
vsize: 85880
[startup+380.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8215
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 34817 7672 0 20952 0 0 0 37909 97 0 0 25 0 1 0 628679574 89296896 20868 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21801 20868 1111 63 0 21738 0
vsize: 87204
[startup+390.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 21268 0 0 0 38908 98 0 0 25 0 1 0 628679574 90664960 21183 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22135 21183 1111 63 0 22072 0
vsize: 88540
[startup+400.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 21530 0 0 0 39907 100 0 0 25 0 1 0 628679574 91746304 21445 4294967295 134512640 134714508 3221221776 3221220512 134534154 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22399 21445 1111 63 0 22336 0
vsize: 89596
[startup+410.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 21809 0 0 0 40906 101 0 0 25 0 1 0 628679574 92962816 21723 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22696 21723 1111 63 0 22633 0
vsize: 90784
[startup+420.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 21974 0 0 0 41905 102 0 0 25 0 1 0 628679574 93503488 21888 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22828 21888 1111 63 0 22765 0
vsize: 91312
[startup+430.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 22126 0 0 0 42904 103 0 0 25 0 1 0 628679574 94216192 22040 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23002 22040 1111 63 0 22939 0
vsize: 92008
[startup+440.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 22178 0 0 0 43904 103 0 0 25 0 1 0 628679574 94523392 22092 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23077 22092 1111 63 0 23014 0
vsize: 92308
[startup+450.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 22487 0 0 0 44903 104 0 0 25 0 1 0 628679574 95739904 22399 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23374 22399 1111 63 0 23311 0
vsize: 93496
[startup+460.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 22729 0 0 0 45901 106 0 0 25 0 1 0 628679574 96718848 22641 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23613 22641 1111 63 0 23550 0
vsize: 94452
[startup+470.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 22921 0 0 0 46901 107 0 0 25 0 1 0 628679574 97415168 22833 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22833 1111 63 0 23720 0
vsize: 95132
[startup+480.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 23105 0 0 0 47900 108 0 0 25 0 1 0 628679574 98246656 23017 4294967295 134512640 134714508 3221221776 3221220416 134696097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23986 23017 1111 63 0 23923 0
vsize: 95944
[startup+490.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 23278 0 0 0 48899 109 0 0 25 0 1 0 628679574 98922496 23190 4294967295 134512640 134714508 3221221776 3221220512 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24151 23190 1111 63 0 24088 0
vsize: 96604
[startup+500.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 23857 0 0 0 49898 110 0 0 25 0 1 0 628679574 101363712 23768 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24747 23768 1111 63 0 24684 0
vsize: 98988
[startup+510.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 24262 0 0 0 50895 113 0 0 25 0 1 0 628679574 102985728 24173 4294967295 134512640 134714508 3221221776 3221220496 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25143 24173 1111 63 0 25080 0
vsize: 100572
[startup+520.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 24521 0 0 0 51894 115 0 0 25 0 1 0 628679574 104058880 24432 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25405 24432 1111 63 0 25342 0
vsize: 101620
[startup+530.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 24791 0 0 0 52893 115 0 0 25 0 1 0 628679574 105140224 24702 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25669 24702 1111 63 0 25606 0
vsize: 102676
[startup+540.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 25119 0 0 0 53891 117 0 0 25 0 1 0 628679574 106491904 25030 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25999 25030 1111 63 0 25936 0
vsize: 103996
[startup+550.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 25333 0 0 0 54891 118 0 0 25 0 1 0 628679574 107438080 25244 4294967295 134512640 134714508 3221221776 3221220368 134549616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26230 25244 1111 63 0 26167 0
vsize: 104920
[startup+560.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 25410 0 0 0 55890 119 0 0 25 0 1 0 628679574 107692032 25321 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26292 25321 1111 63 0 26229 0
vsize: 105168
[startup+570.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 25702 0 0 0 56889 120 0 0 25 0 1 0 628679574 108924928 25613 4294967295 134512640 134714508 3221221776 3221220360 134696445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26593 25613 1111 63 0 26530 0
vsize: 106372
[startup+580.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 26067 0 0 0 57888 121 0 0 25 0 1 0 628679574 110411776 25978 4294967295 134512640 134714508 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26956 25978 1111 63 0 26893 0
vsize: 107824
[startup+590.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 26243 0 0 0 58887 122 0 0 25 0 1 0 628679574 111087616 26154 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27121 26154 1111 63 0 27058 0
vsize: 108484
[startup+600.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 26356 0 0 0 59887 123 0 0 25 0 1 0 628679574 111493120 26267 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27220 26267 1111 63 0 27157 0
vsize: 108880
[startup+610.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 26419 0 0 0 60887 123 0 0 25 0 1 0 628679574 111788032 26330 4294967295 134512640 134714508 3221221776 3221220560 134529103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27292 26330 1111 63 0 27229 0
vsize: 109168
[startup+620.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 26472 0 0 0 61887 123 0 0 25 0 1 0 628679574 112054272 26383 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27357 26383 1111 63 0 27294 0
vsize: 109428
[startup+630.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 26608 0 0 0 62887 124 0 0 25 0 1 0 628679574 112594944 26519 4294967295 134512640 134714508 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27489 26519 1111 63 0 27426 0
vsize: 109956
[startup+640.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 26781 0 0 0 63886 124 0 0 25 0 1 0 628679574 113266688 26692 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27653 26692 1111 63 0 27590 0
vsize: 110612
[startup+650.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 26918 0 0 0 64885 125 0 0 25 0 1 0 628679574 113807360 26829 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27785 26829 1111 63 0 27722 0
vsize: 111140
[startup+660.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 26991 0 0 0 65885 126 0 0 25 0 1 0 628679574 114077696 26902 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27851 26902 1111 63 0 27788 0
vsize: 111404
[startup+670.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 27198 0 0 0 66884 127 0 0 25 0 1 0 628679574 115032064 27109 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28084 27109 1111 63 0 28021 0
vsize: 112336
[startup+680.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 27373 0 0 0 67884 127 0 0 25 0 1 0 628679574 115707904 27284 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28249 27284 1111 63 0 28186 0
vsize: 112996
[startup+690.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 27575 0 0 0 68882 129 0 0 25 0 1 0 628679574 116518912 27486 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28447 27486 1111 63 0 28384 0
vsize: 113788
[startup+700.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 27758 0 0 0 69882 130 0 0 25 0 1 0 628679574 117329920 27669 4294967295 134512640 134714508 3221221776 3221220432 134536683 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28645 27669 1111 63 0 28582 0
vsize: 114580
[startup+710.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 27870 0 0 0 70881 130 0 0 25 0 1 0 628679574 117735424 27781 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28744 27781 1111 63 0 28681 0
vsize: 114976
[startup+720.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 28141 0 0 0 71880 131 0 0 25 0 1 0 628679574 118980608 28052 4294967295 134512640 134714508 3221221776 3221220512 134523856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29048 28052 1111 63 0 28985 0
vsize: 116192
[startup+730.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 28457 0 0 0 72879 133 0 0 25 0 1 0 628679574 120197120 28368 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29345 28368 1111 63 0 29282 0
vsize: 117380
[startup+740.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 28747 0 0 0 73877 135 0 0 25 0 1 0 628679574 121413632 28658 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29642 28658 1111 63 0 29579 0
vsize: 118568
[startup+750.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 29009 0 0 0 74876 136 0 0 25 0 1 0 628679574 122494976 28920 4294967295 134512640 134714508 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29906 28920 1111 63 0 29843 0
vsize: 119624
[startup+760.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 29137 0 0 0 75876 137 0 0 25 0 1 0 628679574 122900480 29048 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30005 29048 1111 63 0 29942 0
vsize: 120020
[startup+770.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 29318 0 0 0 76874 138 0 0 25 0 1 0 628679574 123711488 29229 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30203 29229 1111 63 0 30140 0
vsize: 120812
[startup+780.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 29527 0 0 0 77874 139 0 0 25 0 1 0 628679574 124522496 29437 4294967295 134512640 134714508 3221221776 3221220432 134524376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30401 29437 1111 63 0 30338 0
vsize: 121604
[startup+790.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 29649 0 0 0 78873 139 0 0 25 0 1 0 628679574 125063168 29559 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30533 29559 1111 63 0 30470 0
vsize: 122132
[startup+800.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 29701 0 0 0 79873 140 0 0 25 0 1 0 628679574 125198336 29611 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30566 29611 1111 63 0 30503 0
vsize: 122264
[startup+810.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 29813 0 0 0 80873 140 0 0 25 0 1 0 628679574 125812736 29723 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30716 29723 1111 63 0 30653 0
vsize: 122864
[startup+820.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 29959 0 0 0 81872 141 0 0 25 0 1 0 628679574 126353408 29869 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30848 29869 1111 63 0 30785 0
vsize: 123392
[startup+830.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 30090 0 0 0 82872 142 0 0 25 0 1 0 628679574 126894080 30000 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30980 30000 1111 63 0 30917 0
vsize: 123920
[startup+840.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 30231 0 0 0 83871 143 0 0 25 0 1 0 628679574 127430656 30141 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31111 30141 1111 63 0 31048 0
vsize: 124444
[startup+850.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 30461 0 0 0 84870 144 0 0 25 0 1 0 628679574 128372736 30371 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31341 30371 1111 63 0 31278 0
vsize: 125364
[startup+860.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 30641 0 0 0 85869 145 0 0 25 0 1 0 628679574 129183744 30551 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31539 30551 1111 63 0 31476 0
vsize: 126156
[startup+870.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 30766 0 0 0 86868 146 0 0 25 0 1 0 628679574 129589248 30676 4294967295 134512640 134714508 3221221776 3221220512 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31638 30676 1111 63 0 31575 0
vsize: 126552
[startup+880.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 30908 0 0 0 87867 147 0 0 25 0 1 0 628679574 130162688 30818 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31778 30818 1111 63 0 31715 0
vsize: 127112
[startup+890.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 31175 0 0 0 88866 148 0 0 25 0 1 0 628679574 131358720 31085 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32070 31085 1111 63 0 32007 0
vsize: 128280
[startup+900.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 31347 0 0 0 89865 150 0 0 25 0 1 0 628679574 132034560 31257 4294967295 134512640 134714508 3221221776 3221220276 134697484 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32235 31257 1111 63 0 32172 0
vsize: 128940
[startup+910.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 31436 0 0 0 90864 151 0 0 25 0 1 0 628679574 132440064 31346 4294967295 134512640 134714508 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32334 31346 1111 63 0 32271 0
vsize: 129336
[startup+920.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 31515 0 0 0 91864 151 0 0 25 0 1 0 628679574 132743168 31425 4294967295 134512640 134714508 3221221776 3221220276 134535326 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32408 31425 1111 63 0 32345 0
vsize: 129632
[startup+930.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 31817 0 0 0 92863 152 0 0 25 0 1 0 628679574 133959680 31727 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32705 31727 1111 63 0 32642 0
vsize: 130820
[startup+940.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 31959 0 0 0 93862 154 0 0 25 0 1 0 628679574 134500352 31869 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32837 31869 1111 63 0 32774 0
vsize: 131348
[startup+950.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 32087 0 0 0 94861 154 0 0 25 0 1 0 628679574 135045120 31997 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32970 31997 1111 63 0 32907 0
vsize: 131880
[startup+960.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 32238 0 0 0 95861 155 0 0 25 0 1 0 628679574 135761920 32148 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33145 32148 1111 63 0 33082 0
vsize: 132580
[startup+970.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 32392 0 0 0 96860 156 0 0 25 0 1 0 628679574 136306688 32301 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33278 32301 1111 63 0 33215 0
vsize: 133112
[startup+980.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 32523 0 0 0 97860 156 0 0 25 0 1 0 628679574 136847360 32432 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33410 32432 1111 63 0 33347 0
vsize: 133640
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 32674 0 0 0 98859 157 0 0 25 0 1 0 628679574 137515008 32583 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33573 32583 1111 63 0 33510 0
vsize: 134292
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 32751 0 0 0 99859 158 0 0 25 0 1 0 628679574 137785344 32660 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33639 32660 1111 63 0 33576 0
vsize: 134556
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 32846 0 0 0 100858 158 0 0 25 0 1 0 628679574 138178560 32755 4294967295 134512640 134714508 3221221776 3221220480 134524402 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33735 32755 1111 63 0 33672 0
vsize: 134940
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 32970 0 0 0 101858 159 0 0 25 0 1 0 628679574 138719232 32879 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33867 32879 1111 63 0 33804 0
vsize: 135468
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33051 0 0 0 102857 160 0 0 25 0 1 0 628679574 138985472 32960 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33932 32960 1111 63 0 33869 0
vsize: 135728
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33240 0 0 0 103856 161 0 0 25 0 1 0 628679574 139833344 33149 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34139 33149 1111 63 0 34076 0
vsize: 136556
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33328 0 0 0 104856 162 0 0 25 0 1 0 628679574 140238848 33237 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34238 33237 1111 63 0 34175 0
vsize: 136952
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33432 0 0 0 105855 162 0 0 25 0 1 0 628679574 140644352 33341 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34337 33341 1111 63 0 34274 0
vsize: 137348
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8217
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33495 0 0 0 106855 163 0 0 25 0 1 0 628679574 140902400 33404 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34400 33404 1111 63 0 34337 0
vsize: 137600
[startup+1080.07 s]
Raw data (loadavg): 1.07 0.99 0.91 2/58 8260
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33548 0 0 0 107854 164 0 0 25 0 1 0 628679574 141168640 33457 4294967295 134512640 134714508 3221221776 3221220356 134549799 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34465 33457 1111 63 0 34402 0
vsize: 137860
[startup+1090.07 s]
Raw data (loadavg): 1.21 1.02 0.93 2/54 8270
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33627 0 0 0 108854 165 0 0 25 0 1 0 628679574 141438976 33536 4294967295 134512640 134714508 3221221776 3221220392 134549509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34531 33536 1111 63 0 34468 0
vsize: 138124
[startup+1100.07 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 8270
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33707 0 0 0 109854 165 0 0 25 0 1 0 628679574 141709312 33616 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34597 33616 1111 63 0 34534 0
vsize: 138388
[startup+1110.07 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 8270
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33741 0 0 0 110853 166 0 0 25 0 1 0 628679574 141844480 33650 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34630 33650 1111 63 0 34567 0
vsize: 138520
[startup+1120.07 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 8270
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33787 0 0 0 111853 166 0 0 25 0 1 0 628679574 142131200 33696 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34700 33696 1111 63 0 34637 0
vsize: 138800
[startup+1130.07 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 8270
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33807 0 0 0 112853 167 0 0 25 0 1 0 628679574 142295040 33716 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34740 33716 1111 63 0 34677 0
vsize: 138960
[startup+1140.07 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 8270
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 33957 0 0 0 113852 167 0 0 25 0 1 0 628679574 142835712 33866 4294967295 134512640 134714508 3221221776 3221220504 134535787 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34872 33866 1111 63 0 34809 0
vsize: 139488
[startup+1150.07 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 8270
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 34027 0 0 0 114852 168 0 0 25 0 1 0 628679574 143106048 33936 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34938 33936 1111 63 0 34875 0
vsize: 139752
[startup+1160.07 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 8272
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 34065 0 0 0 115852 168 0 0 25 0 1 0 628679574 143237120 33974 4294967295 134512640 134714508 3221221776 3221220288 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34970 33974 1111 63 0 34907 0
vsize: 139880
[startup+1170.07 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 8272
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 34182 0 0 0 116851 169 0 0 25 0 1 0 628679574 143777792 34091 4294967295 134512640 134714508 3221221776 3221220520 134551609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35102 34091 1111 63 0 35039 0
vsize: 140408
[startup+1174.96 s]
Raw data (loadavg): 1.05 1.01 0.93 1/53 8272
Raw data (stat): 8215 (bsolo_lpr_cuts) R 8214 7876 7672 0 -1 0 34182 0 0 0 116851 169 0 0 25 0 1 0 628679574 143777792 34091 4294967295 134512640 134714508 3221221776 3221220520 134551609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35102 34091 1111 63 0 35039 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.1
CPU user time (s): 1173.34
CPU system time (s): 1.75873
CPU usage (%): 100.012
Max. virtual memory (Kb): 140408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####