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-fpga11_9_sat_pb.cnf.cr.opb
MD5SUM	489d094bb23422a6c4624d745553a200
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	12
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.050991
Number of variables	149
Total number of constraints	128
Number of constraints which are clauses	108
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	11
Trace number 40575

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 15:22:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28641 boxname=wulflinc4 idbench=27 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  489d094bb23422a6c4624d745553a200  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga11_9_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga11_9_sat_pb.cnf.cr.opb
IDLAUNCH: 28641
/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:        878880 kB
Buffers:         15236 kB
Cached:         115432 kB
SwapCached:       5196 kB
Active:          25228 kB
Inactive:       111808 kB
HighTotal:      131008 kB
HighFree:        80220 kB
LowTotal:       903652 kB
LowFree:        798660 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13272 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:42:15 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 28641 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 149 variables and 128 constraints.
c After prepocess the problem consists of 149 variables and 128 constraints.
c preprocess terminated 0.078 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.93 0.90 2/54 1574
Raw data (stat): 1574 (runsolver) R 1573 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902671363 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.87 0.93 0.90 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 2431 0 0 0 988 10 0 0 25 0 1 0 902671363 13041664 2349 4294967295 134512640 134716908 3221224560 3221223280 134529138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2349 1111 63 0 3121 0
vsize: 12736
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 3687 0 0 0 1983 14 0 0 25 0 1 0 902671363 18194432 3604 4294967295 134512640 134716908 3221224560 3221223308 134675288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3604 1111 63 0 4379 0
vsize: 17768
[startup+30.0016 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 4391 0 0 0 2979 18 0 0 25 0 1 0 902671363 21168128 4308 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 4308 1111 63 0 5105 0
vsize: 20672
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 4698 0 0 0 3978 19 0 0 25 0 1 0 902671363 22384640 4615 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5465 4615 1111 63 0 5402 0
vsize: 21860
[startup+50.0037 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 5006 0 0 0 4978 20 0 0 25 0 1 0 902671363 23605248 4923 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5763 4923 1111 63 0 5700 0
vsize: 23052
[startup+60.0032 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 5339 0 0 0 5976 22 0 0 25 0 1 0 902671363 24956928 5256 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6093 5256 1111 63 0 6030 0
vsize: 24372
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 5842 0 0 0 6975 23 0 0 25 0 1 0 902671363 26984448 5759 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6588 5759 1111 63 0 6525 0
vsize: 26352
[startup+80.0043 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 6541 0 0 0 7973 25 0 0 25 0 1 0 902671363 29974528 6458 4294967295 134512640 134716908 3221224560 3221223264 134528623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7318 6458 1111 63 0 7255 0
vsize: 29272
[startup+90.0051 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 7178 0 0 0 8971 28 0 0 25 0 1 0 902671363 32595968 7093 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7958 7093 1111 63 0 7895 0
vsize: 31832
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 7580 0 0 0 9969 29 0 0 25 0 1 0 902671363 34254848 7494 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 7494 1111 63 0 8300 0
vsize: 33452
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 8038 0 0 0 10968 31 0 0 25 0 1 0 902671363 36151296 7952 4294967295 134512640 134716908 3221224560 3221223152 134549780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8826 7952 1111 63 0 8763 0
vsize: 35304
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 3/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 8432 0 0 0 11967 32 0 0 25 0 1 0 902671363 37793792 8345 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9227 8345 1111 63 0 9164 0
vsize: 36908
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 8782 0 0 0 12966 33 0 0 25 0 1 0 902671363 39297024 8694 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9594 8694 1111 63 0 9531 0
vsize: 38376
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 9542 0 0 0 13963 37 0 0 25 0 1 0 902671363 42405888 9454 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10353 9454 1111 63 0 10290 0
vsize: 41412
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 10150 0 0 0 14961 39 0 0 25 0 1 0 902671363 44974080 10062 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10062 1111 63 0 10917 0
vsize: 43920
[startup+160.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 10740 0 0 0 15958 42 0 0 25 0 1 0 902671363 47308800 10652 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11550 10652 1111 63 0 11487 0
vsize: 46200
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 11342 0 0 0 16956 45 0 0 25 0 1 0 902671363 49876992 11254 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12177 11254 1111 63 0 12114 0
vsize: 48708
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 12044 0 0 0 17953 47 0 0 25 0 1 0 902671363 52736000 11954 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12875 11954 1111 63 0 12812 0
vsize: 51500
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 12502 0 0 0 18951 49 0 0 25 0 1 0 902671363 54628352 12412 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13337 12412 1111 63 0 13274 0
vsize: 53348
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 13388 0 0 0 19947 53 0 0 25 0 1 0 902671363 58277888 13298 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14228 13298 1111 63 0 14165 0
vsize: 56912
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 13963 0 0 0 20946 55 0 0 25 0 1 0 902671363 60710912 13873 4294967295 134512640 134716908 3221224560 3221223328 134529136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14822 13873 1111 63 0 14759 0
vsize: 59288
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 14510 0 0 0 21943 58 0 0 25 0 1 0 902671363 63037440 14420 4294967295 134512640 134716908 3221224560 3221223200 134539511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15390 14420 1111 63 0 15327 0
vsize: 61560
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 15133 0 0 0 22941 60 0 0 25 0 1 0 902671363 65470464 15043 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15984 15043 1111 63 0 15921 0
vsize: 63936
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 15904 0 0 0 23937 64 0 0 25 0 1 0 902671363 68780032 15812 4294967295 134512640 134716908 3221224560 3221223224 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16792 15812 1111 63 0 16729 0
vsize: 67168
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 16537 0 0 0 24935 67 0 0 25 0 1 0 902671363 71360512 16445 4294967295 134512640 134716908 3221224560 3221223224 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17422 16445 1111 63 0 17359 0
vsize: 69688
[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 17015 0 0 0 25933 69 0 0 25 0 1 0 902671363 73252864 16923 4294967295 134512640 134716908 3221224560 3221223344 134529393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17884 16923 1111 63 0 17821 0
vsize: 71536
[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 17578 0 0 0 26931 71 0 0 25 0 1 0 902671363 75730944 17484 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17484 1111 63 0 18426 0
vsize: 73956
[startup+280.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 18109 0 0 0 27929 74 0 0 25 0 1 0 902671363 77893632 18015 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19017 18015 1111 63 0 18954 0
vsize: 76068
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 18457 0 0 0 28927 75 0 0 25 0 1 0 902671363 79245312 18363 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19347 18363 1111 63 0 19284 0
vsize: 77388
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 19073 0 0 0 29924 79 0 0 25 0 1 0 902671363 81825792 18976 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19977 18976 1111 63 0 19914 0
vsize: 79908
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 19611 0 0 0 30922 81 0 0 25 0 1 0 902671363 83988480 19514 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20505 19514 1111 63 0 20442 0
vsize: 82020
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 20113 0 0 0 31920 83 0 0 25 0 1 0 902671363 86175744 20014 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21039 20014 1111 63 0 20976 0
vsize: 84156
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 20523 0 0 0 32919 84 0 0 25 0 1 0 902671363 87797760 20424 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21435 20424 1111 63 0 21372 0
vsize: 85740
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 21101 0 0 0 33916 87 0 0 25 0 1 0 902671363 90157056 21000 4294967295 134512640 134716908 3221224560 3221223264 134528668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22011 21000 1111 63 0 21948 0
vsize: 88044
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 21613 0 0 0 34915 89 0 0 25 0 1 0 902671363 92319744 21512 4294967295 134512640 134716908 3221224560 3221223264 134528623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22539 21512 1111 63 0 22476 0
vsize: 90156
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 22012 0 0 0 35914 90 0 0 25 0 1 0 902671363 93941760 21911 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22935 21911 1111 63 0 22872 0
vsize: 91740
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 22566 0 0 0 36911 93 0 0 25 0 1 0 902671363 96272384 22462 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23504 22462 1111 63 0 23441 0
vsize: 94016
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 23056 0 0 0 37910 94 0 0 25 0 1 0 902671363 98164736 22952 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23966 22952 1111 63 0 23903 0
vsize: 95864
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 23506 0 0 0 38908 97 0 0 25 0 1 0 902671363 100061184 23402 4294967295 134512640 134716908 3221224560 3221223216 134536716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24429 23402 1111 63 0 24366 0
vsize: 97716
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 23867 0 0 0 39906 99 0 0 25 0 1 0 902671363 101548032 23763 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24792 23763 1111 63 0 24729 0
vsize: 99168
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 24258 0 0 0 40904 101 0 0 25 0 1 0 902671363 103170048 24154 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25188 24154 1111 63 0 25125 0
vsize: 100752
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 24793 0 0 0 41901 104 0 0 25 0 1 0 902671363 105373696 24685 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24685 1111 63 0 25663 0
vsize: 102904
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 25226 0 0 0 42900 106 0 0 25 0 1 0 902671363 107143168 25118 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25118 1111 63 0 26095 0
vsize: 104632
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 25708 0 0 0 43898 108 0 0 25 0 1 0 902671363 109035520 25600 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26620 25600 1111 63 0 26557 0
vsize: 106480
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 26191 0 0 0 44896 110 0 0 25 0 1 0 902671363 111075328 26083 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27118 26083 1111 63 0 27055 0
vsize: 108472
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 26609 0 0 0 45894 112 0 0 25 0 1 0 902671363 112697344 26501 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27514 26501 1111 63 0 27451 0
vsize: 110056
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 27051 0 0 0 46892 114 0 0 25 0 1 0 902671363 114667520 26942 4294967295 134512640 134716908 3221224560 3221223232 134551968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27995 26942 1111 63 0 27932 0
vsize: 111980
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 27413 0 0 0 47891 115 0 0 25 0 1 0 902671363 116154368 27304 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28358 27304 1111 63 0 28295 0
vsize: 113432
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 27757 0 0 0 48890 117 0 0 25 0 1 0 902671363 117518336 27644 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28691 27644 1111 63 0 28628 0
vsize: 114764
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 28080 0 0 0 49889 118 0 0 25 0 1 0 902671363 118870016 27967 4294967295 134512640 134716908 3221224560 3221223344 134529401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29021 27967 1111 63 0 28958 0
vsize: 116084
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 28472 0 0 0 50887 120 0 0 25 0 1 0 902671363 120557568 28355 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29433 28355 1111 63 0 29370 0
vsize: 117732
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 28799 0 0 0 51886 121 0 0 25 0 1 0 902671363 121909248 28682 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29763 28682 1111 63 0 29700 0
vsize: 119052
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 29135 0 0 0 52885 122 0 0 25 0 1 0 902671363 123260928 29018 4294967295 134512640 134716908 3221224560 3221223212 134536823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30093 29018 1111 63 0 30030 0
vsize: 120372
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 29442 0 0 0 53884 124 0 0 25 0 1 0 902671363 124477440 29324 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30390 29324 1111 63 0 30327 0
vsize: 121560
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 29730 0 0 0 54883 125 0 0 25 0 1 0 902671363 125718528 29611 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30693 29611 1111 63 0 30630 0
vsize: 122772
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 30041 0 0 0 55882 126 0 0 25 0 1 0 902671363 126971904 29920 4294967295 134512640 134716908 3221224560 3221223280 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30999 29920 1111 63 0 30936 0
vsize: 123996
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 30351 0 0 0 56881 127 0 0 25 0 1 0 902671363 128188416 30228 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31296 30228 1111 63 0 31233 0
vsize: 125184
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 30622 0 0 0 57880 129 0 0 25 0 1 0 902671363 129404928 30497 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31593 30497 1111 63 0 31530 0
vsize: 126372
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 30969 0 0 0 58879 130 0 0 25 0 1 0 902671363 130805760 30844 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31935 30844 1111 63 0 31872 0
vsize: 127740
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 31278 0 0 0 59878 131 0 0 25 0 1 0 902671363 132022272 31153 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32232 31153 1111 63 0 32169 0
vsize: 128928
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 31562 0 0 0 60877 132 0 0 25 0 1 0 902671363 133238784 31437 4294967295 134512640 134716908 3221224560 3221223200 134698440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32529 31437 1111 63 0 32466 0
vsize: 130116
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 31855 0 0 0 61875 134 0 0 25 0 1 0 902671363 134455296 31730 4294967295 134512640 134716908 3221224560 3221223212 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32826 31730 1111 63 0 32763 0
vsize: 131304
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 32093 0 0 0 62874 135 0 0 25 0 1 0 902671363 135413760 31968 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33060 31968 1111 63 0 32997 0
vsize: 132240
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 32346 0 0 0 63873 136 0 0 25 0 1 0 902671363 136531968 32220 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33333 32220 1111 63 0 33270 0
vsize: 133332
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 32587 0 0 0 64873 137 0 0 25 0 1 0 902671363 137482240 32459 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33565 32459 1111 63 0 33502 0
vsize: 134260
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 32816 0 0 0 65871 138 0 0 25 0 1 0 902671363 138428416 32686 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33796 32686 1111 63 0 33733 0
vsize: 135184
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 33110 0 0 0 66870 140 0 0 25 0 1 0 902671363 139644928 32978 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34093 32978 1111 63 0 34030 0
vsize: 136372
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 33342 0 0 0 67870 141 0 0 25 0 1 0 902671363 140591104 33208 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34324 33208 1111 63 0 34261 0
vsize: 137296
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 33565 0 0 0 68869 141 0 0 25 0 1 0 902671363 141537280 33431 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34555 33431 1111 63 0 34492 0
vsize: 138220
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 33814 0 0 0 69868 142 0 0 25 0 1 0 902671363 142483456 33680 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34786 33680 1111 63 0 34723 0
vsize: 139144
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 34059 0 0 0 70867 144 0 0 25 0 1 0 902671363 143429632 33925 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35017 33925 1111 63 0 34954 0
vsize: 140068
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 34436 0 0 0 71866 145 0 0 25 0 1 0 902671363 145051648 34302 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35413 34302 1111 63 0 35350 0
vsize: 141652
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 34861 0 0 0 72865 146 0 0 25 0 1 0 902671363 146808832 34727 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35842 34727 1111 63 0 35779 0
vsize: 143368
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 35269 0 0 0 73864 148 0 0 25 0 1 0 902671363 148430848 35135 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36238 35135 1111 63 0 36175 0
vsize: 144952
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 35628 0 0 0 74863 149 0 0 25 0 1 0 902671363 149917696 35494 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36601 35494 1111 63 0 36538 0
vsize: 146404
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 35959 0 0 0 75861 151 0 0 25 0 1 0 902671363 151269376 35825 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36931 35825 1111 63 0 36868 0
vsize: 147724
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 36251 0 0 0 76860 152 0 0 25 0 1 0 902671363 152485888 36117 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37228 36117 1111 63 0 37165 0
vsize: 148912
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 36572 0 0 0 77858 154 0 0 25 0 1 0 902671363 153710592 36437 4294967295 134512640 134716908 3221224560 3221223296 134535821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37527 36437 1111 63 0 37464 0
vsize: 150108
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 37011 0 0 0 78857 155 0 0 25 0 1 0 902671363 155467776 36876 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37956 36876 1111 63 0 37893 0
vsize: 151824
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 37401 0 0 0 79856 157 0 0 25 0 1 0 902671363 157089792 37266 4294967295 134512640 134716908 3221224560 3221223088 134535335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38352 37266 1111 63 0 38289 0
vsize: 153408
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 37736 0 0 0 80854 159 0 0 25 0 1 0 902671363 158441472 37601 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38682 37601 1111 63 0 38619 0
vsize: 154728
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 38069 0 0 0 81853 160 0 0 25 0 1 0 902671363 159793152 37934 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39012 37934 1111 63 0 38949 0
vsize: 156048
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 38400 0 0 0 82852 161 0 0 25 0 1 0 902671363 161345536 38258 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39391 38258 1111 63 0 39328 0
vsize: 157564
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 38591 0 0 0 83851 163 0 0 25 0 1 0 902671363 162021376 38448 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39556 38448 1111 63 0 39493 0
vsize: 158224
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 38821 0 0 0 84850 164 0 0 25 0 1 0 902671363 163069952 38676 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39812 38676 1111 63 0 39749 0
vsize: 159248
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 39075 0 0 0 85849 165 0 0 25 0 1 0 902671363 164184064 38926 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40084 38926 1111 63 0 40021 0
vsize: 160336
[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 39290 0 0 0 86849 165 0 0 25 0 1 0 902671363 164995072 39141 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40282 39141 1111 63 0 40219 0
vsize: 161128
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 39478 0 0 0 87848 166 0 0 25 0 1 0 902671363 165806080 39329 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40480 39329 1111 63 0 40417 0
vsize: 161920
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 39657 0 0 0 88847 167 0 0 25 0 1 0 902671363 166682624 39505 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40694 39505 1111 63 0 40631 0
vsize: 162776
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 39842 0 0 0 89847 168 0 0 25 0 1 0 902671363 167374848 39686 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40863 39686 1111 63 0 40800 0
vsize: 163452
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 39984 0 0 0 90846 168 0 0 25 0 1 0 902671363 168050688 39828 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41028 39828 1111 63 0 40965 0
vsize: 164112
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 40129 0 0 0 91846 169 0 0 25 0 1 0 902671363 168669184 39972 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41179 39972 1111 63 0 41116 0
vsize: 164716
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 40246 0 0 0 92846 169 0 0 25 0 1 0 902671363 169074688 40089 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41278 40089 1111 63 0 41215 0
vsize: 165112
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 40378 0 0 0 93846 170 0 0 25 0 1 0 902671363 169615360 40221 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41410 40221 1111 63 0 41347 0
vsize: 165640
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 40534 0 0 0 94845 170 0 0 25 0 1 0 902671363 170323968 40377 4294967295 134512640 134716908 3221224560 3221223320 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41583 40377 1111 63 0 41520 0
vsize: 166332
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 40784 0 0 0 95845 171 0 0 25 0 1 0 902671363 171311104 40627 4294967295 134512640 134716908 3221224560 3221223212 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41824 40627 1111 63 0 41761 0
vsize: 167296
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 41011 0 0 0 96844 172 0 0 25 0 1 0 902671363 172306432 40854 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42067 40854 1111 63 0 42004 0
vsize: 168268
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 41236 0 0 0 97843 173 0 0 25 0 1 0 902671363 173252608 41079 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42298 41079 1111 63 0 42235 0
vsize: 169192
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 41457 0 0 0 98842 175 0 0 25 0 1 0 902671363 174063616 41300 4294967295 134512640 134716908 3221224560 3221223248 134551903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42496 41300 1111 63 0 42433 0
vsize: 169984
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 41665 0 0 0 99841 175 0 0 25 0 1 0 902671363 174874624 41508 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42694 41508 1111 63 0 42631 0
vsize: 170776
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 41900 0 0 0 100840 177 0 0 25 0 1 0 902671363 175820800 41743 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42925 41743 1111 63 0 42862 0
vsize: 171700
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 42124 0 0 0 101839 178 0 0 25 0 1 0 902671363 176766976 41967 4294967295 134512640 134716908 3221224560 3221223320 134552633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43156 41967 1111 63 0 43093 0
vsize: 172624
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 42286 0 0 0 102838 179 0 0 25 0 1 0 902671363 177487872 42129 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43332 42129 1111 63 0 43269 0
vsize: 173328
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 42429 0 0 0 103837 180 0 0 25 0 1 0 902671363 178028544 42272 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43464 42272 1111 63 0 43401 0
vsize: 173856
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 42544 0 0 0 104837 180 0 0 25 0 1 0 902671363 178569216 42387 4294967295 134512640 134716908 3221224560 3221223320 134552570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43596 42387 1111 63 0 43533 0
vsize: 174384
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 42653 0 0 0 105837 181 0 0 25 0 1 0 902671363 178999296 42494 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43701 42494 1111 63 0 43638 0
vsize: 174804
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 42784 0 0 0 106836 182 0 0 25 0 1 0 902671363 179539968 42625 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43833 42625 1111 63 0 43770 0
vsize: 175332
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 42924 0 0 0 107836 182 0 0 25 0 1 0 902671363 180219904 42761 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43999 42761 1111 63 0 43936 0
vsize: 175996
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 43057 0 0 0 108835 183 0 0 25 0 1 0 902671363 180789248 42893 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44138 42893 1111 63 0 44075 0
vsize: 176552
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 43209 0 0 0 109835 183 0 0 25 0 1 0 902671363 181329920 43045 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44270 43045 1111 63 0 44207 0
vsize: 177080
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 43411 0 0 0 110834 184 0 0 25 0 1 0 902671363 182145024 43246 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44469 43246 1111 63 0 44406 0
vsize: 177876
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 43572 0 0 0 111834 185 0 0 25 0 1 0 902671363 182820864 43407 4294967295 134512640 134716908 3221224560 3221223332 134529151 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44634 43407 1111 63 0 44571 0
vsize: 178536
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 43790 0 0 0 112833 186 0 0 25 0 1 0 902671363 183799808 43624 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 43624 1111 63 0 44810 0
vsize: 179492
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 44089 0 0 0 113831 188 0 0 25 0 1 0 902671363 185024512 43923 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45172 43923 1111 63 0 45109 0
vsize: 180688
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 44380 0 0 0 114830 189 0 0 25 0 1 0 902671363 186245120 44212 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45470 44212 1111 63 0 45407 0
vsize: 181880
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 45134 0 0 0 115828 192 0 0 25 0 1 0 902671363 189218816 44966 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46196 44966 1111 63 0 46133 0
vsize: 184784
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 45545 0 0 0 116826 194 0 0 25 0 1 0 902671363 191008768 45377 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46633 45377 1111 63 0 46570 0
vsize: 186532
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1574
Raw data (stat): 1574 (bsolo_lpr_cuts-) R 1573 21152 21151 0 -1 0 45545 0 0 0 116826 194 0 0 25 0 1 0 902671363 191008768 45377 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46633 45377 1111 63 0 46570 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.11
CPU user time (s): 1173.08
CPU system time (s): 2.03469
CPU usage (%): 100.014
Max. virtual memory (Kb): 186532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####