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-fpga13_12_sat_pb.cnf.cr.opb
MD5SUM	b895465c3a135658947941250991e4de
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	14
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.100984
Number of variables	234
Total number of constraints	193
Number of constraints which are clauses	168
Number of constraints which are cardinality constraints (but not clauses)	25
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 23298

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 06:37:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=281 boxname=wulflinc31 idbench=32 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  b895465c3a135658947941250991e4de  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_12_sat_pb.cnf.cr.opb
IDLAUNCH: 281
/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:        928608 kB
Buffers:         37592 kB
Cached:          46544 kB
SwapCached:        864 kB
Active:          71568 kB
Inactive:        14956 kB
HighTotal:      131008 kB
HighFree:        83468 kB
LowTotal:       903652 kB
LowFree:        845140 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13916 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 06:57:07 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 281 7 1175.14 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 234 variables and 193 constraints.
c After prepocess the problem consists of 234 variables and 193 constraints.
c preprocess terminated 0.129 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.91 0.95 0.95 2/54 20647
Raw data (stat): 20647 (runsolver) R 20646 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638012292 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 3456 0 0 0 980 15 0 0 25 0 1 0 638012292 17248256 3377 4294967295 134512640 134714508 3221221760 3221220496 134535750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3377 1111 63 0 4148 0
vsize: 16844
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 5011 0 0 0 1975 20 0 0 25 0 1 0 638012292 23601152 4932 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5762 4932 1111 63 0 5699 0
vsize: 23048
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 6092 0 0 0 2971 25 0 0 25 0 1 0 638012292 28082176 6013 4294967295 134512640 134714508 3221221760 3221220424 134613401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6856 6013 1111 63 0 6793 0
vsize: 27424
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 7289 0 0 0 3966 30 0 0 25 0 1 0 638012292 33083392 7210 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7210 1111 63 0 8014 0
vsize: 32308
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 8225 0 0 0 4961 34 0 0 25 0 1 0 638012292 36900864 8145 4294967295 134512640 134714508 3221221760 3221220544 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9009 8145 1111 63 0 8946 0
vsize: 36036
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 9293 0 0 0 5958 38 0 0 25 0 1 0 638012292 41377792 9212 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10102 9212 1111 63 0 10039 0
vsize: 40408
[startup+70.0032 s]
Raw data (loadavg): 1.05 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 10300 0 0 0 6953 43 0 0 25 0 1 0 638012292 45617152 10217 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11137 10217 1111 63 0 11074 0
vsize: 44548
[startup+80.0038 s]
Raw data (loadavg): 1.04 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 11156 0 0 0 7949 47 0 0 25 0 1 0 638012292 48992256 11071 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11961 11071 1111 63 0 11898 0
vsize: 47844
[startup+90.004 s]
Raw data (loadavg): 1.04 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 11950 0 0 0 8947 49 0 0 25 0 1 0 638012292 52264960 11865 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12760 11865 1111 63 0 12697 0
vsize: 51040
[startup+100.004 s]
Raw data (loadavg): 1.03 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 12757 0 0 0 9945 52 0 0 25 0 1 0 638012292 55508992 12672 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13552 12672 1111 63 0 13489 0
vsize: 54208
[startup+110.004 s]
Raw data (loadavg): 1.03 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 13448 0 0 0 10943 54 0 0 25 0 1 0 638012292 58372096 13363 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14251 13363 1111 63 0 14188 0
vsize: 57004
[startup+120.005 s]
Raw data (loadavg): 1.02 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 14013 0 0 0 11941 56 0 0 25 0 1 0 638012292 60850176 13926 4294967295 134512640 134714508 3221221760 3221220480 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14856 13926 1111 63 0 14793 0
vsize: 59424
[startup+130.005 s]
Raw data (loadavg): 1.02 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 14502 0 0 0 12940 58 0 0 25 0 1 0 638012292 62877696 14414 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15351 14414 1111 63 0 15288 0
vsize: 61404
[startup+140.005 s]
Raw data (loadavg): 1.01 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 14967 0 0 0 13938 60 0 0 25 0 1 0 638012292 64794624 14879 4294967295 134512640 134714508 3221221760 3221220368 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15819 14879 1111 63 0 15756 0
vsize: 63276
[startup+150.007 s]
Raw data (loadavg): 1.01 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 15675 0 0 0 14935 63 0 0 25 0 1 0 638012292 67633152 15587 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16512 15587 1111 63 0 16449 0
vsize: 66048
[startup+160.006 s]
Raw data (loadavg): 1.01 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 16311 0 0 0 15933 65 0 0 25 0 1 0 638012292 70234112 16222 4294967295 134512640 134714508 3221221760 3221220480 134535795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17147 16222 1111 63 0 17084 0
vsize: 68588
[startup+170.006 s]
Raw data (loadavg): 1.01 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 17001 0 0 0 16930 68 0 0 25 0 1 0 638012292 73129984 16912 4294967295 134512640 134714508 3221221760 3221220256 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17854 16912 1111 63 0 17791 0
vsize: 71416
[startup+180.006 s]
Raw data (loadavg): 1.01 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 17508 0 0 0 17926 72 0 0 25 0 1 0 638012292 75321344 17415 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18389 17415 1111 63 0 18326 0
vsize: 73556
[startup+190.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 18120 0 0 0 18925 74 0 0 25 0 1 0 638012292 77754368 18027 4294967295 134512640 134714508 3221221760 3221220528 134529381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18983 18027 1111 63 0 18920 0
vsize: 75932
[startup+200.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 18926 0 0 0 19922 77 0 0 25 0 1 0 638012292 81133568 18833 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19808 18833 1111 63 0 19745 0
vsize: 79232
[startup+210.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 19627 0 0 0 20919 80 0 0 25 0 1 0 638012292 83972096 19534 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20501 19534 1111 63 0 20438 0
vsize: 82004
[startup+220.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 20178 0 0 0 21916 83 0 0 25 0 1 0 638012292 86138880 20085 4294967295 134512640 134714508 3221221760 3221220316 134535503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21030 20085 1111 63 0 20967 0
vsize: 84120
[startup+230.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 20569 0 0 0 22915 84 0 0 25 0 1 0 638012292 87883776 20476 4294967295 134512640 134714508 3221221760 3221220448 134528712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21456 20476 1111 63 0 21393 0
vsize: 85824
[startup+240.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 21182 0 0 0 23911 88 0 0 25 0 1 0 638012292 90353664 21089 4294967295 134512640 134714508 3221221760 3221220720 134575042 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22059 21089 1111 63 0 21996 0
vsize: 88236
[startup+250.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 21728 0 0 0 24909 90 0 0 25 0 1 0 638012292 92651520 21635 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22620 21635 1111 63 0 22557 0
vsize: 90480
[startup+260.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 22219 0 0 0 25907 93 0 0 25 0 1 0 638012292 94679040 22126 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23115 22126 1111 63 0 23052 0
vsize: 92460
[startup+270.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 22583 0 0 0 26905 95 0 0 25 0 1 0 638012292 96206848 22490 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23488 22490 1111 63 0 23425 0
vsize: 93952
[startup+280.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 22903 0 0 0 27904 96 0 0 25 0 1 0 638012292 97603584 22808 4294967295 134512640 134714508 3221221760 3221220528 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23829 22808 1111 63 0 23766 0
vsize: 95316
[startup+290.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 23314 0 0 0 28903 97 0 0 25 0 1 0 638012292 99336192 23214 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24252 23214 1111 63 0 24189 0
vsize: 97008
[startup+300.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 23702 0 0 0 29902 99 0 0 25 0 1 0 638012292 100900864 23597 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24634 23597 1111 63 0 24571 0
vsize: 98536
[startup+310.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 24088 0 0 0 30900 100 0 0 25 0 1 0 638012292 102592512 23982 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25047 23982 1111 63 0 24984 0
vsize: 100188
[startup+320.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 24365 0 0 0 31899 102 0 0 25 0 1 0 638012292 103788544 24254 4294967295 134512640 134714508 3221221760 3221220448 134528607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25339 24254 1111 63 0 25276 0
vsize: 101356
[startup+330.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 24724 0 0 0 32898 103 0 0 25 0 1 0 638012292 105275392 24613 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25702 24613 1111 63 0 25639 0
vsize: 102808
[startup+340.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 25125 0 0 0 33896 105 0 0 25 0 1 0 638012292 107098112 25013 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26147 25013 1111 63 0 26084 0
vsize: 104588
[startup+350.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 25491 0 0 0 34895 107 0 0 25 0 1 0 638012292 108625920 25379 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26520 25379 1111 63 0 26457 0
vsize: 106080
[startup+360.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 25946 0 0 0 35893 109 0 0 25 0 1 0 638012292 110383104 25834 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26949 25834 1111 63 0 26886 0
vsize: 107796
[startup+370.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 26418 0 0 0 36891 111 0 0 25 0 1 0 638012292 112459776 26306 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27456 26306 1111 63 0 27393 0
vsize: 109824
[startup+380.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 26864 0 0 0 37889 113 0 0 25 0 1 0 638012292 114233344 26752 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27889 26752 1111 63 0 27826 0
vsize: 111556
[startup+390.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 27394 0 0 0 38887 115 0 0 25 0 1 0 638012292 116400128 27282 4294967295 134512640 134714508 3221221760 3221220352 134549578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28418 27282 1111 63 0 28355 0
vsize: 113672
[startup+400.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 28027 0 0 0 39884 118 0 0 25 0 1 0 638012292 118968320 27915 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29045 27915 1111 63 0 28982 0
vsize: 116180
[startup+410.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 28513 0 0 0 40882 120 0 0 25 0 1 0 638012292 120995840 28401 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29540 28401 1111 63 0 29477 0
vsize: 118160
[startup+420.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 28937 0 0 0 41880 122 0 0 25 0 1 0 638012292 122638336 28824 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29941 28824 1111 63 0 29878 0
vsize: 119764
[startup+430.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 29334 0 0 0 42878 124 0 0 25 0 1 0 638012292 124260352 29221 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30337 29221 1111 63 0 30274 0
vsize: 121348
[startup+440.014 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 29795 0 0 0 43878 125 0 0 25 0 1 0 638012292 126152704 29682 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30799 29682 1111 63 0 30736 0
vsize: 123196
[startup+450.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 30274 0 0 0 44877 127 0 0 25 0 1 0 638012292 128069632 30160 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31267 30160 1111 63 0 31204 0
vsize: 125068
[startup+460.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 30669 0 0 0 45876 127 0 0 25 0 1 0 638012292 129712128 30555 4294967295 134512640 134714508 3221221760 3221220436 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31668 30555 1111 63 0 31605 0
vsize: 126672
[startup+470.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 31161 0 0 0 46874 130 0 0 25 0 1 0 638012292 131780608 31047 4294967295 134512640 134714508 3221221760 3221220496 134529335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32173 31047 1111 63 0 32110 0
vsize: 128692
[startup+480.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 31504 0 0 0 47873 130 0 0 25 0 1 0 638012292 133132288 31390 4294967295 134512640 134714508 3221221760 3221220464 134528623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32503 31390 1111 63 0 32440 0
vsize: 130012
[startup+490.014 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 31856 0 0 0 48872 132 0 0 25 0 1 0 638012292 134516736 31740 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32841 31740 1111 63 0 32778 0
vsize: 131364
[startup+500.014 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 32316 0 0 0 49869 135 0 0 25 0 1 0 638012292 136445952 32199 4294967295 134512640 134714508 3221221760 3221220248 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33312 32199 1111 63 0 33249 0
vsize: 133248
[startup+510.014 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 32729 0 0 0 50867 137 0 0 25 0 1 0 638012292 138338304 32610 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33774 32610 1111 63 0 33711 0
vsize: 135096
[startup+520.015 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 32967 0 0 0 51866 139 0 0 25 0 1 0 638012292 139296768 32848 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34008 32848 1111 63 0 33945 0
vsize: 136032
[startup+530.015 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 33308 0 0 0 52864 140 0 0 25 0 1 0 638012292 140648448 33188 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34338 33188 1111 63 0 34275 0
vsize: 137352
[startup+540.016 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 33590 0 0 0 53863 142 0 0 25 0 1 0 638012292 141864960 33470 4294967295 134512640 134714508 3221221760 3221220476 134551979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34635 33470 1111 63 0 34572 0
vsize: 138540
[startup+550.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 33883 0 0 0 54862 143 0 0 25 0 1 0 638012292 142995456 33762 4294967295 134512640 134714508 3221221760 3221220524 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34911 33762 1111 63 0 34848 0
vsize: 139644
[startup+560.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 34196 0 0 0 55862 143 0 0 25 0 1 0 638012292 144351232 34075 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35242 34075 1111 63 0 35179 0
vsize: 140968
[startup+570.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 34486 0 0 0 56861 145 0 0 25 0 1 0 638012292 145608704 34361 4294967295 134512640 134714508 3221221760 3221220496 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35549 34361 1111 63 0 35486 0
vsize: 142196
[startup+580.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 34776 0 0 0 57860 146 0 0 25 0 1 0 638012292 146821120 34651 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35845 34651 1111 63 0 35782 0
vsize: 143380
[startup+590.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 35168 0 0 0 58859 147 0 0 25 0 1 0 638012292 148500480 35043 4294967295 134512640 134714508 3221221760 3221220464 134528653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36255 35043 1111 63 0 36192 0
vsize: 145020
[startup+600.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 35453 0 0 0 59858 148 0 0 25 0 1 0 638012292 149659648 35328 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36538 35328 1111 63 0 36475 0
vsize: 146152
[startup+610.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 35712 0 0 0 60857 149 0 0 25 0 1 0 638012292 150786048 35587 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36813 35587 1111 63 0 36750 0
vsize: 147252
[startup+620.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 36244 0 0 0 61854 152 0 0 25 0 1 0 638012292 152948736 36119 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37341 36119 1111 63 0 37278 0
vsize: 149364
[startup+630.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 36583 0 0 0 62853 153 0 0 25 0 1 0 638012292 154435584 36458 4294967295 134512640 134714508 3221221760 3221220316 134535658 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37704 36458 1111 63 0 37641 0
vsize: 150816
[startup+640.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 36889 0 0 0 63851 155 0 0 25 0 1 0 638012292 155668480 36762 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38005 36762 1111 63 0 37942 0
vsize: 152020
[startup+650.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 37091 0 0 0 64851 156 0 0 25 0 1 0 638012292 156479488 36964 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38203 36964 1111 63 0 38140 0
vsize: 152812
[startup+660.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 37301 0 0 0 65850 157 0 0 25 0 1 0 638012292 157290496 37174 4294967295 134512640 134714508 3221221760 3221220464 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38401 37174 1111 63 0 38338 0
vsize: 153604
[startup+670.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 37585 0 0 0 66849 158 0 0 25 0 1 0 638012292 158507008 37458 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38698 37458 1111 63 0 38635 0
vsize: 154792
[startup+680.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 38343 0 0 0 67846 161 0 0 25 0 1 0 638012292 161615872 38216 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39457 38216 1111 63 0 39394 0
vsize: 157828
[startup+690.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 39115 0 0 0 68844 164 0 0 25 0 1 0 638012292 164859904 38986 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40249 38986 1111 63 0 40186 0
vsize: 160996
[startup+700.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 39693 0 0 0 69842 166 0 0 25 0 1 0 638012292 167157760 39564 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40810 39564 1111 63 0 40747 0
vsize: 163240
[startup+710.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 40151 0 0 0 70841 167 0 0 25 0 1 0 638012292 169123840 40018 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41290 40018 1111 63 0 41227 0
vsize: 165160
[startup+720.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 40498 0 0 0 71839 169 0 0 25 0 1 0 638012292 170475520 40365 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41620 40365 1111 63 0 41557 0
vsize: 166480
[startup+730.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 40774 0 0 0 72838 170 0 0 25 0 1 0 638012292 171692032 40641 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41917 40641 1111 63 0 41854 0
vsize: 167668
[startup+740.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 41043 0 0 0 73838 171 0 0 25 0 1 0 638012292 172773376 40910 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42181 40910 1111 63 0 42118 0
vsize: 168724
[startup+750.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 41716 0 0 0 74835 174 0 0 25 0 1 0 638012292 175476736 41583 4294967295 134512640 134714508 3221221760 3221220352 134549780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42841 41583 1111 63 0 42778 0
vsize: 171364
[startup+760.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 42312 0 0 0 75833 176 0 0 25 0 1 0 638012292 177946624 42178 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43444 42178 1111 63 0 43381 0
vsize: 173776
[startup+770.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 42717 0 0 0 76831 178 0 0 25 0 1 0 638012292 179568640 42583 4294967295 134512640 134714508 3221221760 3221220272 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43840 42583 1111 63 0 43777 0
vsize: 175360
[startup+780.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 42983 0 0 0 77830 179 0 0 25 0 1 0 638012292 180654080 42845 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44105 42845 1111 63 0 44042 0
vsize: 176420
[startup+790.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 43352 0 0 0 78829 180 0 0 25 0 1 0 638012292 182140928 43214 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44468 43214 1111 63 0 44405 0
vsize: 177872
[startup+800.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 43695 0 0 0 79828 182 0 0 25 0 1 0 638012292 183492608 43557 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44798 43557 1111 63 0 44735 0
vsize: 179192
[startup+810.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 43955 0 0 0 80826 184 0 0 25 0 1 0 638012292 184573952 43817 4294967295 134512640 134714508 3221221760 3221220544 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45062 43817 1111 63 0 44999 0
vsize: 180248
[startup+820.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 44231 0 0 0 81825 185 0 0 25 0 1 0 638012292 185802752 44093 4294967295 134512640 134714508 3221221760 3221220528 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45362 44093 1111 63 0 45299 0
vsize: 181448
[startup+830.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 44649 0 0 0 82824 186 0 0 25 0 1 0 638012292 187432960 44511 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45760 44511 1111 63 0 45697 0
vsize: 183040
[startup+840.025 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 45221 0 0 0 83822 188 0 0 25 0 1 0 638012292 189952000 45079 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46375 45079 1111 63 0 46312 0
vsize: 185500
[startup+850.026 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 45823 0 0 0 84820 191 0 0 25 0 1 0 638012292 192385024 45681 4294967295 134512640 134714508 3221221760 3221220320 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46969 45681 1111 63 0 46906 0
vsize: 187876
[startup+860.026 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 46268 0 0 0 85819 192 0 0 25 0 1 0 638012292 194154496 46125 4294967295 134512640 134714508 3221221760 3221220476 134551979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47401 46125 1111 63 0 47338 0
vsize: 189604
[startup+870.027 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 46637 0 0 0 86817 194 0 0 25 0 1 0 638012292 195674112 46493 4294967295 134512640 134714508 3221221760 3221220544 134529335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47772 46493 1111 63 0 47709 0
vsize: 191088
[startup+880.027 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 46963 0 0 0 87816 195 0 0 25 0 1 0 638012292 197025792 46819 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48102 46819 1111 63 0 48039 0
vsize: 192408
[startup+890.028 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 47163 0 0 0 88815 196 0 0 25 0 1 0 638012292 197836800 47019 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48300 47019 1111 63 0 48237 0
vsize: 193200
[startup+900.029 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 47479 0 0 0 89814 198 0 0 25 0 1 0 638012292 199188480 47335 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48630 47335 1111 63 0 48567 0
vsize: 194520
[startup+910.029 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 47766 0 0 0 90813 199 0 0 25 0 1 0 638012292 200470528 47617 4294967295 134512640 134714508 3221221760 3221220272 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48943 47617 1111 63 0 48880 0
vsize: 195772
[startup+920.029 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 48033 0 0 0 91811 201 0 0 25 0 1 0 638012292 201625600 47882 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49225 47882 1111 63 0 49162 0
vsize: 196900
[startup+930.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 48258 0 0 0 92810 202 0 0 25 0 1 0 638012292 202436608 48107 4294967295 134512640 134714508 3221221760 3221220464 134528434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49423 48107 1111 63 0 49360 0
vsize: 197692
[startup+940.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 48693 0 0 0 93808 205 0 0 25 0 1 0 638012292 204267520 48541 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49870 48541 1111 63 0 49807 0
vsize: 199480
[startup+950.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 48967 0 0 0 94807 205 0 0 25 0 1 0 638012292 205348864 48815 4294967295 134512640 134714508 3221221760 3221220380 134549859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50134 48815 1111 63 0 50071 0
vsize: 200536
[startup+960.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 49294 0 0 0 95806 206 0 0 25 0 1 0 638012292 206766080 49133 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50480 49133 1111 63 0 50417 0
vsize: 201920
[startup+970.031 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 49524 0 0 0 96806 207 0 0 25 0 1 0 638012292 207749120 49361 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50720 49361 1111 63 0 50657 0
vsize: 202880
[startup+980.031 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 49752 0 0 0 97805 208 0 0 25 0 1 0 638012292 208695296 49589 4294967295 134512640 134714508 3221221760 3221220544 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50951 49589 1111 63 0 50888 0
vsize: 203804
[startup+990.032 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 50104 0 0 0 98803 210 0 0 25 0 1 0 638012292 210313216 49932 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51346 49932 1111 63 0 51283 0
vsize: 205384
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 50377 0 0 0 99802 212 0 0 25 0 1 0 638012292 211398656 50205 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51611 50205 1111 63 0 51548 0
vsize: 206444
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 50644 0 0 0 100800 213 0 0 25 0 1 0 638012292 212557824 50472 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51894 50472 1111 63 0 51831 0
vsize: 207576
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 50910 0 0 0 101799 214 0 0 25 0 1 0 638012292 213843968 50735 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52208 50735 1111 63 0 52145 0
vsize: 208832
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 51171 0 0 0 102798 216 0 0 25 0 1 0 638012292 214814720 50996 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52445 50996 1111 63 0 52382 0
vsize: 209780
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 51489 0 0 0 103796 219 0 0 25 0 1 0 638012292 216166400 51314 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52775 51314 1111 63 0 52712 0
vsize: 211100
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 51719 0 0 0 104795 220 0 0 25 0 1 0 638012292 217178112 51535 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53022 51535 1111 63 0 52959 0
vsize: 212088
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 51916 0 0 0 105794 221 0 0 25 0 1 0 638012292 217989120 51732 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53220 51732 1111 63 0 53157 0
vsize: 212880
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 52089 0 0 0 106793 221 0 0 25 0 1 0 638012292 218664960 51905 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53385 51905 1111 63 0 53322 0
vsize: 213540
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 52205 0 0 0 107793 222 0 0 25 0 1 0 638012292 219131904 52021 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53499 52021 1111 63 0 53436 0
vsize: 213996
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 52316 0 0 0 108793 223 0 0 25 0 1 0 638012292 219602944 52128 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53614 52128 1111 63 0 53551 0
vsize: 214456
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 52547 0 0 0 109792 223 0 0 25 0 1 0 638012292 220819456 52350 4294967295 134512640 134714508 3221221760 3221220244 134697327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53911 52350 1111 63 0 53848 0
vsize: 215644
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 52682 0 0 0 110792 224 0 0 25 0 1 0 638012292 221360128 52485 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54043 52485 1111 63 0 53980 0
vsize: 216172
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 52815 0 0 0 111792 224 0 0 25 0 1 0 638012292 221822976 52618 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54156 52618 1111 63 0 54093 0
vsize: 216624
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 52947 0 0 0 112791 225 0 0 25 0 1 0 638012292 222429184 52749 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54304 52749 1111 63 0 54241 0
vsize: 217216
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 53139 0 0 0 113791 226 0 0 25 0 1 0 638012292 223305728 52935 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54518 52935 1111 63 0 54455 0
vsize: 218072
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 53334 0 0 0 114790 226 0 0 25 0 1 0 638012292 224149504 53130 4294967295 134512640 134714508 3221221760 3221220352 134549648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54724 53130 1111 63 0 54661 0
vsize: 218896
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 53533 0 0 0 115789 227 0 0 25 0 1 0 638012292 225009664 53328 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54934 53328 1111 63 0 54871 0
vsize: 219736
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.98 0.96 2/54 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 53669 0 0 0 116789 228 0 0 25 0 1 0 638012292 225611776 53461 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55081 53461 1111 63 0 55018 0
vsize: 220324
[startup+1175 s]
Raw data (loadavg): 1.00 0.98 0.96 1/53 20647
Raw data (stat): 20647 (bsolo_lpr_cuts) R 20646 7876 7672 0 -1 0 53669 0 0 0 116789 228 0 0 25 0 1 0 638012292 225611776 53461 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55081 53461 1111 63 0 55018 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.14
CPU user time (s): 1172.75
CPU system time (s): 2.38664
CPU usage (%): 100.012
Max. virtual memory (Kb): 220324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####