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-fpga12_10_sat_pb.cnf.cr.opb
MD5SUM	943ed21b69a083554f0cd43700c9a371
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	13
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.05899
Number of variables	180
Total number of constraints	152
Number of constraints which are clauses	130
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 40576

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 15:22:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28642 boxname=wulflinc3 idbench=28 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  943ed21b69a083554f0cd43700c9a371  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga12_10_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga12_10_sat_pb.cnf.cr.opb
IDLAUNCH: 28642
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        762356 kB
Buffers:         10860 kB
Cached:         241768 kB
SwapCached:        808 kB
Active:          32560 kB
Inactive:       222096 kB
HighTotal:      131008 kB
HighFree:         4592 kB
LowTotal:       903652 kB
LowFree:        757764 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12020 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:42:29 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 28642 7 1175.11 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 180 variables and 152 constraints.
c After prepocess the problem consists of 180 variables and 152 constraints.
c preprocess terminated 0.095 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.93 0.98 0.94 2/54 26972
Raw data (stat): 26972 (runsolver) R 26971 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902673787 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.0001 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 2372 0 0 0 989 8 0 0 25 0 1 0 902673787 12783616 2290 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3121 2290 1111 63 0 3058 0
vsize: 12484
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 4141 0 0 0 1983 14 0 0 25 0 1 0 902673787 20086784 4058 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4904 4058 1111 63 0 4841 0
vsize: 19616
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 4967 0 0 0 2979 18 0 0 25 0 1 0 902673787 23490560 4884 4294967295 134512640 134716908 3221224560 3221223116 134535652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5735 4884 1111 63 0 5672 0
vsize: 22940
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 5626 0 0 0 3978 20 0 0 25 0 1 0 902673787 26226688 5543 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6403 5543 1111 63 0 6340 0
vsize: 25612
[startup+50.0038 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 6435 0 0 0 4975 23 0 0 25 0 1 0 902673787 29614080 6352 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7230 6352 1111 63 0 7167 0
vsize: 28920
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 7432 0 0 0 5971 27 0 0 25 0 1 0 902673787 33681408 7349 4294967295 134512640 134716908 3221224560 3221222980 134699852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 7349 1111 63 0 8160 0
vsize: 32892
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 8238 0 0 0 6969 30 0 0 25 0 1 0 902673787 37060608 8155 4294967295 134512640 134716908 3221224560 3221223120 134698876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9048 8155 1111 63 0 8985 0
vsize: 36192
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 9017 0 0 0 7965 34 0 0 25 0 1 0 902673787 40177664 8933 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9809 8933 1111 63 0 9746 0
vsize: 39236
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 9497 0 0 0 8964 35 0 0 25 0 1 0 902673787 42205184 9413 4294967295 134512640 134716908 3221224560 3221223344 134529341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 9413 1111 63 0 10241 0
vsize: 41216
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 10257 0 0 0 9960 39 0 0 25 0 1 0 902673787 45314048 10173 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11063 10173 1111 63 0 11000 0
vsize: 44252
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 11003 0 0 0 10958 41 0 0 25 0 1 0 902673787 48295936 10919 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11791 10919 1111 63 0 11728 0
vsize: 47164
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 11632 0 0 0 11957 43 0 0 25 0 1 0 902673787 51007488 11544 4294967295 134512640 134716908 3221224560 3221223212 134536769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11544 1111 63 0 12390 0
vsize: 49812
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 12283 0 0 0 12954 45 0 0 25 0 1 0 902673787 53723136 12195 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13116 12195 1111 63 0 13053 0
vsize: 52464
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 12733 0 0 0 13953 47 0 0 25 0 1 0 902673787 55623680 12645 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13580 12645 1111 63 0 13517 0
vsize: 54320
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 13077 0 0 0 14951 49 0 0 25 0 1 0 902673787 56975360 12989 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13910 12989 1111 63 0 13847 0
vsize: 55640
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 13579 0 0 0 15950 50 0 0 25 0 1 0 902673787 59052032 13487 4294967295 134512640 134716908 3221224560 3221223184 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14417 13487 1111 63 0 14354 0
vsize: 57668
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 14119 0 0 0 16948 52 0 0 25 0 1 0 902673787 61214720 14027 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14945 14027 1111 63 0 14882 0
vsize: 59780
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 14813 0 0 0 17945 56 0 0 25 0 1 0 902673787 64069632 14721 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15642 14721 1111 63 0 15579 0
vsize: 62568
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 15498 0 0 0 18943 58 0 0 25 0 1 0 902673787 66957312 15404 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16347 15404 1111 63 0 16284 0
vsize: 65388
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 15906 0 0 0 19941 60 0 0 25 0 1 0 902673787 68694016 15808 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16771 15808 1111 63 0 16708 0
vsize: 67084
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 16320 0 0 0 20939 62 0 0 25 0 1 0 902673787 70455296 16222 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17201 16222 1111 63 0 17138 0
vsize: 68804
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 16611 0 0 0 21938 63 0 0 25 0 1 0 902673787 71696384 16513 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17504 16513 1111 63 0 17441 0
vsize: 70016
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 17210 0 0 0 22937 65 0 0 25 0 1 0 902673787 74190848 17107 4294967295 134512640 134716908 3221224560 3221223244 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18113 17107 1111 63 0 18050 0
vsize: 72452
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 17707 0 0 0 23935 67 0 0 25 0 1 0 902673787 76247040 17602 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18615 17602 1111 63 0 18552 0
vsize: 74460
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 18138 0 0 0 24935 68 0 0 25 0 1 0 902673787 78004224 18028 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19044 18029 1111 63 0 18981 0
vsize: 76176
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 18452 0 0 0 25933 69 0 0 25 0 1 0 902673787 79413248 18342 4294967295 134512640 134716908 3221224560 3221223228 134543056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19388 18342 1111 63 0 19325 0
vsize: 77552
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 18716 0 0 0 26933 70 0 0 25 0 1 0 902673787 80363520 18605 4294967295 134512640 134716908 3221224560 3221223072 134535020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19620 18605 1111 63 0 19557 0
vsize: 78480
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 19068 0 0 0 27931 72 0 0 25 0 1 0 902673787 81858560 18956 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19985 18956 1111 63 0 19922 0
vsize: 79940
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 19354 0 0 0 28929 74 0 0 25 0 1 0 902673787 82939904 19242 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20249 19242 1111 63 0 20186 0
vsize: 80996
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 19820 0 0 0 29929 75 0 0 25 0 1 0 902673787 85032960 19703 4294967295 134512640 134716908 3221224560 3221223036 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20760 19703 1111 63 0 20697 0
vsize: 83040
[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 20046 0 0 0 30928 75 0 0 25 0 1 0 902673787 86044672 19927 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21007 19927 1111 63 0 20944 0
vsize: 84028
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 20672 0 0 0 31926 78 0 0 25 0 1 0 902673787 88612864 20553 4294967295 134512640 134716908 3221224560 3221223196 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21634 20553 1111 63 0 21571 0
vsize: 86536
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 21548 0 0 0 32921 83 0 0 25 0 1 0 902673787 92295168 21426 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22533 21426 1111 63 0 22470 0
vsize: 90132
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 22476 0 0 0 33917 87 0 0 25 0 1 0 902673787 96108544 22354 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23464 22354 1111 63 0 23401 0
vsize: 93856
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 23386 0 0 0 34913 91 0 0 25 0 1 0 902673787 99758080 23262 4294967295 134512640 134716908 3221224560 3221223132 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24355 23262 1111 63 0 24292 0
vsize: 97420
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 24004 0 0 0 35911 93 0 0 25 0 1 0 902673787 102330368 23880 4294967295 134512640 134716908 3221224560 3221223144 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24983 23880 1111 63 0 24920 0
vsize: 99932
[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 24357 0 0 0 36910 95 0 0 25 0 1 0 902673787 103837696 24233 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25351 24233 1111 63 0 25288 0
vsize: 101404
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 24601 0 0 0 37909 96 0 0 25 0 1 0 902673787 104796160 24477 4294967295 134512640 134716908 3221224560 3221223088 134535397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25585 24477 1111 63 0 25522 0
vsize: 102340
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 24827 0 0 0 38908 97 0 0 25 0 1 0 902673787 105742336 24703 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25816 24703 1111 63 0 25753 0
vsize: 103264
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 25131 0 0 0 39906 99 0 0 25 0 1 0 902673787 106958848 25006 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26113 25006 1111 63 0 26050 0
vsize: 104452
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 25371 0 0 0 40905 101 0 0 25 0 1 0 902673787 107905024 25246 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26344 25246 1111 63 0 26281 0
vsize: 105376
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 26406 0 0 0 41901 105 0 0 25 0 1 0 902673787 112107520 26280 4294967295 134512640 134716908 3221224560 3221223152 134549670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27370 26280 1111 63 0 27307 0
vsize: 109480
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 26995 0 0 0 42899 107 0 0 25 0 1 0 902673787 114540544 26869 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27964 26869 1111 63 0 27901 0
vsize: 111856
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 27820 0 0 0 43896 110 0 0 25 0 1 0 902673787 117923840 27694 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28790 27694 1111 63 0 28727 0
vsize: 115160
[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 28724 0 0 0 44893 113 0 0 25 0 1 0 902673787 121573376 28598 4294967295 134512640 134716908 3221224560 3221223040 134699801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29681 28598 1111 63 0 29618 0
vsize: 118724
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 29578 0 0 0 45891 116 0 0 25 0 1 0 902673787 125091840 29452 4294967295 134512640 134716908 3221224560 3221223056 134699617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30540 29452 1111 63 0 30477 0
vsize: 122160
[startup+470.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 30563 0 0 0 46888 119 0 0 25 0 1 0 902673787 129155072 30436 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31532 30436 1111 63 0 31469 0
vsize: 126128
[startup+480.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 31051 0 0 0 47885 122 0 0 25 0 1 0 902673787 131055616 30924 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31996 30924 1111 63 0 31933 0
vsize: 127984
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 31877 0 0 0 48882 125 0 0 25 0 1 0 902673787 134619136 31748 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32866 31748 1111 63 0 32803 0
vsize: 131464
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 32206 0 0 0 49881 127 0 0 25 0 1 0 902673787 135843840 32077 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33165 32077 1111 63 0 33102 0
vsize: 132660
[startup+510.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 32977 0 0 0 50877 131 0 0 25 0 1 0 902673787 139198464 32844 4294967295 134512640 134716908 3221224560 3221223004 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33984 32844 1111 63 0 33921 0
vsize: 135936
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 33616 0 0 0 51875 133 0 0 25 0 1 0 902673787 141766656 33483 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34611 33483 1111 63 0 34548 0
vsize: 138444
[startup+530.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 34295 0 0 0 52871 137 0 0 25 0 1 0 902673787 144470016 34162 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35271 34162 1111 63 0 35208 0
vsize: 141084
[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 35092 0 0 0 53869 139 0 0 25 0 1 0 902673787 147714048 34959 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36063 34959 1111 63 0 36000 0
vsize: 144252
[startup+550.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 35780 0 0 0 54867 142 0 0 25 0 1 0 902673787 150552576 35647 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36756 35647 1111 63 0 36693 0
vsize: 147024
[startup+560.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 36256 0 0 0 55865 144 0 0 25 0 1 0 902673787 152580096 36123 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37251 36123 1111 63 0 37188 0
vsize: 149004
[startup+570.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 37141 0 0 0 56861 148 0 0 25 0 1 0 902673787 156094464 37008 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38109 37008 1111 63 0 38046 0
vsize: 152436
[startup+580.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 37819 0 0 0 57858 151 0 0 25 0 1 0 902673787 158941184 37686 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38804 37686 1111 63 0 38741 0
vsize: 155216
[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 38075 0 0 0 58858 152 0 0 25 0 1 0 902673787 159891456 37941 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39036 37941 1111 63 0 38973 0
vsize: 156144
[startup+600.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 38481 0 0 0 59857 153 0 0 25 0 1 0 902673787 161697792 38345 4294967295 134512640 134716908 3221224560 3221223344 134529412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39477 38345 1111 63 0 39414 0
vsize: 157908
[startup+610.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 38853 0 0 0 60856 154 0 0 25 0 1 0 902673787 163184640 38716 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39840 38716 1111 63 0 39777 0
vsize: 159360
[startup+620.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 39267 0 0 0 61854 156 0 0 25 0 1 0 902673787 164966400 39128 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40275 39128 1111 63 0 40212 0
vsize: 161100
[startup+630.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 39696 0 0 0 62853 158 0 0 25 0 1 0 902673787 166764544 39555 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40714 39555 1111 63 0 40651 0
vsize: 162856
[startup+640.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 40020 0 0 0 63852 159 0 0 25 0 1 0 902673787 168181760 39870 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41060 39870 1111 63 0 40997 0
vsize: 164240
[startup+650.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 40316 0 0 0 64850 161 0 0 25 0 1 0 902673787 169414656 40166 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41361 40166 1111 63 0 41298 0
vsize: 165444
[startup+660.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 40612 0 0 0 65849 162 0 0 25 0 1 0 902673787 170635264 40459 4294967295 134512640 134716908 3221224560 3221223056 134535376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41659 40459 1111 63 0 41596 0
vsize: 166636
[startup+670.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 41033 0 0 0 66847 164 0 0 25 0 1 0 902673787 172392448 40879 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42088 40879 1111 63 0 42025 0
vsize: 168352
[startup+680.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 41327 0 0 0 67845 166 0 0 25 0 1 0 902673787 173674496 41164 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42401 41164 1111 63 0 42338 0
vsize: 169604
[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 41563 0 0 0 68845 167 0 0 25 0 1 0 902673787 174821376 41393 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42681 41393 1111 63 0 42618 0
vsize: 170724
[startup+700.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 41749 0 0 0 69844 168 0 0 25 0 1 0 902673787 175497216 41579 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 41579 1111 63 0 42783 0
vsize: 171384
[startup+710.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 41957 0 0 0 70843 169 0 0 25 0 1 0 902673787 176308224 41787 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43044 41787 1111 63 0 42981 0
vsize: 172176
[startup+720.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 42163 0 0 0 71843 169 0 0 25 0 1 0 902673787 177172480 41992 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43255 41992 1111 63 0 43192 0
vsize: 173020
[startup+730.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 42408 0 0 0 72842 171 0 0 25 0 1 0 902673787 178118656 42237 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43486 42237 1111 63 0 43423 0
vsize: 173944
[startup+740.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 42586 0 0 0 73841 171 0 0 25 0 1 0 902673787 178794496 42415 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43651 42416 1111 63 0 43588 0
vsize: 174604
[startup+750.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 42841 0 0 0 74840 172 0 0 25 0 1 0 902673787 179978240 42670 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43940 42670 1111 63 0 43877 0
vsize: 175760
[startup+760.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 43083 0 0 0 75840 173 0 0 25 0 1 0 902673787 180989952 42911 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44187 42911 1111 63 0 44124 0
vsize: 176748
[startup+770.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 43270 0 0 0 76839 174 0 0 25 0 1 0 902673787 181915648 43094 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44413 43094 1111 63 0 44350 0
vsize: 177652
[startup+780.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 43477 0 0 0 77838 175 0 0 25 0 1 0 902673787 182747136 43301 4294967295 134512640 134716908 3221224560 3221223056 134535397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44616 43301 1111 63 0 44553 0
vsize: 178464
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 43707 0 0 0 78838 176 0 0 25 0 1 0 902673787 183709696 43531 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44851 43531 1111 63 0 44788 0
vsize: 179404
[startup+800.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 43893 0 0 0 79837 176 0 0 25 0 1 0 902673787 184385536 43717 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45016 43717 1111 63 0 44953 0
vsize: 180064
[startup+810.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 43998 0 0 0 80837 177 0 0 25 0 1 0 902673787 184811520 43821 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45120 43821 1111 63 0 45057 0
vsize: 180480
[startup+820.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 44268 0 0 0 81836 178 0 0 25 0 1 0 902673787 186028032 44091 4294967295 134512640 134716908 3221224560 3221223264 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45417 44091 1111 63 0 45354 0
vsize: 181668
[startup+830.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 44561 0 0 0 82835 179 0 0 25 0 1 0 902673787 187109376 44384 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45681 44384 1111 63 0 45618 0
vsize: 182724
[startup+840.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 44817 0 0 0 83834 180 0 0 25 0 1 0 902673787 188227584 44640 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45954 44640 1111 63 0 45891 0
vsize: 183816
[startup+850.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 44976 0 0 0 84834 181 0 0 25 0 1 0 902673787 188940288 44794 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46128 44794 1111 63 0 46065 0
vsize: 184512
[startup+860.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 45162 0 0 0 85833 182 0 0 25 0 1 0 902673787 189616128 44980 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46293 44980 1111 63 0 46230 0
vsize: 185172
[startup+870.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 45455 0 0 0 86833 183 0 0 25 0 1 0 902673787 190836736 45273 4294967295 134512640 134716908 3221224560 3221223136 134549640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46591 45273 1111 63 0 46528 0
vsize: 186364
[startup+880.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 45737 0 0 0 87831 184 0 0 25 0 1 0 902673787 192135168 45549 4294967295 134512640 134716908 3221224560 3221223328 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46908 45549 1111 63 0 46845 0
vsize: 187632
[startup+890.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 45979 0 0 0 88831 185 0 0 25 0 1 0 902673787 193220608 45789 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47173 45789 1111 63 0 47110 0
vsize: 188692
[startup+900.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 46118 0 0 0 89830 186 0 0 25 0 1 0 902673787 193769472 45926 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47307 45926 1111 63 0 47244 0
vsize: 189228
[startup+910.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 46278 0 0 0 90829 187 0 0 25 0 1 0 902673787 194469888 46085 4294967295 134512640 134716908 3221224560 3221223172 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47478 46085 1111 63 0 47415 0
vsize: 189912
[startup+920.042 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 46402 0 0 0 91829 187 0 0 25 0 1 0 902673787 195010560 46209 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47610 46209 1111 63 0 47547 0
vsize: 190440
[startup+930.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 46499 0 0 0 92829 187 0 0 25 0 1 0 902673787 195317760 46306 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47685 46306 1111 63 0 47622 0
vsize: 190740
[startup+940.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 46622 0 0 0 93829 188 0 0 25 0 1 0 902673787 196059136 46429 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47866 46429 1111 63 0 47803 0
vsize: 191464
[startup+950.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 46723 0 0 0 94828 188 0 0 25 0 1 0 902673787 196472832 46530 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47967 46530 1111 63 0 47904 0
vsize: 191868
[startup+960.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 46888 0 0 0 95828 189 0 0 25 0 1 0 902673787 197148672 46695 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48132 46695 1111 63 0 48069 0
vsize: 192528
[startup+970.042 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 47057 0 0 0 96827 190 0 0 25 0 1 0 902673787 197890048 46863 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48313 46863 1111 63 0 48250 0
vsize: 193252
[startup+980.042 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 47214 0 0 0 97827 190 0 0 25 0 1 0 902673787 198668288 47018 4294967295 134512640 134716908 3221224560 3221223280 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48503 47018 1111 63 0 48440 0
vsize: 194012
[startup+990.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 47371 0 0 0 98827 191 0 0 25 0 1 0 902673787 199340032 47172 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48667 47172 1111 63 0 48604 0
vsize: 194668
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 47526 0 0 0 99826 191 0 0 25 0 1 0 902673787 200081408 47327 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48848 47327 1111 63 0 48785 0
vsize: 195392
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 47933 0 0 0 100824 194 0 0 25 0 1 0 902673787 201838592 47734 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49277 47734 1111 63 0 49214 0
vsize: 197108
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 48328 0 0 0 101822 196 0 0 25 0 1 0 902673787 203460608 48129 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49673 48129 1111 63 0 49610 0
vsize: 198692
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 48647 0 0 0 102820 198 0 0 25 0 1 0 902673787 204677120 48448 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49970 48448 1111 63 0 49907 0
vsize: 199880
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 48929 0 0 0 103819 199 0 0 25 0 1 0 902673787 205893632 48730 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50267 48730 1111 63 0 50204 0
vsize: 201068
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 49220 0 0 0 104818 201 0 0 25 0 1 0 902673787 207110144 49021 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50564 49021 1111 63 0 50501 0
vsize: 202256
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 49509 0 0 0 105817 203 0 0 25 0 1 0 902673787 208191488 49310 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50828 49310 1111 63 0 50765 0
vsize: 203312
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 49818 0 0 0 106816 203 0 0 25 0 1 0 902673787 209543168 49619 4294967295 134512640 134716908 3221224560 3221223304 134551632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51158 49619 1111 63 0 51095 0
vsize: 204632
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 50090 0 0 0 107815 204 0 0 25 0 1 0 902673787 210624512 49891 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51422 49891 1111 63 0 51359 0
vsize: 205688
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 50287 0 0 0 108815 205 0 0 25 0 1 0 902673787 211509248 50085 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51638 50085 1111 63 0 51575 0
vsize: 206552
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 50503 0 0 0 109814 206 0 0 25 0 1 0 902673787 212320256 50301 4294967295 134512640 134716908 3221224560 3221223296 134523886 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51836 50302 1111 63 0 51773 0
vsize: 207344
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 50667 0 0 0 110814 207 0 0 25 0 1 0 902673787 212996096 50465 4294967295 134512640 134716908 3221224560 3221223332 134529372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52001 50465 1111 63 0 51938 0
vsize: 208004
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 50848 0 0 0 111813 207 0 0 25 0 1 0 902673787 213807104 50646 4294967295 134512640 134716908 3221224560 3221223344 134529145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52199 50646 1111 63 0 52136 0
vsize: 208796
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 51032 0 0 0 112812 208 0 0 25 0 1 0 902673787 214482944 50830 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52364 50830 1111 63 0 52301 0
vsize: 209456
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 51291 0 0 0 113811 210 0 0 25 0 1 0 902673787 215564288 51089 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52628 51089 1111 63 0 52565 0
vsize: 210512
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 51529 0 0 0 114810 211 0 0 25 0 1 0 902673787 216510464 51327 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52859 51327 1111 63 0 52796 0
vsize: 211436
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 51739 0 0 0 115809 212 0 0 25 0 1 0 902673787 217321472 51537 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53057 51537 1111 63 0 52994 0
vsize: 212228
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 51960 0 0 0 116809 212 0 0 25 0 1 0 902673787 218267648 51758 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53288 51758 1111 63 0 53225 0
vsize: 213152
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.98 0.94 1/53 26972
Raw data (stat): 26972 (bsolo_lpr_cuts-) R 26971 20224 20223 0 -1 0 51960 0 0 0 116809 212 0 0 25 0 1 0 902673787 218267648 51758 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53288 51758 1111 63 0 53225 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.11
CPU user time (s): 1172.88
CPU system time (s): 2.22866
CPU usage (%): 100.015
Max. virtual memory (Kb): 213152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####