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-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
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	46
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	9.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 40604

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 16:53:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28669 boxname=wulflinc1 idbench=55 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 28669
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        860260 kB
Buffers:         22264 kB
Cached:         127892 kB
SwapCached:       1144 kB
Active:          28328 kB
Inactive:       124024 kB
HighTotal:      131008 kB
HighFree:         3948 kB
LowTotal:       903652 kB
LowFree:        856312 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16392 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:13:31 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28669 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 2903 variables and 2066 constraints.
c After prepocess the problem consists of 2903 variables and 2066 constraints.
c preprocess terminated 8.057 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 24468
Raw data (stat): 24468 (runsolver) R 24467 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846371675 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+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2225 0 0 0 991 7 0 0 25 0 1 0 846371675 12300288 2143 4294967295 134512640 134716908 3221224560 3221223116 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3003 2143 1111 63 0 2940 0
vsize: 12012
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2315 0 0 0 1990 8 0 0 25 0 1 0 846371675 12705792 2233 4294967295 134512640 134716908 3221224560 3221223188 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3102 2233 1111 63 0 3039 0
vsize: 12408
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2366 0 0 0 2988 10 0 0 25 0 1 0 846371675 12804096 2284 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3126 2284 1111 63 0 3063 0
vsize: 12504
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2406 0 0 0 3986 12 0 0 25 0 1 0 846371675 13074432 2324 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3192 2324 1111 63 0 3129 0
vsize: 12768
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2451 0 0 0 4985 13 0 0 25 0 1 0 846371675 13209600 2369 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3225 2369 1111 63 0 3162 0
vsize: 12900
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2482 0 0 0 5983 15 0 0 25 0 1 0 846371675 13344768 2400 4294967295 134512640 134716908 3221224560 3221223188 1077374120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3258 2400 1111 63 0 3195 0
vsize: 13032
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2495 0 0 0 6981 17 0 0 25 0 1 0 846371675 13344768 2413 4294967295 134512640 134716908 3221224560 3221223368 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3258 2413 1111 63 0 3195 0
vsize: 13032
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2510 0 0 0 7979 19 0 0 25 0 1 0 846371675 13479936 2428 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 2428 1111 63 0 3228 0
vsize: 13164
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2545 0 0 0 8978 21 0 0 25 0 1 0 846371675 13615104 2463 4294967295 134512640 134716908 3221224560 3221223372 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3324 2463 1111 63 0 3261 0
vsize: 13296
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2593 0 0 0 9975 24 0 0 25 0 1 0 846371675 13733888 2511 4294967295 134512640 134716908 3221224560 3221223328 134592449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2511 1111 63 0 3290 0
vsize: 13412
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2641 0 0 0 10973 26 0 0 25 0 1 0 846371675 13996032 2559 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 2559 1111 63 0 3354 0
vsize: 13668
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2696 0 0 0 11971 28 0 0 25 0 1 0 846371675 14200832 2614 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3467 2614 1111 63 0 3404 0
vsize: 13868
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2740 0 0 0 12970 30 0 0 25 0 1 0 846371675 14336000 2658 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2658 1111 63 0 3437 0
vsize: 14000
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2759 0 0 0 13968 32 0 0 25 0 1 0 846371675 14471168 2677 4294967295 134512640 134716908 3221224560 3221223120 134698901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3533 2677 1111 63 0 3470 0
vsize: 14132
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2801 0 0 0 14967 33 0 0 25 0 1 0 846371675 14606336 2719 4294967295 134512640 134716908 3221224560 3221223260 134534084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3566 2719 1111 63 0 3503 0
vsize: 14264
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2846 0 0 0 15965 34 0 0 25 0 1 0 846371675 14876672 2764 4294967295 134512640 134716908 3221224560 3221222956 1077379930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3632 2764 1111 63 0 3569 0
vsize: 14528
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2877 0 0 0 16964 36 0 0 25 0 1 0 846371675 14876672 2795 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3632 2795 1111 63 0 3569 0
vsize: 14528
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2890 0 0 0 17963 37 0 0 25 0 1 0 846371675 15052800 2808 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3675 2808 1111 63 0 3612 0
vsize: 14700
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2915 0 0 0 18962 39 0 0 25 0 1 0 846371675 15052800 2833 4294967295 134512640 134716908 3221224560 3221223188 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3675 2833 1111 63 0 3612 0
vsize: 14700
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2941 0 0 0 19961 40 0 0 25 0 1 0 846371675 15187968 2859 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3708 2859 1111 63 0 3645 0
vsize: 14832
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2978 0 0 0 20959 41 0 0 25 0 1 0 846371675 15323136 2896 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3741 2896 1111 63 0 3678 0
vsize: 14964
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2988 0 0 0 21958 42 0 0 25 0 1 0 846371675 15458304 2906 4294967295 134512640 134716908 3221224560 3221222956 1077379840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 2906 1111 63 0 3711 0
vsize: 15096
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2988 0 0 0 22958 43 0 0 25 0 1 0 846371675 15458304 2906 4294967295 134512640 134716908 3221224560 3221223296 134591951 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 2906 1111 63 0 3711 0
vsize: 15096
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2988 0 0 0 23956 45 0 0 25 0 1 0 846371675 15458304 2906 4294967295 134512640 134716908 3221224560 3221223200 134698720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 2906 1111 63 0 3711 0
vsize: 15096
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 2988 0 0 0 24955 46 0 0 25 0 1 0 846371675 15458304 2906 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 2906 1111 63 0 3711 0
vsize: 15096
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3002 0 0 0 25954 48 0 0 25 0 1 0 846371675 15413248 2920 4294967295 134512640 134716908 3221224560 3221223168 134549441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2920 1111 63 0 3700 0
vsize: 15052
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3011 0 0 0 26952 49 0 0 25 0 1 0 846371675 15548416 2929 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3796 2929 1111 63 0 3733 0
vsize: 15184
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3011 0 0 0 27951 50 0 0 25 0 1 0 846371675 15548416 2929 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3796 2929 1111 63 0 3733 0
vsize: 15184
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3021 0 0 0 28950 52 0 0 25 0 1 0 846371675 15548416 2939 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3796 2939 1111 63 0 3733 0
vsize: 15184
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3062 0 0 0 29948 54 0 0 25 0 1 0 846371675 15683584 2980 4294967295 134512640 134716908 3221224560 3221223344 134529341 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3829 2980 1111 63 0 3766 0
vsize: 15316
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3079 0 0 0 30947 55 0 0 25 0 1 0 846371675 15814656 2997 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2997 1111 63 0 3798 0
vsize: 15444
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3081 0 0 0 31946 57 0 0 25 0 1 0 846371675 15814656 2999 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2999 1111 63 0 3798 0
vsize: 15444
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3103 0 0 0 32944 59 0 0 25 0 1 0 846371675 15814656 3021 4294967295 134512640 134716908 3221224560 3221223296 134591824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3861 3021 1111 63 0 3798 0
vsize: 15444
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3103 0 0 0 33942 61 0 0 25 0 1 0 846371675 15814656 3021 4294967295 134512640 134716908 3221224560 3221223100 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3861 3021 1111 63 0 3798 0
vsize: 15444
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3103 0 0 0 34941 61 0 0 25 0 1 0 846371675 15814656 3021 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3861 3021 1111 63 0 3798 0
vsize: 15444
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24468
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3126 0 0 0 35939 64 0 0 25 0 1 0 846371675 15941632 3044 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 3044 1111 63 0 3829 0
vsize: 15568
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24521
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3126 0 0 0 36938 65 0 0 25 0 1 0 846371675 15941632 3044 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3044 1111 63 0 3829 0
vsize: 15568
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24521
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3126 0 0 0 37937 66 0 0 25 0 1 0 846371675 15941632 3044 4294967295 134512640 134716908 3221224560 3221223280 1076648048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3044 1111 63 0 3829 0
vsize: 15568
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24521
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3126 0 0 0 38937 67 0 0 25 0 1 0 846371675 15941632 3044 4294967295 134512640 134716908 3221224560 3221223352 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3044 1111 63 0 3829 0
vsize: 15568
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24521
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3152 0 0 0 39936 68 0 0 25 0 1 0 846371675 16076800 3070 4294967295 134512640 134716908 3221224560 3221223264 134528552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3925 3070 1111 63 0 3862 0
vsize: 15700
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24521
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3187 0 0 0 40935 69 0 0 25 0 1 0 846371675 16211968 3105 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3958 3105 1111 63 0 3895 0
vsize: 15832
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24521
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3187 0 0 0 41934 70 0 0 25 0 1 0 846371675 16211968 3105 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3958 3105 1111 63 0 3895 0
vsize: 15832
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24523
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3189 0 0 0 42933 71 0 0 25 0 1 0 846371675 16211968 3107 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3958 3107 1111 63 0 3895 0
vsize: 15832
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3193 0 0 0 43932 72 0 0 25 0 1 0 846371675 16211968 3111 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3958 3111 1111 63 0 3895 0
vsize: 15832
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3232 0 0 0 44931 73 0 0 25 0 1 0 846371675 16347136 3150 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3991 3150 1111 63 0 3928 0
vsize: 15964
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3258 0 0 0 45930 75 0 0 25 0 1 0 846371675 16482304 3176 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 3176 1111 63 0 3961 0
vsize: 16096
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3281 0 0 0 46929 75 0 0 25 0 1 0 846371675 16539648 3199 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4038 3199 1111 63 0 3975 0
vsize: 16152
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3318 0 0 0 47928 77 0 0 25 0 1 0 846371675 16809984 3236 4294967295 134512640 134716908 3221224560 3221223264 134535810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3236 1111 63 0 4041 0
vsize: 16416
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3323 0 0 0 48927 78 0 0 25 0 1 0 846371675 16809984 3241 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3241 1111 63 0 4041 0
vsize: 16416
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3353 0 0 0 49925 80 0 0 25 0 1 0 846371675 16945152 3271 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4137 3271 1111 63 0 4074 0
vsize: 16548
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3367 0 0 0 50924 82 0 0 25 0 1 0 846371675 16945152 3285 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4137 3285 1111 63 0 4074 0
vsize: 16548
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3397 0 0 0 51922 83 0 0 25 0 1 0 846371675 17080320 3315 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4170 3315 1111 63 0 4107 0
vsize: 16680
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3397 0 0 0 52921 84 0 0 25 0 1 0 846371675 17080320 3315 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4170 3315 1111 63 0 4107 0
vsize: 16680
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3397 0 0 0 53920 86 0 0 25 0 1 0 846371675 17080320 3315 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4170 3315 1111 63 0 4107 0
vsize: 16680
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3397 0 0 0 54918 88 0 0 25 0 1 0 846371675 17076224 3315 4294967295 134512640 134716908 3221224560 3221223056 134699764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4169 3315 1111 63 0 4106 0
vsize: 16676
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3445 0 0 0 55917 89 0 0 25 0 1 0 846371675 17211392 3363 4294967295 134512640 134716908 3221224560 3221223216 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3445 0 0 0 56916 90 0 0 25 0 1 0 846371675 17211392 3363 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3445 0 0 0 57915 92 0 0 25 0 1 0 846371675 17211392 3363 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3445 0 0 0 58914 93 0 0 25 0 1 0 846371675 17211392 3363 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3445 0 0 0 59913 94 0 0 25 0 1 0 846371675 17211392 3363 4294967295 134512640 134716908 3221224560 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3445 0 0 0 60913 94 0 0 25 0 1 0 846371675 17211392 3363 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3445 0 0 0 61912 95 0 0 25 0 1 0 846371675 17211392 3363 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3445 0 0 0 62911 96 0 0 25 0 1 0 846371675 17211392 3363 4294967295 134512640 134716908 3221224560 3221223132 134613780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3445 0 0 0 63910 98 0 0 25 0 1 0 846371675 17211392 3363 4294967295 134512640 134716908 3221224560 3221223100 134613756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3469 0 0 0 64909 99 0 0 25 0 1 0 846371675 17346560 3387 4294967295 134512640 134716908 3221224560 3221223328 134592516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 3387 1111 63 0 4172 0
vsize: 16940
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3471 0 0 0 65908 100 0 0 25 0 1 0 846371675 17346560 3389 4294967295 134512640 134716908 3221224560 3221223236 1077374508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 3389 1111 63 0 4172 0
vsize: 16940
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3495 0 0 0 66907 102 0 0 25 0 1 0 846371675 17481728 3413 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3495 0 0 0 67905 104 0 0 25 0 1 0 846371675 17481728 3413 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24525
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3495 0 0 0 68904 104 0 0 25 0 1 0 846371675 17481728 3413 4294967295 134512640 134716908 3221224560 3221223288 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3495 0 0 0 69902 106 0 0 25 0 1 0 846371675 17481728 3413 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3495 0 0 0 70901 108 0 0 25 0 1 0 846371675 17481728 3413 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3495 0 0 0 71901 108 0 0 25 0 1 0 846371675 17481728 3413 4294967295 134512640 134716908 3221224560 3221223308 134558496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3500 0 0 0 72900 109 0 0 25 0 1 0 846371675 17481728 3418 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3418 1111 63 0 4205 0
vsize: 17072
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3500 0 0 0 73899 110 0 0 25 0 1 0 846371675 17481728 3418 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3418 1111 63 0 4205 0
vsize: 17072
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3521 0 0 0 74898 112 0 0 25 0 1 0 846371675 17616896 3439 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4301 3439 1111 63 0 4238 0
vsize: 17204
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3565 0 0 0 75897 113 0 0 25 0 1 0 846371675 17752064 3483 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3483 1111 63 0 4271 0
vsize: 17336
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3565 0 0 0 76896 114 0 0 25 0 1 0 846371675 17752064 3483 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3483 1111 63 0 4271 0
vsize: 17336
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3565 0 0 0 77895 115 0 0 25 0 1 0 846371675 17752064 3483 4294967295 134512640 134716908 3221224560 3221223144 134542787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3483 1111 63 0 4271 0
vsize: 17336
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3565 0 0 0 78894 116 0 0 25 0 1 0 846371675 17752064 3483 4294967295 134512640 134716908 3221224560 3221223192 134536668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3483 1111 63 0 4271 0
vsize: 17336
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3565 0 0 0 79893 117 0 0 25 0 1 0 846371675 17752064 3483 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3483 1111 63 0 4271 0
vsize: 17336
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3603 0 0 0 80893 118 0 0 25 0 1 0 846371675 17887232 3521 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4367 3521 1111 63 0 4304 0
vsize: 17468
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3649 0 0 0 81891 120 0 0 25 0 1 0 846371675 18137088 3567 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4428 3567 1111 63 0 4365 0
vsize: 17712
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3662 0 0 0 82890 121 0 0 25 0 1 0 846371675 18137088 3580 4294967295 134512640 134716908 3221224560 3221223124 134535880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4428 3580 1111 63 0 4365 0
vsize: 17712
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3686 0 0 0 83889 122 0 0 25 0 1 0 846371675 18272256 3604 4294967295 134512640 134716908 3221224560 3221223216 134536724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3604 1111 63 0 4398 0
vsize: 17844
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3686 0 0 0 84887 124 0 0 25 0 1 0 846371675 18272256 3604 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3604 1111 63 0 4398 0
vsize: 17844
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3686 0 0 0 85886 126 0 0 25 0 1 0 846371675 18272256 3604 4294967295 134512640 134716908 3221224560 3221223404 134588103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3604 1111 63 0 4398 0
vsize: 17844
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3700 0 0 0 86884 127 0 0 25 0 1 0 846371675 18272256 3618 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3618 1111 63 0 4398 0
vsize: 17844
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3712 0 0 0 87883 129 0 0 25 0 1 0 846371675 18407424 3630 4294967295 134512640 134716908 3221224560 3221223216 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 3630 1111 63 0 4431 0
vsize: 17976
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3712 0 0 0 88882 131 0 0 25 0 1 0 846371675 18407424 3630 4294967295 134512640 134716908 3221224560 3221223384 134590009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 3630 1111 63 0 4431 0
vsize: 17976
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3730 0 0 0 89881 132 0 0 25 0 1 0 846371675 18391040 3648 4294967295 134512640 134716908 3221224560 3221223260 134534084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4490 3648 1111 63 0 4427 0
vsize: 17960
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3770 0 0 0 90879 133 0 0 25 0 1 0 846371675 18661376 3688 4294967295 134512640 134716908 3221224560 3221223248 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4556 3688 1111 63 0 4493 0
vsize: 18224
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3772 0 0 0 91878 135 0 0 25 0 1 0 846371675 18661376 3690 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4556 3690 1111 63 0 4493 0
vsize: 18224
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3772 0 0 0 92876 136 0 0 25 0 1 0 846371675 18661376 3690 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4556 3690 1111 63 0 4493 0
vsize: 18224
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3775 0 0 0 93876 137 0 0 25 0 1 0 846371675 18612224 3693 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4544 3693 1111 63 0 4481 0
vsize: 18176
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3819 0 0 0 94874 139 0 0 25 0 1 0 846371675 18747392 3737 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3737 1111 63 0 4514 0
vsize: 18308
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3819 0 0 0 95873 140 0 0 25 0 1 0 846371675 18747392 3737 4294967295 134512640 134716908 3221224560 3221223188 1077374168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3737 1111 63 0 4514 0
vsize: 18308
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3819 0 0 0 96872 141 0 0 25 0 1 0 846371675 18747392 3737 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3737 1111 63 0 4514 0
vsize: 18308
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3819 0 0 0 97872 142 0 0 25 0 1 0 846371675 18747392 3737 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3737 1111 63 0 4514 0
vsize: 18308
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3848 0 0 0 98871 143 0 0 25 0 1 0 846371675 18882560 3766 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4610 3766 1111 63 0 4547 0
vsize: 18440
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3848 0 0 0 99870 144 0 0 25 0 1 0 846371675 18882560 3766 4294967295 134512640 134716908 3221224560 3221223132 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4610 3766 1111 63 0 4547 0
vsize: 18440
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3848 0 0 0 100869 145 0 0 25 0 1 0 846371675 18882560 3766 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4610 3766 1111 63 0 4547 0
vsize: 18440
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3852 0 0 0 101869 146 0 0 25 0 1 0 846371675 18882560 3770 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4610 3770 1111 63 0 4547 0
vsize: 18440
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3910 0 0 0 102867 148 0 0 25 0 1 0 846371675 19152896 3828 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4676 3828 1111 63 0 4613 0
vsize: 18704
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3910 0 0 0 103866 149 0 0 25 0 1 0 846371675 19152896 3828 4294967295 134512640 134716908 3221224560 3221222576 134699851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4676 3828 1111 63 0 4613 0
vsize: 18704
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3937 0 0 0 104865 150 0 0 25 0 1 0 846371675 19288064 3855 4294967295 134512640 134716908 3221224560 3221223232 134543724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 3855 1111 63 0 4646 0
vsize: 18836
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3956 0 0 0 105864 151 0 0 25 0 1 0 846371675 19423232 3874 4294967295 134512640 134716908 3221224560 3221223312 134592345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4742 3874 1111 63 0 4679 0
vsize: 18968
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 3978 0 0 0 106863 153 0 0 25 0 1 0 846371675 19423232 3896 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4742 3896 1111 63 0 4679 0
vsize: 18968
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4009 0 0 0 107862 154 0 0 25 0 1 0 846371675 19558400 3927 4294967295 134512640 134716908 3221224560 3221223304 134675300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4775 3927 1111 63 0 4712 0
vsize: 19100
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4021 0 0 0 108861 155 0 0 25 0 1 0 846371675 19693568 3939 4294967295 134512640 134716908 3221224560 3221223252 134534132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4808 3939 1111 63 0 4745 0
vsize: 19232
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4031 0 0 0 109860 156 0 0 25 0 1 0 846371675 19693568 3949 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4808 3949 1111 63 0 4745 0
vsize: 19232
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4060 0 0 0 110859 157 0 0 25 0 1 0 846371675 19828736 3978 4294967295 134512640 134716908 3221224560 3221223236 1077374514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4841 3978 1111 63 0 4778 0
vsize: 19364
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4084 0 0 0 111857 159 0 0 25 0 1 0 846371675 19828736 4002 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4841 4002 1111 63 0 4778 0
vsize: 19364
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4100 0 0 0 112856 160 0 0 25 0 1 0 846371675 19963904 4018 4294967295 134512640 134716908 3221224560 3221223232 134542968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4018 1111 63 0 4811 0
vsize: 19496
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4114 0 0 0 113856 161 0 0 25 0 1 0 846371675 19963904 4032 4294967295 134512640 134716908 3221224560 3221223344 134529126 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4032 1111 63 0 4811 0
vsize: 19496
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4129 0 0 0 114855 162 0 0 25 0 1 0 846371675 20099072 4047 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4047 1111 63 0 4844 0
vsize: 19628
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4151 0 0 0 115854 163 0 0 25 0 1 0 846371675 20099072 4069 4294967295 134512640 134716908 3221224560 3221223300 134591993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4069 1111 63 0 4844 0
vsize: 19628
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4164 0 0 0 116853 164 0 0 25 0 1 0 846371675 20234240 4082 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4940 4082 1111 63 0 4877 0
vsize: 19760
[startup+1174.85 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24527
Raw data (stat): 24468 (bsolo_lpr_cuts-) R 24467 8378 8377 0 -1 0 4164 0 0 0 116853 164 0 0 25 0 1 0 846371675 20234240 4082 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4940 4082 1111 63 0 4877 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.02
CPU user time (s): 1173.36
CPU system time (s): 1.65375
CPU usage (%): 100.014
Max. virtual memory (Kb): 19760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####