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-fpga13_12_sat_pb.cnf.cr.opb
MD5SUM	b895465c3a135658947941250991e4de
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	14
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.100984
Number of variables	234
Total number of constraints	193
Number of constraints which are clauses	168
Number of constraints which are cardinality constraints (but not clauses)	25
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 40580

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 15:39:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28646 boxname=wulflinc5 idbench=32 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b895465c3a135658947941250991e4de  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga13_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga13_12_sat_pb.cnf.cr.opb
IDLAUNCH: 28646
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        855368 kB
Buffers:         17304 kB
Cached:         140736 kB
SwapCached:        672 kB
Active:          24160 kB
Inactive:       135884 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        855116 kB
SwapTotal:     2097136 kB
SwapFree:      2095500 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13596 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:59:23 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28646 7 1175.13 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 234 variables and 193 constraints.
c After prepocess the problem consists of 234 variables and 193 constraints.
c preprocess terminated 0.124 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.90 1/54 20425
Raw data (stat): 20425 (runsolver) R 20424 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902783731 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+9.99964 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 3493 0 0 0 985 11 0 0 25 0 1 0 902783731 17379328 3411 4294967295 134512640 134716908 3221224560 3221223224 134536749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4243 3411 1111 63 0 4180 0
vsize: 16972
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 5086 0 0 0 1981 16 0 0 25 0 1 0 902783731 24002560 5004 4294967295 134512640 134716908 3221224560 3221223208 134549509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5860 5004 1111 63 0 5797 0
vsize: 23440
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 6148 0 0 0 2977 21 0 0 25 0 1 0 902783731 28348416 6066 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6921 6066 1111 63 0 6858 0
vsize: 27684
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 7389 0 0 0 3972 25 0 0 25 0 1 0 902783731 33484800 7307 4294967295 134512640 134716908 3221224560 3221223212 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8175 7307 1111 63 0 8112 0
vsize: 32700
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 8372 0 0 0 4969 28 0 0 25 0 1 0 902783731 37572608 8289 4294967295 134512640 134716908 3221224560 3221223216 134536753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9173 8289 1111 63 0 9110 0
vsize: 36692
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 9482 0 0 0 5965 32 0 0 25 0 1 0 902783731 42184704 9398 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10299 9398 1111 63 0 10236 0
vsize: 41196
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 10484 0 0 0 6961 37 0 0 25 0 1 0 902783731 46288896 10397 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11301 10397 1111 63 0 11238 0
vsize: 45204
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 11365 0 0 0 7958 40 0 0 25 0 1 0 902783731 49803264 11276 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12159 11276 1111 63 0 12096 0
vsize: 48636
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 12220 0 0 0 8956 43 0 0 25 0 1 0 902783731 53342208 12131 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13023 12131 1111 63 0 12960 0
vsize: 52092
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 13026 0 0 0 9953 46 0 0 25 0 1 0 902783731 56721408 12936 4294967295 134512640 134716908 3221224560 3221223192 134536665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13848 12936 1111 63 0 13785 0
vsize: 55392
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 13680 0 0 0 10950 48 0 0 25 0 1 0 902783731 59449344 13590 4294967295 134512640 134716908 3221224560 3221223344 134529412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14514 13590 1111 63 0 14451 0
vsize: 58056
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 14225 0 0 0 11949 50 0 0 25 0 1 0 902783731 61657088 14132 4294967295 134512640 134716908 3221224560 3221223200 134536653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15053 14132 1111 63 0 14990 0
vsize: 60212
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 14730 0 0 0 12948 52 0 0 25 0 1 0 902783731 63827968 14637 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15583 14637 1111 63 0 15520 0
vsize: 62332
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 15265 0 0 0 13945 55 0 0 25 0 1 0 902783731 66007040 15172 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16115 15172 1111 63 0 16052 0
vsize: 64460
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 16058 0 0 0 14941 58 0 0 25 0 1 0 902783731 69259264 15965 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16909 15965 1111 63 0 16846 0
vsize: 67636
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 16717 0 0 0 15938 62 0 0 25 0 1 0 902783731 71901184 16623 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17554 16623 1111 63 0 17491 0
vsize: 70216
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 17365 0 0 0 16935 65 0 0 25 0 1 0 902783731 74641408 17267 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18223 17267 1111 63 0 18160 0
vsize: 72892
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 17927 0 0 0 17933 67 0 0 25 0 1 0 902783731 76939264 17829 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18784 17829 1111 63 0 18721 0
vsize: 75136
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 18702 0 0 0 18930 70 0 0 25 0 1 0 902783731 80183296 18604 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19576 18604 1111 63 0 19513 0
vsize: 78304
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 19489 0 0 0 19927 74 0 0 25 0 1 0 902783731 83292160 19391 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20335 19392 1111 63 0 20272 0
vsize: 81340
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 20093 0 0 0 20924 77 0 0 25 0 1 0 902783731 85864448 19995 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20963 19995 1111 63 0 20900 0
vsize: 83852
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 20528 0 0 0 21923 78 0 0 25 0 1 0 902783731 87572480 20430 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21380 20430 1111 63 0 21317 0
vsize: 85520
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 21152 0 0 0 22920 81 0 0 25 0 1 0 902783731 90214400 21054 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22025 21054 1111 63 0 21962 0
vsize: 88100
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 21718 0 0 0 23919 82 0 0 25 0 1 0 902783731 92512256 21620 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22586 21620 1111 63 0 22523 0
vsize: 90344
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 22233 0 0 0 24917 85 0 0 25 0 1 0 902783731 94674944 22135 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23114 22135 1111 63 0 23051 0
vsize: 92456
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 22604 0 0 0 25915 87 0 0 25 0 1 0 902783731 96202752 22506 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23487 22506 1111 63 0 23424 0
vsize: 93948
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 22932 0 0 0 26914 88 0 0 25 0 1 0 902783731 97599488 22832 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23828 22832 1111 63 0 23765 0
vsize: 95312
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 23380 0 0 0 27913 90 0 0 25 0 1 0 902783731 99610624 23274 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24319 23274 1111 63 0 24256 0
vsize: 97276
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 23793 0 0 0 28911 91 0 0 25 0 1 0 902783731 101355520 23682 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24745 23682 1111 63 0 24682 0
vsize: 98980
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 24200 0 0 0 29910 93 0 0 25 0 1 0 902783731 103108608 24084 4294967295 134512640 134716908 3221224560 3221223296 134535829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25173 24084 1111 63 0 25110 0
vsize: 100692
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 24455 0 0 0 30909 94 0 0 25 0 1 0 902783731 104189952 24339 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25437 24339 1111 63 0 25374 0
vsize: 101748
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 24831 0 0 0 31908 95 0 0 25 0 1 0 902783731 105676800 24715 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25800 24715 1111 63 0 25737 0
vsize: 103200
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 25273 0 0 0 32906 97 0 0 25 0 1 0 902783731 107675648 25156 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26288 25156 1111 63 0 26225 0
vsize: 105152
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 25644 0 0 0 33905 98 0 0 25 0 1 0 902783731 109162496 25527 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26651 25527 1111 63 0 26588 0
vsize: 106604
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 26151 0 0 0 34904 100 0 0 25 0 1 0 902783731 111362048 26034 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27188 26034 1111 63 0 27125 0
vsize: 108752
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 26614 0 0 0 35902 102 0 0 25 0 1 0 902783731 113283072 26497 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27657 26497 1111 63 0 27594 0
vsize: 110628
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 27083 0 0 0 36900 104 0 0 25 0 1 0 902783731 115040256 26966 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28086 26966 1111 63 0 28023 0
vsize: 112344
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 27801 0 0 0 37897 107 0 0 25 0 1 0 902783731 118018048 27684 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28813 27685 1111 63 0 28750 0
vsize: 115252
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 28282 0 0 0 38895 109 0 0 25 0 1 0 902783731 119910400 28165 4294967295 134512640 134716908 3221224560 3221223200 134536653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29275 28165 1111 63 0 29212 0
vsize: 117100
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 28782 0 0 0 39894 110 0 0 25 0 1 0 902783731 121958400 28664 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29775 28664 1111 63 0 29712 0
vsize: 119100
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 29211 0 0 0 40893 112 0 0 25 0 1 0 902783731 123715584 29093 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30204 29093 1111 63 0 30141 0
vsize: 120816
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 29632 0 0 0 41891 113 0 0 25 0 1 0 902783731 125472768 29514 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30633 29514 1111 63 0 30570 0
vsize: 122532
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 30129 0 0 0 42889 116 0 0 25 0 1 0 902783731 127389696 30010 4294967295 134512640 134716908 3221224560 3221223048 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31101 30010 1111 63 0 31038 0
vsize: 124404
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 30583 0 0 0 43888 117 0 0 25 0 1 0 902783731 129302528 30464 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31568 30464 1111 63 0 31505 0
vsize: 126272
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 31116 0 0 0 44886 119 0 0 25 0 1 0 902783731 131465216 30997 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32096 30997 1111 63 0 32033 0
vsize: 128384
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 31481 0 0 0 45885 121 0 0 25 0 1 0 902783731 132993024 31362 4294967295 134512640 134716908 3221224560 3221223344 134529009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32469 31362 1111 63 0 32406 0
vsize: 129876
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 31786 0 0 0 46884 122 0 0 25 0 1 0 902783731 134242304 31665 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32774 31665 1111 63 0 32711 0
vsize: 131096
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 32264 0 0 0 47882 124 0 0 25 0 1 0 902783731 136306688 32142 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33278 32142 1111 63 0 33215 0
vsize: 133112
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 32708 0 0 0 48881 126 0 0 25 0 1 0 902783731 138199040 32584 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33740 32584 1111 63 0 33677 0
vsize: 134960
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 32964 0 0 0 49879 127 0 0 25 0 1 0 902783731 139292672 32840 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34007 32840 1111 63 0 33944 0
vsize: 136028
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 33320 0 0 0 50878 129 0 0 25 0 1 0 902783731 140644352 33195 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34337 33195 1111 63 0 34274 0
vsize: 137348
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 33607 0 0 0 51877 130 0 0 25 0 1 0 902783731 141860864 33482 4294967295 134512640 134716908 3221224560 3221223152 134549751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34634 33482 1111 63 0 34571 0
vsize: 138536
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 33917 0 0 0 52876 131 0 0 25 0 1 0 902783731 143126528 33791 4294967295 134512640 134716908 3221224560 3221223056 134535335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34943 33791 1111 63 0 34880 0
vsize: 139772
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 34246 0 0 0 53874 133 0 0 25 0 1 0 902783731 144482304 34120 4294967295 134512640 134716908 3221224560 3221223344 134528883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35274 34120 1111 63 0 35211 0
vsize: 141096
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 34527 0 0 0 54873 134 0 0 25 0 1 0 902783731 145739776 34397 4294967295 134512640 134716908 3221224560 3221223184 134698588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35581 34397 1111 63 0 35518 0
vsize: 142324
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 34880 0 0 0 55872 136 0 0 25 0 1 0 902783731 147222528 34750 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35943 34750 1111 63 0 35880 0
vsize: 143772
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 35250 0 0 0 56870 138 0 0 25 0 1 0 902783731 148766720 35120 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36320 35120 1111 63 0 36257 0
vsize: 145280
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 35538 0 0 0 57869 139 0 0 25 0 1 0 902783731 150061056 35408 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36636 35408 1111 63 0 36573 0
vsize: 146544
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 35915 0 0 0 58868 140 0 0 25 0 1 0 902783731 151592960 35785 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37010 35785 1111 63 0 36947 0
vsize: 148040
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 36422 0 0 0 59867 141 0 0 25 0 1 0 902783731 153755648 36292 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37538 36292 1111 63 0 37475 0
vsize: 150152
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 36647 0 0 0 60867 142 0 0 25 0 1 0 902783731 154701824 36517 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37769 36517 1111 63 0 37706 0
vsize: 151076
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 36955 0 0 0 61866 143 0 0 25 0 1 0 902783731 155934720 36823 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38070 36823 1111 63 0 38007 0
vsize: 152280
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 37179 0 0 0 62865 144 0 0 25 0 1 0 902783731 156880896 37047 4294967295 134512640 134716908 3221224560 3221223296 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38301 37047 1111 63 0 38238 0
vsize: 153204
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 37471 0 0 0 63863 146 0 0 25 0 1 0 902783731 158097408 37339 4294967295 134512640 134716908 3221224560 3221223148 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38598 37339 1111 63 0 38535 0
vsize: 154392
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 37903 0 0 0 64862 148 0 0 25 0 1 0 902783731 159854592 37771 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39027 37771 1111 63 0 38964 0
vsize: 156108
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 38755 0 0 0 65858 152 0 0 25 0 1 0 902783731 163368960 38621 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39885 38621 1111 63 0 39822 0
vsize: 159540
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 39426 0 0 0 66856 154 0 0 25 0 1 0 902783731 166072320 39292 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40545 39292 1111 63 0 40482 0
vsize: 162180
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 39890 0 0 0 67854 156 0 0 25 0 1 0 902783731 167964672 39756 4294967295 134512640 134716908 3221224560 3221223072 134535017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41007 39756 1111 63 0 40944 0
vsize: 164028
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 40349 0 0 0 68853 157 0 0 25 0 1 0 902783731 169930752 40211 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41487 40211 1111 63 0 41424 0
vsize: 165948
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 40666 0 0 0 69852 159 0 0 25 0 1 0 902783731 171147264 40528 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41784 40528 1111 63 0 41721 0
vsize: 167136
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 40958 0 0 0 70851 160 0 0 25 0 1 0 902783731 172363776 40820 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42081 40820 1111 63 0 42018 0
vsize: 168324
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 41463 0 0 0 71849 162 0 0 25 0 1 0 902783731 174391296 41325 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41325 1111 63 0 42513 0
vsize: 170304
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 42136 0 0 0 72847 164 0 0 25 0 1 0 902783731 177131520 41997 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43245 41997 1111 63 0 43182 0
vsize: 172980
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 42608 0 0 0 73846 166 0 0 25 0 1 0 902783731 179023872 42469 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43707 42469 1111 63 0 43644 0
vsize: 174828
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 42866 0 0 0 74844 167 0 0 25 0 1 0 902783731 180109312 42723 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43972 42723 1111 63 0 43909 0
vsize: 175888
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 43301 0 0 0 75842 169 0 0 25 0 1 0 902783731 181866496 43158 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44401 43158 1111 63 0 44338 0
vsize: 177604
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 43626 0 0 0 76841 171 0 0 25 0 1 0 902783731 183218176 43483 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44731 43483 1111 63 0 44668 0
vsize: 178924
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 43900 0 0 0 77840 172 0 0 25 0 1 0 902783731 184299520 43757 4294967295 134512640 134716908 3221224560 3221223304 134523854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44995 43757 1111 63 0 44932 0
vsize: 179980
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 44199 0 0 0 78839 173 0 0 25 0 1 0 902783731 185663488 44056 4294967295 134512640 134716908 3221224560 3221223288 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45328 44056 1111 63 0 45265 0
vsize: 181312
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 44564 0 0 0 79838 174 0 0 25 0 1 0 902783731 187023360 44421 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45660 44421 1111 63 0 45597 0
vsize: 182640
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 45181 0 0 0 80836 177 0 0 25 0 1 0 902783731 189812736 45034 4294967295 134512640 134716908 3221224560 3221223188 134698613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46341 45034 1111 63 0 46278 0
vsize: 185364
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 45779 0 0 0 81833 180 0 0 25 0 1 0 902783731 192245760 45632 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46935 45632 1111 63 0 46872 0
vsize: 187740
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 46239 0 0 0 82831 182 0 0 25 0 1 0 902783731 194015232 46091 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47367 46091 1111 63 0 47304 0
vsize: 189468
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 46621 0 0 0 83830 183 0 0 25 0 1 0 902783731 195670016 46472 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47771 46472 1111 63 0 47708 0
vsize: 191084
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 46953 0 0 0 84829 184 0 0 25 0 1 0 902783731 197021696 46804 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48101 46804 1111 63 0 48038 0
vsize: 192404
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 47164 0 0 0 85829 185 0 0 25 0 1 0 902783731 197832704 47015 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48299 47015 1111 63 0 48236 0
vsize: 193196
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 47481 0 0 0 86828 186 0 0 25 0 1 0 902783731 199184384 47332 4294967295 134512640 134716908 3221224560 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48629 47332 1111 63 0 48566 0
vsize: 194516
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 47774 0 0 0 87827 187 0 0 25 0 1 0 902783731 200466432 47620 4294967295 134512640 134716908 3221224560 3221223136 134549718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48942 47620 1111 63 0 48879 0
vsize: 195768
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 48034 0 0 0 88827 187 0 0 25 0 1 0 902783731 201621504 47878 4294967295 134512640 134716908 3221224560 3221223200 134698475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49224 47878 1111 63 0 49161 0
vsize: 196896
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 48265 0 0 0 89825 189 0 0 25 0 1 0 902783731 202567680 48109 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49455 48109 1111 63 0 49392 0
vsize: 197820
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 48727 0 0 0 90824 191 0 0 25 0 1 0 902783731 204398592 48570 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49902 48570 1111 63 0 49839 0
vsize: 199608
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 49021 0 0 0 91823 191 0 0 25 0 1 0 902783731 205615104 48864 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50199 48864 1111 63 0 50136 0
vsize: 200796
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 49328 0 0 0 92822 193 0 0 25 0 1 0 902783731 206897152 49162 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50512 49162 1111 63 0 50449 0
vsize: 202048
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 49562 0 0 0 93821 194 0 0 25 0 1 0 902783731 207880192 49394 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50752 49394 1111 63 0 50689 0
vsize: 203008
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 49796 0 0 0 94820 195 0 0 25 0 1 0 902783731 208826368 49628 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50983 49628 1111 63 0 50920 0
vsize: 203932
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 50156 0 0 0 95819 196 0 0 25 0 1 0 902783731 210444288 49979 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51378 49979 1111 63 0 51315 0
vsize: 205512
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 50444 0 0 0 96818 198 0 0 25 0 1 0 902783731 211664896 50267 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51676 50267 1111 63 0 51613 0
vsize: 206704
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 50709 0 0 0 97817 199 0 0 25 0 1 0 902783731 212824064 50532 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51959 50532 1111 63 0 51896 0
vsize: 207836
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 50978 0 0 0 98816 200 0 0 25 0 1 0 902783731 214126592 50798 4294967295 134512640 134716908 3221224560 3221222880 134699833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52277 50798 1111 63 0 52214 0
vsize: 209108
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 51267 0 0 0 99815 201 0 0 25 0 1 0 902783731 215216128 51087 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52543 51087 1111 63 0 52480 0
vsize: 210172
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 51555 0 0 0 100814 202 0 0 25 0 1 0 902783731 216432640 51375 4294967295 134512640 134716908 3221224560 3221223264 134528721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52840 51375 1111 63 0 52777 0
vsize: 211360
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 51812 0 0 0 101813 204 0 0 25 0 1 0 902783731 217579520 51623 4294967295 134512640 134716908 3221224560 3221223188 134698605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53120 51623 1111 63 0 53057 0
vsize: 212480
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 51985 0 0 0 102812 205 0 0 25 0 1 0 902783731 218255360 51796 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53285 51796 1111 63 0 53222 0
vsize: 213140
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52134 0 0 0 103812 205 0 0 25 0 1 0 902783731 218796032 51945 4294967295 134512640 134716908 3221224560 3221223280 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53417 51945 1111 63 0 53354 0
vsize: 213668
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52253 0 0 0 104812 206 0 0 25 0 1 0 902783731 219262976 52064 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53531 52064 1111 63 0 53468 0
vsize: 214124
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52409 0 0 0 105812 206 0 0 25 0 1 0 902783731 220073984 52214 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53729 52214 1111 63 0 53666 0
vsize: 214916
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52593 0 0 0 106811 207 0 0 25 0 1 0 902783731 220950528 52391 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53943 52391 1111 63 0 53880 0
vsize: 215772
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52737 0 0 0 107811 207 0 0 25 0 1 0 902783731 221491200 52535 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54075 52535 1111 63 0 54012 0
vsize: 216300
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 52888 0 0 0 108811 207 0 0 25 0 1 0 902783731 222154752 52685 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54237 52685 1111 63 0 54174 0
vsize: 216948
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53008 0 0 0 109810 208 0 0 25 0 1 0 902783731 222695424 52805 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54369 52805 1111 63 0 54306 0
vsize: 217476
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53251 0 0 0 110810 209 0 0 25 0 1 0 902783731 223707136 53042 4294967295 134512640 134716908 3221224560 3221223264 134528653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54616 53042 1111 63 0 54553 0
vsize: 218464
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53470 0 0 0 111810 209 0 0 25 0 1 0 902783731 224686080 53261 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54855 53261 1111 63 0 54792 0
vsize: 219420
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53615 0 0 0 112809 210 0 0 25 0 1 0 902783731 225275904 53403 4294967295 134512640 134716908 3221224560 3221223328 134529136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54999 53403 1111 63 0 54936 0
vsize: 219996
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53803 0 0 0 113809 211 0 0 25 0 1 0 902783731 226013184 53590 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55179 53590 1111 63 0 55116 0
vsize: 220716
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 53988 0 0 0 114808 211 0 0 25 0 1 0 902783731 226889728 53766 4294967295 134512640 134716908 3221224560 3221223216 134536707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55393 53766 1111 63 0 55330 0
vsize: 221572
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 54086 0 0 0 115808 212 0 0 25 0 1 0 902783731 227295232 53862 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55492 53862 1111 63 0 55429 0
vsize: 221968
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 54343 0 0 0 116807 213 0 0 25 0 1 0 902783731 228270080 54119 4294967295 134512640 134716908 3221224560 3221223324 134524382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55730 54119 1111 63 0 55667 0
vsize: 222920
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20425
Raw data (stat): 20425 (bsolo_lpr_cuts-) R 20424 7266 7265 0 -1 0 54343 0 0 0 116807 213 0 0 25 0 1 0 902783731 228270080 54119 4294967295 134512640 134716908 3221224560 3221223324 134524382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55730 54119 1111 63 0 55667 0
vsize: 0

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