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-chnl30_40_pb.cnf.cr.opb
MD5SUM	6a0000bd3257094a387dbf208b4df8cf
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	41
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.073987
Number of variables	2400
Total number of constraints	140
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	40
Trace number 23203

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 10:02:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=110 boxname=wulflinc31 idbench=13 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6a0000bd3257094a387dbf208b4df8cf  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_40_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_40_pb.cnf.cr.opb
IDLAUNCH: 110
/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:        931484 kB
Buffers:         35992 kB
Cached:          45220 kB
SwapCached:        864 kB
Active:          70356 kB
Inactive:        13300 kB
HighTotal:      131008 kB
HighFree:        84728 kB
LowTotal:       903652 kB
LowFree:        846756 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13892 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 10:22:21 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 110 7 1175.04 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 2400 variables and 140 constraints.
c After prepocess the problem consists of 2400 variables and 140 constraints.
c preprocess terminated 0.874 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.93 0.97 0.92 2/54 10453
Raw data (stat): 10453 (runsolver) R 10452 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 630602837 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.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 1493 0 0 0 988 7 0 0 25 0 1 0 630602837 9297920 1414 4294967295 134512640 134714508 3221221776 3221220336 134696496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2270 1414 1111 63 0 2207 0
vsize: 9080
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 1611 0 0 0 1985 9 0 0 25 0 1 0 630602837 9703424 1532 4294967295 134512640 134714508 3221221776 3221220528 134592388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2369 1532 1111 63 0 2306 0
vsize: 9476
[startup+30.0011 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 1691 0 0 0 2983 11 0 0 25 0 1 0 630602837 10088448 1612 4294967295 134512640 134714508 3221221776 3221220512 134558542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2463 1612 1111 63 0 2400 0
vsize: 9852
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 1834 0 0 0 3981 14 0 0 25 0 1 0 630602837 10620928 1755 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1755 1111 63 0 2530 0
vsize: 10372
[startup+50.003 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 1885 0 0 0 4981 15 0 0 25 0 1 0 630602837 10878976 1806 4294967295 134512640 134714508 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2656 1806 1111 63 0 2593 0
vsize: 10624
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 1905 0 0 0 5979 16 0 0 25 0 1 0 630602837 11005952 1826 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2687 1826 1111 63 0 2624 0
vsize: 10748
[startup+70.0044 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 1920 0 0 0 6978 18 0 0 25 0 1 0 630602837 11005952 1841 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2687 1841 1111 63 0 2624 0
vsize: 10748
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 1937 0 0 0 7975 20 0 0 25 0 1 0 630602837 11137024 1858 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2719 1858 1111 63 0 2656 0
vsize: 10876
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 1958 0 0 0 8974 22 0 0 25 0 1 0 630602837 11137024 1879 4294967295 134512640 134714508 3221221776 3221220344 1077378425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2719 1879 1111 63 0 2656 0
vsize: 10876
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 1983 0 0 0 9973 23 0 0 25 0 1 0 630602837 11268096 1904 4294967295 134512640 134714508 3221221776 3221220420 134613632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2751 1904 1111 63 0 2688 0
vsize: 11004
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2079 0 0 0 10971 25 0 0 25 0 1 0 630602837 11673600 2000 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2850 2000 1111 63 0 2787 0
vsize: 11400
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2164 0 0 0 11969 27 0 0 25 0 1 0 630602837 12079104 2085 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2949 2085 1111 63 0 2886 0
vsize: 11796
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2217 0 0 0 12967 29 0 0 25 0 1 0 630602837 12214272 2138 4294967295 134512640 134714508 3221221776 3221220500 1076647544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2982 2138 1111 63 0 2919 0
vsize: 11928
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2249 0 0 0 13965 31 0 0 25 0 1 0 630602837 12349440 2170 4294967295 134512640 134714508 3221221776 3221220452 1077374550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3015 2170 1111 63 0 2952 0
vsize: 12060
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2249 0 0 0 14964 33 0 0 25 0 1 0 630602837 12349440 2170 4294967295 134512640 134714508 3221221776 3221220416 134696057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3015 2170 1111 63 0 2952 0
vsize: 12060
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2263 0 0 0 15962 35 0 0 25 0 1 0 630602837 12476416 2184 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3046 2184 1111 63 0 2983 0
vsize: 12184
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2290 0 0 0 16961 36 0 0 25 0 1 0 630602837 12476416 2211 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3046 2211 1111 63 0 2983 0
vsize: 12184
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2310 0 0 0 17959 38 0 0 25 0 1 0 630602837 12611584 2231 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3079 2231 1111 63 0 3016 0
vsize: 12316
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2357 0 0 0 18957 40 0 0 25 0 1 0 630602837 12881920 2278 4294967295 134512640 134714508 3221221776 3221220540 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3145 2278 1111 63 0 3082 0
vsize: 12580
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10453
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2397 0 0 0 19955 43 0 0 25 0 1 0 630602837 13017088 2318 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3178 2318 1111 63 0 3115 0
vsize: 12712
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2425 0 0 0 20953 45 0 0 25 0 1 0 630602837 13152256 2346 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3211 2346 1111 63 0 3148 0
vsize: 12844
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2433 0 0 0 21952 46 0 0 25 0 1 0 630602837 13152256 2354 4294967295 134512640 134714508 3221221776 3221220328 134696442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3211 2354 1111 63 0 3148 0
vsize: 12844
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2508 0 0 0 22951 48 0 0 25 0 1 0 630602837 13422592 2429 4294967295 134512640 134714508 3221221776 3221220512 134523980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3277 2429 1111 63 0 3214 0
vsize: 13108
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2535 0 0 0 23950 49 0 0 25 0 1 0 630602837 13549568 2456 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2456 1111 63 0 3245 0
vsize: 13232
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2564 0 0 0 24948 50 0 0 25 0 1 0 630602837 13684736 2485 4294967295 134512640 134714508 3221221776 3221220364 134552072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3341 2485 1111 63 0 3278 0
vsize: 13364
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2576 0 0 0 25946 53 0 0 25 0 1 0 630602837 13684736 2497 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3341 2497 1111 63 0 3278 0
vsize: 13364
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2591 0 0 0 26945 55 0 0 25 0 1 0 630602837 13819904 2512 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2512 1111 63 0 3311 0
vsize: 13496
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2609 0 0 0 27943 56 0 0 25 0 1 0 630602837 13819904 2530 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2530 1111 63 0 3311 0
vsize: 13496
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2612 0 0 0 28942 58 0 0 25 0 1 0 630602837 13819904 2533 4294967295 134512640 134714508 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2533 1111 63 0 3311 0
vsize: 13496
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2636 0 0 0 29941 58 0 0 25 0 1 0 630602837 13955072 2557 4294967295 134512640 134714508 3221221776 3221220344 1077377534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2557 1111 63 0 3344 0
vsize: 13628
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2726 0 0 0 30940 60 0 0 25 0 1 0 630602837 14360576 2647 4294967295 134512640 134714508 3221221776 3221220368 134549754 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3506 2647 1111 63 0 3443 0
vsize: 14024
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2751 0 0 0 31939 61 0 0 25 0 1 0 630602837 14495744 2672 4294967295 134512640 134714508 3221221776 3221220528 134591920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2672 1111 63 0 3476 0
vsize: 14156
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2757 0 0 0 32938 62 0 0 25 0 1 0 630602837 14487552 2678 4294967295 134512640 134714508 3221221776 3221220344 134535987 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2678 1111 63 0 3474 0
vsize: 14148
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2767 0 0 0 33937 63 0 0 25 0 1 0 630602837 14487552 2688 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2688 1111 63 0 3474 0
vsize: 14148
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2775 0 0 0 34936 65 0 0 25 0 1 0 630602837 14487552 2696 4294967295 134512640 134714508 3221221776 3221220344 1077377362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2696 1111 63 0 3474 0
vsize: 14148
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2807 0 0 0 35934 67 0 0 25 0 1 0 630602837 14622720 2728 4294967295 134512640 134714508 3221221776 3221220512 134523927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2728 1111 63 0 3507 0
vsize: 14280
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2810 0 0 0 36933 68 0 0 25 0 1 0 630602837 14622720 2731 4294967295 134512640 134714508 3221221776 3221220448 134536655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2731 1111 63 0 3507 0
vsize: 14280
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2817 0 0 0 37931 70 0 0 25 0 1 0 630602837 14757888 2738 4294967295 134512640 134714508 3221221776 3221220344 1077377401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2738 1111 63 0 3540 0
vsize: 14412
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2842 0 0 0 38930 72 0 0 25 0 1 0 630602837 14757888 2763 4294967295 134512640 134714508 3221221776 3221220532 134652883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2764 1111 63 0 3540 0
vsize: 14412
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2885 0 0 0 39928 73 0 0 25 0 1 0 630602837 15007744 2806 4294967295 134512640 134714508 3221221776 3221220216 1077377507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2806 1111 63 0 3601 0
vsize: 14656
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2921 0 0 0 40927 75 0 0 25 0 1 0 630602837 15142912 2842 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3697 2842 1111 63 0 3634 0
vsize: 14788
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2956 0 0 0 41925 77 0 0 25 0 1 0 630602837 15278080 2877 4294967295 134512640 134714508 3221221776 3221220416 134696103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2877 1111 63 0 3667 0
vsize: 14920
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 2983 0 0 0 42924 79 0 0 25 0 1 0 630602837 15409152 2904 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2904 1111 63 0 3699 0
vsize: 15048
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3038 0 0 0 43922 80 0 0 25 0 1 0 630602837 15544320 2959 4294967295 134512640 134714508 3221221776 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2959 1111 63 0 3732 0
vsize: 15180
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3042 0 0 0 44921 82 0 0 25 0 1 0 630602837 15679488 2963 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3828 2963 1111 63 0 3765 0
vsize: 15312
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3060 0 0 0 45920 83 0 0 25 0 1 0 630602837 15679488 2981 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3828 2981 1111 63 0 3765 0
vsize: 15312
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3062 0 0 0 46918 85 0 0 25 0 1 0 630602837 15679488 2983 4294967295 134512640 134714508 3221221776 3221220260 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3828 2983 1111 63 0 3765 0
vsize: 15312
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3064 0 0 0 47917 86 0 0 25 0 1 0 630602837 15679488 2985 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3828 2985 1111 63 0 3765 0
vsize: 15312
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3070 0 0 0 48916 88 0 0 25 0 1 0 630602837 15679488 2991 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3828 2991 1111 63 0 3765 0
vsize: 15312
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3090 0 0 0 49915 89 0 0 25 0 1 0 630602837 15814656 3011 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3861 3011 1111 63 0 3798 0
vsize: 15444
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3095 0 0 0 50913 91 0 0 25 0 1 0 630602837 15814656 3016 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3861 3016 1111 63 0 3798 0
vsize: 15444
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3110 0 0 0 51911 93 0 0 25 0 1 0 630602837 15949824 3031 4294967295 134512640 134714508 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3894 3031 1111 63 0 3831 0
vsize: 15576
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3136 0 0 0 52909 95 0 0 25 0 1 0 630602837 15949824 3057 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3894 3057 1111 63 0 3831 0
vsize: 15576
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3150 0 0 0 53908 97 0 0 25 0 1 0 630602837 16084992 3071 4294967295 134512640 134714508 3221221776 3221220336 134551992 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3071 1111 63 0 3864 0
vsize: 15708
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3201 0 0 0 54906 99 0 0 25 0 1 0 630602837 16220160 3122 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3960 3122 1111 63 0 3897 0
vsize: 15840
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3248 0 0 0 55905 100 0 0 25 0 1 0 630602837 16490496 3169 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4026 3169 1111 63 0 3963 0
vsize: 16104
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3277 0 0 0 56904 101 0 0 25 0 1 0 630602837 16625664 3198 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4059 3198 1111 63 0 3996 0
vsize: 16236
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3279 0 0 0 57902 104 0 0 25 0 1 0 630602837 16625664 3200 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4059 3200 1111 63 0 3996 0
vsize: 16236
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3291 0 0 0 58900 105 0 0 25 0 1 0 630602837 16625664 3212 4294967295 134512640 134714508 3221221776 3221220464 134534089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4059 3212 1111 63 0 3996 0
vsize: 16236
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3317 0 0 0 59899 107 0 0 25 0 1 0 630602837 16760832 3238 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4092 3238 1111 63 0 4029 0
vsize: 16368
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3326 0 0 0 60897 108 0 0 25 0 1 0 630602837 16760832 3247 4294967295 134512640 134714508 3221221776 3221219700 134697183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4092 3247 1111 63 0 4029 0
vsize: 16368
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3345 0 0 0 61896 110 0 0 25 0 1 0 630602837 16896000 3266 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4125 3266 1111 63 0 4062 0
vsize: 16500
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3363 0 0 0 62894 112 0 0 25 0 1 0 630602837 16896000 3284 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4125 3284 1111 63 0 4062 0
vsize: 16500
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3393 0 0 0 63893 113 0 0 25 0 1 0 630602837 17027072 3314 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4157 3314 1111 63 0 4094 0
vsize: 16628
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3417 0 0 0 64891 115 0 0 25 0 1 0 630602837 17162240 3338 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4190 3338 1111 63 0 4127 0
vsize: 16760
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3438 0 0 0 65889 117 0 0 25 0 1 0 630602837 17297408 3359 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3359 1111 63 0 4160 0
vsize: 16892
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3438 0 0 0 66888 119 0 0 25 0 1 0 630602837 17297408 3359 4294967295 134512640 134714508 3221221776 3221220488 134535779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4223 3359 1111 63 0 4160 0
vsize: 16892
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3451 0 0 0 67887 120 0 0 25 0 1 0 630602837 17297408 3372 4294967295 134512640 134714508 3221221776 3221220400 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4223 3372 1111 63 0 4160 0
vsize: 16892
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3451 0 0 0 68885 121 0 0 25 0 1 0 630602837 17297408 3372 4294967295 134512640 134714508 3221221776 3221220332 134535942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4223 3372 1111 63 0 4160 0
vsize: 16892
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3451 0 0 0 69884 122 0 0 25 0 1 0 630602837 17297408 3372 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4223 3372 1111 63 0 4160 0
vsize: 16892
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3453 0 0 0 70883 124 0 0 25 0 1 0 630602837 17297408 3374 4294967295 134512640 134714508 3221221776 3221220384 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4223 3374 1111 63 0 4160 0
vsize: 16892
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3460 0 0 0 71882 125 0 0 25 0 1 0 630602837 17297408 3381 4294967295 134512640 134714508 3221221776 3221220416 134696069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4223 3381 1111 63 0 4160 0
vsize: 16892
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3530 0 0 0 72880 127 0 0 25 0 1 0 630602837 17563648 3451 4294967295 134512640 134714508 3221221776 3221220416 134539371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4288 3451 1111 63 0 4225 0
vsize: 17152
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3560 0 0 0 73878 129 0 0 25 0 1 0 630602837 17694720 3481 4294967295 134512640 134714508 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4320 3481 1111 63 0 4257 0
vsize: 17280
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3566 0 0 0 74877 130 0 0 25 0 1 0 630602837 17829888 3487 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4353 3487 1111 63 0 4290 0
vsize: 17412
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3569 0 0 0 75876 132 0 0 25 0 1 0 630602837 17829888 3490 4294967295 134512640 134714508 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4353 3490 1111 63 0 4290 0
vsize: 17412
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3570 0 0 0 76875 133 0 0 25 0 1 0 630602837 17829888 3491 4294967295 134512640 134714508 3221221776 3221220560 134529335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4353 3491 1111 63 0 4290 0
vsize: 17412
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3576 0 0 0 77874 134 0 0 25 0 1 0 630602837 17829888 3497 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4353 3497 1111 63 0 4290 0
vsize: 17412
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3589 0 0 0 78873 136 0 0 25 0 1 0 630602837 17829888 3510 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4353 3510 1111 63 0 4290 0
vsize: 17412
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3619 0 0 0 79871 138 0 0 25 0 1 0 630602837 17960960 3540 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4385 3540 1111 63 0 4322 0
vsize: 17540
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3648 0 0 0 80869 140 0 0 25 0 1 0 630602837 18096128 3569 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4418 3569 1111 63 0 4355 0
vsize: 17672
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3655 0 0 0 81868 141 0 0 25 0 1 0 630602837 18096128 3576 4294967295 134512640 134714508 3221221776 3221220560 134529288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4418 3576 1111 63 0 4355 0
vsize: 17672
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3670 0 0 0 82866 143 0 0 25 0 1 0 630602837 18219008 3591 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4448 3591 1111 63 0 4385 0
vsize: 17792
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3714 0 0 0 83865 144 0 0 25 0 1 0 630602837 18354176 3635 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4481 3635 1111 63 0 4418 0
vsize: 17924
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3775 0 0 0 84863 146 0 0 25 0 1 0 630602837 18624512 3696 4294967295 134512640 134714508 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4547 3696 1111 63 0 4484 0
vsize: 18188
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3803 0 0 0 85861 148 0 0 25 0 1 0 630602837 18759680 3724 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4580 3724 1111 63 0 4517 0
vsize: 18320
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3837 0 0 0 86859 150 0 0 25 0 1 0 630602837 18894848 3758 4294967295 134512640 134714508 3221221776 3221220356 134542688 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4613 3758 1111 63 0 4550 0
vsize: 18452
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3850 0 0 0 87858 152 0 0 25 0 1 0 630602837 18894848 3771 4294967295 134512640 134714508 3221221776 3221220444 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4613 3771 1111 63 0 4550 0
vsize: 18452
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3866 0 0 0 88857 153 0 0 25 0 1 0 630602837 19017728 3787 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4643 3787 1111 63 0 4580 0
vsize: 18572
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3880 0 0 0 89856 154 0 0 25 0 1 0 630602837 19017728 3801 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4643 3801 1111 63 0 4580 0
vsize: 18572
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3935 0 0 0 90854 156 0 0 25 0 1 0 630602837 19283968 3856 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4708 3856 1111 63 0 4645 0
vsize: 18832
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 3969 0 0 0 91852 158 0 0 25 0 1 0 630602837 19419136 3890 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4741 3890 1111 63 0 4678 0
vsize: 18964
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4029 0 0 0 92851 159 0 0 25 0 1 0 630602837 19664896 3950 4294967295 134512640 134714508 3221221776 3221220428 134536769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4801 3950 1111 63 0 4738 0
vsize: 19204
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4082 0 0 0 93850 161 0 0 25 0 1 0 630602837 19927040 4003 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4003 1111 63 0 4802 0
vsize: 19460
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4115 0 0 0 94848 163 0 0 25 0 1 0 630602837 20062208 4036 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4898 4036 1111 63 0 4835 0
vsize: 19592
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4115 0 0 0 95846 165 0 0 25 0 1 0 630602837 20062208 4036 4294967295 134512640 134714508 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4898 4036 1111 63 0 4835 0
vsize: 19592
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4133 0 0 0 96844 167 0 0 25 0 1 0 630602837 20062208 4054 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4898 4054 1111 63 0 4835 0
vsize: 19592
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4145 0 0 0 97843 168 0 0 25 0 1 0 630602837 20197376 4066 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4066 1111 63 0 4868 0
vsize: 19724
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4164 0 0 0 98841 170 0 0 25 0 1 0 630602837 20197376 4085 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4085 1111 63 0 4868 0
vsize: 19724
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4171 0 0 0 99840 172 0 0 25 0 1 0 630602837 20197376 4092 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4092 1111 63 0 4868 0
vsize: 19724
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4173 0 0 0 100839 173 0 0 25 0 1 0 630602837 20197376 4094 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4094 1111 63 0 4868 0
vsize: 19724
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4185 0 0 0 101837 174 0 0 25 0 1 0 630602837 20328448 4106 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4963 4106 1111 63 0 4900 0
vsize: 19852
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4185 0 0 0 102836 176 0 0 25 0 1 0 630602837 20328448 4106 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4963 4106 1111 63 0 4900 0
vsize: 19852
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4185 0 0 0 103835 177 0 0 25 0 1 0 630602837 20328448 4106 4294967295 134512640 134714508 3221221776 3221220324 134696712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4963 4106 1111 63 0 4900 0
vsize: 19852
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4185 0 0 0 104834 178 0 0 25 0 1 0 630602837 20328448 4106 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4963 4106 1111 63 0 4900 0
vsize: 19852
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4195 0 0 0 105833 179 0 0 25 0 1 0 630602837 20328448 4116 4294967295 134512640 134714508 3221221776 3221220508 134536922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4963 4116 1111 63 0 4900 0
vsize: 19852
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4209 0 0 0 106832 181 0 0 25 0 1 0 630602837 20459520 4130 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4995 4130 1111 63 0 4932 0
vsize: 19980
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4221 0 0 0 107831 182 0 0 25 0 1 0 630602837 20459520 4142 4294967295 134512640 134714508 3221221776 3221220560 134529103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4995 4142 1111 63 0 4932 0
vsize: 19980
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4221 0 0 0 108829 184 0 0 25 0 1 0 630602837 20459520 4142 4294967295 134512640 134714508 3221221776 3221220536 134552566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4995 4142 1111 63 0 4932 0
vsize: 19980
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4223 0 0 0 109827 186 0 0 25 0 1 0 630602837 20459520 4144 4294967295 134512640 134714508 3221221776 3221220416 134696097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4995 4144 1111 63 0 4932 0
vsize: 19980
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4223 0 0 0 110825 188 0 0 25 0 1 0 630602837 20459520 4144 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4995 4144 1111 63 0 4932 0
vsize: 19980
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4233 0 0 0 111823 190 0 0 25 0 1 0 630602837 20459520 4154 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4995 4154 1111 63 0 4932 0
vsize: 19980
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4240 0 0 0 112821 193 0 0 25 0 1 0 630602837 20594688 4161 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5028 4161 1111 63 0 4965 0
vsize: 20112
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4243 0 0 0 113819 194 0 0 25 0 1 0 630602837 20594688 4164 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5028 4164 1111 63 0 4965 0
vsize: 20112
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4260 0 0 0 114818 196 0 0 25 0 1 0 630602837 20594688 4181 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5028 4181 1111 63 0 4965 0
vsize: 20112
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4260 0 0 0 115817 197 0 0 25 0 1 0 630602837 20594688 4181 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5028 4181 1111 63 0 4965 0
vsize: 20112
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4260 0 0 0 116817 197 0 0 25 0 1 0 630602837 20594688 4181 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5028 4181 1111 63 0 4965 0
vsize: 20112
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 10455
Raw data (stat): 10453 (bsolo_lpr_cuts) R 10452 7876 7672 0 -1 0 4260 0 0 0 116817 197 0 0 25 0 1 0 630602837 20594688 4181 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5028 4181 1111 63 0 4965 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.04
CPU user time (s): 1173.04
CPU system time (s): 1.9937
CPU usage (%): 100.011
Max. virtual memory (Kb): 20112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####