PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
MD5SUM	6a0000bd3257094a387dbf208b4df8cf
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	41
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.073987
Number of variables	2400
Total number of constraints	140
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	40
Trace number 40561

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 14:40:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28627 boxname=wulflinc5 idbench=13 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6a0000bd3257094a387dbf208b4df8cf  /oldhome/oroussel/tmp/wulflinc5/normalized-chnl30_40_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-chnl30_40_pb.cnf.cr.opb
IDLAUNCH: 28627
/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:        860444 kB
Buffers:         12452 kB
Cached:         140624 kB
SwapCached:        672 kB
Active:          24148 kB
Inactive:       130948 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        860164 kB
SwapTotal:     2097136 kB
SwapFree:      2095500 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13528 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:00:16 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28627 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 2400 variables and 140 constraints.
c After prepocess the problem consists of 2400 variables and 140 constraints.
c preprocess terminated 0.871 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.84 0.94 0.90 1/54 20089
Raw data (stat): 20089 (runsolver) R 20088 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902428927 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.001 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 1493 0 0 0 992 5 0 0 25 0 1 0 902428927 9293824 1411 4294967295 134512640 134716908 3221224560 3221223188 134536674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2269 1411 1111 63 0 2206 0
vsize: 9076
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 1610 0 0 0 1988 8 0 0 25 0 1 0 902428927 9699328 1528 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2368 1528 1111 63 0 2305 0
vsize: 9472
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 1691 0 0 0 2987 10 0 0 25 0 1 0 902428927 10084352 1609 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2462 1609 1111 63 0 2399 0
vsize: 9848
[startup+40.001 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 1827 0 0 0 3985 11 0 0 25 0 1 0 902428927 10616832 1745 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2592 1745 1111 63 0 2529 0
vsize: 10368
[startup+50.002 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 1885 0 0 0 4983 14 0 0 25 0 1 0 902428927 10874880 1803 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2655 1803 1111 63 0 2592 0
vsize: 10620
[startup+60.0021 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 1904 0 0 0 5981 16 0 0 25 0 1 0 902428927 11001856 1822 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2686 1822 1111 63 0 2623 0
vsize: 10744
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 1916 0 0 0 6980 17 0 0 25 0 1 0 902428927 11001856 1834 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2686 1834 1111 63 0 2623 0
vsize: 10744
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 1937 0 0 0 7978 19 0 0 25 0 1 0 902428927 11132928 1855 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2718 1855 1111 63 0 2655 0
vsize: 10872
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 1954 0 0 0 8977 20 0 0 25 0 1 0 902428927 11132928 1872 4294967295 134512640 134716908 3221224560 3221223228 134613512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2718 1872 1111 63 0 2655 0
vsize: 10872
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 1983 0 0 0 9975 23 0 0 25 0 1 0 902428927 11264000 1901 4294967295 134512640 134716908 3221224560 3221223208 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2750 1901 1111 63 0 2687 0
vsize: 11000
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2061 0 0 0 10974 25 0 0 25 0 1 0 902428927 11534336 1979 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2816 1979 1111 63 0 2753 0
vsize: 11264
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2149 0 0 0 11973 26 0 0 25 0 1 0 902428927 11939840 2067 4294967295 134512640 134716908 3221224560 3221223120 134698898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2067 1111 63 0 2852 0
vsize: 11660
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2217 0 0 0 12971 27 0 0 25 0 1 0 902428927 12210176 2135 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2981 2135 1111 63 0 2918 0
vsize: 11924
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2241 0 0 0 13970 29 0 0 25 0 1 0 902428927 12345344 2159 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3014 2159 1111 63 0 2951 0
vsize: 12056
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2249 0 0 0 14968 31 0 0 25 0 1 0 902428927 12345344 2167 4294967295 134512640 134716908 3221224560 3221223168 134549302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3014 2167 1111 63 0 2951 0
vsize: 12056
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2261 0 0 0 15967 32 0 0 25 0 1 0 902428927 12472320 2179 4294967295 134512640 134716908 3221224560 3221223296 134552101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3045 2179 1111 63 0 2982 0
vsize: 12180
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2290 0 0 0 16966 34 0 0 25 0 1 0 902428927 12472320 2208 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3045 2208 1111 63 0 2982 0
vsize: 12180
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2303 0 0 0 17964 35 0 0 25 0 1 0 902428927 12607488 2221 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3078 2221 1111 63 0 3015 0
vsize: 12312
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2347 0 0 0 18964 36 0 0 25 0 1 0 902428927 12742656 2265 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3111 2265 1111 63 0 3048 0
vsize: 12444
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2393 0 0 0 19962 38 0 0 25 0 1 0 902428927 13012992 2311 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3177 2311 1111 63 0 3114 0
vsize: 12708
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2425 0 0 0 20962 39 0 0 25 0 1 0 902428927 13148160 2343 4294967295 134512640 134716908 3221224560 3221223200 134536695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3210 2343 1111 63 0 3147 0
vsize: 12840
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2425 0 0 0 21960 41 0 0 25 0 1 0 902428927 13148160 2343 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3210 2343 1111 63 0 3147 0
vsize: 12840
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2472 0 0 0 22959 42 0 0 25 0 1 0 902428927 13283328 2390 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3243 2390 1111 63 0 3180 0
vsize: 12972
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2530 0 0 0 23957 44 0 0 25 0 1 0 902428927 13545472 2448 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3307 2448 1111 63 0 3244 0
vsize: 13228
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2555 0 0 0 24955 46 0 0 25 0 1 0 902428927 13680640 2473 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2473 1111 63 0 3277 0
vsize: 13360
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2576 0 0 0 25954 47 0 0 25 0 1 0 902428927 13680640 2494 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2494 1111 63 0 3277 0
vsize: 13360
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2591 0 0 0 26954 48 0 0 25 0 1 0 902428927 13815808 2509 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3373 2509 1111 63 0 3310 0
vsize: 13492
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2609 0 0 0 27952 50 0 0 25 0 1 0 902428927 13815808 2527 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3373 2527 1111 63 0 3310 0
vsize: 13492
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2612 0 0 0 28951 51 0 0 25 0 1 0 902428927 13815808 2530 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3373 2530 1111 63 0 3310 0
vsize: 13492
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2633 0 0 0 29950 52 0 0 25 0 1 0 902428927 13950976 2551 4294967295 134512640 134716908 3221224560 3221223108 134699041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3406 2551 1111 63 0 3343 0
vsize: 13624
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2708 0 0 0 30949 54 0 0 25 0 1 0 902428927 14221312 2626 4294967295 134512640 134716908 3221224560 3221223168 134523393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3472 2626 1111 63 0 3409 0
vsize: 13888
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2741 0 0 0 31947 56 0 0 25 0 1 0 902428927 14356480 2659 4294967295 134512640 134716908 3221224560 3221223200 134539425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2659 1111 63 0 3442 0
vsize: 14020
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2752 0 0 0 32945 57 0 0 25 0 1 0 902428927 14483456 2670 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3536 2670 1111 63 0 3473 0
vsize: 14144
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2767 0 0 0 33944 59 0 0 25 0 1 0 902428927 14483456 2685 4294967295 134512640 134716908 3221224560 3221223128 134535877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3536 2685 1111 63 0 3473 0
vsize: 14144
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2769 0 0 0 34943 60 0 0 25 0 1 0 902428927 14483456 2687 4294967295 134512640 134716908 3221224560 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3536 2687 1111 63 0 3473 0
vsize: 14144
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2789 0 0 0 35942 61 0 0 25 0 1 0 902428927 14618624 2707 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2707 1111 63 0 3506 0
vsize: 14276
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2807 0 0 0 36941 63 0 0 25 0 1 0 902428927 14618624 2725 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2725 1111 63 0 3506 0
vsize: 14276
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2817 0 0 0 37940 64 0 0 25 0 1 0 902428927 14753792 2735 4294967295 134512640 134716908 3221224560 3221223128 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2735 1111 63 0 3539 0
vsize: 14408
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2825 0 0 0 38939 65 0 0 25 0 1 0 902428927 14753792 2743 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2743 1111 63 0 3539 0
vsize: 14408
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2872 0 0 0 39937 67 0 0 25 0 1 0 902428927 14868480 2790 4294967295 134512640 134716908 3221224560 3221223312 134588020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3630 2790 1111 63 0 3567 0
vsize: 14520
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2900 0 0 0 40935 69 0 0 25 0 1 0 902428927 15003648 2818 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3663 2818 1111 63 0 3600 0
vsize: 14652
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2947 0 0 0 41933 71 0 0 25 0 1 0 902428927 15273984 2865 4294967295 134512640 134716908 3221224560 3221223344 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2865 1111 63 0 3666 0
vsize: 14916
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2974 0 0 0 42932 73 0 0 25 0 1 0 902428927 15273984 2892 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2892 1111 63 0 3666 0
vsize: 14916
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 2991 0 0 0 43930 74 0 0 25 0 1 0 902428927 15405056 2909 4294967295 134512640 134716908 3221224560 3221223200 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3761 2909 1111 63 0 3698 0
vsize: 15044
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3038 0 0 0 44928 76 0 0 25 0 1 0 902428927 15540224 2956 4294967295 134512640 134716908 3221224560 3221223284 134613716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3794 2956 1111 63 0 3731 0
vsize: 15176
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3060 0 0 0 45927 78 0 0 25 0 1 0 902428927 15675392 2978 4294967295 134512640 134716908 3221224560 3221223248 134551944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2978 1111 63 0 3764 0
vsize: 15308
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3060 0 0 0 46926 79 0 0 25 0 1 0 902428927 15675392 2978 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2978 1111 63 0 3764 0
vsize: 15308
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3062 0 0 0 47924 81 0 0 25 0 1 0 902428927 15675392 2980 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2980 1111 63 0 3764 0
vsize: 15308
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3068 0 0 0 48923 83 0 0 25 0 1 0 902428927 15675392 2986 4294967295 134512640 134716908 3221224560 3221223288 134558767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2986 1111 63 0 3764 0
vsize: 15308
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3070 0 0 0 49921 84 0 0 25 0 1 0 902428927 15675392 2988 4294967295 134512640 134716908 3221224560 3221223328 134584759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2988 1111 63 0 3764 0
vsize: 15308
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3090 0 0 0 50920 86 0 0 25 0 1 0 902428927 15810560 3008 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3860 3008 1111 63 0 3797 0
vsize: 15440
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3097 0 0 0 51919 87 0 0 25 0 1 0 902428927 15810560 3015 4294967295 134512640 134716908 3221224560 3221223056 134535442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3860 3015 1111 63 0 3797 0
vsize: 15440
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3123 0 0 0 52917 89 0 0 25 0 1 0 902428927 15945728 3041 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 3041 1111 63 0 3830 0
vsize: 15572
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3139 0 0 0 53915 91 0 0 25 0 1 0 902428927 16080896 3057 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 3057 1111 63 0 3863 0
vsize: 15704
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3161 0 0 0 54914 93 0 0 25 0 1 0 902428927 16080896 3079 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 3079 1111 63 0 3863 0
vsize: 15704
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3221 0 0 0 55913 94 0 0 25 0 1 0 902428927 16351232 3139 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3992 3139 1111 63 0 3929 0
vsize: 15968
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3270 0 0 0 56912 95 0 0 25 0 1 0 902428927 16486400 3188 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4025 3188 1111 63 0 3962 0
vsize: 16100
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3279 0 0 0 57911 96 0 0 25 0 1 0 902428927 16621568 3197 4294967295 134512640 134716908 3221224560 3221223192 134698665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3197 1111 63 0 3995 0
vsize: 16232
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3291 0 0 0 58910 98 0 0 25 0 1 0 902428927 16621568 3209 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3209 1111 63 0 3995 0
vsize: 16232
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3298 0 0 0 59909 99 0 0 25 0 1 0 902428927 16621568 3216 4294967295 134512640 134716908 3221224560 3221223120 134535677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3216 1111 63 0 3995 0
vsize: 16232
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3317 0 0 0 60908 100 0 0 25 0 1 0 902428927 16756736 3235 4294967295 134512640 134716908 3221224560 3221222964 134699710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4091 3235 1111 63 0 4028 0
vsize: 16364
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3336 0 0 0 61907 102 0 0 25 0 1 0 902428927 16756736 3254 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4091 3254 1111 63 0 4028 0
vsize: 16364
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3352 0 0 0 62905 103 0 0 25 0 1 0 902428927 16891904 3270 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4124 3270 1111 63 0 4061 0
vsize: 16496
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3371 0 0 0 63903 105 0 0 25 0 1 0 902428927 17022976 3289 4294967295 134512640 134716908 3221224560 3221223152 134549520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4156 3289 1111 63 0 4093 0
vsize: 16624
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3408 0 0 0 64902 107 0 0 25 0 1 0 902428927 17158144 3326 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4189 3326 1111 63 0 4126 0
vsize: 16756
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3426 0 0 0 65901 107 0 0 25 0 1 0 902428927 17158144 3344 4294967295 134512640 134716908 3221224560 3221223016 1077377392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4189 3344 1111 63 0 4126 0
vsize: 16756
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3438 0 0 0 66899 108 0 0 25 0 1 0 902428927 17293312 3356 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4222 3356 1111 63 0 4159 0
vsize: 16888
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3438 0 0 0 67898 109 0 0 25 0 1 0 902428927 17293312 3356 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4222 3356 1111 63 0 4159 0
vsize: 16888
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3451 0 0 0 68897 111 0 0 25 0 1 0 902428927 17293312 3369 4294967295 134512640 134716908 3221224560 3221223152 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4222 3369 1111 63 0 4159 0
vsize: 16888
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3451 0 0 0 69896 112 0 0 25 0 1 0 902428927 17293312 3369 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4222 3369 1111 63 0 4159 0
vsize: 16888
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3451 0 0 0 70895 113 0 0 25 0 1 0 902428927 17293312 3369 4294967295 134512640 134716908 3221224560 3221223168 134523184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4222 3369 1111 63 0 4159 0
vsize: 16888
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3460 0 0 0 71893 115 0 0 25 0 1 0 902428927 17293312 3378 4294967295 134512640 134716908 3221224560 3221223128 1077377739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4222 3378 1111 63 0 4159 0
vsize: 16888
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3494 0 0 0 72891 117 0 0 25 0 1 0 902428927 17424384 3412 4294967295 134512640 134716908 3221224560 3221222656 134699851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3412 1111 63 0 4191 0
vsize: 17016
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3543 0 0 0 73889 119 0 0 25 0 1 0 902428927 17690624 3461 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4319 3461 1111 63 0 4256 0
vsize: 17276
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3564 0 0 0 74888 121 0 0 25 0 1 0 902428927 17690624 3482 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4319 3482 1111 63 0 4256 0
vsize: 17276
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3569 0 0 0 75886 123 0 0 25 0 1 0 902428927 17825792 3487 4294967295 134512640 134716908 3221224560 3221223172 134523378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4352 3487 1111 63 0 4289 0
vsize: 17408
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3569 0 0 0 76885 124 0 0 25 0 1 0 902428927 17825792 3487 4294967295 134512640 134716908 3221224560 3221223072 134535317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4352 3487 1111 63 0 4289 0
vsize: 17408
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3570 0 0 0 77885 125 0 0 25 0 1 0 902428927 17825792 3488 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4352 3488 1111 63 0 4289 0
vsize: 17408
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3576 0 0 0 78884 126 0 0 25 0 1 0 902428927 17825792 3494 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4352 3494 1111 63 0 4289 0
vsize: 17408
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3589 0 0 0 79883 127 0 0 25 0 1 0 902428927 17825792 3507 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4352 3507 1111 63 0 4289 0
vsize: 17408
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3635 0 0 0 80882 129 0 0 25 0 1 0 902428927 18092032 3553 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4417 3553 1111 63 0 4354 0
vsize: 17668
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3651 0 0 0 81880 130 0 0 25 0 1 0 902428927 18092032 3569 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4417 3569 1111 63 0 4354 0
vsize: 17668
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3664 0 0 0 82879 131 0 0 25 0 1 0 902428927 18214912 3582 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4447 3582 1111 63 0 4384 0
vsize: 17788
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3687 0 0 0 83878 133 0 0 25 0 1 0 902428927 18214912 3605 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4447 3605 1111 63 0 4384 0
vsize: 17788
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3746 0 0 0 84876 135 0 0 25 0 1 0 902428927 18485248 3664 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4513 3664 1111 63 0 4450 0
vsize: 18052
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3775 0 0 0 85874 137 0 0 25 0 1 0 902428927 18620416 3693 4294967295 134512640 134716908 3221224560 3221223332 134529275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4546 3693 1111 63 0 4483 0
vsize: 18184
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3815 0 0 0 86873 139 0 0 25 0 1 0 902428927 18755584 3733 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3733 1111 63 0 4516 0
vsize: 18316
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3841 0 0 0 87872 140 0 0 25 0 1 0 902428927 18890752 3759 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3759 1111 63 0 4549 0
vsize: 18448
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3850 0 0 0 88870 141 0 0 25 0 1 0 902428927 18890752 3768 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3768 1111 63 0 4549 0
vsize: 18448
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3866 0 0 0 89869 143 0 0 25 0 1 0 902428927 19013632 3784 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3784 1111 63 0 4579 0
vsize: 18568
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3889 0 0 0 90868 144 0 0 25 0 1 0 902428927 19148800 3807 4294967295 134512640 134716908 3221224560 3221223152 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4675 3807 1111 63 0 4612 0
vsize: 18700
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3945 0 0 0 91867 146 0 0 25 0 1 0 902428927 19279872 3863 4294967295 134512640 134716908 3221224560 3221223216 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4707 3863 1111 63 0 4644 0
vsize: 18828
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 3976 0 0 0 92866 147 0 0 25 0 1 0 902428927 19415040 3894 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3894 1111 63 0 4677 0
vsize: 18960
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4048 0 0 0 93864 148 0 0 25 0 1 0 902428927 19795968 3966 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 3966 1111 63 0 4770 0
vsize: 19332
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4094 0 0 0 94862 150 0 0 25 0 1 0 902428927 19922944 4012 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4012 1111 63 0 4801 0
vsize: 19456
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4115 0 0 0 95862 151 0 0 25 0 1 0 902428927 20058112 4033 4294967295 134512640 134716908 3221224560 3221222804 134699695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4897 4033 1111 63 0 4834 0
vsize: 19588
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4118 0 0 0 96861 152 0 0 25 0 1 0 902428927 20058112 4036 4294967295 134512640 134716908 3221224560 3221223232 134655193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4897 4036 1111 63 0 4834 0
vsize: 19588
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4133 0 0 0 97860 153 0 0 25 0 1 0 902428927 20058112 4051 4294967295 134512640 134716908 3221224560 3221223320 134592382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4897 4051 1111 63 0 4834 0
vsize: 19588
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4147 0 0 0 98858 155 0 0 25 0 1 0 902428927 20193280 4065 4294967295 134512640 134716908 3221224560 3221223216 134536594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4930 4065 1111 63 0 4867 0
vsize: 19720
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4164 0 0 0 99858 156 0 0 25 0 1 0 902428927 20193280 4082 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4930 4082 1111 63 0 4867 0
vsize: 19720
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4171 0 0 0 100856 158 0 0 25 0 1 0 902428927 20193280 4089 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4930 4089 1111 63 0 4867 0
vsize: 19720
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4173 0 0 0 101855 159 0 0 25 0 1 0 902428927 20193280 4091 4294967295 134512640 134716908 3221224560 3221223096 1076648037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4930 4091 1111 63 0 4867 0
vsize: 19720
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4185 0 0 0 102854 161 0 0 25 0 1 0 902428927 20324352 4103 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4962 4103 1111 63 0 4899 0
vsize: 19848
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4185 0 0 0 103853 162 0 0 25 0 1 0 902428927 20324352 4103 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4962 4103 1111 63 0 4899 0
vsize: 19848
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4185 0 0 0 104852 163 0 0 25 0 1 0 902428927 20324352 4103 4294967295 134512640 134716908 3221224560 3221223296 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4962 4103 1111 63 0 4899 0
vsize: 19848
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4185 0 0 0 105851 165 0 0 25 0 1 0 902428927 20324352 4103 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4962 4103 1111 63 0 4899 0
vsize: 19848
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4196 0 0 0 106850 166 0 0 25 0 1 0 902428927 20324352 4114 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4962 4114 1111 63 0 4899 0
vsize: 19848
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4209 0 0 0 107848 167 0 0 25 0 1 0 902428927 20455424 4127 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4994 4127 1111 63 0 4931 0
vsize: 19976
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4221 0 0 0 108847 169 0 0 25 0 1 0 902428927 20455424 4139 4294967295 134512640 134716908 3221224560 3221223188 134698582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4994 4139 1111 63 0 4931 0
vsize: 19976
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4221 0 0 0 109846 170 0 0 25 0 1 0 902428927 20455424 4139 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4994 4139 1111 63 0 4931 0
vsize: 19976
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4223 0 0 0 110845 171 0 0 25 0 1 0 902428927 20455424 4141 4294967295 134512640 134716908 3221224560 3221223188 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4994 4141 1111 63 0 4931 0
vsize: 19976
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4223 0 0 0 111844 172 0 0 25 0 1 0 902428927 20455424 4141 4294967295 134512640 134716908 3221224560 3221222956 1077379846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4994 4141 1111 63 0 4931 0
vsize: 19976
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4233 0 0 0 112843 174 0 0 25 0 1 0 902428927 20455424 4151 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4994 4151 1111 63 0 4931 0
vsize: 19976
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4240 0 0 0 113842 174 0 0 25 0 1 0 902428927 20590592 4158 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5027 4158 1111 63 0 4964 0
vsize: 20108
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4243 0 0 0 114841 176 0 0 25 0 1 0 902428927 20590592 4161 4294967295 134512640 134716908 3221224560 3221223128 1077377249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5027 4161 1111 63 0 4964 0
vsize: 20108
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20089
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4260 0 0 0 115839 178 0 0 25 0 1 0 902428927 20590592 4178 4294967295 134512640 134716908 3221224560 3221223108 134698766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5027 4178 1111 63 0 4964 0
vsize: 20108
[startup+1170.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 20142
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4260 0 0 0 116838 179 0 0 25 0 1 0 902428927 20590592 4178 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5027 4178 1111 63 0 4964 0
vsize: 20108
[startup+1174.88 s]
Raw data (loadavg): 1.06 0.99 0.91 1/53 20142
Raw data (stat): 20089 (bsolo_lpr_cuts-) R 20088 7266 7265 0 -1 0 4260 0 0 0 116838 179 0 0 25 0 1 0 902428927 20590592 4178 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5027 4178 1111 63 0 4964 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.03
CPU user time (s): 1173.21
CPU system time (s): 1.81072
CPU usage (%): 100.012
Max. virtual memory (Kb): 20108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####