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_31_pb.cnf.cr.opb
MD5SUM	79bafd08ddd684356ab9abc8fabf88a7
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	32
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.05399
Number of variables	1860
Total number of constraints	122
Number of constraints which are clauses	62
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	31
Trace number 23193

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 07:22:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=92 boxname=wulflinc31 idbench=11 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  79bafd08ddd684356ab9abc8fabf88a7  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_31_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_31_pb.cnf.cr.opb
IDLAUNCH: 92
/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:        931864 kB
Buffers:         35820 kB
Cached:          45052 kB
SwapCached:        864 kB
Active:          70192 kB
Inactive:        13100 kB
HighTotal:      131008 kB
HighFree:        84924 kB
LowTotal:       903652 kB
LowFree:        846940 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13884 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 07:42:05 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 92 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 1860 variables and 122 constraints.
c After prepocess the problem consists of 1860 variables and 122 constraints.
c preprocess terminated 0.573 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.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (runsolver) R 9335 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 629641213 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 1274 0 0 0 989 6 0 0 25 0 1 0 629641213 8364032 1195 4294967295 134512640 134714508 3221221776 3221220392 134613957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2042 1195 1111 63 0 1979 0
vsize: 8168
[startup+20.0013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 1328 0 0 0 1987 8 0 0 25 0 1 0 629641213 8617984 1249 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2104 1249 1111 63 0 2041 0
vsize: 8416
[startup+30.0012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 1339 0 0 0 2986 9 0 0 25 0 1 0 629641213 8617984 1260 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2104 1260 1111 63 0 2041 0
vsize: 8416
[startup+40.0011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 1346 0 0 0 3985 10 0 0 25 0 1 0 629641213 8617984 1267 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2104 1267 1111 63 0 2041 0
vsize: 8416
[startup+50.0011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 1363 0 0 0 4984 12 0 0 25 0 1 0 629641213 8753152 1284 4294967295 134512640 134714508 3221221776 3221220532 134592387 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2137 1284 1111 63 0 2074 0
vsize: 8548
[startup+60.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 1444 0 0 0 5982 14 0 0 25 0 1 0 629641213 9023488 1365 4294967295 134512640 134714508 3221221776 3221220192 134697222 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2203 1365 1111 63 0 2140 0
vsize: 8812
[startup+70.0019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 1538 0 0 0 6981 15 0 0 25 0 1 0 629641213 9408512 1459 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2297 1459 1111 63 0 2234 0
vsize: 9188
[startup+80.0019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 1737 0 0 0 7979 17 0 0 25 0 1 0 629641213 10219520 1658 4294967295 134512640 134714508 3221221776 3221220608 134551450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2495 1658 1111 63 0 2432 0
vsize: 9980
[startup+90.0028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 1891 0 0 0 8978 19 0 0 25 0 1 0 629641213 10895360 1812 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2660 1812 1111 63 0 2597 0
vsize: 10640
[startup+100.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2043 0 0 0 9975 21 0 0 25 0 1 0 629641213 11558912 1964 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2822 1964 1111 63 0 2759 0
vsize: 11288
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2115 0 0 0 10973 24 0 0 25 0 1 0 629641213 11821056 2036 4294967295 134512640 134714508 3221221776 3221220432 134524076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2886 2036 1111 63 0 2823 0
vsize: 11544
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2154 0 0 0 11972 25 0 0 25 0 1 0 629641213 11939840 2075 4294967295 134512640 134714508 3221221776 3221220512 134523932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2075 1111 63 0 2852 0
vsize: 11660
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2196 0 0 0 12971 26 0 0 25 0 1 0 629641213 12075008 2117 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2948 2117 1111 63 0 2885 0
vsize: 11792
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2246 0 0 0 13970 27 0 0 25 0 1 0 629641213 12337152 2167 4294967295 134512640 134714508 3221221776 3221220500 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3012 2167 1111 63 0 2949 0
vsize: 12048
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2361 0 0 0 14968 29 0 0 25 0 1 0 629641213 12877824 2282 4294967295 134512640 134714508 3221221776 3221220508 134524384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3144 2282 1111 63 0 3081 0
vsize: 12576
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2367 0 0 0 15968 30 0 0 25 0 1 0 629641213 12877824 2288 4294967295 134512640 134714508 3221221776 3221220504 134558798 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3144 2288 1111 63 0 3081 0
vsize: 12576
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2451 0 0 0 16966 32 0 0 25 0 1 0 629641213 13144064 2372 4294967295 134512640 134714508 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3209 2372 1111 63 0 3146 0
vsize: 12836
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2525 0 0 0 17965 33 0 0 25 0 1 0 629641213 13545472 2446 4294967295 134512640 134714508 3221221776 3221220164 1077378605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3307 2446 1111 63 0 3244 0
vsize: 13228
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2570 0 0 0 18963 35 0 0 25 0 1 0 629641213 13676544 2491 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3339 2491 1111 63 0 3276 0
vsize: 13356
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2598 0 0 0 19961 37 0 0 25 0 1 0 629641213 13803520 2519 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3370 2519 1111 63 0 3307 0
vsize: 13480
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2621 0 0 0 20961 38 0 0 25 0 1 0 629641213 13938688 2542 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3403 2542 1111 63 0 3340 0
vsize: 13612
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2654 0 0 0 21959 40 0 0 25 0 1 0 629641213 14069760 2575 4294967295 134512640 134714508 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2575 1111 63 0 3372 0
vsize: 13740
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2672 0 0 0 22956 43 0 0 25 0 1 0 629641213 14053376 2593 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3431 2593 1111 63 0 3368 0
vsize: 13724
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2688 0 0 0 23955 44 0 0 25 0 1 0 629641213 14131200 2609 4294967295 134512640 134714508 3221221776 3221220416 134696035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2609 1111 63 0 3387 0
vsize: 13800
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2775 0 0 0 24953 46 0 0 25 0 1 0 629641213 14528512 2696 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3547 2696 1111 63 0 3484 0
vsize: 14188
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2855 0 0 0 25952 48 0 0 25 0 1 0 629641213 14798848 2776 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2776 1111 63 0 3550 0
vsize: 14452
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2879 0 0 0 26950 49 0 0 25 0 1 0 629641213 14934016 2800 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3646 2800 1111 63 0 3583 0
vsize: 14584
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 2915 0 0 0 27949 51 0 0 25 0 1 0 629641213 15052800 2836 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3675 2836 1111 63 0 3612 0
vsize: 14700
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3035 0 0 0 28947 52 0 0 25 0 1 0 629641213 15568896 2956 4294967295 134512640 134714508 3221221776 3221220352 134549640 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3801 2956 1111 63 0 3738 0
vsize: 15204
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3089 0 0 0 29946 54 0 0 25 0 1 0 629641213 15839232 3010 4294967295 134512640 134714508 3221221776 3221220560 134529291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3010 1111 63 0 3804 0
vsize: 15468
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3156 0 0 0 30944 56 0 0 25 0 1 0 629641213 16084992 3077 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3077 1111 63 0 3864 0
vsize: 15708
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3165 0 0 0 31943 57 0 0 25 0 1 0 629641213 16084992 3086 4294967295 134512640 134714508 3221221776 3221220416 134536653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3086 1111 63 0 3864 0
vsize: 15708
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3198 0 0 0 32942 58 0 0 25 0 1 0 629641213 16207872 3119 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3957 3119 1111 63 0 3894 0
vsize: 15828
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3213 0 0 0 33942 59 0 0 25 0 1 0 629641213 16343040 3134 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3990 3134 1111 63 0 3927 0
vsize: 15960
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3218 0 0 0 34940 61 0 0 25 0 1 0 629641213 16343040 3139 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3990 3139 1111 63 0 3927 0
vsize: 15960
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3236 0 0 0 35939 62 0 0 25 0 1 0 629641213 16343040 3157 4294967295 134512640 134714508 3221221776 3221220384 134548846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3990 3157 1111 63 0 3927 0
vsize: 15960
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3244 0 0 0 36937 64 0 0 25 0 1 0 629641213 16478208 3165 4294967295 134512640 134714508 3221221776 3221220332 134535952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4023 3165 1111 63 0 3960 0
vsize: 16092
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3253 0 0 0 37936 65 0 0 25 0 1 0 629641213 16478208 3174 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4023 3174 1111 63 0 3960 0
vsize: 16092
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3258 0 0 0 38934 67 0 0 25 0 1 0 629641213 16478208 3179 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4023 3179 1111 63 0 3960 0
vsize: 16092
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3318 0 0 0 39932 69 0 0 25 0 1 0 629641213 16748544 3239 4294967295 134512640 134714508 3221221776 3221220256 134697184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4089 3239 1111 63 0 4026 0
vsize: 16356
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3358 0 0 0 40931 71 0 0 25 0 1 0 629641213 16883712 3279 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4122 3279 1111 63 0 4059 0
vsize: 16488
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3358 0 0 0 41930 72 0 0 25 0 1 0 629641213 16883712 3279 4294967295 134512640 134714508 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4122 3279 1111 63 0 4059 0
vsize: 16488
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3376 0 0 0 42929 73 0 0 25 0 1 0 629641213 17018880 3297 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4155 3297 1111 63 0 4092 0
vsize: 16620
[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3405 0 0 0 43928 74 0 0 25 0 1 0 629641213 17154048 3326 4294967295 134512640 134714508 3221221776 3221220608 134527554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4188 3326 1111 63 0 4125 0
vsize: 16752
[startup+450.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3437 0 0 0 44927 76 0 0 25 0 1 0 629641213 17289216 3358 4294967295 134512640 134714508 3221221776 3221219816 134697426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4221 3358 1111 63 0 4158 0
vsize: 16884
[startup+460.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3484 0 0 0 45925 77 0 0 25 0 1 0 629641213 17408000 3405 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4250 3405 1111 63 0 4187 0
vsize: 17000
[startup+470.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3497 0 0 0 46924 79 0 0 25 0 1 0 629641213 17408000 3418 4294967295 134512640 134714508 3221221776 3221220272 134535471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4250 3418 1111 63 0 4187 0
vsize: 17000
[startup+480.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3536 0 0 0 47923 80 0 0 25 0 1 0 629641213 17670144 3457 4294967295 134512640 134714508 3221221776 3221220416 134696359 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4314 3457 1111 63 0 4251 0
vsize: 17256
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3549 0 0 0 48922 82 0 0 25 0 1 0 629641213 17670144 3470 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4314 3470 1111 63 0 4251 0
vsize: 17256
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3576 0 0 0 49921 83 0 0 25 0 1 0 629641213 17784832 3497 4294967295 134512640 134714508 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4342 3497 1111 63 0 4279 0
vsize: 17368
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3604 0 0 0 50919 85 0 0 25 0 1 0 629641213 17920000 3525 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4375 3525 1111 63 0 4312 0
vsize: 17500
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3623 0 0 0 51918 86 0 0 25 0 1 0 629641213 17920000 3544 4294967295 134512640 134714508 3221221776 3221220232 1077377498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4375 3544 1111 63 0 4312 0
vsize: 17500
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3639 0 0 0 52916 88 0 0 25 0 1 0 629641213 18055168 3560 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4408 3560 1111 63 0 4345 0
vsize: 17632
[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3652 0 0 0 53915 90 0 0 25 0 1 0 629641213 18055168 3573 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4408 3573 1111 63 0 4345 0
vsize: 17632
[startup+550.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3656 0 0 0 54915 90 0 0 25 0 1 0 629641213 18055168 3577 4294967295 134512640 134714508 3221221776 3221220452 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4408 3577 1111 63 0 4345 0
vsize: 17632
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3663 0 0 0 55914 91 0 0 25 0 1 0 629641213 18190336 3584 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4441 3584 1111 63 0 4378 0
vsize: 17764
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3680 0 0 0 56912 93 0 0 25 0 1 0 629641213 18190336 3601 4294967295 134512640 134714508 3221221776 3221220336 134535985 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4441 3601 1111 63 0 4378 0
vsize: 17764
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3685 0 0 0 57912 94 0 0 25 0 1 0 629641213 18190336 3606 4294967295 134512640 134714508 3221221776 3221220396 134613764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4441 3606 1111 63 0 4378 0
vsize: 17764
[startup+590.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3718 0 0 0 58911 94 0 0 25 0 1 0 629641213 18325504 3639 4294967295 134512640 134714508 3221221776 3221220560 134528943 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4474 3639 1111 63 0 4411 0
vsize: 17896
[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3718 0 0 0 59910 95 0 0 25 0 1 0 629641213 18325504 3639 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4474 3639 1111 63 0 4411 0
vsize: 17896
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3721 0 0 0 60909 96 0 0 25 0 1 0 629641213 18325504 3642 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4474 3642 1111 63 0 4411 0
vsize: 17896
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3737 0 0 0 61908 98 0 0 25 0 1 0 629641213 18460672 3658 4294967295 134512640 134714508 3221221776 3221220176 134697333 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4507 3658 1111 63 0 4444 0
vsize: 18028
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3739 0 0 0 62908 98 0 0 25 0 1 0 629641213 18460672 3660 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4507 3660 1111 63 0 4444 0
vsize: 18028
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3742 0 0 0 63907 99 0 0 25 0 1 0 629641213 18460672 3663 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4507 3663 1111 63 0 4444 0
vsize: 18028
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3752 0 0 0 64906 100 0 0 25 0 1 0 629641213 18460672 3673 4294967295 134512640 134714508 3221221776 3221220344 1077377259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4507 3673 1111 63 0 4444 0
vsize: 18028
[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3796 0 0 0 65905 102 0 0 25 0 1 0 629641213 18731008 3717 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4573 3717 1111 63 0 4510 0
vsize: 18292
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3833 0 0 0 66904 103 0 0 25 0 1 0 629641213 18866176 3754 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4606 3754 1111 63 0 4543 0
vsize: 18424
[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3841 0 0 0 67903 104 0 0 25 0 1 0 629641213 18866176 3762 4294967295 134512640 134714508 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4606 3762 1111 63 0 4543 0
vsize: 18424
[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3891 0 0 0 68902 105 0 0 25 0 1 0 629641213 19132416 3812 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4671 3812 1111 63 0 4608 0
vsize: 18684
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3904 0 0 0 69902 106 0 0 25 0 1 0 629641213 19132416 3825 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4671 3825 1111 63 0 4608 0
vsize: 18684
[startup+710.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3904 0 0 0 70901 107 0 0 25 0 1 0 629641213 19132416 3825 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4671 3825 1111 63 0 4608 0
vsize: 18684
[startup+720.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3911 0 0 0 71900 108 0 0 25 0 1 0 629641213 19132416 3832 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4671 3832 1111 63 0 4608 0
vsize: 18684
[startup+730.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3970 0 0 0 72899 109 0 0 25 0 1 0 629641213 19402752 3891 4294967295 134512640 134714508 3221221776 3221220348 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4737 3891 1111 63 0 4674 0
vsize: 18948
[startup+740.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3975 0 0 0 73898 110 0 0 25 0 1 0 629641213 19402752 3896 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4737 3896 1111 63 0 4674 0
vsize: 18948
[startup+750.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 3985 0 0 0 74897 111 0 0 25 0 1 0 629641213 19402752 3906 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4737 3906 1111 63 0 4674 0
vsize: 18948
[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4000 0 0 0 75896 113 0 0 25 0 1 0 629641213 19537920 3921 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4770 3921 1111 63 0 4707 0
vsize: 19080
[startup+770.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4041 0 0 0 76894 114 0 0 25 0 1 0 629641213 19673088 3962 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4803 3962 1111 63 0 4740 0
vsize: 19212
[startup+780.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4060 0 0 0 77894 115 0 0 25 0 1 0 629641213 19808256 3981 4294967295 134512640 134714508 3221221776 3221220736 134575946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4836 3981 1111 63 0 4773 0
vsize: 19344
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4102 0 0 0 78892 117 0 0 25 0 1 0 629641213 19943424 4023 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4869 4023 1111 63 0 4806 0
vsize: 19476
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4108 0 0 0 79892 118 0 0 25 0 1 0 629641213 19943424 4029 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4869 4029 1111 63 0 4806 0
vsize: 19476
[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4125 0 0 0 80891 119 0 0 25 0 1 0 629641213 20078592 4046 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4902 4046 1111 63 0 4839 0
vsize: 19608
[startup+820.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4134 0 0 0 81890 120 0 0 25 0 1 0 629641213 20078592 4055 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4902 4055 1111 63 0 4839 0
vsize: 19608
[startup+830.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4134 0 0 0 82889 121 0 0 25 0 1 0 629641213 20078592 4055 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4902 4055 1111 63 0 4839 0
vsize: 19608
[startup+840.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4145 0 0 0 83888 122 0 0 25 0 1 0 629641213 20078592 4066 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4902 4066 1111 63 0 4839 0
vsize: 19608
[startup+850.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4158 0 0 0 84887 123 0 0 25 0 1 0 629641213 20213760 4079 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4935 4079 1111 63 0 4872 0
vsize: 19740
[startup+860.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4161 0 0 0 85886 124 0 0 25 0 1 0 629641213 20213760 4082 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4935 4082 1111 63 0 4872 0
vsize: 19740
[startup+870.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4180 0 0 0 86884 127 0 0 25 0 1 0 629641213 20213760 4101 4294967295 134512640 134714508 3221221776 3221220172 1077379924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4935 4101 1111 63 0 4872 0
vsize: 19740
[startup+880.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4186 0 0 0 87883 128 0 0 25 0 1 0 629641213 20348928 4107 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4968 4107 1111 63 0 4905 0
vsize: 19872
[startup+890.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4200 0 0 0 88882 129 0 0 25 0 1 0 629641213 20348928 4121 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4968 4121 1111 63 0 4905 0
vsize: 19872
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4215 0 0 0 89881 130 0 0 25 0 1 0 629641213 20348928 4136 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4968 4136 1111 63 0 4905 0
vsize: 19872
[startup+910.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4221 0 0 0 90879 132 0 0 25 0 1 0 629641213 20475904 4142 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4999 4142 1111 63 0 4936 0
vsize: 19996
[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4245 0 0 0 91879 133 0 0 25 0 1 0 629641213 20475904 4166 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4999 4166 1111 63 0 4936 0
vsize: 19996
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4245 0 0 0 92878 134 0 0 25 0 1 0 629641213 20475904 4166 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4999 4166 1111 63 0 4936 0
vsize: 19996
[startup+940.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4247 0 0 0 93876 135 0 0 25 0 1 0 629641213 20475904 4168 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4999 4168 1111 63 0 4936 0
vsize: 19996
[startup+950.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4247 0 0 0 94875 137 0 0 25 0 1 0 629641213 20475904 4168 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4999 4168 1111 63 0 4936 0
vsize: 19996
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4247 0 0 0 95873 139 0 0 25 0 1 0 629641213 20475904 4168 4294967295 134512640 134714508 3221221776 3221220272 134535397 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4999 4168 1111 63 0 4936 0
vsize: 19996
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4259 0 0 0 96872 141 0 0 25 0 1 0 629641213 20611072 4180 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5032 4180 1111 63 0 4969 0
vsize: 20128
[startup+980.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4267 0 0 0 97871 142 0 0 25 0 1 0 629641213 20611072 4188 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5032 4188 1111 63 0 4969 0
vsize: 20128
[startup+990.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4268 0 0 0 98870 143 0 0 25 0 1 0 629641213 20611072 4189 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5032 4189 1111 63 0 4969 0
vsize: 20128
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4282 0 0 0 99869 144 0 0 25 0 1 0 629641213 20746240 4203 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5065 4203 1111 63 0 5002 0
vsize: 20260
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4282 0 0 0 100867 146 0 0 25 0 1 0 629641213 20746240 4203 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5065 4203 1111 63 0 5002 0
vsize: 20260
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4284 0 0 0 101867 147 0 0 25 0 1 0 629641213 20746240 4205 4294967295 134512640 134714508 3221221776 3221220336 134549730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5065 4205 1111 63 0 5002 0
vsize: 20260
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4299 0 0 0 102865 148 0 0 25 0 1 0 629641213 20746240 4220 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5065 4220 1111 63 0 5002 0
vsize: 20260
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4304 0 0 0 103864 149 0 0 25 0 1 0 629641213 20746240 4225 4294967295 134512640 134714508 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5065 4225 1111 63 0 5002 0
vsize: 20260
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4321 0 0 0 104864 150 0 0 25 0 1 0 629641213 20881408 4242 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5098 4242 1111 63 0 5035 0
vsize: 20392
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4321 0 0 0 105863 152 0 0 25 0 1 0 629641213 20881408 4242 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5098 4242 1111 63 0 5035 0
vsize: 20392
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4321 0 0 0 106860 154 0 0 25 0 1 0 629641213 20881408 4242 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5098 4242 1111 63 0 5035 0
vsize: 20392
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4327 0 0 0 107859 155 0 0 25 0 1 0 629641213 20881408 4248 4294967295 134512640 134714508 3221221776 3221220416 134536695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5098 4248 1111 63 0 5035 0
vsize: 20392
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4348 0 0 0 108858 156 0 0 25 0 1 0 629641213 21016576 4269 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5131 4269 1111 63 0 5068 0
vsize: 20524
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4348 0 0 0 109856 158 0 0 25 0 1 0 629641213 21016576 4269 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5131 4269 1111 63 0 5068 0
vsize: 20524
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4369 0 0 0 110856 159 0 0 25 0 1 0 629641213 21008384 4290 4294967295 134512640 134714508 3221221776 3221220436 134536752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5129 4290 1111 63 0 5066 0
vsize: 20516
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4386 0 0 0 111855 160 0 0 25 0 1 0 629641213 21143552 4307 4294967295 134512640 134714508 3221221776 3221220416 134696069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5162 4307 1111 63 0 5099 0
vsize: 20648
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4401 0 0 0 112855 161 0 0 25 0 1 0 629641213 21143552 4322 4294967295 134512640 134714508 3221221776 3221220368 134549585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5162 4322 1111 63 0 5099 0
vsize: 20648
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4414 0 0 0 113854 161 0 0 25 0 1 0 629641213 21278720 4335 4294967295 134512640 134714508 3221221776 3221220472 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5195 4335 1111 63 0 5132 0
vsize: 20780
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4416 0 0 0 114854 162 0 0 25 0 1 0 629641213 21266432 4337 4294967295 134512640 134714508 3221221776 3221220264 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5192 4337 1111 63 0 5129 0
vsize: 20768
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4423 0 0 0 115853 163 0 0 25 0 1 0 629641213 21266432 4344 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5192 4344 1111 63 0 5129 0
vsize: 20768
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4445 0 0 0 116853 164 0 0 25 0 1 0 629641213 21401600 4366 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5225 4366 1111 63 0 5162 0
vsize: 20900
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 9336
Raw data (stat): 9336 (bsolo_lpr_cuts) R 9335 7876 7672 0 -1 0 4445 0 0 0 116853 164 0 0 25 0 1 0 629641213 21401600 4366 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5225 4366 1111 63 0 5162 0
vsize: 0

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