PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
MD5SUM	c501a04dd091dbe678ec2743021adc30
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.2037
Number of variables	2970
Total number of constraints	2113
Number of constraints which are clauses	2024
Number of constraints which are cardinality constraints (but not clauses)	89
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 40605

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 16:58:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28670 boxname=wulflinc5 idbench=56 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c501a04dd091dbe678ec2743021adc30  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_44_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_44_sat_pb.cnf.cr.opb
IDLAUNCH: 28670
/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:        848904 kB
Buffers:         22128 kB
Cached:         141924 kB
SwapCached:        644 kB
Active:          26164 kB
Inactive:       139948 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        848652 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13920 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:18:14 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28670 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 2970 variables and 2113 constraints.
c After prepocess the problem consists of 2970 variables and 2113 constraints.
c preprocess terminated 8.611 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.97 0.91 2/54 20854
Raw data (stat): 20854 (runsolver) R 20853 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903256845 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.0012 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 20854
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2307 0 0 0 990 7 0 0 25 0 1 0 903256845 12648448 2225 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3088 2225 1111 63 0 3025 0
vsize: 12352
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 20854
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2432 0 0 0 1987 9 0 0 25 0 1 0 903256845 13103104 2340 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2340 1111 63 0 3136 0
vsize: 12796
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 20854
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2446 0 0 0 2986 10 0 0 25 0 1 0 903256845 13103104 2354 4294967295 134512640 134716908 3221224560 3221222800 134699833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2354 1111 63 0 3136 0
vsize: 12796
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 20854
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2485 0 0 0 3985 12 0 0 25 0 1 0 903256845 13238272 2393 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3232 2393 1111 63 0 3169 0
vsize: 12928
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 20854
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2511 0 0 0 4984 12 0 0 25 0 1 0 903256845 13373440 2419 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3265 2419 1111 63 0 3202 0
vsize: 13060
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 20854
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2534 0 0 0 5983 13 0 0 25 0 1 0 903256845 13504512 2442 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3297 2442 1111 63 0 3234 0
vsize: 13188
[startup+70.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 20854
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2534 0 0 0 6982 15 0 0 25 0 1 0 903256845 13475840 2442 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3290 2442 1111 63 0 3227 0
vsize: 13160
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20854
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2569 0 0 0 7980 17 0 0 25 0 1 0 903256845 13611008 2477 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3323 2477 1111 63 0 3260 0
vsize: 13292
[startup+90.0039 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 20907
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2616 0 0 0 8979 18 0 0 25 0 1 0 903256845 13881344 2524 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2524 1111 63 0 3326 0
vsize: 13556
[startup+100.004 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 20907
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2658 0 0 0 9978 20 0 0 25 0 1 0 903256845 14016512 2566 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3422 2566 1111 63 0 3359 0
vsize: 13688
[startup+110.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20907
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2683 0 0 0 10976 22 0 0 25 0 1 0 903256845 14147584 2591 4294967295 134512640 134716908 3221224560 3221223188 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3454 2591 1111 63 0 3391 0
vsize: 13816
[startup+120.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20907
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2695 0 0 0 11975 23 0 0 25 0 1 0 903256845 14102528 2603 4294967295 134512640 134716908 3221224560 3221223120 134551989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 2603 1111 63 0 3380 0
vsize: 13772
[startup+130.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 20907
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2706 0 0 0 12974 24 0 0 25 0 1 0 903256845 14237696 2614 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3476 2614 1111 63 0 3413 0
vsize: 13904
[startup+140.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20907
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2742 0 0 0 13974 25 0 0 25 0 1 0 903256845 14372864 2650 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3509 2650 1111 63 0 3446 0
vsize: 14036
[startup+150.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20907
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2742 0 0 0 14973 25 0 0 25 0 1 0 903256845 14348288 2650 4294967295 134512640 134716908 3221224560 3221223236 1077374508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3503 2650 1111 63 0 3440 0
vsize: 14012
[startup+160.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20907
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2806 0 0 0 15971 28 0 0 25 0 1 0 903256845 14618624 2714 4294967295 134512640 134716908 3221224560 3221223328 134592353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2714 1111 63 0 3506 0
vsize: 14276
[startup+170.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2845 0 0 0 16970 29 0 0 25 0 1 0 903256845 14753792 2753 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2753 1111 63 0 3539 0
vsize: 14408
[startup+180.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2900 0 0 0 17969 30 0 0 25 0 1 0 903256845 15024128 2808 4294967295 134512640 134716908 3221224560 3221223212 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2808 1111 63 0 3605 0
vsize: 14672
[startup+190.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2914 0 0 0 18968 31 0 0 25 0 1 0 903256845 15024128 2822 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2822 1111 63 0 3605 0
vsize: 14672
[startup+200.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2921 0 0 0 19968 32 0 0 25 0 1 0 903256845 15024128 2829 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2829 1111 63 0 3605 0
vsize: 14672
[startup+210.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2934 0 0 0 20967 33 0 0 25 0 1 0 903256845 15159296 2842 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2842 1111 63 0 3638 0
vsize: 14804
[startup+220.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2948 0 0 0 21965 35 0 0 25 0 1 0 903256845 15159296 2856 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2856 1111 63 0 3638 0
vsize: 14804
[startup+230.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2948 0 0 0 22965 35 0 0 25 0 1 0 903256845 15159296 2856 4294967295 134512640 134716908 3221224560 3221223312 134592371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2856 1111 63 0 3638 0
vsize: 14804
[startup+240.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2981 0 0 0 23964 37 0 0 25 0 1 0 903256845 15294464 2889 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2889 1111 63 0 3671 0
vsize: 14936
[startup+250.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 2991 0 0 0 24963 38 0 0 25 0 1 0 903256845 15429632 2899 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3767 2899 1111 63 0 3704 0
vsize: 15068
[startup+260.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3009 0 0 0 25962 38 0 0 25 0 1 0 903256845 15429632 2917 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3767 2917 1111 63 0 3704 0
vsize: 15068
[startup+270.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3031 0 0 0 26961 40 0 0 25 0 1 0 903256845 15564800 2939 4294967295 134512640 134716908 3221224560 3221223352 134531231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3800 2939 1111 63 0 3737 0
vsize: 15200
[startup+280.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3047 0 0 0 27960 42 0 0 25 0 1 0 903256845 15564800 2955 4294967295 134512640 134716908 3221224560 3221223344 134528996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3800 2955 1111 63 0 3737 0
vsize: 15200
[startup+290.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3066 0 0 0 28958 43 0 0 25 0 1 0 903256845 15699968 2974 4294967295 134512640 134716908 3221224560 3221223108 134699218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2974 1111 63 0 3770 0
vsize: 15332
[startup+300.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3066 0 0 0 29957 44 0 0 25 0 1 0 903256845 15699968 2974 4294967295 134512640 134716908 3221224560 3221223280 134535767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2974 1111 63 0 3770 0
vsize: 15332
[startup+310.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3076 0 0 0 30956 45 0 0 25 0 1 0 903256845 15691776 2984 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3831 2984 1111 63 0 3768 0
vsize: 15324
[startup+320.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3076 0 0 0 31955 47 0 0 25 0 1 0 903256845 15691776 2984 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3831 2984 1111 63 0 3768 0
vsize: 15324
[startup+330.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3090 0 0 0 32954 48 0 0 25 0 1 0 903256845 15826944 2998 4294967295 134512640 134716908 3221224560 3221223056 134699758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3864 2998 1111 63 0 3801 0
vsize: 15456
[startup+340.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3111 0 0 0 33952 50 0 0 25 0 1 0 903256845 15826944 3019 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3864 3019 1111 63 0 3801 0
vsize: 15456
[startup+350.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3129 0 0 0 34952 51 0 0 25 0 1 0 903256845 15937536 3037 4294967295 134512640 134716908 3221224560 3221223312 134591938 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3037 1111 63 0 3828 0
vsize: 15564
[startup+360.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3131 0 0 0 35951 52 0 0 25 0 1 0 903256845 15937536 3039 4294967295 134512640 134716908 3221224560 3221223288 1076647870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3131 0 0 0 36950 53 0 0 25 0 1 0 903256845 15937536 3039 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+380.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3131 0 0 0 37949 54 0 0 25 0 1 0 903256845 15937536 3039 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+390.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3131 0 0 0 38948 55 0 0 25 0 1 0 903256845 15937536 3039 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3131 0 0 0 39947 56 0 0 25 0 1 0 903256845 15937536 3039 4294967295 134512640 134716908 3221224560 3221223236 1077374550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3131 0 0 0 40946 58 0 0 25 0 1 0 903256845 15937536 3039 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+420.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3138 0 0 0 41944 59 0 0 25 0 1 0 903256845 15937536 3046 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3046 1111 63 0 3828 0
vsize: 15564
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20909
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3146 0 0 0 42943 61 0 0 25 0 1 0 903256845 16072704 3054 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3924 3054 1111 63 0 3861 0
vsize: 15696
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3146 0 0 0 43942 62 0 0 25 0 1 0 903256845 16072704 3054 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3924 3054 1111 63 0 3861 0
vsize: 15696
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3186 0 0 0 44941 63 0 0 25 0 1 0 903256845 16171008 3094 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3948 3094 1111 63 0 3885 0
vsize: 15792
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3197 0 0 0 45940 65 0 0 25 0 1 0 903256845 16171008 3105 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3948 3105 1111 63 0 3885 0
vsize: 15792
[startup+470.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3227 0 0 0 46939 66 0 0 25 0 1 0 903256845 16302080 3135 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3980 3135 1111 63 0 3917 0
vsize: 15920
[startup+480.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3236 0 0 0 47938 67 0 0 25 0 1 0 903256845 16437248 3144 4294967295 134512640 134716908 3221224560 3221223256 134528705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3144 1111 63 0 3950 0
vsize: 16052
[startup+490.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3258 0 0 0 48936 69 0 0 25 0 1 0 903256845 16437248 3166 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3166 1111 63 0 3950 0
vsize: 16052
[startup+500.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3258 0 0 0 49935 70 0 0 25 0 1 0 903256845 16437248 3166 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3166 1111 63 0 3950 0
vsize: 16052
[startup+510.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3282 0 0 0 50935 71 0 0 25 0 1 0 903256845 16539648 3190 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4038 3190 1111 63 0 3975 0
vsize: 16152
[startup+520.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3282 0 0 0 51934 72 0 0 25 0 1 0 903256845 16539648 3190 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4038 3190 1111 63 0 3975 0
vsize: 16152
[startup+530.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3316 0 0 0 52933 72 0 0 25 0 1 0 903256845 16674816 3224 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4071 3224 1111 63 0 4008 0
vsize: 16284
[startup+540.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3316 0 0 0 53932 74 0 0 25 0 1 0 903256845 16674816 3224 4294967295 134512640 134716908 3221224560 3221223108 134699080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4071 3224 1111 63 0 4008 0
vsize: 16284
[startup+550.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3316 0 0 0 54931 75 0 0 25 0 1 0 903256845 16674816 3224 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4071 3224 1111 63 0 4008 0
vsize: 16284
[startup+560.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3350 0 0 0 55931 75 0 0 25 0 1 0 903256845 16809984 3258 4294967295 134512640 134716908 3221224560 3221223184 134698710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3258 1111 63 0 4041 0
vsize: 16416
[startup+570.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3350 0 0 0 56930 77 0 0 25 0 1 0 903256845 16809984 3258 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3258 1111 63 0 4041 0
vsize: 16416
[startup+580.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3359 0 0 0 57929 77 0 0 25 0 1 0 903256845 16936960 3267 4294967295 134512640 134716908 3221224560 3221223044 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4135 3267 1111 63 0 4072 0
vsize: 16540
[startup+590.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3359 0 0 0 58929 78 0 0 25 0 1 0 903256845 16936960 3267 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4135 3267 1111 63 0 4072 0
vsize: 16540
[startup+600.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3392 0 0 0 59928 79 0 0 25 0 1 0 903256845 17072128 3300 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4168 3300 1111 63 0 4105 0
vsize: 16672
[startup+610.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3400 0 0 0 60927 80 0 0 25 0 1 0 903256845 17051648 3308 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4163 3308 1111 63 0 4100 0
vsize: 16652
[startup+620.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3460 0 0 0 61926 81 0 0 25 0 1 0 903256845 17301504 3368 4294967295 134512640 134716908 3221224560 3221223128 134698755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3368 1111 63 0 4161 0
vsize: 16896
[startup+630.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3470 0 0 0 62926 81 0 0 25 0 1 0 903256845 17301504 3378 4294967295 134512640 134716908 3221224560 3221223224 134551632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+640.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3470 0 0 0 63926 82 0 0 25 0 1 0 903256845 17301504 3378 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+650.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3470 0 0 0 64925 82 0 0 25 0 1 0 903256845 17301504 3378 4294967295 134512640 134716908 3221224560 3221223260 134534084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+660.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3470 0 0 0 65924 84 0 0 25 0 1 0 903256845 17301504 3378 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+670.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3470 0 0 0 66924 85 0 0 25 0 1 0 903256845 17301504 3378 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+680.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3470 0 0 0 67923 85 0 0 25 0 1 0 903256845 17301504 3378 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+690.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3470 0 0 0 68922 87 0 0 25 0 1 0 903256845 17301504 3378 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+700.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3470 0 0 0 69921 88 0 0 25 0 1 0 903256845 17301504 3378 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+710.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3470 0 0 0 70920 89 0 0 25 0 1 0 903256845 17301504 3378 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+720.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3470 0 0 0 71919 90 0 0 25 0 1 0 903256845 17301504 3378 4294967295 134512640 134716908 3221224560 3221223328 134592320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+730.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3499 0 0 0 72919 91 0 0 25 0 1 0 903256845 17416192 3407 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4252 3407 1111 63 0 4189 0
vsize: 17008
[startup+740.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3499 0 0 0 73918 92 0 0 25 0 1 0 903256845 17416192 3407 4294967295 134512640 134716908 3221224560 3221223168 134548605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4252 3407 1111 63 0 4189 0
vsize: 17008
[startup+750.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3500 0 0 0 74916 93 0 0 25 0 1 0 903256845 17416192 3408 4294967295 134512640 134716908 3221224560 3221223308 134675288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4252 3408 1111 63 0 4189 0
vsize: 17008
[startup+760.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3513 0 0 0 75916 94 0 0 25 0 1 0 903256845 17551360 3421 4294967295 134512640 134716908 3221224560 3221223128 134551987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 3421 1111 63 0 4222 0
vsize: 17140
[startup+770.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3518 0 0 0 76915 95 0 0 25 0 1 0 903256845 17551360 3426 4294967295 134512640 134716908 3221224560 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 3426 1111 63 0 4222 0
vsize: 17140
[startup+780.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3519 0 0 0 77914 96 0 0 25 0 1 0 903256845 17551360 3427 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 3427 1111 63 0 4222 0
vsize: 17140
[startup+790.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3519 0 0 0 78913 97 0 0 25 0 1 0 903256845 17551360 3427 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 3427 1111 63 0 4222 0
vsize: 17140
[startup+800.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3519 0 0 0 79912 99 0 0 25 0 1 0 903256845 17551360 3427 4294967295 134512640 134716908 3221224560 3221223196 134523384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 3427 1111 63 0 4222 0
vsize: 17140
[startup+810.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3590 0 0 0 80911 100 0 0 25 0 1 0 903256845 17809408 3498 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+820.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3590 0 0 0 81911 100 0 0 25 0 1 0 903256845 17809408 3498 4294967295 134512640 134716908 3221224560 3221223212 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+830.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3590 0 0 0 82910 101 0 0 25 0 1 0 903256845 17809408 3498 4294967295 134512640 134716908 3221224560 3221222876 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+840.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3590 0 0 0 83909 102 0 0 25 0 1 0 903256845 17809408 3498 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+850.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3590 0 0 0 84908 103 0 0 25 0 1 0 903256845 17809408 3498 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+860.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3590 0 0 0 85907 105 0 0 25 0 1 0 903256845 17809408 3498 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+870.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3590 0 0 0 86906 106 0 0 25 0 1 0 903256845 17809408 3498 4294967295 134512640 134716908 3221224560 3221223392 134551450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+880.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3590 0 0 0 87905 107 0 0 25 0 1 0 903256845 17809408 3498 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+890.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3590 0 0 0 88904 108 0 0 25 0 1 0 903256845 17809408 3498 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+900.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3595 0 0 0 89903 109 0 0 25 0 1 0 903256845 17809408 3503 4294967295 134512640 134716908 3221224560 3221223056 134699592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+910.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3595 0 0 0 90902 110 0 0 25 0 1 0 903256845 17809408 3503 4294967295 134512640 134716908 3221224560 3221223200 134698471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+920.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3595 0 0 0 91902 111 0 0 25 0 1 0 903256845 17809408 3503 4294967295 134512640 134716908 3221224560 3221223056 134535391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+930.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3595 0 0 0 92901 112 0 0 25 0 1 0 903256845 17809408 3503 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+940.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3595 0 0 0 93900 113 0 0 25 0 1 0 903256845 17809408 3503 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+950.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3595 0 0 0 94900 114 0 0 25 0 1 0 903256845 17809408 3503 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+960.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3595 0 0 0 95899 115 0 0 25 0 1 0 903256845 17809408 3503 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+970.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3595 0 0 0 96898 116 0 0 25 0 1 0 903256845 17809408 3503 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+980.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3604 0 0 0 97897 117 0 0 25 0 1 0 903256845 17928192 3512 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3512 1111 63 0 4314 0
vsize: 17508
[startup+990.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3626 0 0 0 98896 118 0 0 25 0 1 0 903256845 17928192 3534 4294967295 134512640 134716908 3221224560 3221223296 134591875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3534 1111 63 0 4314 0
vsize: 17508
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3668 0 0 0 99895 120 0 0 25 0 1 0 903256845 18198528 3576 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4443 3576 1111 63 0 4380 0
vsize: 17772
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3685 0 0 0 100894 121 0 0 25 0 1 0 903256845 18186240 3593 4294967295 134512640 134716908 3221224560 3221223116 134535626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3593 1111 63 0 4377 0
vsize: 17760
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3685 0 0 0 101892 123 0 0 25 0 1 0 903256845 18186240 3593 4294967295 134512640 134716908 3221224560 3221223172 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3593 1111 63 0 4377 0
vsize: 17760
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3713 0 0 0 102891 124 0 0 25 0 1 0 903256845 18321408 3621 4294967295 134512640 134716908 3221224560 3221223248 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4473 3621 1111 63 0 4410 0
vsize: 17892
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3725 0 0 0 103890 125 0 0 25 0 1 0 903256845 18321408 3633 4294967295 134512640 134716908 3221224560 3221223308 134558545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4473 3633 1111 63 0 4410 0
vsize: 17892
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3732 0 0 0 104889 126 0 0 25 0 1 0 903256845 18456576 3640 4294967295 134512640 134716908 3221224560 3221223232 1076647864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3640 1111 63 0 4443 0
vsize: 18024
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3738 0 0 0 105888 127 0 0 25 0 1 0 903256845 18456576 3646 4294967295 134512640 134716908 3221224560 3221223120 134535881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3646 1111 63 0 4443 0
vsize: 18024
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3744 0 0 0 106887 129 0 0 25 0 1 0 903256845 18427904 3652 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4499 3652 1111 63 0 4436 0
vsize: 17996
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3755 0 0 0 107886 130 0 0 25 0 1 0 903256845 18563072 3663 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4532 3663 1111 63 0 4469 0
vsize: 18128
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3755 0 0 0 108885 131 0 0 25 0 1 0 903256845 18563072 3663 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4532 3663 1111 63 0 4469 0
vsize: 18128
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3779 0 0 0 109885 132 0 0 25 0 1 0 903256845 18546688 3687 4294967295 134512640 134716908 3221224560 3221223124 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4528 3687 1111 63 0 4465 0
vsize: 18112
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3779 0 0 0 110884 133 0 0 25 0 1 0 903256845 18546688 3687 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4528 3687 1111 63 0 4465 0
vsize: 18112
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3799 0 0 0 111883 134 0 0 25 0 1 0 903256845 18681856 3707 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3707 1111 63 0 4498 0
vsize: 18244
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3799 0 0 0 112882 135 0 0 25 0 1 0 903256845 18681856 3707 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3707 1111 63 0 4498 0
vsize: 18244
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3799 0 0 0 113881 136 0 0 25 0 1 0 903256845 18681856 3707 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3707 1111 63 0 4498 0
vsize: 18244
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3806 0 0 0 114879 138 0 0 25 0 1 0 903256845 18681856 3714 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3714 1111 63 0 4498 0
vsize: 18244
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3823 0 0 0 115877 140 0 0 25 0 1 0 903256845 18817024 3731 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4594 3731 1111 63 0 4531 0
vsize: 18376
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3838 0 0 0 116876 142 0 0 25 0 1 0 903256845 18817024 3746 4294967295 134512640 134716908 3221224560 3221223248 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4594 3746 1111 63 0 4531 0
vsize: 18376
[startup+1174.86 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 20911
Raw data (stat): 20854 (bsolo_lpr_cuts-) R 20853 7266 7265 0 -1 0 3838 0 0 0 116876 142 0 0 25 0 1 0 903256845 18817024 3746 4294967295 134512640 134716908 3221224560 3221223248 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4594 3746 1111 63 0 4531 0
vsize: 0

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