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-fpga35_35_sat_pb.cnf.cr.opb
MD5SUM	022f43a9cfc62e9c9c77f51c14f8e5bf
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.88771
Number of variables	1838
Total number of constraints	1330
Number of constraints which are clauses	1260
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 40599

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 16:41:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28665 boxname=wulflinc4 idbench=51 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  022f43a9cfc62e9c9c77f51c14f8e5bf  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga35_35_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga35_35_sat_pb.cnf.cr.opb
IDLAUNCH: 28665
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        871716 kB
Buffers:         21452 kB
Cached:         116084 kB
SwapCached:       5196 kB
Active:          25500 kB
Inactive:       118380 kB
HighTotal:      131008 kB
HighFree:        79576 kB
LowTotal:       903652 kB
LowFree:        792140 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13472 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:01:06 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28665 7 1175.02 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 1838 variables and 1330 constraints.
c After prepocess the problem consists of 1838 variables and 1330 constraints.
c preprocess terminated 3.497 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.91 2/54 2010
Raw data (stat): 2010 (runsolver) R 2009 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903144482 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99991 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 1889 0 0 0 990 6 0 0 25 0 1 0 903144482 10919936 1807 4294967295 134512640 134716908 3221224560 3221223176 134542657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2666 1807 1111 63 0 2603 0
vsize: 10664
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 2024 0 0 0 1988 8 0 0 25 0 1 0 903144482 11423744 1942 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2789 1942 1111 63 0 2726 0
vsize: 11156
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 2329 0 0 0 2986 10 0 0 25 0 1 0 903144482 12640256 2247 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3086 2247 1111 63 0 3023 0
vsize: 12344
[startup+40.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 2407 0 0 0 3985 12 0 0 25 0 1 0 903144482 13041664 2325 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 2325 1111 63 0 3121 0
vsize: 12736
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 2567 0 0 0 4983 14 0 0 25 0 1 0 903144482 13709312 2485 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 2485 1111 63 0 3284 0
vsize: 13388
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 2637 0 0 0 5982 15 0 0 25 0 1 0 903144482 13979648 2555 4294967295 134512640 134716908 3221224560 3221223200 134543698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3413 2555 1111 63 0 3350 0
vsize: 13652
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 2681 0 0 0 6981 17 0 0 25 0 1 0 903144482 14114816 2599 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3446 2599 1111 63 0 3383 0
vsize: 13784
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 2717 0 0 0 7979 18 0 0 25 0 1 0 903144482 14249984 2635 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3479 2635 1111 63 0 3416 0
vsize: 13916
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 2760 0 0 0 8978 20 0 0 25 0 1 0 903144482 14385152 2678 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3512 2678 1111 63 0 3449 0
vsize: 14048
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 2803 0 0 0 9976 22 0 0 25 0 1 0 903144482 14655488 2721 4294967295 134512640 134716908 3221224560 3221223328 134592424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3578 2721 1111 63 0 3515 0
vsize: 14312
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3074 0 0 0 10974 24 0 0 25 0 1 0 903144482 15736832 2992 4294967295 134512640 134716908 3221224560 3221223376 134590018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3842 2992 1111 63 0 3779 0
vsize: 15368
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3107 0 0 0 11974 25 0 0 25 0 1 0 903144482 15872000 3025 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3025 1111 63 0 3812 0
vsize: 15500
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3118 0 0 0 12972 26 0 0 25 0 1 0 903144482 15872000 3036 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3036 1111 63 0 3812 0
vsize: 15500
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3118 0 0 0 13972 27 0 0 25 0 1 0 903144482 15872000 3036 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3036 1111 63 0 3812 0
vsize: 15500
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3161 0 0 0 14971 28 0 0 25 0 1 0 903144482 16064512 3079 4294967295 134512640 134716908 3221224560 3221223192 134698702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3922 3079 1111 63 0 3859 0
vsize: 15688
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3186 0 0 0 15969 30 0 0 25 0 1 0 903144482 16199680 3104 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3104 1111 63 0 3892 0
vsize: 15820
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3186 0 0 0 16969 31 0 0 25 0 1 0 903144482 16199680 3104 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3104 1111 63 0 3892 0
vsize: 15820
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3186 0 0 0 17969 31 0 0 25 0 1 0 903144482 16199680 3104 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3104 1111 63 0 3892 0
vsize: 15820
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3186 0 0 0 18968 31 0 0 25 0 1 0 903144482 16199680 3104 4294967295 134512640 134716908 3221224560 3221223120 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3104 1111 63 0 3892 0
vsize: 15820
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3186 0 0 0 19968 32 0 0 25 0 1 0 903144482 16199680 3104 4294967295 134512640 134716908 3221224560 3221223216 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3104 1111 63 0 3892 0
vsize: 15820
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3186 0 0 0 20968 32 0 0 25 0 1 0 903144482 16199680 3104 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3104 1111 63 0 3892 0
vsize: 15820
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3186 0 0 0 21967 33 0 0 25 0 1 0 903144482 16199680 3104 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3104 1111 63 0 3892 0
vsize: 15820
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3199 0 0 0 22967 33 0 0 25 0 1 0 903144482 16199680 3117 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3117 1111 63 0 3892 0
vsize: 15820
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3250 0 0 0 23965 35 0 0 25 0 1 0 903144482 16470016 3168 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4021 3168 1111 63 0 3958 0
vsize: 16084
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3250 0 0 0 24965 36 0 0 25 0 1 0 903144482 16433152 3168 4294967295 134512640 134716908 3221224560 3221223164 134549858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4012 3168 1111 63 0 3949 0
vsize: 16048
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3267 0 0 0 25963 37 0 0 25 0 1 0 903144482 16457728 3185 4294967295 134512640 134716908 3221224560 3221223136 134549807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4018 3185 1111 63 0 3955 0
vsize: 16072
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3267 0 0 0 26962 39 0 0 25 0 1 0 903144482 16457728 3185 4294967295 134512640 134716908 3221224560 3221223344 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4018 3185 1111 63 0 3955 0
vsize: 16072
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3267 0 0 0 27961 40 0 0 25 0 1 0 903144482 16457728 3185 4294967295 134512640 134716908 3221224560 3221222972 1077379840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4018 3185 1111 63 0 3955 0
vsize: 16072
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3267 0 0 0 28959 42 0 0 25 0 1 0 903144482 16457728 3185 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4018 3185 1111 63 0 3955 0
vsize: 16072
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3267 0 0 0 29958 43 0 0 25 0 1 0 903144482 16457728 3185 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4018 3185 1111 63 0 3955 0
vsize: 16072
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3267 0 0 0 30957 44 0 0 25 0 1 0 903144482 16457728 3185 4294967295 134512640 134716908 3221224560 3221223312 134592345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4018 3185 1111 63 0 3955 0
vsize: 16072
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3267 0 0 0 31956 46 0 0 25 0 1 0 903144482 16457728 3185 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4018 3185 1111 63 0 3955 0
vsize: 16072
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3359 0 0 0 32955 47 0 0 25 0 1 0 903144482 16863232 3277 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4117 3277 1111 63 0 4054 0
vsize: 16468
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3420 0 0 0 33954 48 0 0 25 0 1 0 903144482 16998400 3317 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4150 3317 1111 63 0 4087 0
vsize: 16600
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3420 0 0 0 34953 49 0 0 25 0 1 0 903144482 16998400 3317 4294967295 134512640 134716908 3221224560 3221223180 1077377137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4150 3317 1111 63 0 4087 0
vsize: 16600
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3552 0 0 0 35952 50 0 0 25 0 1 0 903144482 17539072 3449 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3449 1111 63 0 4219 0
vsize: 17128
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3567 0 0 0 36951 51 0 0 25 0 1 0 903144482 17674240 3464 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 3464 1111 63 0 4252 0
vsize: 17260
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3567 0 0 0 37951 52 0 0 25 0 1 0 903144482 17674240 3464 4294967295 134512640 134716908 3221224560 3221223168 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 3464 1111 63 0 4252 0
vsize: 17260
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3567 0 0 0 38951 52 0 0 25 0 1 0 903144482 17674240 3464 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 3464 1111 63 0 4252 0
vsize: 17260
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3567 0 0 0 39951 52 0 0 25 0 1 0 903144482 17674240 3464 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 3464 1111 63 0 4252 0
vsize: 17260
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3579 0 0 0 40950 53 0 0 25 0 1 0 903144482 17674240 3476 4294967295 134512640 134716908 3221224560 3221223180 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 3476 1111 63 0 4252 0
vsize: 17260
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3586 0 0 0 41949 54 0 0 25 0 1 0 903144482 17809408 3483 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3483 1111 63 0 4285 0
vsize: 17392
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3592 0 0 0 42949 55 0 0 25 0 1 0 903144482 17731584 3489 4294967295 134512640 134716908 3221224560 3221223224 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4329 3489 1111 63 0 4266 0
vsize: 17316
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3615 0 0 0 43949 55 0 0 25 0 1 0 903144482 17866752 3512 4294967295 134512640 134716908 3221224560 3221223200 134539385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 3512 1111 63 0 4299 0
vsize: 17448
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3616 0 0 0 44948 56 0 0 25 0 1 0 903144482 17866752 3513 4294967295 134512640 134716908 3221224560 3221223208 134543647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 3513 1111 63 0 4299 0
vsize: 17448
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3652 0 0 0 45947 57 0 0 25 0 1 0 903144482 17948672 3549 4294967295 134512640 134716908 3221224560 3221223144 134543647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4382 3549 1111 63 0 4319 0
vsize: 17528
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3680 0 0 0 46947 58 0 0 25 0 1 0 903144482 18071552 3577 4294967295 134512640 134716908 3221224560 3221223200 134698446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4412 3577 1111 63 0 4349 0
vsize: 17648
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3696 0 0 0 47946 59 0 0 25 0 1 0 903144482 18206720 3593 4294967295 134512640 134716908 3221224560 3221223148 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4445 3593 1111 63 0 4382 0
vsize: 17780
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 48945 60 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 49944 61 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223116 134539262 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 50943 62 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 51942 63 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 52941 64 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223152 134549648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 53940 66 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223296 134523971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 54939 67 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 55937 68 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223280 134591847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 56937 69 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 57936 70 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 58935 72 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 59933 73 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 60933 74 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 61931 76 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 62930 77 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 63929 79 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223304 134551632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 64927 80 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223200 134698560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 65927 81 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 66926 82 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223212 134536820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3837 0 0 0 67924 84 0 0 25 0 1 0 903144482 18747392 3734 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3734 1111 63 0 4514 0
vsize: 18308
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 3840 0 0 0 68924 84 0 0 25 0 1 0 903144482 18747392 3737 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3737 1111 63 0 4514 0
vsize: 18308
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4046 0 0 0 69921 87 0 0 25 0 1 0 903144482 19693568 3943 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4808 3943 1111 63 0 4745 0
vsize: 19232
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4073 0 0 0 70920 87 0 0 25 0 1 0 903144482 19693568 3970 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4808 3970 1111 63 0 4745 0
vsize: 19232
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4073 0 0 0 71919 88 0 0 25 0 1 0 903144482 19693568 3970 4294967295 134512640 134716908 3221224560 3221223200 134698727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4808 3970 1111 63 0 4745 0
vsize: 19232
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4076 0 0 0 72919 89 0 0 25 0 1 0 903144482 19693568 3973 4294967295 134512640 134716908 3221224560 3221223184 134698678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4808 3973 1111 63 0 4745 0
vsize: 19232
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4087 0 0 0 73918 89 0 0 25 0 1 0 903144482 19828736 3984 4294967295 134512640 134716908 3221224560 3221223316 134587950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4841 3984 1111 63 0 4778 0
vsize: 19364
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4089 0 0 0 74918 90 0 0 25 0 1 0 903144482 19828736 3986 4294967295 134512640 134716908 3221224560 3221223108 134699033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4841 3986 1111 63 0 4778 0
vsize: 19364
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4123 0 0 0 75917 91 0 0 25 0 1 0 903144482 19963904 4020 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4020 1111 63 0 4811 0
vsize: 19496
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4123 0 0 0 76917 91 0 0 25 0 1 0 903144482 19963904 4020 4294967295 134512640 134716908 3221224560 3221223108 134699077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4020 1111 63 0 4811 0
vsize: 19496
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4123 0 0 0 77917 92 0 0 25 0 1 0 903144482 19963904 4020 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4020 1111 63 0 4811 0
vsize: 19496
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4155 0 0 0 78916 92 0 0 25 0 1 0 903144482 20099072 4052 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4052 1111 63 0 4844 0
vsize: 19628
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4187 0 0 0 79916 93 0 0 25 0 1 0 903144482 20140032 4084 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4917 4084 1111 63 0 4854 0
vsize: 19668
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4210 0 0 0 80915 93 0 0 25 0 1 0 903144482 20275200 4107 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4107 1111 63 0 4887 0
vsize: 19800
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4231 0 0 0 81915 94 0 0 25 0 1 0 903144482 20410368 4128 4294967295 134512640 134716908 3221224560 3221223248 134542980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4128 1111 63 0 4920 0
vsize: 19932
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4249 0 0 0 82915 95 0 0 25 0 1 0 903144482 20410368 4146 4294967295 134512640 134716908 3221224560 3221223288 134558785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4146 1111 63 0 4920 0
vsize: 19932
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4249 0 0 0 83914 95 0 0 25 0 1 0 903144482 20410368 4146 4294967295 134512640 134716908 3221224560 3221223256 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4146 1111 63 0 4920 0
vsize: 19932
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4249 0 0 0 84913 96 0 0 25 0 1 0 903144482 20410368 4146 4294967295 134512640 134716908 3221224560 3221223156 134543731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4146 1111 63 0 4920 0
vsize: 19932
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4249 0 0 0 85913 97 0 0 25 0 1 0 903144482 20410368 4146 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4146 1111 63 0 4920 0
vsize: 19932
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4304 0 0 0 86911 99 0 0 25 0 1 0 903144482 20680704 4201 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5049 4201 1111 63 0 4986 0
vsize: 20196
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4370 0 0 0 87911 100 0 0 25 0 1 0 903144482 20951040 4267 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5115 4267 1111 63 0 5052 0
vsize: 20460
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4417 0 0 0 88908 102 0 0 25 0 1 0 903144482 21082112 4314 4294967295 134512640 134716908 3221224560 3221223384 134590012 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5147 4314 1111 63 0 5084 0
vsize: 20588
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4436 0 0 0 89908 103 0 0 25 0 1 0 903144482 21217280 4333 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5180 4333 1111 63 0 5117 0
vsize: 20720
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4473 0 0 0 90907 104 0 0 25 0 1 0 903144482 21352448 4370 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5213 4370 1111 63 0 5150 0
vsize: 20852
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4473 0 0 0 91906 105 0 0 25 0 1 0 903144482 21352448 4370 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5213 4370 1111 63 0 5150 0
vsize: 20852
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4503 0 0 0 92904 107 0 0 25 0 1 0 903144482 21487616 4400 4294967295 134512640 134716908 3221224560 3221223184 134536675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5246 4400 1111 63 0 5183 0
vsize: 20984
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4543 0 0 0 93904 108 0 0 25 0 1 0 903144482 21622784 4440 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5279 4440 1111 63 0 5216 0
vsize: 21116
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4564 0 0 0 94903 109 0 0 25 0 1 0 903144482 21757952 4461 4294967295 134512640 134716908 3221224560 3221223312 134592371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5312 4461 1111 63 0 5249 0
vsize: 21248
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4598 0 0 0 95902 110 0 0 25 0 1 0 903144482 21893120 4495 4294967295 134512640 134716908 3221224560 3221223168 134549488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 4495 1111 63 0 5282 0
vsize: 21380
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4658 0 0 0 96901 111 0 0 25 0 1 0 903144482 22163456 4555 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 4555 1111 63 0 5348 0
vsize: 21644
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4879 0 0 0 97900 112 0 0 25 0 1 0 903144482 22974464 4776 4294967295 134512640 134716908 3221224560 3221222976 134699605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5609 4776 1111 63 0 5546 0
vsize: 22436
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4930 0 0 0 98899 113 0 0 25 0 1 0 903144482 23244800 4827 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5675 4827 1111 63 0 5612 0
vsize: 22700
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4930 0 0 0 99898 115 0 0 25 0 1 0 903144482 23244800 4827 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5675 4827 1111 63 0 5612 0
vsize: 22700
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4930 0 0 0 100897 116 0 0 25 0 1 0 903144482 23244800 4827 4294967295 134512640 134716908 3221224560 3221223216 134536713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5675 4827 1111 63 0 5612 0
vsize: 22700
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4958 0 0 0 101896 117 0 0 25 0 1 0 903144482 23379968 4855 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5708 4855 1111 63 0 5645 0
vsize: 22832
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4999 0 0 0 102896 118 0 0 25 0 1 0 903144482 23515136 4896 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5741 4896 1111 63 0 5678 0
vsize: 22964
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4999 0 0 0 103895 118 0 0 25 0 1 0 903144482 23515136 4896 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5741 4896 1111 63 0 5678 0
vsize: 22964
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4999 0 0 0 104895 118 0 0 25 0 1 0 903144482 23515136 4896 4294967295 134512640 134716908 3221224560 3221223152 134549773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5741 4896 1111 63 0 5678 0
vsize: 22964
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 4999 0 0 0 105894 120 0 0 25 0 1 0 903144482 23515136 4896 4294967295 134512640 134716908 3221224560 3221223276 134542828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5741 4896 1111 63 0 5678 0
vsize: 22964
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5017 0 0 0 106893 121 0 0 25 0 1 0 903144482 23650304 4914 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5774 4914 1111 63 0 5711 0
vsize: 23096
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5021 0 0 0 107892 122 0 0 25 0 1 0 903144482 23650304 4918 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5774 4918 1111 63 0 5711 0
vsize: 23096
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5021 0 0 0 108891 124 0 0 25 0 1 0 903144482 23650304 4918 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5774 4918 1111 63 0 5711 0
vsize: 23096
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5054 0 0 0 109890 125 0 0 25 0 1 0 903144482 23785472 4951 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4951 1111 63 0 5744 0
vsize: 23228
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2010
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5065 0 0 0 110889 126 0 0 25 0 1 0 903144482 23785472 4962 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4962 1111 63 0 5744 0
vsize: 23228
[startup+1120.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 2063
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5065 0 0 0 111887 127 0 0 25 0 1 0 903144482 23785472 4962 4294967295 134512640 134716908 3221224560 3221223152 134542820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4962 1111 63 0 5744 0
vsize: 23228
[startup+1130.03 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 2063
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5065 0 0 0 112887 128 0 0 25 0 1 0 903144482 23785472 4962 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4962 1111 63 0 5744 0
vsize: 23228
[startup+1140.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 2063
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5065 0 0 0 113886 129 0 0 25 0 1 0 903144482 23785472 4962 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4962 1111 63 0 5744 0
vsize: 23228
[startup+1150.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 2063
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5065 0 0 0 114885 130 0 0 25 0 1 0 903144482 23785472 4962 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4962 1111 63 0 5744 0
vsize: 23228
[startup+1160.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 2063
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5065 0 0 0 115884 131 0 0 25 0 1 0 903144482 23785472 4962 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4962 1111 63 0 5744 0
vsize: 23228
[startup+1170.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2063
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5065 0 0 0 116884 132 0 0 25 0 1 0 903144482 23785472 4962 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4962 1111 63 0 5744 0
vsize: 23228
[startup+1174.89 s]
Raw data (loadavg): 1.03 0.99 0.91 1/53 2063
Raw data (stat): 2010 (bsolo_lpr_cuts-) R 2009 21152 21151 0 -1 0 5065 0 0 0 116884 132 0 0 25 0 1 0 903144482 23785472 4962 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4962 1111 63 0 5744 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.02
CPU user time (s): 1173.68
CPU system time (s): 1.3388
CPU usage (%): 100.012
Max. virtual memory (Kb): 23228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####