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-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM	c84a64f67029a09ef823a1b3017b5713
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	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.562914
Number of variables	900
Total number of constraints	673
Number of constraints which are clauses	624
Number of constraints which are cardinality constraints (but not clauses)	49
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 40592

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 16:19:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28658 boxname=wulflinc5 idbench=44 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c84a64f67029a09ef823a1b3017b5713  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga25_24_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga25_24_sat_pb.cnf.cr.opb
IDLAUNCH: 28658
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        851840 kB
Buffers:         20548 kB
Cached:         140852 kB
SwapCached:        644 kB
Active:          24244 kB
Inactive:       139224 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        851588 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13716 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:38:48 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28658 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 900 variables and 673 constraints.
c After prepocess the problem consists of 900 variables and 673 constraints.
c preprocess terminated 0.946 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.92 0.95 0.90 2/54 20668
Raw data (stat): 20668 (runsolver) R 20667 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903020277 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.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 1908 0 0 0 990 7 0 0 25 0 1 0 903020277 10887168 1826 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2658 1826 1111 63 0 2595 0
vsize: 10632
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 2235 0 0 0 1987 10 0 0 25 0 1 0 903020277 12214272 2153 4294967295 134512640 134716908 3221224560 3221223152 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2982 2153 1111 63 0 2919 0
vsize: 11928
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 2391 0 0 0 2986 11 0 0 25 0 1 0 903020277 12873728 2309 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 2309 1111 63 0 3080 0
vsize: 12572
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 2628 0 0 0 3984 13 0 0 25 0 1 0 903020277 13819904 2546 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2546 1111 63 0 3311 0
vsize: 13496
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 2962 0 0 0 4982 15 0 0 25 0 1 0 903020277 15282176 2880 4294967295 134512640 134716908 3221224560 3221223152 134549555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3731 2880 1111 63 0 3668 0
vsize: 14924
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3136 0 0 0 5981 17 0 0 25 0 1 0 903020277 15958016 3054 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3896 3054 1111 63 0 3833 0
vsize: 15584
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3239 0 0 0 6979 19 0 0 25 0 1 0 903020277 16359424 3157 4294967295 134512640 134716908 3221224560 3221223212 134536769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3994 3157 1111 63 0 3931 0
vsize: 15976
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3295 0 0 0 7978 20 0 0 25 0 1 0 903020277 16625664 3213 4294967295 134512640 134716908 3221224560 3221223216 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 3213 1111 63 0 3996 0
vsize: 16236
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3366 0 0 0 8977 21 0 0 25 0 1 0 903020277 16896000 3284 4294967295 134512640 134716908 3221224560 3221223328 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4125 3284 1111 63 0 4062 0
vsize: 16500
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3399 0 0 0 9976 22 0 0 25 0 1 0 903020277 17018880 3317 4294967295 134512640 134716908 3221224560 3221223376 134590194 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4155 3317 1111 63 0 4092 0
vsize: 16620
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3468 0 0 0 10975 24 0 0 25 0 1 0 903020277 17276928 3386 4294967295 134512640 134716908 3221224560 3221223200 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 3386 1111 63 0 4155 0
vsize: 16872
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3545 0 0 0 11973 26 0 0 25 0 1 0 903020277 17678336 3463 4294967295 134512640 134716908 3221224560 3221223188 134698579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3463 1111 63 0 4253 0
vsize: 17264
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3617 0 0 0 12972 27 0 0 25 0 1 0 903020277 17940480 3535 4294967295 134512640 134716908 3221224560 3221223248 134542851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4380 3535 1111 63 0 4317 0
vsize: 17520
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3670 0 0 0 13972 28 0 0 25 0 1 0 903020277 18075648 3588 4294967295 134512640 134716908 3221224560 3221223288 134535787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4413 3588 1111 63 0 4350 0
vsize: 17652
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3724 0 0 0 14971 28 0 0 25 0 1 0 903020277 18317312 3642 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4472 3642 1111 63 0 4409 0
vsize: 17888
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3763 0 0 0 15971 29 0 0 25 0 1 0 903020277 18587648 3681 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4538 3681 1111 63 0 4475 0
vsize: 18152
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3825 0 0 0 16970 30 0 0 25 0 1 0 903020277 18722816 3743 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3743 1111 63 0 4508 0
vsize: 18284
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3839 0 0 0 17969 31 0 0 25 0 1 0 903020277 18857984 3757 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4604 3757 1111 63 0 4541 0
vsize: 18416
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3866 0 0 0 18969 31 0 0 25 0 1 0 903020277 18989056 3784 4294967295 134512640 134716908 3221224560 3221223212 134536845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3784 1111 63 0 4573 0
vsize: 18544
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3888 0 0 0 19968 33 0 0 25 0 1 0 903020277 18989056 3806 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3806 1111 63 0 4573 0
vsize: 18544
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3906 0 0 0 20967 34 0 0 25 0 1 0 903020277 19111936 3824 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4666 3824 1111 63 0 4603 0
vsize: 18664
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3936 0 0 0 21966 35 0 0 25 0 1 0 903020277 19238912 3854 4294967295 134512640 134716908 3221224560 3221223308 134675317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3854 1111 63 0 4634 0
vsize: 18788
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3953 0 0 0 22966 36 0 0 25 0 1 0 903020277 19238912 3871 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3871 1111 63 0 4634 0
vsize: 18788
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3958 0 0 0 23965 36 0 0 25 0 1 0 903020277 19369984 3876 4294967295 134512640 134716908 3221224560 3221223132 134535671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4729 3876 1111 63 0 4666 0
vsize: 18916
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 3972 0 0 0 24964 38 0 0 25 0 1 0 903020277 19369984 3890 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4729 3890 1111 63 0 4666 0
vsize: 18916
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4181 0 0 0 25962 39 0 0 25 0 1 0 903020277 20180992 4099 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4927 4099 1111 63 0 4864 0
vsize: 19708
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4217 0 0 0 26962 40 0 0 25 0 1 0 903020277 20316160 4135 4294967295 134512640 134716908 3221224560 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4960 4135 1111 63 0 4897 0
vsize: 19840
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4228 0 0 0 27961 41 0 0 25 0 1 0 903020277 20447232 4146 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 4146 1111 63 0 4929 0
vsize: 19968
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4232 0 0 0 28960 42 0 0 25 0 1 0 903020277 20447232 4150 4294967295 134512640 134716908 3221224560 3221223200 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 4150 1111 63 0 4929 0
vsize: 19968
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4267 0 0 0 29959 43 0 0 25 0 1 0 903020277 20582400 4185 4294967295 134512640 134716908 3221224560 3221223236 1077374550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5025 4185 1111 63 0 4962 0
vsize: 20100
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4327 0 0 0 30959 44 0 0 25 0 1 0 903020277 20852736 4245 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5091 4245 1111 63 0 5028 0
vsize: 20364
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4362 0 0 0 31958 45 0 0 25 0 1 0 903020277 20987904 4280 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5124 4280 1111 63 0 5061 0
vsize: 20496
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4376 0 0 0 32957 46 0 0 25 0 1 0 903020277 20987904 4294 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5124 4294 1111 63 0 5061 0
vsize: 20496
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4376 0 0 0 33956 47 0 0 25 0 1 0 903020277 20987904 4294 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5124 4294 1111 63 0 5061 0
vsize: 20496
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4395 0 0 0 34956 48 0 0 25 0 1 0 903020277 21123072 4313 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 4313 1111 63 0 5094 0
vsize: 20628
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4422 0 0 0 35955 49 0 0 25 0 1 0 903020277 21258240 4340 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5190 4340 1111 63 0 5127 0
vsize: 20760
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4448 0 0 0 36954 49 0 0 25 0 1 0 903020277 21393408 4366 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4366 1111 63 0 5160 0
vsize: 20892
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4458 0 0 0 37954 50 0 0 25 0 1 0 903020277 21393408 4376 4294967295 134512640 134716908 3221224560 3221222996 1077374469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4376 1111 63 0 5160 0
vsize: 20892
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4458 0 0 0 38953 51 0 0 25 0 1 0 903020277 21393408 4376 4294967295 134512640 134716908 3221224560 3221223212 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4376 1111 63 0 5160 0
vsize: 20892
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4513 0 0 0 39952 52 0 0 25 0 1 0 903020277 21528576 4431 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4431 1111 63 0 5193 0
vsize: 21024
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4513 0 0 0 40952 53 0 0 25 0 1 0 903020277 21528576 4431 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4431 1111 63 0 5193 0
vsize: 21024
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4615 0 0 0 41951 53 0 0 25 0 1 0 903020277 22069248 4533 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4533 1111 63 0 5325 0
vsize: 21552
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4626 0 0 0 42951 54 0 0 25 0 1 0 903020277 22069248 4544 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4544 1111 63 0 5325 0
vsize: 21552
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4685 0 0 0 43950 55 0 0 25 0 1 0 903020277 22339584 4603 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5454 4603 1111 63 0 5391 0
vsize: 21816
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4698 0 0 0 44949 57 0 0 25 0 1 0 903020277 22339584 4616 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5454 4616 1111 63 0 5391 0
vsize: 21816
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4703 0 0 0 45948 57 0 0 25 0 1 0 903020277 22339584 4621 4294967295 134512640 134716908 3221224560 3221223240 134542961 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5454 4621 1111 63 0 5391 0
vsize: 21816
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4729 0 0 0 46948 58 0 0 25 0 1 0 903020277 22474752 4647 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5487 4647 1111 63 0 5424 0
vsize: 21948
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4733 0 0 0 47947 59 0 0 25 0 1 0 903020277 22474752 4651 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5487 4651 1111 63 0 5424 0
vsize: 21948
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4770 0 0 0 48947 59 0 0 25 0 1 0 903020277 22581248 4688 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4688 1111 63 0 5450 0
vsize: 22052
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4770 0 0 0 49946 60 0 0 25 0 1 0 903020277 22581248 4688 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4688 1111 63 0 5450 0
vsize: 22052
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4770 0 0 0 50946 61 0 0 25 0 1 0 903020277 22581248 4688 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4688 1111 63 0 5450 0
vsize: 22052
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4770 0 0 0 51945 61 0 0 25 0 1 0 903020277 22581248 4688 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4688 1111 63 0 5450 0
vsize: 22052
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4770 0 0 0 52944 63 0 0 25 0 1 0 903020277 22581248 4688 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4688 1111 63 0 5450 0
vsize: 22052
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4798 0 0 0 53944 63 0 0 25 0 1 0 903020277 22818816 4716 4294967295 134512640 134716908 3221224560 3221223128 1077377239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5571 4716 1111 63 0 5508 0
vsize: 22284
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4839 0 0 0 54943 64 0 0 25 0 1 0 903020277 22953984 4757 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5604 4757 1111 63 0 5541 0
vsize: 22416
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4921 0 0 0 55942 65 0 0 25 0 1 0 903020277 23224320 4839 4294967295 134512640 134716908 3221224560 3221223232 134542977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5670 4839 1111 63 0 5607 0
vsize: 22680
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 4946 0 0 0 56942 66 0 0 25 0 1 0 903020277 23359488 4864 4294967295 134512640 134716908 3221224560 3221223200 134539419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5703 4864 1111 63 0 5640 0
vsize: 22812
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5061 0 0 0 57940 68 0 0 25 0 1 0 903020277 23900160 4979 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4979 1111 63 0 5772 0
vsize: 23340
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5285 0 0 0 58939 69 0 0 25 0 1 0 903020277 24711168 5203 4294967295 134512640 134716908 3221224560 3221223260 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6033 5203 1111 63 0 5970 0
vsize: 24132
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5342 0 0 0 59938 70 0 0 25 0 1 0 903020277 24973312 5260 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6097 5260 1111 63 0 6034 0
vsize: 24388
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5366 0 0 0 60937 71 0 0 25 0 1 0 903020277 25108480 5284 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6130 5284 1111 63 0 6067 0
vsize: 24520
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5424 0 0 0 61936 72 0 0 25 0 1 0 903020277 25378816 5342 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5342 1111 63 0 6133 0
vsize: 24784
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5480 0 0 0 62936 73 0 0 25 0 1 0 903020277 25513984 5398 4294967295 134512640 134716908 3221224560 3221223324 134675442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6229 5398 1111 63 0 6166 0
vsize: 24916
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5576 0 0 0 63935 74 0 0 25 0 1 0 903020277 25919488 5494 4294967295 134512640 134716908 3221224560 3221223296 134558542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6328 5494 1111 63 0 6265 0
vsize: 25312
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5643 0 0 0 64934 75 0 0 25 0 1 0 903020277 26189824 5561 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6394 5561 1111 63 0 6331 0
vsize: 25576
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5665 0 0 0 65934 75 0 0 25 0 1 0 903020277 26324992 5583 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6427 5583 1111 63 0 6364 0
vsize: 25708
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5842 0 0 0 66933 76 0 0 25 0 1 0 903020277 27103232 5760 4294967295 134512640 134716908 3221224560 3221223136 134549640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6617 5760 1111 63 0 6554 0
vsize: 26468
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5888 0 0 0 67932 77 0 0 25 0 1 0 903020277 27238400 5806 4294967295 134512640 134716908 3221224560 3221223188 1077374110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6650 5806 1111 63 0 6587 0
vsize: 26600
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 5948 0 0 0 68931 78 0 0 25 0 1 0 903020277 27508736 5866 4294967295 134512640 134716908 3221224560 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6716 5866 1111 63 0 6653 0
vsize: 26864
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6007 0 0 0 69931 79 0 0 25 0 1 0 903020277 27779072 5925 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5925 1111 63 0 6719 0
vsize: 27128
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6056 0 0 0 70930 80 0 0 25 0 1 0 903020277 27914240 5974 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6815 5974 1111 63 0 6752 0
vsize: 27260
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6076 0 0 0 71929 81 0 0 25 0 1 0 903020277 28016640 5994 4294967295 134512640 134716908 3221224560 3221223260 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6840 5994 1111 63 0 6777 0
vsize: 27360
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6094 0 0 0 72929 82 0 0 25 0 1 0 903020277 28016640 6012 4294967295 134512640 134716908 3221224560 3221223284 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6840 6012 1111 63 0 6777 0
vsize: 27360
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6151 0 0 0 73928 83 0 0 25 0 1 0 903020277 28286976 6069 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6906 6069 1111 63 0 6843 0
vsize: 27624
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6164 0 0 0 74927 83 0 0 25 0 1 0 903020277 28422144 6082 4294967295 134512640 134716908 3221224560 3221223216 134524132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6082 1111 63 0 6876 0
vsize: 27756
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6198 0 0 0 75926 85 0 0 25 0 1 0 903020277 28557312 6116 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6972 6116 1111 63 0 6909 0
vsize: 27888
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6213 0 0 0 76925 86 0 0 25 0 1 0 903020277 28549120 6131 4294967295 134512640 134716908 3221224560 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6970 6131 1111 63 0 6907 0
vsize: 27880
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6265 0 0 0 77924 87 0 0 25 0 1 0 903020277 28819456 6183 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7036 6183 1111 63 0 6973 0
vsize: 28144
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6293 0 0 0 78924 88 0 0 25 0 1 0 903020277 28913664 6211 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6211 1111 63 0 6996 0
vsize: 28236
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6293 0 0 0 79923 89 0 0 25 0 1 0 903020277 28913664 6211 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6211 1111 63 0 6996 0
vsize: 28236
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6300 0 0 0 80922 90 0 0 25 0 1 0 903020277 28913664 6218 4294967295 134512640 134716908 3221224560 3221223152 134549780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6218 1111 63 0 6996 0
vsize: 28236
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6301 0 0 0 81922 90 0 0 25 0 1 0 903020277 28913664 6219 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6219 1111 63 0 6996 0
vsize: 28236
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6330 0 0 0 82921 91 0 0 25 0 1 0 903020277 29028352 6248 4294967295 134512640 134716908 3221224560 3221223128 1077377229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 6248 1111 63 0 7024 0
vsize: 28348
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6330 0 0 0 83921 91 0 0 25 0 1 0 903020277 29024256 6248 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7086 6248 1111 63 0 7023 0
vsize: 28344
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6352 0 0 0 84921 92 0 0 25 0 1 0 903020277 29159424 6270 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7119 6270 1111 63 0 7056 0
vsize: 28476
[startup+860.019 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6361 0 0 0 85920 93 0 0 25 0 1 0 903020277 29151232 6279 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7117 6279 1111 63 0 7054 0
vsize: 28468
[startup+870.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6384 0 0 0 86919 94 0 0 25 0 1 0 903020277 29286400 6302 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7150 6302 1111 63 0 7087 0
vsize: 28600
[startup+880.019 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6406 0 0 0 87919 94 0 0 25 0 1 0 903020277 29286400 6324 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7150 6324 1111 63 0 7087 0
vsize: 28600
[startup+890.019 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6406 0 0 0 88918 96 0 0 25 0 1 0 903020277 29286400 6324 4294967295 134512640 134716908 3221224560 3221223024 1077378571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7150 6324 1111 63 0 7087 0
vsize: 28600
[startup+900.019 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6410 0 0 0 89918 96 0 0 25 0 1 0 903020277 29417472 6328 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7182 6328 1111 63 0 7119 0
vsize: 28728
[startup+910.02 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6505 0 0 0 90917 96 0 0 25 0 1 0 903020277 29790208 6423 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6423 1111 63 0 7210 0
vsize: 29092
[startup+920.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6506 0 0 0 91917 97 0 0 25 0 1 0 903020277 29790208 6424 4294967295 134512640 134716908 3221224560 3221223120 134535493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6424 1111 63 0 7210 0
vsize: 29092
[startup+930.02 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6506 0 0 0 92916 98 0 0 25 0 1 0 903020277 29790208 6424 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6424 1111 63 0 7210 0
vsize: 29092
[startup+940.021 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6506 0 0 0 93916 98 0 0 25 0 1 0 903020277 29790208 6424 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6424 1111 63 0 7210 0
vsize: 29092
[startup+950.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6518 0 0 0 94916 99 0 0 25 0 1 0 903020277 29790208 6436 4294967295 134512640 134716908 3221224560 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6436 1111 63 0 7210 0
vsize: 29092
[startup+960.021 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6532 0 0 0 95915 100 0 0 25 0 1 0 903020277 29925376 6450 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 6450 1111 63 0 7243 0
vsize: 29224
[startup+970.021 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6543 0 0 0 96915 100 0 0 25 0 1 0 903020277 29925376 6461 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 6461 1111 63 0 7243 0
vsize: 29224
[startup+980.021 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6551 0 0 0 97914 101 0 0 25 0 1 0 903020277 29925376 6469 4294967295 134512640 134716908 3221224560 3221223200 134539455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 6469 1111 63 0 7243 0
vsize: 29224
[startup+990.022 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6569 0 0 0 98914 102 0 0 25 0 1 0 903020277 30060544 6487 4294967295 134512640 134716908 3221224560 3221223284 134613716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6487 1111 63 0 7276 0
vsize: 29356
[startup+1000.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6583 0 0 0 99913 102 0 0 25 0 1 0 903020277 30060544 6501 4294967295 134512640 134716908 3221224560 3221223312 134592345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6501 1111 63 0 7276 0
vsize: 29356
[startup+1010.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6583 0 0 0 100913 103 0 0 25 0 1 0 903020277 30060544 6501 4294967295 134512640 134716908 3221224560 3221222952 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6501 1111 63 0 7276 0
vsize: 29356
[startup+1020.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6602 0 0 0 101912 104 0 0 25 0 1 0 903020277 30195712 6520 4294967295 134512640 134716908 3221224560 3221223256 134542982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7372 6520 1111 63 0 7309 0
vsize: 29488
[startup+1030.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6637 0 0 0 102912 104 0 0 25 0 1 0 903020277 30330880 6555 4294967295 134512640 134716908 3221224560 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6555 1111 63 0 7342 0
vsize: 29620
[startup+1040.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6640 0 0 0 103912 105 0 0 25 0 1 0 903020277 30330880 6558 4294967295 134512640 134716908 3221224560 3221223344 134529404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6558 1111 63 0 7342 0
vsize: 29620
[startup+1050.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6640 0 0 0 104911 106 0 0 25 0 1 0 903020277 30330880 6558 4294967295 134512640 134716908 3221224560 3221223108 134699041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6558 1111 63 0 7342 0
vsize: 29620
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6640 0 0 0 105911 106 0 0 25 0 1 0 903020277 30330880 6558 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6558 1111 63 0 7342 0
vsize: 29620
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6641 0 0 0 106910 107 0 0 25 0 1 0 903020277 30330880 6559 4294967295 134512640 134716908 3221224560 3221223200 134698415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6559 1111 63 0 7342 0
vsize: 29620
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6641 0 0 0 107910 107 0 0 25 0 1 0 903020277 30330880 6559 4294967295 134512640 134716908 3221224560 3221223240 134523849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6559 1111 63 0 7342 0
vsize: 29620
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6641 0 0 0 108909 108 0 0 25 0 1 0 903020277 30330880 6559 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6559 1111 63 0 7342 0
vsize: 29620
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6651 0 0 0 109908 109 0 0 25 0 1 0 903020277 30330880 6569 4294967295 134512640 134716908 3221224560 3221223184 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6569 1111 63 0 7342 0
vsize: 29620
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6656 0 0 0 110908 110 0 0 25 0 1 0 903020277 30330880 6574 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6574 1111 63 0 7342 0
vsize: 29620
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6658 0 0 0 111907 111 0 0 25 0 1 0 903020277 30330880 6576 4294967295 134512640 134716908 3221224560 3221223200 134524203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6576 1111 63 0 7342 0
vsize: 29620
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6658 0 0 0 112906 112 0 0 25 0 1 0 903020277 30330880 6576 4294967295 134512640 134716908 3221224560 3221223216 134536591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6576 1111 63 0 7342 0
vsize: 29620
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6663 0 0 0 113905 113 0 0 25 0 1 0 903020277 30466048 6581 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6581 1111 63 0 7375 0
vsize: 29752
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6675 0 0 0 114905 114 0 0 25 0 1 0 903020277 30461952 6593 4294967295 134512640 134716908 3221224560 3221223044 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6593 1111 63 0 7374 0
vsize: 29748
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6693 0 0 0 115904 115 0 0 25 0 1 0 903020277 30461952 6611 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6611 1111 63 0 7374 0
vsize: 29748
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6693 0 0 0 116904 115 0 0 25 0 1 0 903020277 30461952 6611 4294967295 134512640 134716908 3221224560 3221223200 134542312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6611 1111 63 0 7374 0
vsize: 29748
[startup+1174.86 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 20668
Raw data (stat): 20668 (bsolo_lpr_cuts-) R 20667 7266 7265 0 -1 0 6693 0 0 0 116904 115 0 0 25 0 1 0 903020277 30461952 6611 4294967295 134512640 134716908 3221224560 3221223200 134542312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6611 1111 63 0 7374 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.03
CPU user time (s): 1173.85
CPU system time (s): 1.17182
CPU usage (%): 100.015
Max. virtual memory (Kb): 29752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####