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-chnl40_50_pb.cnf.cr.opb
MD5SUM	2cb05b3a6451c60276a625949666f14e
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	51
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12498
Number of variables	4000
Total number of constraints	180
Number of constraints which are clauses	100
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	50
Trace number 23233

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 18:03:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=164 boxname=wulflinc31 idbench=19 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  2cb05b3a6451c60276a625949666f14e  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_50_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_50_pb.cnf.cr.opb
IDLAUNCH: 164
/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:        930332 kB
Buffers:         36528 kB
Cached:          45840 kB
SwapCached:        864 kB
Active:          70932 kB
Inactive:        13816 kB
HighTotal:      131008 kB
HighFree:        84168 kB
LowTotal:       903652 kB
LowFree:        846164 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13960 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 18:23:12 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 164 7 1175.03 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 4000 variables and 180 constraints.
c After prepocess the problem consists of 4000 variables and 180 constraints.
c preprocess terminated 1.796 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 13763
Raw data (stat): 13763 (runsolver) R 13762 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 633488290 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1618 0 0 0 987 8 0 0 25 0 1 0 633488290 9834496 1539 4294967295 134512640 134714508 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2401 1539 1111 63 0 2338 0
vsize: 9604
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1656 0 0 0 1985 10 0 0 25 0 1 0 633488290 9969664 1577 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1577 1111 63 0 2371 0
vsize: 9736
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1713 0 0 0 2983 12 0 0 25 0 1 0 633488290 10240000 1634 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2500 1634 1111 63 0 2437 0
vsize: 10000
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1734 0 0 0 3982 13 0 0 25 0 1 0 633488290 10375168 1655 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2533 1655 1111 63 0 2470 0
vsize: 10132
[startup+50.0036 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1746 0 0 0 4980 15 0 0 25 0 1 0 633488290 10375168 1667 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2533 1667 1111 63 0 2470 0
vsize: 10132
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1760 0 0 0 5978 17 0 0 25 0 1 0 633488290 10375168 1681 4294967295 134512640 134714508 3221221776 3221220432 134536710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2533 1681 1111 63 0 2470 0
vsize: 10132
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1782 0 0 0 6976 19 0 0 25 0 1 0 633488290 10510336 1703 4294967295 134512640 134714508 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1703 1111 63 0 2503 0
vsize: 10264
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1794 0 0 0 7974 22 0 0 25 0 1 0 633488290 10510336 1715 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1715 1111 63 0 2503 0
vsize: 10264
[startup+90.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1811 0 0 0 8973 24 0 0 25 0 1 0 633488290 10645504 1732 4294967295 134512640 134714508 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2599 1732 1111 63 0 2536 0
vsize: 10396
[startup+100.005 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1822 0 0 0 9971 25 0 0 25 0 1 0 633488290 10645504 1743 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2599 1743 1111 63 0 2536 0
vsize: 10396
[startup+110.005 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1844 0 0 0 10970 27 0 0 25 0 1 0 633488290 10780672 1765 4294967295 134512640 134714508 3221221776 3221220480 134528691 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2632 1765 1111 63 0 2569 0
vsize: 10528
[startup+120.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1844 0 0 0 11968 28 0 0 25 0 1 0 633488290 10780672 1765 4294967295 134512640 134714508 3221221776 3221220344 1077377185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2632 1765 1111 63 0 2569 0
vsize: 10528
[startup+130.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1851 0 0 0 12967 29 0 0 25 0 1 0 633488290 10780672 1772 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2632 1772 1111 63 0 2569 0
vsize: 10528
[startup+140.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1895 0 0 0 13966 31 0 0 25 0 1 0 633488290 11051008 1816 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2698 1816 1111 63 0 2635 0
vsize: 10792
[startup+150.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13763
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1909 0 0 0 14964 33 0 0 25 0 1 0 633488290 11051008 1830 4294967295 134512640 134714508 3221221776 3221220344 1077377294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2698 1830 1111 63 0 2635 0
vsize: 10792
[startup+160.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1933 0 0 0 15962 35 0 0 25 0 1 0 633488290 11186176 1854 4294967295 134512640 134714508 3221221776 3221220404 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2731 1854 1111 63 0 2668 0
vsize: 10924
[startup+170.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1944 0 0 0 16960 37 0 0 25 0 1 0 633488290 11186176 1865 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2731 1865 1111 63 0 2668 0
vsize: 10924
[startup+180.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1962 0 0 0 17959 39 0 0 25 0 1 0 633488290 11317248 1883 4294967295 134512640 134714508 3221221776 3221220368 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2763 1883 1111 63 0 2700 0
vsize: 11052
[startup+190.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1967 0 0 0 18958 40 0 0 25 0 1 0 633488290 11309056 1888 4294967295 134512640 134714508 3221221776 3221220432 134536591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2761 1888 1111 63 0 2698 0
vsize: 11044
[startup+200.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 1973 0 0 0 19956 42 0 0 25 0 1 0 633488290 11309056 1894 4294967295 134512640 134714508 3221221776 3221220320 134696713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2761 1894 1111 63 0 2698 0
vsize: 11044
[startup+210.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2001 0 0 0 20955 44 0 0 25 0 1 0 633488290 11444224 1922 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2794 1922 1111 63 0 2731 0
vsize: 11176
[startup+220.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2001 0 0 0 21953 46 0 0 25 0 1 0 633488290 11444224 1922 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2794 1922 1111 63 0 2731 0
vsize: 11176
[startup+230.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2004 0 0 0 22949 49 0 0 25 0 1 0 633488290 11444224 1925 4294967295 134512640 134714508 3221221776 3221220428 134536804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2794 1925 1111 63 0 2731 0
vsize: 11176
[startup+240.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2009 0 0 0 23948 50 0 0 25 0 1 0 633488290 11444224 1930 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2794 1930 1111 63 0 2731 0
vsize: 11176
[startup+250.007 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2009 0 0 0 24946 53 0 0 25 0 1 0 633488290 11444224 1930 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2794 1930 1111 63 0 2731 0
vsize: 11176
[startup+260.007 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2026 0 0 0 25945 54 0 0 25 0 1 0 633488290 11579392 1947 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1947 1111 63 0 2764 0
vsize: 11308
[startup+270.008 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2026 0 0 0 26943 56 0 0 25 0 1 0 633488290 11579392 1947 4294967295 134512640 134714508 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1947 1111 63 0 2764 0
vsize: 11308
[startup+280.008 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2026 0 0 0 27941 58 0 0 25 0 1 0 633488290 11579392 1947 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1947 1111 63 0 2764 0
vsize: 11308
[startup+290.008 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2031 0 0 0 28940 60 0 0 25 0 1 0 633488290 11579392 1952 4294967295 134512640 134714508 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1952 1111 63 0 2764 0
vsize: 11308
[startup+300.009 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2033 0 0 0 29938 62 0 0 25 0 1 0 633488290 11579392 1954 4294967295 134512640 134714508 3221221776 3221220344 1077378332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1954 1111 63 0 2764 0
vsize: 11308
[startup+310.009 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2089 0 0 0 30935 65 0 0 25 0 1 0 633488290 11825152 2010 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2887 2010 1111 63 0 2824 0
vsize: 11548
[startup+320.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2102 0 0 0 31933 67 0 0 25 0 1 0 633488290 11825152 2023 4294967295 134512640 134714508 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2887 2023 1111 63 0 2824 0
vsize: 11548
[startup+330.01 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2117 0 0 0 32932 68 0 0 25 0 1 0 633488290 11960320 2038 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2920 2038 1111 63 0 2857 0
vsize: 11680
[startup+340.01 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2171 0 0 0 33931 69 0 0 25 0 1 0 633488290 12095488 2092 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2953 2092 1111 63 0 2890 0
vsize: 11812
[startup+350.01 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2174 0 0 0 34930 71 0 0 25 0 1 0 633488290 12095488 2095 4294967295 134512640 134714508 3221221776 3221220416 134696323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2953 2095 1111 63 0 2890 0
vsize: 11812
[startup+360.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2174 0 0 0 35929 72 0 0 25 0 1 0 633488290 12095488 2095 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2953 2095 1111 63 0 2890 0
vsize: 11812
[startup+370.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2174 0 0 0 36928 73 0 0 25 0 1 0 633488290 12095488 2095 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2953 2095 1111 63 0 2890 0
vsize: 11812
[startup+380.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2174 0 0 0 37926 75 0 0 25 0 1 0 633488290 12095488 2095 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2953 2095 1111 63 0 2890 0
vsize: 11812
[startup+390.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2189 0 0 0 38924 77 0 0 25 0 1 0 633488290 12230656 2110 4294967295 134512640 134714508 3221221776 3221220512 134558540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2986 2110 1111 63 0 2923 0
vsize: 11944
[startup+400.011 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2227 0 0 0 39923 78 0 0 25 0 1 0 633488290 12365824 2148 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3019 2148 1111 63 0 2956 0
vsize: 12076
[startup+410.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2233 0 0 0 40922 80 0 0 25 0 1 0 633488290 12365824 2154 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3019 2154 1111 63 0 2956 0
vsize: 12076
[startup+420.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2273 0 0 0 41920 82 0 0 25 0 1 0 633488290 12492800 2194 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2194 1111 63 0 2987 0
vsize: 12200
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2274 0 0 0 42920 82 0 0 25 0 1 0 633488290 12492800 2195 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2195 1111 63 0 2987 0
vsize: 12200
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2283 0 0 0 43919 83 0 0 25 0 1 0 633488290 12627968 2204 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3083 2204 1111 63 0 3020 0
vsize: 12332
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2284 0 0 0 44917 85 0 0 25 0 1 0 633488290 12627968 2205 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3083 2205 1111 63 0 3020 0
vsize: 12332
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2294 0 0 0 45915 87 0 0 25 0 1 0 633488290 12627968 2215 4294967295 134512640 134714508 3221221776 3221220496 134652831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3083 2215 1111 63 0 3020 0
vsize: 12332
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2308 0 0 0 46913 89 0 0 25 0 1 0 633488290 12627968 2229 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3083 2229 1111 63 0 3020 0
vsize: 12332
[startup+480.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2308 0 0 0 47911 92 0 0 25 0 1 0 633488290 12627968 2229 4294967295 134512640 134714508 3221221776 3221220464 134524415 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3083 2229 1111 63 0 3020 0
vsize: 12332
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2315 0 0 0 48909 94 0 0 25 0 1 0 633488290 12763136 2236 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3116 2236 1111 63 0 3053 0
vsize: 12464
[startup+500.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2324 0 0 0 49908 95 0 0 25 0 1 0 633488290 12763136 2245 4294967295 134512640 134714508 3221221776 3221220480 134528434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3116 2245 1111 63 0 3053 0
vsize: 12464
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2349 0 0 0 50906 97 0 0 25 0 1 0 633488290 12898304 2270 4294967295 134512640 134714508 3221221776 3221220344 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3149 2270 1111 63 0 3086 0
vsize: 12596
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2397 0 0 0 51905 98 0 0 25 0 1 0 633488290 13033472 2318 4294967295 134512640 134714508 3221221776 3221220588 134584844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2397 0 0 0 52904 100 0 0 25 0 1 0 633488290 13033472 2318 4294967295 134512640 134714508 3221221776 3221220448 1077378560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2397 0 0 0 53903 101 0 0 25 0 1 0 633488290 13033472 2318 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2397 0 0 0 54902 102 0 0 25 0 1 0 633488290 13033472 2318 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2397 0 0 0 55901 104 0 0 25 0 1 0 633488290 13033472 2318 4294967295 134512640 134714508 3221221776 3221220352 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+570.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2397 0 0 0 56899 105 0 0 25 0 1 0 633488290 13033472 2318 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+580.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2397 0 0 0 57897 108 0 0 25 0 1 0 633488290 13033472 2318 4294967295 134512640 134714508 3221221776 3221220216 1077377495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+590.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2401 0 0 0 58896 109 0 0 25 0 1 0 633488290 13033472 2322 4294967295 134512640 134714508 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2322 1111 63 0 3119 0
vsize: 12728
[startup+600.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2401 0 0 0 59894 111 0 0 25 0 1 0 633488290 13033472 2322 4294967295 134512640 134714508 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2322 1111 63 0 3119 0
vsize: 12728
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2401 0 0 0 60892 113 0 0 25 0 1 0 633488290 13033472 2322 4294967295 134512640 134714508 3221221776 3221220260 134697321 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2322 1111 63 0 3119 0
vsize: 12728
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2405 0 0 0 61891 114 0 0 25 0 1 0 633488290 13033472 2326 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2326 1111 63 0 3119 0
vsize: 12728
[startup+630.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2405 0 0 0 62889 116 0 0 25 0 1 0 633488290 13033472 2326 4294967295 134512640 134714508 3221221776 3221220404 134696214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2326 1111 63 0 3119 0
vsize: 12728
[startup+640.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2412 0 0 0 63888 117 0 0 25 0 1 0 633488290 13168640 2333 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2333 1111 63 0 3152 0
vsize: 12860
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2412 0 0 0 64887 119 0 0 25 0 1 0 633488290 13168640 2333 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2333 1111 63 0 3152 0
vsize: 12860
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2416 0 0 0 65885 121 0 0 25 0 1 0 633488290 13168640 2337 4294967295 134512640 134714508 3221221776 3221220528 134592393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2337 1111 63 0 3152 0
vsize: 12860
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2416 0 0 0 66885 122 0 0 25 0 1 0 633488290 13168640 2337 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2337 1111 63 0 3152 0
vsize: 12860
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2430 0 0 0 67883 124 0 0 25 0 1 0 633488290 13168640 2351 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2351 1111 63 0 3152 0
vsize: 12860
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2430 0 0 0 68882 125 0 0 25 0 1 0 633488290 13168640 2351 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2351 1111 63 0 3152 0
vsize: 12860
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2446 0 0 0 69881 126 0 0 25 0 1 0 633488290 13303808 2367 4294967295 134512640 134714508 3221221776 3221220324 134696678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3248 2367 1111 63 0 3185 0
vsize: 12992
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2477 0 0 0 70879 128 0 0 25 0 1 0 633488290 13422592 2398 4294967295 134512640 134714508 3221221776 3221220480 134524477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3277 2398 1111 63 0 3214 0
vsize: 13108
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2487 0 0 0 71877 130 0 0 25 0 1 0 633488290 13422592 2408 4294967295 134512640 134714508 3221221776 3221220352 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3277 2408 1111 63 0 3214 0
vsize: 13108
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2497 0 0 0 72875 132 0 0 25 0 1 0 633488290 13422592 2418 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3277 2418 1111 63 0 3214 0
vsize: 13108
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2502 0 0 0 73874 134 0 0 25 0 1 0 633488290 13422592 2423 4294967295 134512640 134714508 3221221776 3221220416 134696069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3277 2423 1111 63 0 3214 0
vsize: 13108
[startup+750.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2562 0 0 0 74872 136 0 0 25 0 1 0 633488290 13692928 2483 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 2483 1111 63 0 3280 0
vsize: 13372
[startup+760.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2562 0 0 0 75871 137 0 0 25 0 1 0 633488290 13692928 2483 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 2483 1111 63 0 3280 0
vsize: 13372
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2562 0 0 0 76870 138 0 0 25 0 1 0 633488290 13692928 2483 4294967295 134512640 134714508 3221221776 3221220416 134696100 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 2483 1111 63 0 3280 0
vsize: 13372
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2588 0 0 0 77868 141 0 0 25 0 1 0 633488290 13828096 2509 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3376 2509 1111 63 0 3313 0
vsize: 13504
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2588 0 0 0 78867 142 0 0 25 0 1 0 633488290 13824000 2509 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2509 1111 63 0 3312 0
vsize: 13500
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2588 0 0 0 79866 143 0 0 25 0 1 0 633488290 13824000 2509 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2509 1111 63 0 3312 0
vsize: 13500
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2588 0 0 0 80865 144 0 0 25 0 1 0 633488290 13824000 2509 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2509 1111 63 0 3312 0
vsize: 13500
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2597 0 0 0 81862 147 0 0 25 0 1 0 633488290 13824000 2518 4294967295 134512640 134714508 3221221776 3221220396 134613764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2518 1111 63 0 3312 0
vsize: 13500
[startup+830.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2597 0 0 0 82862 148 0 0 25 0 1 0 633488290 13824000 2518 4294967295 134512640 134714508 3221221776 3221220512 134528410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2518 1111 63 0 3312 0
vsize: 13500
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2599 0 0 0 83860 149 0 0 25 0 1 0 633488290 13824000 2520 4294967295 134512640 134714508 3221221776 3221220544 134551796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2520 1111 63 0 3312 0
vsize: 13500
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2599 0 0 0 84859 150 0 0 25 0 1 0 633488290 13824000 2520 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2520 1111 63 0 3312 0
vsize: 13500
[startup+860.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2599 0 0 0 85858 151 0 0 25 0 1 0 633488290 13824000 2520 4294967295 134512640 134714508 3221221776 3221220528 134592393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2520 1111 63 0 3312 0
vsize: 13500
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2611 0 0 0 86857 153 0 0 25 0 1 0 633488290 13950976 2532 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3406 2532 1111 63 0 3343 0
vsize: 13624
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2613 0 0 0 87856 154 0 0 25 0 1 0 633488290 13950976 2534 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3406 2534 1111 63 0 3343 0
vsize: 13624
[startup+890.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2613 0 0 0 88854 156 0 0 25 0 1 0 633488290 13950976 2534 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3406 2534 1111 63 0 3343 0
vsize: 13624
[startup+900.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2614 0 0 0 89853 158 0 0 25 0 1 0 633488290 13950976 2535 4294967295 134512640 134714508 3221221776 3221220344 1077378409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3406 2535 1111 63 0 3343 0
vsize: 13624
[startup+910.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2616 0 0 0 90852 159 0 0 25 0 1 0 633488290 13950976 2537 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3406 2537 1111 63 0 3343 0
vsize: 13624
[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2616 0 0 0 91851 160 0 0 25 0 1 0 633488290 13950976 2537 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3406 2537 1111 63 0 3343 0
vsize: 13624
[startup+930.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2622 0 0 0 92849 162 0 0 25 0 1 0 633488290 13950976 2543 4294967295 134512640 134714508 3221221776 3221220352 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3406 2543 1111 63 0 3343 0
vsize: 13624
[startup+940.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2641 0 0 0 93847 164 0 0 25 0 1 0 633488290 14086144 2562 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3439 2562 1111 63 0 3376 0
vsize: 13756
[startup+950.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2641 0 0 0 94846 165 0 0 25 0 1 0 633488290 14086144 2562 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3439 2562 1111 63 0 3376 0
vsize: 13756
[startup+960.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2641 0 0 0 95845 167 0 0 25 0 1 0 633488290 14086144 2562 4294967295 134512640 134714508 3221221776 3221220404 1077374101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3439 2562 1111 63 0 3376 0
vsize: 13756
[startup+970.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2641 0 0 0 96844 168 0 0 25 0 1 0 633488290 14086144 2562 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3439 2562 1111 63 0 3376 0
vsize: 13756
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2666 0 0 0 97843 169 0 0 25 0 1 0 633488290 14086144 2587 4294967295 134512640 134714508 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3439 2587 1111 63 0 3376 0
vsize: 13756
[startup+990.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2675 0 0 0 98841 171 0 0 25 0 1 0 633488290 14221312 2596 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3472 2596 1111 63 0 3409 0
vsize: 13888
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2675 0 0 0 99841 172 0 0 25 0 1 0 633488290 14221312 2596 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3472 2596 1111 63 0 3409 0
vsize: 13888
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2695 0 0 0 100840 173 0 0 25 0 1 0 633488290 14221312 2616 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3472 2616 1111 63 0 3409 0
vsize: 13888
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2733 0 0 0 101839 174 0 0 25 0 1 0 633488290 14356480 2654 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2733 0 0 0 102837 176 0 0 25 0 1 0 633488290 14356480 2654 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2733 0 0 0 103835 178 0 0 25 0 1 0 633488290 14356480 2654 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2733 0 0 0 104834 179 0 0 25 0 1 0 633488290 14356480 2654 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2733 0 0 0 105832 181 0 0 25 0 1 0 633488290 14356480 2654 4294967295 134512640 134714508 3221221776 3221220768 134574832 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2733 0 0 0 106831 183 0 0 25 0 1 0 633488290 14356480 2654 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2733 0 0 0 107829 184 0 0 25 0 1 0 633488290 14356480 2654 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2744 0 0 0 108828 186 0 0 25 0 1 0 633488290 14491648 2665 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2665 1111 63 0 3475 0
vsize: 14152
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2744 0 0 0 109827 187 0 0 25 0 1 0 633488290 14491648 2665 4294967295 134512640 134714508 3221221776 3221220020 134697321 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2665 1111 63 0 3475 0
vsize: 14152
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2755 0 0 0 110825 189 0 0 25 0 1 0 633488290 14491648 2676 4294967295 134512640 134714508 3221221776 3221219712 134697222 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2676 1111 63 0 3475 0
vsize: 14152
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2755 0 0 0 111824 190 0 0 25 0 1 0 633488290 14491648 2676 4294967295 134512640 134714508 3221221776 3221220192 134697399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2676 1111 63 0 3475 0
vsize: 14152
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2755 0 0 0 112823 192 0 0 25 0 1 0 633488290 14491648 2676 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2676 1111 63 0 3475 0
vsize: 14152
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2762 0 0 0 113821 193 0 0 25 0 1 0 633488290 14491648 2683 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2683 1111 63 0 3475 0
vsize: 14152
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2773 0 0 0 114819 196 0 0 25 0 1 0 633488290 14618624 2694 4294967295 134512640 134714508 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2694 1111 63 0 3506 0
vsize: 14276
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2773 0 0 0 115818 197 0 0 25 0 1 0 633488290 14618624 2694 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2694 1111 63 0 3506 0
vsize: 14276
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2773 0 0 0 116816 199 0 0 25 0 1 0 633488290 14618624 2694 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2694 1111 63 0 3506 0
vsize: 14276
[startup+1174.9 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 13765
Raw data (stat): 13763 (bsolo_lpr_cuts) R 13762 7876 7672 0 -1 0 2773 0 0 0 116816 199 0 0 25 0 1 0 633488290 14618624 2694 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2694 1111 63 0 3506 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1173.02
CPU system time (s): 2.00969
CPU usage (%): 100.011
Max. virtual memory (Kb): 14276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####