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-chnl35_45_pb.cnf.cr.opb
MD5SUM	1f5fb3c191c2c77719f10f35e4f5f992
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.094985
Number of variables	3150
Total number of constraints	160
Number of constraints which are clauses	90
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	35
Maximum length of a constraint	45
Trace number 40564

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 14:53:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28630 boxname=wulflinc6 idbench=16 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  1f5fb3c191c2c77719f10f35e4f5f992  /oldhome/oroussel/tmp/wulflinc6/normalized-chnl35_45_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl35_45_pb.cnf.cr.opb
IDLAUNCH: 28630
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        603304 kB
Buffers:         29752 kB
Cached:         380708 kB
SwapCached:        940 kB
Active:          41972 kB
Inactive:       370516 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        603052 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13220 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:12:35 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28630 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 3150 variables and 160 constraints.
c After prepocess the problem consists of 3150 variables and 160 constraints.
c preprocess terminated 1.264 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.91 2/54 31940
Raw data (stat): 31940 (runsolver) R 31939 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902501993 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 1662 0 0 0 991 6 0 0 25 0 1 0 902501993 9945088 1580 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1581 1111 63 0 2365 0
vsize: 9712
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 1963 0 0 0 1989 8 0 0 25 0 1 0 902501993 11284480 1881 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2755 1881 1111 63 0 2692 0
vsize: 11020
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2036 0 0 0 2988 9 0 0 25 0 1 0 902501993 11554816 1954 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2821 1954 1111 63 0 2758 0
vsize: 11284
[startup+39.9994 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2189 0 0 0 3987 11 0 0 25 0 1 0 902501993 12083200 2107 4294967295 134512640 134716908 3221224560 3221223184 134698377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2950 2107 1111 63 0 2887 0
vsize: 11800
[startup+50 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2236 0 0 0 4985 13 0 0 25 0 1 0 902501993 12353536 2154 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2154 1111 63 0 2953 0
vsize: 12064
[startup+59.9997 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2271 0 0 0 5984 14 0 0 25 0 1 0 902501993 12488704 2189 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2189 1111 63 0 2986 0
vsize: 12196
[startup+69.9999 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2298 0 0 0 6984 15 0 0 25 0 1 0 902501993 12623872 2216 4294967295 134512640 134716908 3221224560 3221223456 134588477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3082 2216 1111 63 0 3019 0
vsize: 12328
[startup+80.0004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2305 0 0 0 7983 16 0 0 25 0 1 0 902501993 12623872 2223 4294967295 134512640 134716908 3221224560 3221223044 134699551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3082 2223 1111 63 0 3019 0
vsize: 12328
[startup+90.0002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2324 0 0 0 8981 18 0 0 25 0 1 0 902501993 12759040 2242 4294967295 134512640 134716908 3221224560 3221223248 134524586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3115 2242 1111 63 0 3052 0
vsize: 12460
[startup+99.9993 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2355 0 0 0 9980 19 0 0 25 0 1 0 902501993 12894208 2273 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3148 2273 1111 63 0 3085 0
vsize: 12592
[startup+110 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2371 0 0 0 10980 20 0 0 25 0 1 0 902501993 12869632 2289 4294967295 134512640 134716908 3221224560 3221223328 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3142 2289 1111 63 0 3079 0
vsize: 12568
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2410 0 0 0 11978 22 0 0 25 0 1 0 902501993 13004800 2328 4294967295 134512640 134716908 3221224560 3221223056 134535468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2328 1111 63 0 3112 0
vsize: 12700
[startup+129.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2429 0 0 0 12977 24 0 0 25 0 1 0 902501993 13139968 2347 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2347 1111 63 0 3145 0
vsize: 12832
[startup+139.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2471 0 0 0 13975 26 0 0 25 0 1 0 902501993 13275136 2389 4294967295 134512640 134716908 3221224560 3221223320 134552633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2389 1111 63 0 3178 0
vsize: 12964
[startup+149.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2488 0 0 0 14974 27 0 0 25 0 1 0 902501993 13402112 2406 4294967295 134512640 134716908 3221224560 3221223232 1076647554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3272 2406 1111 63 0 3209 0
vsize: 13088
[startup+159.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2665 0 0 0 15972 29 0 0 25 0 1 0 902501993 14077952 2583 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3437 2583 1111 63 0 3374 0
vsize: 13748
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2798 0 0 0 16971 31 0 0 25 0 1 0 902501993 14614528 2716 4294967295 134512640 134716908 3221224560 3221223204 134536691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3568 2716 1111 63 0 3505 0
vsize: 14272
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2880 0 0 0 17969 33 0 0 25 0 1 0 902501993 15020032 2798 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2798 1111 63 0 3604 0
vsize: 14668
[startup+189.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 2924 0 0 0 18968 34 0 0 25 0 1 0 902501993 15155200 2842 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3700 2842 1111 63 0 3637 0
vsize: 14800
[startup+199.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3007 0 0 0 19966 36 0 0 25 0 1 0 902501993 15560704 2925 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 2925 1111 63 0 3736 0
vsize: 15196
[startup+209.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3021 0 0 0 20966 37 0 0 25 0 1 0 902501993 15560704 2939 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 2939 1111 63 0 3736 0
vsize: 15196
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3075 0 0 0 21965 39 0 0 25 0 1 0 902501993 15831040 2993 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3865 2993 1111 63 0 3802 0
vsize: 15460
[startup+229.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3111 0 0 0 22963 40 0 0 25 0 1 0 902501993 15949824 3029 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3029 1111 63 0 3831 0
vsize: 15576
[startup+239.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3138 0 0 0 23963 42 0 0 25 0 1 0 902501993 16084992 3056 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3056 1111 63 0 3864 0
vsize: 15708
[startup+249.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3202 0 0 0 24961 44 0 0 25 0 1 0 902501993 16355328 3120 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3993 3120 1111 63 0 3930 0
vsize: 15972
[startup+259.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3295 0 0 0 25959 46 0 0 25 0 1 0 902501993 16625664 3213 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3213 1111 63 0 3996 0
vsize: 16236
[startup+269.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3402 0 0 0 26958 47 0 0 25 0 1 0 902501993 17158144 3320 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4189 3320 1111 63 0 4126 0
vsize: 16756
[startup+279.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3488 0 0 0 27956 49 0 0 25 0 1 0 902501993 17428480 3406 4294967295 134512640 134716908 3221224560 3221223328 134592140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4255 3406 1111 63 0 4192 0
vsize: 17020
[startup+289.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3523 0 0 0 28955 50 0 0 25 0 1 0 902501993 17563648 3441 4294967295 134512640 134716908 3221224560 3221223264 134528592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4288 3441 1111 63 0 4225 0
vsize: 17152
[startup+299.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3557 0 0 0 29955 51 0 0 25 0 1 0 902501993 17698816 3475 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4321 3475 1111 63 0 4258 0
vsize: 17284
[startup+309.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3609 0 0 0 30954 53 0 0 25 0 1 0 902501993 17969152 3527 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4387 3527 1111 63 0 4324 0
vsize: 17548
[startup+319.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3650 0 0 0 31952 54 0 0 25 0 1 0 902501993 18104320 3568 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4420 3568 1111 63 0 4357 0
vsize: 17680
[startup+329.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3694 0 0 0 32951 56 0 0 25 0 1 0 902501993 18374656 3612 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4486 3612 1111 63 0 4423 0
vsize: 17944
[startup+339.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3725 0 0 0 33950 57 0 0 25 0 1 0 902501993 18485248 3643 4294967295 134512640 134716908 3221224560 3221223296 134558518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4513 3643 1111 63 0 4450 0
vsize: 18052
[startup+349.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3765 0 0 0 34950 58 0 0 25 0 1 0 902501993 18591744 3683 4294967295 134512640 134716908 3221224560 3221223300 134558543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3683 1111 63 0 4476 0
vsize: 18156
[startup+359.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3786 0 0 0 35948 59 0 0 25 0 1 0 902501993 18726912 3704 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4572 3704 1111 63 0 4509 0
vsize: 18288
[startup+369.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3810 0 0 0 36947 61 0 0 25 0 1 0 902501993 18726912 3728 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4572 3728 1111 63 0 4509 0
vsize: 18288
[startup+379.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3821 0 0 0 37946 62 0 0 25 0 1 0 902501993 18857984 3739 4294967295 134512640 134716908 3221224560 3221223268 134591892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4604 3739 1111 63 0 4541 0
vsize: 18416
[startup+389.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3848 0 0 0 38945 63 0 0 25 0 1 0 902501993 18993152 3766 4294967295 134512640 134716908 3221224560 3221223248 134551929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4637 3766 1111 63 0 4574 0
vsize: 18548
[startup+399.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3867 0 0 0 39944 65 0 0 25 0 1 0 902501993 18993152 3785 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4637 3785 1111 63 0 4574 0
vsize: 18548
[startup+409.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3897 0 0 0 40943 66 0 0 25 0 1 0 902501993 19128320 3815 4294967295 134512640 134716908 3221224560 3221223200 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4670 3815 1111 63 0 4607 0
vsize: 18680
[startup+419.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31940
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3920 0 0 0 41942 68 0 0 25 0 1 0 902501993 19263488 3838 4294967295 134512640 134716908 3221224560 3221223160 134549515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4703 3838 1111 63 0 4640 0
vsize: 18812
[startup+429.993 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31993
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 3981 0 0 0 42941 69 0 0 25 0 1 0 902501993 19533824 3899 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4769 3899 1111 63 0 4706 0
vsize: 19076
[startup+439.993 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 31993
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4040 0 0 0 43939 71 0 0 25 0 1 0 902501993 19668992 3958 4294967295 134512640 134716908 3221224560 3221223328 134592449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4802 3958 1111 63 0 4739 0
vsize: 19208
[startup+449.993 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31993
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4102 0 0 0 44937 73 0 0 25 0 1 0 902501993 19939328 4020 4294967295 134512640 134716908 3221224560 3221223352 134558597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4868 4020 1111 63 0 4805 0
vsize: 19472
[startup+459.992 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31993
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4113 0 0 0 45937 74 0 0 25 0 1 0 902501993 20074496 4031 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4031 1111 63 0 4838 0
vsize: 19604
[startup+469.992 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31993
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4113 0 0 0 46936 75 0 0 25 0 1 0 902501993 20074496 4031 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4031 1111 63 0 4838 0
vsize: 19604
[startup+479.992 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31993
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4126 0 0 0 47935 76 0 0 25 0 1 0 902501993 20074496 4044 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4044 1111 63 0 4838 0
vsize: 19604
[startup+489.991 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31993
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4174 0 0 0 48934 78 0 0 25 0 1 0 902501993 20328448 4092 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4092 1111 63 0 4900 0
vsize: 19852
[startup+499.992 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31993
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4184 0 0 0 49933 79 0 0 25 0 1 0 902501993 20328448 4102 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4102 1111 63 0 4900 0
vsize: 19852
[startup+509.992 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4219 0 0 0 50932 81 0 0 25 0 1 0 902501993 20463616 4137 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4137 1111 63 0 4933 0
vsize: 19984
[startup+519.991 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4226 0 0 0 51931 82 0 0 25 0 1 0 902501993 20463616 4144 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4144 1111 63 0 4933 0
vsize: 19984
[startup+529.991 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4242 0 0 0 52929 83 0 0 25 0 1 0 902501993 20598784 4160 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5029 4160 1111 63 0 4966 0
vsize: 20116
[startup+539.991 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4265 0 0 0 53928 85 0 0 25 0 1 0 902501993 20598784 4183 4294967295 134512640 134716908 3221224560 3221222964 134699548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5029 4183 1111 63 0 4966 0
vsize: 20116
[startup+549.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4307 0 0 0 54926 87 0 0 25 0 1 0 902501993 20869120 4225 4294967295 134512640 134716908 3221224560 3221223292 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4225 1111 63 0 5032 0
vsize: 20380
[startup+559.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4382 0 0 0 55925 88 0 0 25 0 1 0 902501993 21127168 4300 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5158 4300 1111 63 0 5095 0
vsize: 20632
[startup+569.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4470 0 0 0 56925 89 0 0 25 0 1 0 902501993 21532672 4388 4294967295 134512640 134716908 3221224560 3221223328 134592376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4388 1111 63 0 5194 0
vsize: 21028
[startup+579.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4507 0 0 0 57924 91 0 0 25 0 1 0 902501993 21635072 4425 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5282 4425 1111 63 0 5219 0
vsize: 21128
[startup+589.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4536 0 0 0 58922 93 0 0 25 0 1 0 902501993 21770240 4454 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5315 4454 1111 63 0 5252 0
vsize: 21260
[startup+599.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4550 0 0 0 59921 94 0 0 25 0 1 0 902501993 21770240 4468 4294967295 134512640 134716908 3221224560 3221223312 134592345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5315 4468 1111 63 0 5252 0
vsize: 21260
[startup+609.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4593 0 0 0 60920 96 0 0 25 0 1 0 902501993 22028288 4511 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 4511 1111 63 0 5315 0
vsize: 21512
[startup+619.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4601 0 0 0 61919 97 0 0 25 0 1 0 902501993 22028288 4519 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 4519 1111 63 0 5315 0
vsize: 21512
[startup+629.988 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4620 0 0 0 62917 99 0 0 25 0 1 0 902501993 22163456 4538 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5411 4538 1111 63 0 5348 0
vsize: 21644
[startup+639.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4649 0 0 0 63916 100 0 0 25 0 1 0 902501993 22159360 4567 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4567 1111 63 0 5347 0
vsize: 21640
[startup+649.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4649 0 0 0 64915 102 0 0 25 0 1 0 902501993 22159360 4567 4294967295 134512640 134716908 3221224560 3221223132 134535876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4567 1111 63 0 5347 0
vsize: 21640
[startup+659.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4660 0 0 0 65914 103 0 0 25 0 1 0 902501993 22294528 4578 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4578 1111 63 0 5380 0
vsize: 21772
[startup+669.988 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4660 0 0 0 66914 103 0 0 25 0 1 0 902501993 22294528 4578 4294967295 134512640 134716908 3221224560 3221223344 134529246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4578 1111 63 0 5380 0
vsize: 21772
[startup+679.988 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4660 0 0 0 67912 105 0 0 25 0 1 0 902501993 22294528 4578 4294967295 134512640 134716908 3221224560 3221223304 134551632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4578 1111 63 0 5380 0
vsize: 21772
[startup+689.988 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4681 0 0 0 68911 106 0 0 25 0 1 0 902501993 22294528 4599 4294967295 134512640 134716908 3221224560 3221223056 134535442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4599 1111 63 0 5380 0
vsize: 21772
[startup+699.988 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4681 0 0 0 69910 108 0 0 25 0 1 0 902501993 22294528 4599 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4599 1111 63 0 5380 0
vsize: 21772
[startup+709.988 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4688 0 0 0 70909 109 0 0 25 0 1 0 902501993 22429696 4606 4294967295 134512640 134716908 3221224560 3221223128 1077377712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5476 4606 1111 63 0 5413 0
vsize: 21904
[startup+719.988 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4810 0 0 0 71908 111 0 0 25 0 1 0 902501993 22945792 4728 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5602 4728 1111 63 0 5539 0
vsize: 22408
[startup+729.987 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4902 0 0 0 72907 112 0 0 25 0 1 0 902501993 23199744 4820 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5664 4820 1111 63 0 5601 0
vsize: 22656
[startup+739.986 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31995
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4924 0 0 0 73906 114 0 0 25 0 1 0 902501993 23322624 4842 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5694 4842 1111 63 0 5631 0
vsize: 22776
[startup+749.986 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4944 0 0 0 74904 115 0 0 25 0 1 0 902501993 23457792 4862 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5727 4862 1111 63 0 5664 0
vsize: 22908
[startup+759.986 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 4955 0 0 0 75903 117 0 0 25 0 1 0 902501993 23457792 4873 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5727 4873 1111 63 0 5664 0
vsize: 22908
[startup+769.986 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5017 0 0 0 76903 117 0 0 25 0 1 0 902501993 23728128 4935 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5793 4935 1111 63 0 5730 0
vsize: 23172
[startup+779.986 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5049 0 0 0 77903 118 0 0 25 0 1 0 902501993 23863296 4967 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5826 4967 1111 63 0 5763 0
vsize: 23304
[startup+789.985 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5068 0 0 0 78902 119 0 0 25 0 1 0 902501993 23998464 4986 4294967295 134512640 134716908 3221224560 3221223236 1077374547 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5859 4986 1111 63 0 5796 0
vsize: 23436
[startup+799.984 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5070 0 0 0 79901 120 0 0 25 0 1 0 902501993 23961600 4988 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5850 4988 1111 63 0 5787 0
vsize: 23400
[startup+809.984 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5080 0 0 0 80900 122 0 0 25 0 1 0 902501993 23961600 4998 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5850 4998 1111 63 0 5787 0
vsize: 23400
[startup+819.984 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5102 0 0 0 81899 123 0 0 25 0 1 0 902501993 24096768 5020 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5883 5020 1111 63 0 5820 0
vsize: 23532
[startup+829.985 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5105 0 0 0 82899 123 0 0 25 0 1 0 902501993 24096768 5023 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5883 5023 1111 63 0 5820 0
vsize: 23532
[startup+839.984 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5123 0 0 0 83898 125 0 0 25 0 1 0 902501993 24231936 5041 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5041 1111 63 0 5853 0
vsize: 23664
[startup+849.985 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5149 0 0 0 84897 125 0 0 25 0 1 0 902501993 24231936 5067 4294967295 134512640 134716908 3221224560 3221223156 134542664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5067 1111 63 0 5853 0
vsize: 23664
[startup+859.984 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5153 0 0 0 85897 126 0 0 25 0 1 0 902501993 24231936 5071 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5071 1111 63 0 5853 0
vsize: 23664
[startup+869.984 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5153 0 0 0 86896 127 0 0 25 0 1 0 902501993 24231936 5071 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5071 1111 63 0 5853 0
vsize: 23664
[startup+879.984 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5196 0 0 0 87895 129 0 0 25 0 1 0 902501993 24502272 5114 4294967295 134512640 134716908 3221224560 3221223484 1077781667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5982 5114 1111 63 0 5919 0
vsize: 23928
[startup+889.985 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5266 0 0 0 88894 130 0 0 25 0 1 0 902501993 24768512 5184 4294967295 134512640 134716908 3221224560 3221223344 134529103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6047 5184 1111 63 0 5984 0
vsize: 24188
[startup+899.984 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5296 0 0 0 89893 132 0 0 25 0 1 0 902501993 24903680 5214 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 5214 1111 63 0 6017 0
vsize: 24320
[startup+909.985 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5300 0 0 0 90892 133 0 0 25 0 1 0 902501993 24903680 5218 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 5218 1111 63 0 6017 0
vsize: 24320
[startup+919.985 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5315 0 0 0 91891 134 0 0 25 0 1 0 902501993 24903680 5233 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 5233 1111 63 0 6017 0
vsize: 24320
[startup+929.985 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5315 0 0 0 92891 135 0 0 25 0 1 0 902501993 24903680 5233 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 5233 1111 63 0 6017 0
vsize: 24320
[startup+939.985 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5325 0 0 0 93890 136 0 0 25 0 1 0 902501993 25038848 5243 4294967295 134512640 134716908 3221224560 3221223180 134549859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6113 5243 1111 63 0 6050 0
vsize: 24452
[startup+949.985 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5346 0 0 0 94889 138 0 0 25 0 1 0 902501993 25038848 5264 4294967295 134512640 134716908 3221224560 3221223148 134551980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6113 5264 1111 63 0 6050 0
vsize: 24452
[startup+959.986 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5346 0 0 0 95888 139 0 0 25 0 1 0 902501993 25038848 5264 4294967295 134512640 134716908 3221224560 3221223120 134542319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6113 5264 1111 63 0 6050 0
vsize: 24452
[startup+969.986 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5355 0 0 0 96887 140 0 0 25 0 1 0 902501993 25174016 5273 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6146 5273 1111 63 0 6083 0
vsize: 24584
[startup+979.987 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5382 0 0 0 97887 140 0 0 25 0 1 0 902501993 25174016 5300 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6146 5300 1111 63 0 6083 0
vsize: 24584
[startup+989.987 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5382 0 0 0 98886 142 0 0 25 0 1 0 902501993 25174016 5300 4294967295 134512640 134716908 3221224560 3221223212 134536848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6146 5300 1111 63 0 6083 0
vsize: 24584
[startup+999.987 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5401 0 0 0 99886 143 0 0 25 0 1 0 902501993 25305088 5319 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6178 5319 1111 63 0 6115 0
vsize: 24712
[startup+1009.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5414 0 0 0 100885 144 0 0 25 0 1 0 902501993 25305088 5332 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6178 5332 1111 63 0 6115 0
vsize: 24712
[startup+1019.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5422 0 0 0 101883 145 0 0 25 0 1 0 902501993 25440256 5340 4294967295 134512640 134716908 3221224560 3221223136 134542773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6211 5340 1111 63 0 6148 0
vsize: 24844
[startup+1029.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5505 0 0 0 102882 148 0 0 25 0 1 0 902501993 25702400 5423 4294967295 134512640 134716908 3221224560 3221223460 134595123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6275 5423 1111 63 0 6212 0
vsize: 25100
[startup+1039.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5542 0 0 0 103880 149 0 0 25 0 1 0 902501993 25837568 5460 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6308 5460 1111 63 0 6245 0
vsize: 25232
[startup+1049.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5586 0 0 0 104879 151 0 0 25 0 1 0 902501993 26103808 5504 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 5504 1111 63 0 6310 0
vsize: 25492
[startup+1059.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5591 0 0 0 105878 152 0 0 25 0 1 0 902501993 26103808 5509 4294967295 134512640 134716908 3221224560 3221223056 134535468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 5509 1111 63 0 6310 0
vsize: 25492
[startup+1069.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5617 0 0 0 106878 153 0 0 25 0 1 0 902501993 26210304 5535 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6399 5535 1111 63 0 6336 0
vsize: 25596
[startup+1079.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5697 0 0 0 107877 154 0 0 25 0 1 0 902501993 26480640 5615 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6465 5615 1111 63 0 6402 0
vsize: 25860
[startup+1089.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5716 0 0 0 108875 156 0 0 25 0 1 0 902501993 26595328 5634 4294967295 134512640 134716908 3221224560 3221223360 134588065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6493 5634 1111 63 0 6430 0
vsize: 25972
[startup+1099.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5737 0 0 0 109874 158 0 0 25 0 1 0 902501993 26730496 5655 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 5655 1111 63 0 6463 0
vsize: 26104
[startup+1109.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5755 0 0 0 110873 159 0 0 25 0 1 0 902501993 26730496 5673 4294967295 134512640 134716908 3221224560 3221223056 134535383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 5673 1111 63 0 6463 0
vsize: 26104
[startup+1119.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5786 0 0 0 111873 160 0 0 25 0 1 0 902501993 26865664 5704 4294967295 134512640 134716908 3221224560 3221223248 134543724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6559 5704 1111 63 0 6496 0
vsize: 26236
[startup+1129.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5814 0 0 0 112871 161 0 0 25 0 1 0 902501993 27000832 5732 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6592 5732 1111 63 0 6529 0
vsize: 26368
[startup+1139.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5863 0 0 0 113870 163 0 0 25 0 1 0 902501993 27136000 5781 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6625 5781 1111 63 0 6562 0
vsize: 26500
[startup+1149.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5934 0 0 0 114869 165 0 0 25 0 1 0 902501993 27529216 5852 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6721 5852 1111 63 0 6658 0
vsize: 26884
[startup+1159.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5973 0 0 0 115867 166 0 0 25 0 1 0 902501993 27660288 5891 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6753 5891 1111 63 0 6690 0
vsize: 27012
[startup+1169.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5988 0 0 0 116867 167 0 0 25 0 1 0 902501993 27660288 5906 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6753 5906 1111 63 0 6690 0
vsize: 27012
[startup+1174.66 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 31997
Raw data (stat): 31940 (bsolo_lpr_cuts-) R 31939 25568 25567 0 -1 0 5988 0 0 0 116867 167 0 0 25 0 1 0 902501993 27660288 5906 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6753 5906 1111 63 0 6690 0
vsize: 0

Child status: 0
Real time (s): 1174.66
CPU time (s): 1175.02
CPU user time (s): 1173.32
CPU system time (s): 1.69974
CPU usage (%): 100.031
Max. virtual memory (Kb): 27012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####