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-fpga12_10_sat_pb.cnf.cr.opb
MD5SUM	943ed21b69a083554f0cd43700c9a371
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	13
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.05899
Number of variables	180
Total number of constraints	152
Number of constraints which are clauses	130
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 23278

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 02:38:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=245 boxname=wulflinc31 idbench=28 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  943ed21b69a083554f0cd43700c9a371  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_10_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_10_sat_pb.cnf.cr.opb
IDLAUNCH: 245
/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:        929048 kB
Buffers:         37300 kB
Cached:          46428 kB
SwapCached:        864 kB
Active:          71520 kB
Inactive:        14540 kB
HighTotal:      131008 kB
HighFree:        83692 kB
LowTotal:       903652 kB
LowFree:        845356 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13904 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 02:58:27 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 245 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 180 variables and 152 constraints.
c After prepocess the problem consists of 180 variables and 152 constraints.
c preprocess terminated 0.093 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.91 2/54 18507
Raw data (stat): 18507 (runsolver) R 18506 7876 7672 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 636580115 1056768 98 4294967295 134512640 135381576 3221221664 3221217036 135024803 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 2354 0 0 0 984 10 0 0 25 0 1 0 636580115 12787712 2275 4294967295 134512640 134714508 3221221760 3221220340 134549797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2275 1111 63 0 3059 0
vsize: 12488
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 4125 0 0 0 1978 17 0 0 25 0 1 0 636580115 19955712 4045 4294967295 134512640 134714508 3221221760 3221220248 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4872 4045 1111 63 0 4809 0
vsize: 19488
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 4931 0 0 0 2974 21 0 0 25 0 1 0 636580115 23359488 4851 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4851 1111 63 0 5640 0
vsize: 22812
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 5538 0 0 0 3970 25 0 0 25 0 1 0 636580115 25960448 5458 4294967295 134512640 134714508 3221221760 3221220384 134549585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6338 5458 1111 63 0 6275 0
vsize: 25352
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 6328 0 0 0 4967 29 0 0 25 0 1 0 636580115 29212672 6248 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6248 1111 63 0 7069 0
vsize: 28528
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 7309 0 0 0 5963 33 0 0 25 0 1 0 636580115 33280000 7229 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8125 7229 1111 63 0 8062 0
vsize: 32500
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 8154 0 0 0 6959 37 0 0 25 0 1 0 636580115 36659200 8074 4294967295 134512640 134714508 3221221760 3221220448 134528602 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8950 8074 1111 63 0 8887 0
vsize: 35800
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 8841 0 0 0 7957 40 0 0 25 0 1 0 636580115 39497728 8760 4294967295 134512640 134714508 3221221760 3221220320 134696496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9643 8760 1111 63 0 9580 0
vsize: 38572
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 9383 0 0 0 8953 43 0 0 25 0 1 0 636580115 41668608 9302 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10173 9302 1111 63 0 10110 0
vsize: 40692
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 10045 0 0 0 9950 46 0 0 25 0 1 0 636580115 44371968 9964 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10833 9964 1111 63 0 10770 0
vsize: 43332
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 10716 0 0 0 10947 50 0 0 25 0 1 0 636580115 47210496 10635 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11526 10635 1111 63 0 11463 0
vsize: 46104
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 11479 0 0 0 11943 53 0 0 25 0 1 0 636580115 50327552 11397 4294967295 134512640 134714508 3221221760 3221220400 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 11397 1111 63 0 12224 0
vsize: 49148
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 12061 0 0 0 12940 57 0 0 25 0 1 0 636580115 52768768 11976 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12883 11976 1111 63 0 12820 0
vsize: 51532
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 12564 0 0 0 13937 60 0 0 25 0 1 0 636580115 54812672 12479 4294967295 134512640 134714508 3221221760 3221220464 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13382 12479 1111 63 0 13319 0
vsize: 53528
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 12954 0 0 0 14935 62 0 0 25 0 1 0 636580115 56438784 12869 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13779 12869 1111 63 0 13716 0
vsize: 55116
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 13342 0 0 0 15933 64 0 0 25 0 1 0 636580115 58101760 13253 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14185 13253 1111 63 0 14122 0
vsize: 56740
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 13817 0 0 0 16931 67 0 0 25 0 1 0 636580115 60002304 13728 4294967295 134512640 134714508 3221221760 3221220384 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14649 13728 1111 63 0 14586 0
vsize: 58596
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 14466 0 0 0 17927 71 0 0 25 0 1 0 636580115 62722048 14377 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15313 14377 1111 63 0 15250 0
vsize: 61252
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 15185 0 0 0 18923 75 0 0 25 0 1 0 636580115 65724416 15094 4294967295 134512640 134714508 3221221760 3221220200 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16046 15094 1111 63 0 15983 0
vsize: 64184
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 15737 0 0 0 19920 78 0 0 25 0 1 0 636580115 67977216 15642 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16596 15642 1111 63 0 16533 0
vsize: 66384
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 16094 0 0 0 20920 79 0 0 25 0 1 0 636580115 69509120 15999 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16970 15999 1111 63 0 16907 0
vsize: 67880
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 16423 0 0 0 21918 80 0 0 25 0 1 0 636580115 70868992 16328 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17302 16328 1111 63 0 17239 0
vsize: 69208
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 16729 0 0 0 22917 82 0 0 25 0 1 0 636580115 72105984 16634 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17604 16634 1111 63 0 17541 0
vsize: 70416
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 17348 0 0 0 23915 84 0 0 25 0 1 0 636580115 74735616 17248 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18246 17248 1111 63 0 18183 0
vsize: 72984
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 17865 0 0 0 24913 86 0 0 25 0 1 0 636580115 76926976 17759 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18781 17759 1111 63 0 18718 0
vsize: 75124
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 18231 0 0 0 25911 88 0 0 25 0 1 0 636580115 78413824 18124 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19144 18124 1111 63 0 19081 0
vsize: 76576
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 18513 0 0 0 26911 89 0 0 25 0 1 0 636580115 79552512 18406 4294967295 134512640 134714508 3221221760 3221220344 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19422 18406 1111 63 0 19359 0
vsize: 77688
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 18768 0 0 0 27909 90 0 0 25 0 1 0 636580115 80646144 18659 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19689 18659 1111 63 0 19626 0
vsize: 78756
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 19113 0 0 0 28908 92 0 0 25 0 1 0 636580115 81997824 19004 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20019 19004 1111 63 0 19956 0
vsize: 80076
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 19435 0 0 0 29907 93 0 0 25 0 1 0 636580115 83349504 19326 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20349 19326 1111 63 0 20286 0
vsize: 81396
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 19838 0 0 0 30905 95 0 0 25 0 1 0 636580115 85037056 19724 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20761 19724 1111 63 0 20698 0
vsize: 83044
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 20096 0 0 0 31904 97 0 0 25 0 1 0 636580115 86319104 19980 4294967295 134512640 134714508 3221221760 3221220496 134535840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21074 19980 1111 63 0 21011 0
vsize: 84296
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 20694 0 0 0 32901 100 0 0 25 0 1 0 636580115 88752128 20578 4294967295 134512640 134714508 3221221760 3221220464 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21668 20578 1111 63 0 21605 0
vsize: 86672
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 21558 0 0 0 33898 103 0 0 25 0 1 0 636580115 92299264 21439 4294967295 134512640 134714508 3221221760 3221220496 134528592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22534 21439 1111 63 0 22471 0
vsize: 90136
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 22490 0 0 0 34894 106 0 0 25 0 1 0 636580115 96112640 22371 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23465 22371 1111 63 0 23402 0
vsize: 93860
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 23387 0 0 0 35891 110 0 0 25 0 1 0 636580115 99762176 23266 4294967295 134512640 134714508 3221221760 3221220400 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23266 1111 63 0 24293 0
vsize: 97424
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 24004 0 0 0 36889 112 0 0 25 0 1 0 636580115 102334464 23883 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24984 23883 1111 63 0 24921 0
vsize: 99936
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 24354 0 0 0 37888 114 0 0 25 0 1 0 636580115 103841792 24233 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25352 24233 1111 63 0 25289 0
vsize: 101408
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 24595 0 0 0 38887 115 0 0 25 0 1 0 636580115 104800256 24474 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25586 24474 1111 63 0 25523 0
vsize: 102344
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 24805 0 0 0 39886 116 0 0 25 0 1 0 636580115 105611264 24684 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25784 24684 1111 63 0 25721 0
vsize: 103136
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 25119 0 0 0 40884 118 0 0 25 0 1 0 636580115 106827776 24997 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26081 24997 1111 63 0 26018 0
vsize: 104324
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 25353 0 0 0 41883 119 0 0 25 0 1 0 636580115 107773952 25231 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26312 25231 1111 63 0 26249 0
vsize: 105248
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 26311 0 0 0 42878 124 0 0 25 0 1 0 636580115 111706112 26188 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27272 26188 1111 63 0 27209 0
vsize: 109088
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 26853 0 0 0 43876 127 0 0 25 0 1 0 636580115 113868800 26730 4294967295 134512640 134714508 3221221760 3221220496 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27800 26730 1111 63 0 27737 0
vsize: 111200
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 27769 0 0 0 44873 130 0 0 25 0 1 0 636580115 117657600 27646 4294967295 134512640 134714508 3221221760 3221220348 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28725 27646 1111 63 0 28662 0
vsize: 114900
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 28589 0 0 0 45869 134 0 0 25 0 1 0 636580115 121036800 28466 4294967295 134512640 134714508 3221221760 3221220272 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29550 28466 1111 63 0 29487 0
vsize: 118200
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 29448 0 0 0 46866 137 0 0 25 0 1 0 636580115 124555264 29325 4294967295 134512640 134714508 3221221760 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30409 29325 1111 63 0 30346 0
vsize: 121636
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 30353 0 0 0 47863 141 0 0 25 0 1 0 636580115 128212992 30229 4294967295 134512640 134714508 3221221760 3221220316 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31302 30229 1111 63 0 31239 0
vsize: 125208
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 30988 0 0 0 48860 143 0 0 25 0 1 0 636580115 130924544 30864 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31964 30864 1111 63 0 31901 0
vsize: 127856
[startup+500.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 31772 0 0 0 49857 147 0 0 25 0 1 0 636580115 134053888 31647 4294967295 134512640 134714508 3221221760 3221220320 134549730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32728 31647 1111 63 0 32665 0
vsize: 130912
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 32178 0 0 0 50856 148 0 0 25 0 1 0 636580115 135847936 32052 4294967295 134512640 134714508 3221221760 3221220464 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33166 32052 1111 63 0 33103 0
vsize: 132664
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 32869 0 0 0 51853 151 0 0 25 0 1 0 636580115 138661888 32739 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33853 32739 1111 63 0 33790 0
vsize: 135412
[startup+530.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 33519 0 0 0 52851 154 0 0 25 0 1 0 636580115 141365248 33389 4294967295 134512640 134714508 3221221760 3221220528 134529115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34513 33389 1111 63 0 34450 0
vsize: 138052
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 34148 0 0 0 53848 156 0 0 25 0 1 0 636580115 143933440 34018 4294967295 134512640 134714508 3221221760 3221220352 134549648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35140 34018 1111 63 0 35077 0
vsize: 140560
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 34898 0 0 0 54845 160 0 0 25 0 1 0 636580115 146907136 34768 4294967295 134512640 134714508 3221221760 3221220416 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35866 34768 1111 63 0 35803 0
vsize: 143464
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 35738 0 0 0 55842 162 0 0 25 0 1 0 636580115 150421504 35608 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36724 35608 1111 63 0 36661 0
vsize: 146896
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 36080 0 0 0 56841 164 0 0 25 0 1 0 636580115 151773184 35950 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37054 35950 1111 63 0 36991 0
vsize: 148216
[startup+580.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 36994 0 0 0 57837 168 0 0 25 0 1 0 636580115 155557888 36864 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37978 36864 1111 63 0 37915 0
vsize: 151912
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 37736 0 0 0 58834 172 0 0 25 0 1 0 636580115 158539776 37606 4294967295 134512640 134714508 3221221760 3221220328 1077377574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38706 37606 1111 63 0 38643 0
vsize: 154824
[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 38025 0 0 0 59833 173 0 0 25 0 1 0 636580115 159760384 37894 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39004 37894 1111 63 0 38941 0
vsize: 156016
[startup+610.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 38358 0 0 0 60831 174 0 0 25 0 1 0 636580115 161144832 38225 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39342 38226 1111 63 0 39279 0
vsize: 157368
[startup+620.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 38766 0 0 0 61830 176 0 0 25 0 1 0 636580115 162918400 38632 4294967295 134512640 134714508 3221221760 3221220352 134549773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39775 38632 1111 63 0 39712 0
vsize: 159100
[startup+630.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 39140 0 0 0 62829 177 0 0 25 0 1 0 636580115 164409344 39006 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40139 39006 1111 63 0 40076 0
vsize: 160556
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 39579 0 0 0 63827 179 0 0 25 0 1 0 636580115 166363136 39441 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40616 39441 1111 63 0 40553 0
vsize: 162464
[startup+650.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 39942 0 0 0 64826 180 0 0 25 0 1 0 636580115 167780352 39795 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40962 39795 1111 63 0 40899 0
vsize: 163848
[startup+660.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 40247 0 0 0 65826 181 0 0 25 0 1 0 636580115 169148416 40100 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41296 40100 1111 63 0 41233 0
vsize: 165184
[startup+670.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 40490 0 0 0 66825 182 0 0 25 0 1 0 636580115 170233856 40340 4294967295 134512640 134714508 3221221760 3221220316 134535888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41561 40340 1111 63 0 41498 0
vsize: 166244
[startup+680.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 40888 0 0 0 67824 183 0 0 25 0 1 0 636580115 171720704 40738 4294967295 134512640 134714508 3221221760 3221220096 134697378 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41924 40738 1111 63 0 41861 0
vsize: 167696
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 41232 0 0 0 68822 185 0 0 25 0 1 0 636580115 173273088 41072 4294967295 134512640 134714508 3221221760 3221220464 134528699 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42303 41072 1111 63 0 42240 0
vsize: 169212
[startup+700.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 41516 0 0 0 69821 186 0 0 25 0 1 0 636580115 174555136 41349 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42616 41349 1111 63 0 42553 0
vsize: 170464
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 41663 0 0 0 70821 187 0 0 25 0 1 0 636580115 175230976 41496 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42781 41496 1111 63 0 42718 0
vsize: 171124
[startup+720.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 41895 0 0 0 71820 188 0 0 25 0 1 0 636580115 176041984 41728 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42979 41728 1111 63 0 42916 0
vsize: 171916
[startup+730.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 42036 0 0 0 72820 188 0 0 25 0 1 0 636580115 176582656 41869 4294967295 134512640 134714508 3221221760 3221220360 134549515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43111 41869 1111 63 0 43048 0
vsize: 172444
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 42307 0 0 0 73819 190 0 0 25 0 1 0 636580115 177717248 42139 4294967295 134512640 134714508 3221221760 3221220420 134536752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43388 42139 1111 63 0 43325 0
vsize: 173552
[startup+750.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 42516 0 0 0 74818 190 0 0 25 0 1 0 636580115 178528256 42348 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43586 42348 1111 63 0 43523 0
vsize: 174344
[startup+760.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 42739 0 0 0 75817 192 0 0 25 0 1 0 636580115 179531776 42571 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43831 42571 1111 63 0 43768 0
vsize: 175324
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 43011 0 0 0 76816 193 0 0 25 0 1 0 636580115 180723712 42842 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44122 42842 1111 63 0 44059 0
vsize: 176488
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 43183 0 0 0 77815 193 0 0 25 0 1 0 636580115 181399552 43014 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44287 43014 1111 63 0 44224 0
vsize: 177148
[startup+790.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 43414 0 0 0 78815 194 0 0 25 0 1 0 636580115 182480896 43241 4294967295 134512640 134714508 3221221760 3221220400 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44551 43241 1111 63 0 44488 0
vsize: 178204
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 43602 0 0 0 79814 195 0 0 25 0 1 0 636580115 183308288 43429 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44753 43429 1111 63 0 44690 0
vsize: 179012
[startup+810.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 43819 0 0 0 80814 196 0 0 25 0 1 0 636580115 184119296 43646 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44951 43646 1111 63 0 44888 0
vsize: 179804
[startup+820.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 43951 0 0 0 81814 196 0 0 25 0 1 0 636580115 184659968 43778 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45083 43778 1111 63 0 45020 0
vsize: 180332
[startup+830.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 44111 0 0 0 82813 197 0 0 25 0 1 0 636580115 185356288 43937 4294967295 134512640 134714508 3221221760 3221220352 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45253 43937 1111 63 0 45190 0
vsize: 181012
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 44417 0 0 0 83812 198 0 0 25 0 1 0 636580115 186572800 44243 4294967295 134512640 134714508 3221221760 3221220696 134600369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45550 44243 1111 63 0 45487 0
vsize: 182200
[startup+850.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 44707 0 0 0 84811 199 0 0 25 0 1 0 636580115 187793408 44533 4294967295 134512640 134714508 3221221760 3221220464 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45848 44533 1111 63 0 45785 0
vsize: 183392
[startup+860.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 44916 0 0 0 85811 200 0 0 25 0 1 0 636580115 188637184 44741 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46054 44741 1111 63 0 45991 0
vsize: 184216
[startup+870.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 45059 0 0 0 86811 200 0 0 25 0 1 0 636580115 189214720 44880 4294967295 134512640 134714508 3221221760 3221220272 134535029 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46195 44880 1111 63 0 46132 0
vsize: 184780
[startup+880.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 45283 0 0 0 87810 201 0 0 25 0 1 0 636580115 190164992 45104 4294967295 134512640 134714508 3221221760 3221220396 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46427 45104 1111 63 0 46364 0
vsize: 185708
[startup+890.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 45609 0 0 0 88810 201 0 0 25 0 1 0 636580115 191582208 45425 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46773 45425 1111 63 0 46710 0
vsize: 187092
[startup+900.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 45875 0 0 0 89809 202 0 0 25 0 1 0 636580115 192679936 45690 4294967295 134512640 134714508 3221221760 3221220380 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47041 45690 1111 63 0 46978 0
vsize: 188164
[startup+910.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 46043 0 0 0 90809 203 0 0 25 0 1 0 636580115 193503232 45854 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47242 45854 1111 63 0 47179 0
vsize: 188968
[startup+920.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 46196 0 0 0 91809 203 0 0 25 0 1 0 636580115 194052096 46006 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47376 46006 1111 63 0 47313 0
vsize: 189504
[startup+930.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 46329 0 0 0 92808 204 0 0 25 0 1 0 636580115 194609152 46139 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47512 46139 1111 63 0 47449 0
vsize: 190048
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 46449 0 0 0 93808 204 0 0 25 0 1 0 636580115 195186688 46259 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47653 46259 1111 63 0 47590 0
vsize: 190612
[startup+950.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 46534 0 0 0 94808 205 0 0 25 0 1 0 636580115 195457024 46344 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47719 46344 1111 63 0 47656 0
vsize: 190876
[startup+960.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 46641 0 0 0 95807 205 0 0 25 0 1 0 636580115 196063232 46451 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47867 46451 1111 63 0 47804 0
vsize: 191468
[startup+970.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 46784 0 0 0 96807 206 0 0 25 0 1 0 636580115 196747264 46594 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48034 46594 1111 63 0 47971 0
vsize: 192136
[startup+980.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 46949 0 0 0 97806 207 0 0 25 0 1 0 636580115 197423104 46759 4294967295 134512640 134714508 3221221760 3221220496 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48199 46759 1111 63 0 48136 0
vsize: 192796
[startup+990.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 47119 0 0 0 98805 208 0 0 25 0 1 0 636580115 198230016 46928 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48396 46928 1111 63 0 48333 0
vsize: 193584
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 47280 0 0 0 99805 209 0 0 25 0 1 0 636580115 199000064 47085 4294967295 134512640 134714508 3221221760 3221220416 134524069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48584 47085 1111 63 0 48521 0
vsize: 194336
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 47411 0 0 0 100804 210 0 0 25 0 1 0 636580115 199479296 47215 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48701 47215 1111 63 0 48638 0
vsize: 194804
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 47632 0 0 0 101803 211 0 0 25 0 1 0 636580115 200626176 47436 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48981 47436 1111 63 0 48918 0
vsize: 195924
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 48060 0 0 0 102802 212 0 0 25 0 1 0 636580115 202248192 47864 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49377 47864 1111 63 0 49314 0
vsize: 197508
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 48429 0 0 0 103800 214 0 0 25 0 1 0 636580115 203870208 48233 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49773 48233 1111 63 0 49710 0
vsize: 199092
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 48723 0 0 0 104799 215 0 0 25 0 1 0 636580115 205086720 48527 4294967295 134512640 134714508 3221221760 3221220516 134592078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50070 48527 1111 63 0 50007 0
vsize: 200280
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 49013 0 0 0 105798 216 0 0 25 0 1 0 636580115 206168064 48817 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50334 48817 1111 63 0 50271 0
vsize: 201336
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 49296 0 0 0 106797 217 0 0 25 0 1 0 636580115 207384576 49100 4294967295 134512640 134714508 3221221760 3221220544 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50631 49100 1111 63 0 50568 0
vsize: 202524
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 49594 0 0 0 107796 219 0 0 25 0 1 0 636580115 208601088 49398 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50928 49398 1111 63 0 50865 0
vsize: 203712
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 49885 0 0 0 108795 220 0 0 25 0 1 0 636580115 209817600 49689 4294967295 134512640 134714508 3221221760 3221220472 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51225 49689 1111 63 0 51162 0
vsize: 204900
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 50148 0 0 0 109794 221 0 0 25 0 1 0 636580115 210972672 49949 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51507 49949 1111 63 0 51444 0
vsize: 206028
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 50357 0 0 0 110794 222 0 0 25 0 1 0 636580115 211783680 50158 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51705 50158 1111 63 0 51642 0
vsize: 206820
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 50537 0 0 0 111793 223 0 0 25 0 1 0 636580115 212459520 50338 4294967295 134512640 134714508 3221221760 3221220316 134535503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51870 50338 1111 63 0 51807 0
vsize: 207480
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 50721 0 0 0 112792 224 0 0 25 0 1 0 636580115 213270528 50522 4294967295 134512640 134714508 3221221760 3221220480 134535790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52068 50522 1111 63 0 52005 0
vsize: 208272
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 50873 0 0 0 113791 225 0 0 25 0 1 0 636580115 213811200 50674 4294967295 134512640 134714508 3221221760 3221220364 134549858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52200 50674 1111 63 0 52137 0
vsize: 208800
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 51111 0 0 0 114790 226 0 0 25 0 1 0 636580115 214757376 50912 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52431 50912 1111 63 0 52368 0
vsize: 209724
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 51327 0 0 0 115790 227 0 0 25 0 1 0 636580115 215703552 51128 4294967295 134512640 134714508 3221221760 3221220496 134535740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52662 51128 1111 63 0 52599 0
vsize: 210648
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 51572 0 0 0 116788 228 0 0 25 0 1 0 636580115 216649728 51373 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52893 51373 1111 63 0 52830 0
vsize: 211572
[startup+1175.01 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 18507
Raw data (stat): 18507 (bsolo_lpr_cuts) R 18506 7876 7672 0 -1 0 51572 0 0 0 116788 228 0 0 25 0 1 0 636580115 216649728 51373 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52893 51373 1111 63 0 52830 0
vsize: 0

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