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-chnl15_20_pb.cnf.cr.opb
MD5SUM	ce39bf71367df072c91f9b7587480c93
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.017996
Number of variables	600
Total number of constraints	70
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	20
Trace number 40554

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        884240 kB
Buffers:          9992 kB
Cached:         115364 kB
SwapCached:       5204 kB
Active:          25120 kB
Inactive:       106516 kB
HighTotal:      131008 kB
HighFree:        80388 kB
LowTotal:       903652 kB
LowFree:        803852 kB
SwapTotal:     2097136 kB
SwapFree:      2090904 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13188 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:38:23 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 28620 7 1175.17 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 600 variables and 70 constraints.
c After prepocess the problem consists of 600 variables and 70 constraints.
c preprocess terminated 0.146 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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 1044
Raw data (stat): 1044 (runsolver) R 1043 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902288133 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.0002 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 3402 0 0 0 987 10 0 0 25 0 1 0 902288133 17104896 3320 4294967295 134512640 134716908 3221224560 3221223248 134542845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4176 3320 1111 63 0 4113 0
vsize: 16704
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 4722 0 0 0 1983 14 0 0 25 0 1 0 902288133 22523904 4640 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 4640 1111 63 0 5436 0
vsize: 21996
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 6454 0 0 0 2978 20 0 0 25 0 1 0 902288133 29687808 6371 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7248 6371 1111 63 0 7185 0
vsize: 28992
[startup+40.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 7714 0 0 0 3974 23 0 0 25 0 1 0 902288133 34844672 7631 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8507 7631 1111 63 0 8444 0
vsize: 34028
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 8823 0 0 0 4970 28 0 0 25 0 1 0 902288133 39309312 8740 4294967295 134512640 134716908 3221224560 3221223072 134535017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9597 8740 1111 63 0 9534 0
vsize: 38388
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 9777 0 0 0 5966 32 0 0 25 0 1 0 902288133 43229184 9693 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10554 9693 1111 63 0 10491 0
vsize: 42216
[startup+70.0064 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 10552 0 0 0 6963 35 0 0 25 0 1 0 902288133 46497792 10468 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11352 10468 1111 63 0 11289 0
vsize: 45408
[startup+80.0067 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 11183 0 0 0 7961 37 0 0 25 0 1 0 902288133 49082368 11098 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11983 11098 1111 63 0 11920 0
vsize: 47932
[startup+90.0075 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 11766 0 0 0 8959 39 0 0 25 0 1 0 902288133 51527680 11679 4294967295 134512640 134716908 3221224560 3221223056 134535335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12580 11679 1111 63 0 12517 0
vsize: 50320
[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 12284 0 0 0 9957 42 0 0 25 0 1 0 902288133 53739520 12196 4294967295 134512640 134716908 3221224560 3221223116 134535509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13120 12196 1111 63 0 13057 0
vsize: 52480
[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 12816 0 0 0 10955 44 0 0 25 0 1 0 902288133 56066048 12725 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13688 12725 1111 63 0 13625 0
vsize: 54752
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 13253 0 0 0 11953 46 0 0 25 0 1 0 902288133 57827328 13161 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14118 13161 1111 63 0 14055 0
vsize: 56472
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 13542 0 0 0 12953 47 0 0 25 0 1 0 902288133 59043840 13447 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14415 13447 1111 63 0 14352 0
vsize: 57660
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 14282 0 0 0 13951 49 0 0 25 0 1 0 902288133 62152704 14187 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15174 14187 1111 63 0 15111 0
vsize: 60696
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 15471 0 0 0 14948 52 0 0 25 0 1 0 902288133 67092480 15374 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16380 15374 1111 63 0 16317 0
vsize: 65520
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 16216 0 0 0 15945 55 0 0 25 0 1 0 902288133 70066176 16119 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17106 16119 1111 63 0 17043 0
vsize: 68424
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 17361 0 0 0 16941 59 0 0 25 0 1 0 902288133 74813440 17262 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18265 17262 1111 63 0 18202 0
vsize: 73060
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 18295 0 0 0 17938 62 0 0 25 0 1 0 902288133 78598144 18196 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19189 18196 1111 63 0 19126 0
vsize: 76756
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 18909 0 0 0 18937 64 0 0 25 0 1 0 902288133 81199104 18810 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19824 18810 1111 63 0 19761 0
vsize: 79296
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 19791 0 0 0 19934 67 0 0 25 0 1 0 902288133 84860928 19692 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20718 19692 1111 63 0 20655 0
vsize: 82872
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 20566 0 0 0 20932 70 0 0 25 0 1 0 902288133 88006656 20464 4294967295 134512640 134716908 3221224560 3221223144 134549708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21486 20464 1111 63 0 21423 0
vsize: 85944
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 21065 0 0 0 21930 71 0 0 25 0 1 0 902288133 90120192 20958 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22002 20958 1111 63 0 21939 0
vsize: 88008
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 21682 0 0 0 22929 73 0 0 25 0 1 0 902288133 92745728 21572 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22643 21572 1111 63 0 22580 0
vsize: 90572
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 22162 0 0 0 23927 75 0 0 25 0 1 0 902288133 94638080 22052 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23105 22052 1111 63 0 23042 0
vsize: 92420
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 22661 0 0 0 24925 77 0 0 25 0 1 0 902288133 96669696 22551 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23601 22551 1111 63 0 23538 0
vsize: 94404
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 23116 0 0 0 25923 79 0 0 25 0 1 0 902288133 98562048 23006 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24063 23006 1111 63 0 24000 0
vsize: 96252
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 23650 0 0 0 26921 81 0 0 25 0 1 0 902288133 100790272 23534 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24607 23534 1111 63 0 24544 0
vsize: 98428
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 24123 0 0 0 27920 83 0 0 25 0 1 0 902288133 102719488 24005 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25078 24005 1111 63 0 25015 0
vsize: 100312
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 24459 0 0 0 28919 84 0 0 25 0 1 0 902288133 104161280 24340 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25430 24340 1111 63 0 25367 0
vsize: 101720
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 24691 0 0 0 29919 85 0 0 25 0 1 0 902288133 105177088 24570 4294967295 134512640 134716908 3221224560 3221223344 134529145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25678 24570 1111 63 0 25615 0
vsize: 102712
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 25210 0 0 0 30917 86 0 0 25 0 1 0 902288133 107515904 25088 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26249 25088 1111 63 0 26186 0
vsize: 104996
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 26512 0 0 0 31913 91 0 0 25 0 1 0 902288133 112803840 26389 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27540 26389 1111 63 0 27477 0
vsize: 110160
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 27448 0 0 0 32910 94 0 0 25 0 1 0 902288133 116588544 27325 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28464 27325 1111 63 0 28401 0
vsize: 113856
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 28184 0 0 0 33908 96 0 0 25 0 1 0 902288133 119697408 28061 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29223 28061 1111 63 0 29160 0
vsize: 116892
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 28710 0 0 0 34907 97 0 0 25 0 1 0 902288133 121864192 28587 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29752 28587 1111 63 0 29689 0
vsize: 119008
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 29444 0 0 0 35905 100 0 0 25 0 1 0 902288133 124899328 29317 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30493 29317 1111 63 0 30430 0
vsize: 121972
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 30078 0 0 0 36902 102 0 0 25 0 1 0 902288133 127467520 29951 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31120 29951 1111 63 0 31057 0
vsize: 124480
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 30551 0 0 0 37900 104 0 0 25 0 1 0 902288133 129380352 30424 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31587 30424 1111 63 0 31524 0
vsize: 126348
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 30986 0 0 0 38898 106 0 0 25 0 1 0 902288133 131170304 30859 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32024 30859 1111 63 0 31961 0
vsize: 128096
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 31524 0 0 0 39896 109 0 0 25 0 1 0 902288133 133332992 31397 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32552 31397 1111 63 0 32489 0
vsize: 130208
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 31869 0 0 0 40895 110 0 0 25 0 1 0 902288133 134746112 31739 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32897 31739 1111 63 0 32834 0
vsize: 131588
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 32210 0 0 0 41893 112 0 0 25 0 1 0 902288133 136097792 32080 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33227 32080 1111 63 0 33164 0
vsize: 132908
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 32522 0 0 0 42892 113 0 0 25 0 1 0 902288133 137449472 32392 4294967295 134512640 134716908 3221224560 3221223152 134549739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33557 32392 1111 63 0 33494 0
vsize: 134228
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 32987 0 0 0 43892 114 0 0 25 0 1 0 902288133 139407360 32848 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34035 32848 1111 63 0 33972 0
vsize: 136140
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 33302 0 0 0 44891 115 0 0 25 0 1 0 902288133 140668928 33160 4294967295 134512640 134716908 3221224560 3221223504 134598432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34343 33160 1111 63 0 34280 0
vsize: 137372
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 33605 0 0 0 45890 116 0 0 25 0 1 0 902288133 141955072 33462 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34657 33462 1111 63 0 34594 0
vsize: 138628
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 33930 0 0 0 46890 116 0 0 25 0 1 0 902288133 143302656 33783 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34986 33783 1111 63 0 34923 0
vsize: 139944
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 34185 0 0 0 47889 117 0 0 25 0 1 0 902288133 144424960 34038 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35260 34038 1111 63 0 35197 0
vsize: 141040
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 34373 0 0 0 48888 118 0 0 25 0 1 0 902288133 145100800 34226 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35425 34226 1111 63 0 35362 0
vsize: 141700
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 34545 0 0 0 49888 119 0 0 25 0 1 0 902288133 145838080 34398 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35605 34398 1111 63 0 35542 0
vsize: 142420
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 35104 0 0 0 50886 121 0 0 25 0 1 0 902288133 148410368 34949 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36233 34949 1111 63 0 36170 0
vsize: 144932
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 35878 0 0 0 51884 123 0 0 25 0 1 0 902288133 151519232 35723 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36992 35723 1111 63 0 36929 0
vsize: 147968
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 36361 0 0 0 52882 125 0 0 25 0 1 0 902288133 153452544 36202 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37464 36202 1111 63 0 37401 0
vsize: 149856
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 36664 0 0 0 53881 127 0 0 25 0 1 0 902288133 154669056 36505 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37761 36505 1111 63 0 37698 0
vsize: 151044
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 37232 0 0 0 54879 129 0 0 25 0 1 0 902288133 157167616 37069 4294967295 134512640 134716908 3221224560 3221223120 134535677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38371 37069 1111 63 0 38308 0
vsize: 153484
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 37720 0 0 0 55877 131 0 0 25 0 1 0 902288133 159059968 37557 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38833 37557 1111 63 0 38770 0
vsize: 155332
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 37980 0 0 0 56875 133 0 0 25 0 1 0 902288133 160206848 37808 4294967295 134512640 134716908 3221224560 3221223188 134536674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39113 37808 1111 63 0 39050 0
vsize: 156452
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 38241 0 0 0 57874 134 0 0 25 0 1 0 902288133 161288192 38069 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39377 38069 1111 63 0 39314 0
vsize: 157508
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 38575 0 0 0 58873 136 0 0 25 0 1 0 902288133 162639872 38403 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39707 38403 1111 63 0 39644 0
vsize: 158828
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 38919 0 0 0 59872 137 0 0 25 0 1 0 902288133 163991552 38747 4294967295 134512640 134716908 3221224560 3221223264 134528699 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40037 38747 1111 63 0 39974 0
vsize: 160148
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 39277 0 0 0 60871 138 0 0 25 0 1 0 902288133 165478400 39105 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40400 39105 1111 63 0 40337 0
vsize: 161600
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 39566 0 0 0 61870 139 0 0 25 0 1 0 902288133 166719488 39393 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40703 39393 1111 63 0 40640 0
vsize: 162812
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 39857 0 0 0 62869 140 0 0 25 0 1 0 902288133 167866368 39684 4294967295 134512640 134716908 3221224560 3221223200 134536700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40983 39684 1111 63 0 40920 0
vsize: 163932
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 40133 0 0 0 63868 141 0 0 25 0 1 0 902288133 168947712 39960 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41247 39960 1111 63 0 41184 0
vsize: 164988
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 40415 0 0 0 64867 143 0 0 25 0 1 0 902288133 170278912 40240 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41572 40240 1111 63 0 41509 0
vsize: 166288
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 40651 0 0 0 65866 144 0 0 25 0 1 0 902288133 171089920 40476 4294967295 134512640 134716908 3221224560 3221223116 134535652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41770 40476 1111 63 0 41707 0
vsize: 167080
[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 41257 0 0 0 66863 147 0 0 25 0 1 0 902288133 173797376 41075 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42431 41075 1111 63 0 42368 0
vsize: 169724
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 41536 0 0 0 67862 148 0 0 25 0 1 0 902288133 174878720 41354 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42695 41354 1111 63 0 42632 0
vsize: 170780
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 41905 0 0 0 68862 149 0 0 25 0 1 0 902288133 176566272 41722 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43107 41722 1111 63 0 43044 0
vsize: 172428
[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 42228 0 0 0 69860 150 0 0 25 0 1 0 902288133 177782784 42045 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43404 42045 1111 63 0 43341 0
vsize: 173616
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 42446 0 0 0 70860 151 0 0 25 0 1 0 902288133 178802688 42254 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43653 42254 1111 63 0 43590 0
vsize: 174612
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 42732 0 0 0 71859 152 0 0 25 0 1 0 902288133 179884032 42540 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43917 42540 1111 63 0 43854 0
vsize: 175668
[startup+730.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 43010 0 0 0 72858 154 0 0 25 0 1 0 902288133 181137408 42816 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44223 42816 1111 63 0 44160 0
vsize: 176892
[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 43273 0 0 0 73857 155 0 0 25 0 1 0 902288133 182083584 43079 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44454 43079 1111 63 0 44391 0
vsize: 177816
[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 43550 0 0 0 74856 156 0 0 25 0 1 0 902288133 183164928 43356 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44718 43356 1111 63 0 44655 0
vsize: 178872
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 43850 0 0 0 75854 157 0 0 25 0 1 0 902288133 184401920 43654 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45020 43654 1111 63 0 44957 0
vsize: 180080
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 44092 0 0 0 76853 159 0 0 25 0 1 0 902288133 185348096 43896 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45251 43896 1111 63 0 45188 0
vsize: 181004
[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 44350 0 0 0 77852 160 0 0 25 0 1 0 902288133 186503168 44153 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45533 44153 1111 63 0 45470 0
vsize: 182132
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 44583 0 0 0 78852 160 0 0 25 0 1 0 902288133 187527168 44382 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45783 44382 1111 63 0 45720 0
vsize: 183132
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 44775 0 0 0 79852 161 0 0 25 0 1 0 902288133 188203008 44574 4294967295 134512640 134716908 3221224560 3221223048 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45948 44574 1111 63 0 45885 0
vsize: 183792
[startup+810.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 45061 0 0 0 80851 162 0 0 25 0 1 0 902288133 189485056 44851 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46261 44851 1111 63 0 46198 0
vsize: 185044
[startup+820.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 45284 0 0 0 81850 163 0 0 25 0 1 0 902288133 190296064 45074 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46459 45074 1111 63 0 46396 0
vsize: 185836
[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 45544 0 0 0 82849 165 0 0 25 0 1 0 902288133 191377408 45334 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46723 45334 1111 63 0 46660 0
vsize: 186892
[startup+840.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 45755 0 0 0 83848 166 0 0 25 0 1 0 902288133 192188416 45545 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46921 45545 1111 63 0 46858 0
vsize: 187684
[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 45968 0 0 0 84848 166 0 0 25 0 1 0 902288133 193134592 45758 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47152 45758 1111 63 0 47089 0
vsize: 188608
[startup+860.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 46176 0 0 0 85847 167 0 0 25 0 1 0 902288133 193994752 45966 4294967295 134512640 134716908 3221224560 3221223212 134536787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47362 45966 1111 63 0 47299 0
vsize: 189448
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 46326 0 0 0 86847 168 0 0 25 0 1 0 902288133 194535424 46116 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47494 46116 1111 63 0 47431 0
vsize: 189976
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 46522 0 0 0 87846 168 0 0 25 0 1 0 902288133 195362816 46311 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47696 46311 1111 63 0 47633 0
vsize: 190784
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 46736 0 0 0 88845 169 0 0 25 0 1 0 902288133 196186112 46521 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47897 46521 1111 63 0 47834 0
vsize: 191588
[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 46935 0 0 0 89845 170 0 0 25 0 1 0 902288133 197025792 46720 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48102 46720 1111 63 0 48039 0
vsize: 192408
[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 47164 0 0 0 90844 171 0 0 25 0 1 0 902288133 198045696 46940 4294967295 134512640 134716908 3221224560 3221223116 134535008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48351 46940 1111 63 0 48288 0
vsize: 193404
[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 47349 0 0 0 91843 172 0 0 25 0 1 0 902288133 198721536 47125 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48516 47125 1111 63 0 48453 0
vsize: 194064
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 47620 0 0 0 92843 173 0 0 25 0 1 0 902288133 200003584 47396 4294967295 134512640 134716908 3221224560 3221223212 134536787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48829 47396 1111 63 0 48766 0
vsize: 195316
[startup+940.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 47785 0 0 0 93842 174 0 0 25 0 1 0 902288133 200544256 47561 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48961 47561 1111 63 0 48898 0
vsize: 195844
[startup+950.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 47960 0 0 0 94841 175 0 0 25 0 1 0 902288133 201224192 47736 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49127 47736 1111 63 0 49064 0
vsize: 196508
[startup+960.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 48128 0 0 0 95841 175 0 0 25 0 1 0 902288133 201973760 47904 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49310 47904 1111 63 0 49247 0
vsize: 197240
[startup+970.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 48356 0 0 0 96840 176 0 0 25 0 1 0 902288133 202809344 48130 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49514 48130 1111 63 0 49451 0
vsize: 198056
[startup+980.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 48640 0 0 0 97840 177 0 0 25 0 1 0 902288133 203915264 48413 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49784 48413 1111 63 0 49721 0
vsize: 199136
[startup+990.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 48922 0 0 0 98838 179 0 0 25 0 1 0 902288133 205168640 48693 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50090 48693 1111 63 0 50027 0
vsize: 200360
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 49186 0 0 0 99838 180 0 0 25 0 1 0 902288133 206315520 48957 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50370 48957 1111 63 0 50307 0
vsize: 201480
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 49370 0 0 0 100837 180 0 0 25 0 1 0 902288133 206991360 49141 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50535 49141 1111 63 0 50472 0
vsize: 202140
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 49556 0 0 0 101836 181 0 0 25 0 1 0 902288133 207867904 49321 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50749 49321 1111 63 0 50686 0
vsize: 202996
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 49767 0 0 0 102835 183 0 0 25 0 1 0 902288133 208715776 49530 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50956 49530 1111 63 0 50893 0
vsize: 203824
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 49965 0 0 0 103835 183 0 0 25 0 1 0 902288133 209588224 49728 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51169 49728 1111 63 0 51106 0
vsize: 204676
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 50177 0 0 0 104835 183 0 0 25 0 1 0 902288133 210399232 49940 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51367 49940 1111 63 0 51304 0
vsize: 205468
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 50374 0 0 0 105834 184 0 0 25 0 1 0 902288133 211320832 50135 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51592 50135 1111 63 0 51529 0
vsize: 206368
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 50515 0 0 0 106834 185 0 0 25 0 1 0 902288133 211861504 50276 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51724 50276 1111 63 0 51661 0
vsize: 206896
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 50743 0 0 0 107833 186 0 0 25 0 1 0 902288133 212873216 50504 4294967295 134512640 134716908 3221224560 3221223248 134551903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51971 50504 1111 63 0 51908 0
vsize: 207884
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 50926 0 0 0 108832 187 0 0 25 0 1 0 902288133 213549056 50687 4294967295 134512640 134716908 3221224560 3221223248 134528607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52136 50687 1111 63 0 52073 0
vsize: 208544
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 51154 0 0 0 109832 188 0 0 25 0 1 0 902288133 214700032 50900 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52417 50900 1111 63 0 52354 0
vsize: 209668
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 51322 0 0 0 110831 188 0 0 25 0 1 0 902288133 215240704 51068 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52549 51068 1111 63 0 52486 0
vsize: 210196
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 51547 0 0 0 111831 189 0 0 25 0 1 0 902288133 216186880 51293 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52780 51293 1111 63 0 52717 0
vsize: 211120
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 51784 0 0 0 112830 190 0 0 25 0 1 0 902288133 217198592 51529 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53027 51529 1111 63 0 52964 0
vsize: 212108
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 51980 0 0 0 113829 191 0 0 25 0 1 0 902288133 218337280 51724 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53305 51724 1111 63 0 53242 0
vsize: 213220
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 52157 0 0 0 114829 191 0 0 25 0 1 0 902288133 218886144 51901 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53439 51901 1111 63 0 53376 0
vsize: 213756
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 52339 0 0 0 115828 192 0 0 25 0 1 0 902288133 219717632 52079 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53642 52079 1111 63 0 53579 0
vsize: 214568
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 52485 0 0 0 116828 193 0 0 25 0 1 0 902288133 220258304 52225 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53774 52225 1111 63 0 53711 0
vsize: 215096
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1044
Raw data (stat): 1044 (bsolo_lpr_cuts-) R 1043 21152 21151 0 -1 0 52485 0 0 0 116828 193 0 0 25 0 1 0 902288133 220258304 52225 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53774 52225 1111 63 0 53711 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.17
CPU user time (s): 1173.14
CPU system time (s): 2.02869
CPU usage (%): 100.013
Max. virtual memory (Kb): 215096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####