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-fpga15_14_sat_pb.cnf.cr.opb
MD5SUM	6fc7fbb8e05218938564d50faef1e68f
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	16
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.222965
Number of variables	315
Total number of constraints	253
Number of constraints which are clauses	224
Number of constraints which are cardinality constraints (but not clauses)	29
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 40586

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 15:59:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28652 boxname=wulflinc5 idbench=38 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6fc7fbb8e05218938564d50faef1e68f  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga15_14_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga15_14_sat_pb.cnf.cr.opb
IDLAUNCH: 28652
/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:        853696 kB
Buffers:         18900 kB
Cached:         140772 kB
SwapCached:        672 kB
Active:          24172 kB
Inactive:       137488 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        853444 kB
SwapTotal:     2097136 kB
SwapFree:      2095500 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13684 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:19:06 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 28652 7 1175.12 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 315 variables and 253 constraints.
c After prepocess the problem consists of 315 variables and 253 constraints.
c preprocess terminated 0.19 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 2/54 20518
Raw data (stat): 20518 (runsolver) R 20517 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902902006 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 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 20518
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 2987 0 0 0 987 10 0 0 25 0 1 0 902902006 15343616 2905 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3746 2905 1111 63 0 3683 0
vsize: 14984
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20518
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 4479 0 0 0 1983 14 0 0 25 0 1 0 902902006 21430272 4397 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5232 4397 1111 63 0 5169 0
vsize: 20928
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20518
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 5567 0 0 0 2980 17 0 0 25 0 1 0 902902006 25890816 5485 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6321 5485 1111 63 0 6258 0
vsize: 25284
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20571
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 6827 0 0 0 3975 22 0 0 25 0 1 0 902902006 31031296 6745 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 6745 1111 63 0 7513 0
vsize: 30304
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20571
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 7690 0 0 0 4972 25 0 0 25 0 1 0 902902006 34680832 7608 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8467 7608 1111 63 0 8404 0
vsize: 33868
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20571
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 8445 0 0 0 5970 28 0 0 25 0 1 0 902902006 37834752 8363 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9237 8363 1111 63 0 9174 0
vsize: 36948
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20571
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 8886 0 0 0 6968 30 0 0 25 0 1 0 902902006 39632896 8804 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9676 8804 1111 63 0 9613 0
vsize: 38704
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20571
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 9294 0 0 0 7965 32 0 0 25 0 1 0 902902006 41394176 9211 4294967295 134512640 134716908 3221224560 3221223056 134535383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10106 9211 1111 63 0 10043 0
vsize: 40424
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20571
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 9574 0 0 0 8965 33 0 0 25 0 1 0 902902006 42475520 9491 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 9491 1111 63 0 10307 0
vsize: 41480
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 9948 0 0 0 9963 35 0 0 25 0 1 0 902902006 44105728 9865 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 9865 1111 63 0 10705 0
vsize: 43072
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 11363 0 0 0 10958 40 0 0 25 0 1 0 902902006 49786880 11280 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12155 11280 1111 63 0 12092 0
vsize: 48620
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 12947 0 0 0 11952 46 0 0 25 0 1 0 902902006 56410112 12864 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13772 12864 1111 63 0 13709 0
vsize: 55088
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 14629 0 0 0 12948 50 0 0 25 0 1 0 902902006 63184896 14546 4294967295 134512640 134716908 3221224560 3221223216 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15426 14546 1111 63 0 15363 0
vsize: 61704
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 15862 0 0 0 13944 55 0 0 25 0 1 0 902902006 68354048 15776 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16688 15776 1111 63 0 16625 0
vsize: 66752
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 17083 0 0 0 14940 60 0 0 25 0 1 0 902902006 73347072 16995 4294967295 134512640 134716908 3221224560 3221223164 134542823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17907 16995 1111 63 0 17844 0
vsize: 71628
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 18553 0 0 0 15936 63 0 0 25 0 1 0 902902006 79450112 18465 4294967295 134512640 134716908 3221224560 3221223164 134536811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18465 1111 63 0 19334 0
vsize: 77588
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 19581 0 0 0 16933 67 0 0 25 0 1 0 902902006 83525632 19492 4294967295 134512640 134716908 3221224560 3221223108 134699072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20392 19492 1111 63 0 20329 0
vsize: 81568
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 20376 0 0 0 17930 70 0 0 25 0 1 0 902902006 86786048 20286 4294967295 134512640 134716908 3221224560 3221223148 134535984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21188 20286 1111 63 0 21125 0
vsize: 84752
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 20857 0 0 0 18927 73 0 0 25 0 1 0 902902006 88813568 20767 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21683 20767 1111 63 0 21620 0
vsize: 86732
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 21368 0 0 0 19925 76 0 0 25 0 1 0 902902006 90853376 21278 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22181 21278 1111 63 0 22118 0
vsize: 88724
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 21955 0 0 0 20922 78 0 0 25 0 1 0 902902006 93294592 21865 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22777 21865 1111 63 0 22714 0
vsize: 91108
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 22297 0 0 0 21920 80 0 0 25 0 1 0 902902006 94846976 22207 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23156 22207 1111 63 0 23093 0
vsize: 92624
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 22910 0 0 0 22918 82 0 0 25 0 1 0 902902006 97415168 22820 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23783 22820 1111 63 0 23720 0
vsize: 95132
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 23326 0 0 0 23917 84 0 0 25 0 1 0 902902006 99139584 23235 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24204 23235 1111 63 0 24141 0
vsize: 96816
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 23940 0 0 0 24914 87 0 0 25 0 1 0 902902006 101584896 23849 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24801 23849 1111 63 0 24738 0
vsize: 99204
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 24213 0 0 0 25913 88 0 0 25 0 1 0 902902006 102801408 24122 4294967295 134512640 134716908 3221224560 3221223264 134528653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25098 24122 1111 63 0 25035 0
vsize: 100392
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 24717 0 0 0 26912 90 0 0 25 0 1 0 902902006 104828928 24625 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25593 24625 1111 63 0 25530 0
vsize: 102372
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 25048 0 0 0 27911 91 0 0 25 0 1 0 902902006 106180608 24956 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25923 24956 1111 63 0 25860 0
vsize: 103692
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 25577 0 0 0 28910 92 0 0 25 0 1 0 902902006 108343296 25485 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26451 25485 1111 63 0 26388 0
vsize: 105804
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 25911 0 0 0 29908 94 0 0 25 0 1 0 902902006 109731840 25819 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26790 25819 1111 63 0 26727 0
vsize: 107160
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 26356 0 0 0 30906 96 0 0 25 0 1 0 902902006 111624192 26262 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27252 26262 1111 63 0 27189 0
vsize: 109008
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 26742 0 0 0 31905 98 0 0 25 0 1 0 902902006 113250304 26648 4294967295 134512640 134716908 3221224560 3221223304 134558497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27649 26648 1111 63 0 27586 0
vsize: 110596
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 27204 0 0 0 32903 100 0 0 25 0 1 0 902902006 115142656 27110 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28111 27110 1111 63 0 28048 0
vsize: 112444
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 27705 0 0 0 33902 101 0 0 25 0 1 0 902902006 117170176 27610 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28606 27610 1111 63 0 28543 0
vsize: 114424
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 28100 0 0 0 34901 102 0 0 25 0 1 0 902902006 118792192 28005 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29002 28005 1111 63 0 28939 0
vsize: 116008
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 28509 0 0 0 35899 104 0 0 25 0 1 0 902902006 120422400 28414 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29400 28414 1111 63 0 29337 0
vsize: 117600
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 28823 0 0 0 36898 105 0 0 25 0 1 0 902902006 121786368 28726 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29733 28726 1111 63 0 29670 0
vsize: 118932
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20573
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 29128 0 0 0 37897 107 0 0 25 0 1 0 902902006 123019264 29031 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30034 29031 1111 63 0 29971 0
vsize: 120136
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 29342 0 0 0 38896 107 0 0 25 0 1 0 902902006 123981824 29245 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30269 29245 1111 63 0 30206 0
vsize: 121076
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 29606 0 0 0 39895 109 0 0 25 0 1 0 902902006 125067264 29509 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30534 29509 1111 63 0 30471 0
vsize: 122136
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 29800 0 0 0 40894 110 0 0 25 0 1 0 902902006 125878272 29703 4294967295 134512640 134716908 3221224560 3221223132 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30732 29703 1111 63 0 30669 0
vsize: 122928
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 30061 0 0 0 41893 111 0 0 25 0 1 0 902902006 126967808 29964 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30998 29964 1111 63 0 30935 0
vsize: 123992
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 30270 0 0 0 42892 113 0 0 25 0 1 0 902902006 127782912 30173 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31197 30173 1111 63 0 31134 0
vsize: 124788
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 30450 0 0 0 43891 114 0 0 25 0 1 0 902902006 128606208 30353 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31398 30353 1111 63 0 31335 0
vsize: 125592
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 30799 0 0 0 44889 115 0 0 25 0 1 0 902902006 130015232 30699 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31742 30699 1111 63 0 31679 0
vsize: 126968
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 31533 0 0 0 45886 119 0 0 25 0 1 0 902902006 133124096 31433 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32501 31433 1111 63 0 32438 0
vsize: 130004
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 31740 0 0 0 46885 120 0 0 25 0 1 0 902902006 133935104 31640 4294967295 134512640 134716908 3221224560 3221223128 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32699 31640 1111 63 0 32636 0
vsize: 130796
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 32712 0 0 0 47881 124 0 0 25 0 1 0 902902006 137854976 32611 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32611 1111 63 0 33593 0
vsize: 134624
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 33498 0 0 0 48879 126 0 0 25 0 1 0 902902006 141099008 33397 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34448 33397 1111 63 0 34385 0
vsize: 137792
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 33783 0 0 0 49878 128 0 0 25 0 1 0 902902006 142315520 33681 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34745 33681 1111 63 0 34682 0
vsize: 138980
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 34084 0 0 0 50877 129 0 0 25 0 1 0 902902006 143532032 33982 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35042 33982 1111 63 0 34979 0
vsize: 140168
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 34427 0 0 0 51876 130 0 0 25 0 1 0 902902006 145018880 34324 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35405 34324 1111 63 0 35342 0
vsize: 141620
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 34927 0 0 0 52874 132 0 0 25 0 1 0 902902006 147046400 34824 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35900 34824 1111 63 0 35837 0
vsize: 143600
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 35416 0 0 0 53872 135 0 0 25 0 1 0 902902006 149110784 35313 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36404 35313 1111 63 0 36341 0
vsize: 145616
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 35719 0 0 0 54870 136 0 0 25 0 1 0 902902006 150327296 35616 4294967295 134512640 134716908 3221224560 3221223248 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36701 35616 1111 63 0 36638 0
vsize: 146804
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 35888 0 0 0 55870 137 0 0 25 0 1 0 902902006 151011328 35785 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36868 35785 1111 63 0 36805 0
vsize: 147472
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 36035 0 0 0 56869 138 0 0 25 0 1 0 902902006 151687168 35932 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37033 35932 1111 63 0 36970 0
vsize: 148132
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 36168 0 0 0 57868 139 0 0 25 0 1 0 902902006 152227840 36065 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37165 36065 1111 63 0 37102 0
vsize: 148660
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 36253 0 0 0 58868 139 0 0 25 0 1 0 902902006 152506368 36150 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37233 36150 1111 63 0 37170 0
vsize: 148932
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 36613 0 0 0 59867 140 0 0 25 0 1 0 902902006 153993216 36510 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37596 36510 1111 63 0 37533 0
vsize: 150384
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 36844 0 0 0 60867 141 0 0 25 0 1 0 902902006 154939392 36741 4294967295 134512640 134716908 3221224560 3221223120 134698896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37827 36741 1111 63 0 37764 0
vsize: 151308
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 37252 0 0 0 61865 143 0 0 25 0 1 0 902902006 156598272 37145 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38232 37145 1111 63 0 38169 0
vsize: 152928
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 37626 0 0 0 62865 143 0 0 25 0 1 0 902902006 158081024 37519 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38594 37519 1111 63 0 38531 0
vsize: 154376
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 38125 0 0 0 63864 145 0 0 25 0 1 0 902902006 160108544 38018 4294967295 134512640 134716908 3221224560 3221223104 134699084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39089 38018 1111 63 0 39026 0
vsize: 156356
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 38352 0 0 0 64863 146 0 0 25 0 1 0 902902006 161054720 38245 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39320 38245 1111 63 0 39257 0
vsize: 157280
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 38490 0 0 0 65862 147 0 0 25 0 1 0 902902006 161595392 38383 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39452 38383 1111 63 0 39389 0
vsize: 157808
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 38878 0 0 0 66861 148 0 0 25 0 1 0 902902006 163217408 38771 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39848 38771 1111 63 0 39785 0
vsize: 159392
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 39201 0 0 0 67859 150 0 0 25 0 1 0 902902006 164569088 39094 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40178 39094 1111 63 0 40115 0
vsize: 160712
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 39446 0 0 0 68858 151 0 0 25 0 1 0 902902006 165650432 39339 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40442 39339 1111 63 0 40379 0
vsize: 161768
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 39555 0 0 0 69858 152 0 0 25 0 1 0 902902006 166055936 39448 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40541 39448 1111 63 0 40478 0
vsize: 162164
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 39708 0 0 0 70858 152 0 0 25 0 1 0 902902006 166608896 39601 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40676 39601 1111 63 0 40613 0
vsize: 162704
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 40081 0 0 0 71856 154 0 0 25 0 1 0 902902006 168169472 39972 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41057 39972 1111 63 0 40994 0
vsize: 164228
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 40339 0 0 0 72855 155 0 0 25 0 1 0 902902006 169250816 40230 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41321 40230 1111 63 0 41258 0
vsize: 165284
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 40615 0 0 0 73854 156 0 0 25 0 1 0 902902006 170409984 40506 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41604 40506 1111 63 0 41541 0
vsize: 166416
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 40922 0 0 0 74853 158 0 0 25 0 1 0 902902006 171720704 40810 4294967295 134512640 134716908 3221224560 3221223116 134535936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41924 40810 1111 63 0 41861 0
vsize: 167696
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 41174 0 0 0 75852 158 0 0 25 0 1 0 902902006 172802048 41062 4294967295 134512640 134716908 3221224560 3221223120 134698901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42188 41062 1111 63 0 42125 0
vsize: 168752
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 41331 0 0 0 76851 159 0 0 25 0 1 0 902902006 173481984 41218 4294967295 134512640 134716908 3221224560 3221223344 134529234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42354 41218 1111 63 0 42291 0
vsize: 169416
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 41573 0 0 0 77851 160 0 0 25 0 1 0 902902006 174428160 41459 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42585 41459 1111 63 0 42522 0
vsize: 170340
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 41806 0 0 0 78850 161 0 0 25 0 1 0 902902006 175374336 41692 4294967295 134512640 134716908 3221224560 3221223152 134549751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42816 41692 1111 63 0 42753 0
vsize: 171264
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 42124 0 0 0 79848 163 0 0 25 0 1 0 902902006 176590848 42010 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43113 42010 1111 63 0 43050 0
vsize: 172452
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 42445 0 0 0 80847 165 0 0 25 0 1 0 902902006 177942528 42331 4294967295 134512640 134716908 3221224560 3221223288 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43443 42331 1111 63 0 43380 0
vsize: 173772
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 42747 0 0 0 81846 166 0 0 25 0 1 0 902902006 179240960 42624 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43760 42624 1111 63 0 43697 0
vsize: 175040
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 42966 0 0 0 82846 166 0 0 25 0 1 0 902902006 180207616 42843 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43996 42843 1111 63 0 43933 0
vsize: 175984
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 43155 0 0 0 83845 167 0 0 25 0 1 0 902902006 181018624 43032 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44194 43032 1111 63 0 44131 0
vsize: 176776
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 43409 0 0 0 84844 169 0 0 25 0 1 0 902902006 181964800 43286 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44425 43286 1111 63 0 44362 0
vsize: 177700
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 43743 0 0 0 85842 170 0 0 25 0 1 0 902902006 183316480 43620 4294967295 134512640 134716908 3221224560 3221223120 134698896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44755 43620 1111 63 0 44692 0
vsize: 179020
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 43972 0 0 0 86841 171 0 0 25 0 1 0 902902006 184262656 43849 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44986 43849 1111 63 0 44923 0
vsize: 179944
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 44108 0 0 0 87841 172 0 0 25 0 1 0 902902006 184803328 43985 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45118 43985 1111 63 0 45055 0
vsize: 180472
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 44295 0 0 0 88841 173 0 0 25 0 1 0 902902006 185638912 44172 4294967295 134512640 134716908 3221224560 3221223116 134535620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45322 44172 1111 63 0 45259 0
vsize: 181288
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 44427 0 0 0 89840 173 0 0 25 0 1 0 902902006 186179584 44304 4294967295 134512640 134716908 3221224560 3221223296 134528449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45454 44304 1111 63 0 45391 0
vsize: 181816
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 44934 0 0 0 90837 177 0 0 25 0 1 0 902902006 188207104 44811 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45949 44811 1111 63 0 45886 0
vsize: 183796
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 45305 0 0 0 91835 179 0 0 25 0 1 0 902902006 189730816 45182 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46321 45182 1111 63 0 46258 0
vsize: 185284
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 45578 0 0 0 92834 180 0 0 25 0 1 0 902902006 190812160 45455 4294967295 134512640 134716908 3221224560 3221223304 134551621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46585 45455 1111 63 0 46522 0
vsize: 186340
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 45766 0 0 0 93834 180 0 0 25 0 1 0 902902006 191623168 45643 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46783 45643 1111 63 0 46720 0
vsize: 187132
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 46020 0 0 0 94833 181 0 0 25 0 1 0 902902006 192737280 45897 4294967295 134512640 134716908 3221224560 3221223248 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47055 45897 1111 63 0 46992 0
vsize: 188220
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 46341 0 0 0 95832 183 0 0 25 0 1 0 902902006 194109440 46218 4294967295 134512640 134716908 3221224560 3221223316 134655251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47390 46218 1111 63 0 47327 0
vsize: 189560
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 46545 0 0 0 96831 184 0 0 25 0 1 0 902902006 194953216 46422 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47596 46422 1111 63 0 47533 0
vsize: 190384
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 46704 0 0 0 97831 184 0 0 25 0 1 0 902902006 195661824 46580 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47769 46580 1111 63 0 47706 0
vsize: 191076
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 46925 0 0 0 98830 186 0 0 25 0 1 0 902902006 196472832 46800 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47967 46800 1111 63 0 47904 0
vsize: 191868
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 47092 0 0 0 99829 186 0 0 25 0 1 0 902902006 197177344 46967 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48139 46967 1111 63 0 48076 0
vsize: 192556
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 47197 0 0 0 100829 187 0 0 25 0 1 0 902902006 197582848 47072 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48238 47072 1111 63 0 48175 0
vsize: 192952
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 47343 0 0 0 101828 188 0 0 25 0 1 0 902902006 198279168 47218 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48408 47218 1111 63 0 48345 0
vsize: 193632
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 47475 0 0 0 102827 189 0 0 25 0 1 0 902902006 198828032 47350 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48542 47350 1111 63 0 48479 0
vsize: 194168
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 47686 0 0 0 103826 190 0 0 25 0 1 0 902902006 199778304 47560 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48774 47560 1111 63 0 48711 0
vsize: 195096
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 47937 0 0 0 104826 191 0 0 25 0 1 0 902902006 200904704 47809 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49049 47809 1111 63 0 48986 0
vsize: 196196
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 48065 0 0 0 105825 191 0 0 25 0 1 0 902902006 201453568 47935 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49183 47935 1111 63 0 49120 0
vsize: 196732
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 48181 0 0 0 106825 192 0 0 25 0 1 0 902902006 201867264 48051 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49284 48051 1111 63 0 49221 0
vsize: 197136
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 48308 0 0 0 107825 192 0 0 25 0 1 0 902902006 202412032 48178 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49417 48178 1111 63 0 49354 0
vsize: 197668
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 48390 0 0 0 108825 193 0 0 25 0 1 0 902902006 202682368 48260 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49483 48260 1111 63 0 49420 0
vsize: 197932
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 48501 0 0 0 109825 193 0 0 25 0 1 0 902902006 203087872 48371 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49582 48371 1111 63 0 49519 0
vsize: 198328
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 48728 0 0 0 110823 194 0 0 25 0 1 0 902902006 204034048 48598 4294967295 134512640 134716908 3221224560 3221223324 134552684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49813 48598 1111 63 0 49750 0
vsize: 199252
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 49094 0 0 0 111822 196 0 0 25 0 1 0 902902006 205520896 48964 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50176 48964 1111 63 0 50113 0
vsize: 200704
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 49638 0 0 0 112820 198 0 0 25 0 1 0 902902006 207818752 49508 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50737 49508 1111 63 0 50674 0
vsize: 202948
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 50060 0 0 0 113819 199 0 0 25 0 1 0 902902006 209575936 49930 4294967295 134512640 134716908 3221224560 3221223212 134536831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51166 49930 1111 63 0 51103 0
vsize: 204664
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 50528 0 0 0 114817 201 0 0 25 0 1 0 902902006 211468288 50398 4294967295 134512640 134716908 3221224560 3221223296 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51628 50398 1111 63 0 51565 0
vsize: 206512
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 51428 0 0 0 115814 204 0 0 25 0 1 0 902902006 215183360 51292 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52535 51292 1111 63 0 52472 0
vsize: 210140
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 51794 0 0 0 116813 206 0 0 25 0 1 0 902902006 216666112 51658 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52897 51658 1111 63 0 52834 0
vsize: 211588
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20575
Raw data (stat): 20518 (bsolo_lpr_cuts-) R 20517 7266 7265 0 -1 0 51794 0 0 0 116813 206 0 0 25 0 1 0 902902006 216666112 51658 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52897 51658 1111 63 0 52834 0
vsize: 0

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