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-fpga40_40_sat_pb.cnf.cr.opb
MD5SUM	f9a3a990ebca4aa5457d0675d3f1fe27
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	41
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	1.9477
Number of variables	2400
Total number of constraints	1720
Number of constraints which are clauses	1640
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 40602

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 16:51:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28668 boxname=wulflinc6 idbench=54 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  f9a3a990ebca4aa5457d0675d3f1fe27  /oldhome/oroussel/tmp/wulflinc6/normalized-fpga40_40_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga40_40_sat_pb.cnf.cr.opb
IDLAUNCH: 28668
/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:        601024 kB
Buffers:         30688 kB
Cached:         381676 kB
SwapCached:        940 kB
Active:          47280 kB
Inactive:       367144 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        600772 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13408 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:10:49 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28668 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 2400 variables and 1720 constraints.
c After prepocess the problem consists of 2400 variables and 1720 constraints.
c preprocess terminated 5.701 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.91 0.95 0.92 1/54 32612
Raw data (stat): 32612 (runsolver) R 32611 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903211512 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.0006 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 1922 0 0 0 992 5 0 0 25 0 1 0 903211512 11018240 1840 4294967295 134512640 134716908 3221224560 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2690 1840 1111 63 0 2627 0
vsize: 10760
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2008 0 0 0 1991 7 0 0 25 0 1 0 903211512 11395072 1926 4294967295 134512640 134716908 3221224560 3221223328 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1926 1111 63 0 2719 0
vsize: 11128
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2102 0 0 0 2989 9 0 0 25 0 1 0 903211512 11800576 2020 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2881 2020 1111 63 0 2818 0
vsize: 11524
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2133 0 0 0 3986 11 0 0 25 0 1 0 903211512 11931648 2051 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2913 2051 1111 63 0 2850 0
vsize: 11652
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2157 0 0 0 4984 14 0 0 25 0 1 0 903211512 11931648 2075 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2913 2075 1111 63 0 2850 0
vsize: 11652
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2197 0 0 0 5982 17 0 0 25 0 1 0 903211512 12201984 2115 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2979 2115 1111 63 0 2916 0
vsize: 11916
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2219 0 0 0 6981 18 0 0 25 0 1 0 903211512 12308480 2137 4294967295 134512640 134716908 3221224560 3221223040 134699801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 2137 1111 63 0 2942 0
vsize: 12020
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2283 0 0 0 7978 21 0 0 25 0 1 0 903211512 12443648 2201 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3038 2201 1111 63 0 2975 0
vsize: 12152
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2336 0 0 0 8975 24 0 0 25 0 1 0 903211512 12713984 2254 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3104 2254 1111 63 0 3041 0
vsize: 12416
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2452 0 0 0 9973 26 0 0 25 0 1 0 903211512 13221888 2370 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3228 2370 1111 63 0 3165 0
vsize: 12912
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2606 0 0 0 10972 27 0 0 25 0 1 0 903211512 13897728 2524 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3393 2524 1111 63 0 3330 0
vsize: 13572
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 2877 0 0 0 11971 29 0 0 25 0 1 0 903211512 14979072 2795 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3657 2795 1111 63 0 3594 0
vsize: 14628
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3011 0 0 0 12969 31 0 0 25 0 1 0 903211512 15421440 2928 4294967295 134512640 134716908 3221224560 3221223344 134528896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3765 2928 1111 63 0 3702 0
vsize: 15060
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3036 0 0 0 13968 33 0 0 25 0 1 0 903211512 15556608 2953 4294967295 134512640 134716908 3221224560 3221223200 134698415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3036 0 0 0 14967 33 0 0 25 0 1 0 903211512 15556608 2953 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3036 0 0 0 15966 35 0 0 25 0 1 0 903211512 15556608 2953 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3036 0 0 0 16965 36 0 0 25 0 1 0 903211512 15556608 2953 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3036 0 0 0 17962 39 0 0 25 0 1 0 903211512 15556608 2953 4294967295 134512640 134716908 3221224560 3221223184 134535379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3036 0 0 0 18960 41 0 0 25 0 1 0 903211512 15556608 2953 4294967295 134512640 134716908 3221224560 3221223116 134535552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3036 0 0 0 19960 42 0 0 25 0 1 0 903211512 15556608 2953 4294967295 134512640 134716908 3221224560 3221223296 134588000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3036 0 0 0 20959 43 0 0 25 0 1 0 903211512 15556608 2953 4294967295 134512640 134716908 3221224560 3221223372 134529425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3036 0 0 0 21958 44 0 0 25 0 1 0 903211512 15556608 2953 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3116 0 0 0 22957 45 0 0 25 0 1 0 903211512 15962112 3033 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3897 3033 1111 63 0 3834 0
vsize: 15588
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3116 0 0 0 23955 47 0 0 25 0 1 0 903211512 15671296 2989 4294967295 134512640 134716908 3221224560 3221223316 134588016 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3826 2989 1111 63 0 3763 0
vsize: 15304
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3139 0 0 0 24954 48 0 0 25 0 1 0 903211512 15806464 3012 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 3012 1111 63 0 3796 0
vsize: 15436
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3139 0 0 0 25953 50 0 0 25 0 1 0 903211512 15806464 3012 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 3012 1111 63 0 3796 0
vsize: 15436
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3139 0 0 0 26951 52 0 0 25 0 1 0 903211512 15806464 3012 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 3012 1111 63 0 3796 0
vsize: 15436
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3143 0 0 0 27950 53 0 0 25 0 1 0 903211512 15806464 3016 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 3016 1111 63 0 3796 0
vsize: 15436
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3162 0 0 0 28950 54 0 0 25 0 1 0 903211512 15941632 3035 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3035 1111 63 0 3829 0
vsize: 15568
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3166 0 0 0 29949 55 0 0 25 0 1 0 903211512 16007168 3039 4294967295 134512640 134716908 3221224560 3221223304 134675300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3039 1111 63 0 3845 0
vsize: 15632
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3166 0 0 0 30948 56 0 0 25 0 1 0 903211512 15867904 3037 4294967295 134512640 134716908 3221224560 3221223200 134698429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3166 0 0 0 31948 57 0 0 25 0 1 0 903211512 15867904 3037 4294967295 134512640 134716908 3221224560 3221223108 134699077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3166 0 0 0 32947 57 0 0 25 0 1 0 903211512 15867904 3037 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3166 0 0 0 33947 58 0 0 25 0 1 0 903211512 15867904 3037 4294967295 134512640 134716908 3221224560 3221223216 134524259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3166 0 0 0 34946 59 0 0 25 0 1 0 903211512 15867904 3037 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3166 0 0 0 35945 60 0 0 25 0 1 0 903211512 15867904 3037 4294967295 134512640 134716908 3221224560 3221223192 134698697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3166 0 0 0 36944 61 0 0 25 0 1 0 903211512 15867904 3037 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3166 0 0 0 37944 62 0 0 25 0 1 0 903211512 15867904 3037 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3166 0 0 0 38942 63 0 0 25 0 1 0 903211512 15867904 3037 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3183 0 0 0 39941 65 0 0 25 0 1 0 903211512 16003072 3054 4294967295 134512640 134716908 3221224560 3221223472 134595081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 3054 1111 63 0 3844 0
vsize: 15628
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3206 0 0 0 40940 66 0 0 25 0 1 0 903211512 16031744 3077 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3914 3077 1111 63 0 3851 0
vsize: 15656
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3272 0 0 0 41939 67 0 0 25 0 1 0 903211512 16302080 3132 4294967295 134512640 134716908 3221224560 3221223248 134594343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3980 3132 1111 63 0 3917 0
vsize: 15920
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3272 0 0 0 42938 69 0 0 25 0 1 0 903211512 16302080 3132 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3980 3132 1111 63 0 3917 0
vsize: 15920
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3290 0 0 0 43936 71 0 0 25 0 1 0 903211512 16437248 3150 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3150 1111 63 0 3950 0
vsize: 16052
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 44934 73 0 0 25 0 1 0 903211512 17244160 3352 4294967295 134512640 134716908 3221224560 3221223232 134655199 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4210 3352 1111 63 0 4147 0
vsize: 16840
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 45933 74 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223200 134524203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 46930 77 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 47928 79 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 48926 82 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 49925 83 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 50924 85 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 32612
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 51922 86 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.92 3/55 32613
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 52917 91 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223200 134698400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+540.022 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 32665
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 53916 93 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+550.021 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 32665
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 54915 94 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223200 134698471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+560.022 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 32665
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 55914 95 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223328 134592137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+570.022 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 32665
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 56914 96 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+580.022 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 32665
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 57912 97 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223248 134534089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+590.022 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 32665
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 58912 98 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223124 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+600.023 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 32665
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3492 0 0 0 59911 100 0 0 25 0 1 0 903211512 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+610.023 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3500 0 0 0 60911 101 0 0 25 0 1 0 903211512 17309696 3360 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4226 3360 1111 63 0 4163 0
vsize: 16904
[startup+620.024 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3500 0 0 0 61910 101 0 0 25 0 1 0 903211512 17248256 3360 4294967295 134512640 134716908 3221224560 3221223264 134591904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3360 1111 63 0 4148 0
vsize: 16844
[startup+630.024 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3500 0 0 0 62909 103 0 0 25 0 1 0 903211512 17248256 3360 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3360 1111 63 0 4148 0
vsize: 16844
[startup+640.025 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3500 0 0 0 63908 104 0 0 25 0 1 0 903211512 17248256 3360 4294967295 134512640 134716908 3221224560 3221223264 134528691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3360 1111 63 0 4148 0
vsize: 16844
[startup+650.025 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3548 0 0 0 64908 105 0 0 25 0 1 0 903211512 17387520 3399 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3399 1111 63 0 4182 0
vsize: 16980
[startup+660.025 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 65908 105 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 66907 107 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223184 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+680.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 67906 107 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223248 134523816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+690.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 68906 108 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+700.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 69905 109 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223368 134558585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 70905 110 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+720.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 71905 110 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+730.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 72905 111 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 73904 112 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223248 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 74903 113 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+760.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 75903 114 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223116 134539270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 76902 114 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223140 1077378607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 77901 116 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223296 134558507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+790.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 78901 117 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+800.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 79900 118 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223316 134592078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 80900 118 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223180 134523380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 81900 119 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223184 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+830.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 82899 120 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+840.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32667
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3605 0 0 0 83899 120 0 0 25 0 1 0 903211512 17657856 3456 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3608 0 0 0 84899 121 0 0 25 0 1 0 903211512 17657856 3459 4294967295 134512640 134716908 3221224560 3221223224 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+860.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3608 0 0 0 85899 122 0 0 25 0 1 0 903211512 17657856 3459 4294967295 134512640 134716908 3221224560 3221223248 134542958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3608 0 0 0 86899 122 0 0 25 0 1 0 903211512 17657856 3459 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3608 0 0 0 87898 122 0 0 25 0 1 0 903211512 17657856 3459 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+890.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3608 0 0 0 88898 124 0 0 25 0 1 0 903211512 17657856 3459 4294967295 134512640 134716908 3221224560 3221222564 134699551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3608 0 0 0 89897 125 0 0 25 0 1 0 903211512 17657856 3459 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3608 0 0 0 90896 126 0 0 25 0 1 0 903211512 17657856 3459 4294967295 134512640 134716908 3221224560 3221223200 134539446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+920.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3659 0 0 0 91896 126 0 0 25 0 1 0 903211512 17928192 3510 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4377 3510 1111 63 0 4314 0
vsize: 17508
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 92896 127 0 0 25 0 1 0 903211512 17928192 3512 4294967295 134512640 134716908 3221224560 3221223264 134535810 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4377 3512 1111 63 0 4314 0
vsize: 17508
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 93895 128 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+950.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 94893 130 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 95892 132 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+970.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 96891 133 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+980.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 97890 135 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223264 134524459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+990.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 98889 136 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 99887 138 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 100887 139 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 101886 140 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 102886 141 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 103885 142 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 104884 144 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223124 134542700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 105883 145 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 106882 146 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 107881 148 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223284 134613716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3661 0 0 0 108880 149 0 0 25 0 1 0 903211512 17739776 3494 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3694 0 0 0 109879 150 0 0 25 0 1 0 903211512 17874944 3527 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3527 1111 63 0 4301 0
vsize: 17456
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3694 0 0 0 110879 151 0 0 25 0 1 0 903211512 17874944 3527 4294967295 134512640 134716908 3221224560 3221223120 134551989 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3527 1111 63 0 4301 0
vsize: 17456
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3694 0 0 0 111878 152 0 0 25 0 1 0 903211512 17874944 3527 4294967295 134512640 134716908 3221224560 3221223232 134524431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3527 1111 63 0 4301 0
vsize: 17456
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3694 0 0 0 112877 153 0 0 25 0 1 0 903211512 17874944 3527 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3527 1111 63 0 4301 0
vsize: 17456
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3694 0 0 0 113877 154 0 0 25 0 1 0 903211512 17874944 3527 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3527 1111 63 0 4301 0
vsize: 17456
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3774 0 0 0 114876 155 0 0 25 0 1 0 903211512 18255872 3607 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 3607 1111 63 0 4394 0
vsize: 17828
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3787 0 0 0 115876 156 0 0 25 0 1 0 903211512 18255872 3620 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 3620 1111 63 0 4394 0
vsize: 17828
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3787 0 0 0 116876 156 0 0 25 0 1 0 903211512 18255872 3620 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 3620 1111 63 0 4394 0
vsize: 17828
[startup+1174.74 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 32669
Raw data (stat): 32612 (bsolo_lpr_cuts-) R 32611 25568 25567 0 -1 0 3787 0 0 0 116876 156 0 0 25 0 1 0 903211512 18255872 3620 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 3620 1111 63 0 4394 0
vsize: 0

Child status: 0
Real time (s): 1174.74
CPU time (s): 1175.02
CPU user time (s): 1173.45
CPU system time (s): 1.57676
CPU usage (%): 100.024
Max. virtual memory (Kb): 17828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####