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_25_pb.cnf.cr.opb
MD5SUM	808390b13d2d87ec4e78f628ed3af9ba
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	26
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.021995
Number of variables	750
Total number of constraints	80
Number of constraints which are clauses	50
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	25
Trace number 40555

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        861768 kB
Buffers:         10876 kB
Cached:         140500 kB
SwapCached:        672 kB
Active:          22548 kB
Inactive:       130892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        861516 kB
SwapTotal:     2097136 kB
SwapFree:      2095500 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13728 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:40:33 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 28621 7 1175.15 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 750 variables and 80 constraints.
c After prepocess the problem consists of 750 variables and 80 constraints.
c preprocess terminated 0.191 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 19996
Raw data (stat): 19996 (runsolver) R 19995 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902310654 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.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 3705 0 0 0 986 10 0 0 25 0 1 0 902310654 18325504 3623 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4474 3623 1111 63 0 4411 0
vsize: 17896
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 5325 0 0 0 1981 15 0 0 25 0 1 0 902310654 24952832 5242 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6092 5242 1111 63 0 6029 0
vsize: 24368
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 6491 0 0 0 2978 19 0 0 25 0 1 0 902310654 29691904 6407 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7249 6407 1111 63 0 7186 0
vsize: 28996
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 7416 0 0 0 3975 22 0 0 25 0 1 0 902310654 33628160 7332 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8210 7332 1111 63 0 8147 0
vsize: 32840
[startup+50.0085 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 9032 0 0 0 4969 28 0 0 25 0 1 0 902310654 40247296 8948 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9826 8948 1111 63 0 9763 0
vsize: 39304
[startup+60.0079 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 10629 0 0 0 5963 35 0 0 25 0 1 0 902310654 46755840 10545 4294967295 134512640 134716908 3221224560 3221223116 134535626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11415 10545 1111 63 0 11352 0
vsize: 45660
[startup+70.0087 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 12280 0 0 0 6956 42 0 0 25 0 1 0 902310654 53657600 12196 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 12196 1111 63 0 13037 0
vsize: 52400
[startup+80.0087 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 13814 0 0 0 7951 47 0 0 25 0 1 0 902310654 59871232 13729 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14617 13729 1111 63 0 14554 0
vsize: 58468
[startup+90.0091 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 14920 0 0 0 8947 51 0 0 25 0 1 0 902310654 64471040 14832 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15740 14832 1111 63 0 15677 0
vsize: 62960
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 15851 0 0 0 9944 54 0 0 25 0 1 0 902310654 68263936 15763 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16666 15763 1111 63 0 16603 0
vsize: 66664
[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 16818 0 0 0 10942 57 0 0 25 0 1 0 902310654 72351744 16728 4294967295 134512640 134716908 3221224560 3221223324 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17664 16728 1111 63 0 17601 0
vsize: 70656
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 17580 0 0 0 11939 60 0 0 25 0 1 0 902310654 75526144 17490 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18439 17490 1111 63 0 18376 0
vsize: 73756
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 18298 0 0 0 12936 63 0 0 25 0 1 0 902310654 78532608 18206 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19173 18206 1111 63 0 19110 0
vsize: 76692
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 18774 0 0 0 13935 64 0 0 25 0 1 0 902310654 80433152 18682 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19637 18682 1111 63 0 19574 0
vsize: 78548
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 19650 0 0 0 14932 68 0 0 25 0 1 0 902310654 84033536 19555 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20516 19556 1111 63 0 20453 0
vsize: 82064
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 20590 0 0 0 15930 70 0 0 25 0 1 0 902310654 87953408 20494 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21473 20494 1111 63 0 21410 0
vsize: 85892
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 21557 0 0 0 16926 74 0 0 25 0 1 0 902310654 91877376 21461 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22431 21461 1111 63 0 22368 0
vsize: 89724
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 22261 0 0 0 17924 77 0 0 25 0 1 0 902310654 94785536 22161 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23141 22161 1111 63 0 23078 0
vsize: 92564
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 22966 0 0 0 18922 79 0 0 25 0 1 0 902310654 97624064 22866 4294967295 134512640 134716908 3221224560 3221223100 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23834 22866 1111 63 0 23771 0
vsize: 95336
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 23643 0 0 0 19919 82 0 0 25 0 1 0 902310654 100487168 23543 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24533 23543 1111 63 0 24470 0
vsize: 98132
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 24272 0 0 0 20916 85 0 0 25 0 1 0 902310654 103071744 24172 4294967295 134512640 134716908 3221224560 3221223212 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25164 24172 1111 63 0 25101 0
vsize: 100656
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 24571 0 0 0 21915 86 0 0 25 0 1 0 902310654 104378368 24471 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25483 24471 1111 63 0 25420 0
vsize: 101932
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 25423 0 0 0 22913 88 0 0 25 0 1 0 902310654 107847680 25322 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26330 25322 1111 63 0 26267 0
vsize: 105320
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 25938 0 0 0 23911 91 0 0 25 0 1 0 902310654 110018560 25833 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25833 1111 63 0 26797 0
vsize: 107440
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 26640 0 0 0 24908 94 0 0 25 0 1 0 902310654 112898048 26534 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27563 26534 1111 63 0 27500 0
vsize: 110252
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 27235 0 0 0 25906 96 0 0 25 0 1 0 902310654 115331072 27129 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28157 27129 1111 63 0 28094 0
vsize: 112628
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 27723 0 0 0 26904 98 0 0 25 0 1 0 902310654 117383168 27616 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28658 27616 1111 63 0 28595 0
vsize: 114632
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 28211 0 0 0 27903 99 0 0 25 0 1 0 902310654 119275520 28104 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29120 28104 1111 63 0 29057 0
vsize: 116480
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 28714 0 0 0 28902 101 0 0 25 0 1 0 902310654 121327616 28607 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29621 28607 1111 63 0 29558 0
vsize: 118484
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 29096 0 0 0 29901 102 0 0 25 0 1 0 902310654 122953728 28989 4294967295 134512640 134716908 3221224560 3221223200 134536700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30018 28989 1111 63 0 29955 0
vsize: 120072
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 29526 0 0 0 30899 104 0 0 25 0 1 0 902310654 124764160 29416 4294967295 134512640 134716908 3221224560 3221223344 134528953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30460 29416 1111 63 0 30397 0
vsize: 121840
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 29937 0 0 0 31898 105 0 0 25 0 1 0 902310654 126435328 29823 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30868 29823 1111 63 0 30805 0
vsize: 123472
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 30323 0 0 0 32897 106 0 0 25 0 1 0 902310654 128094208 30204 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31273 30204 1111 63 0 31210 0
vsize: 125092
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 30668 0 0 0 33896 107 0 0 25 0 1 0 902310654 129593344 30549 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31639 30549 1111 63 0 31576 0
vsize: 126556
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 31138 0 0 0 34895 109 0 0 25 0 1 0 902310654 131547136 31017 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32116 31017 1111 63 0 32053 0
vsize: 128464
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 31836 0 0 0 35893 111 0 0 25 0 1 0 902310654 134406144 31715 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32814 31715 1111 63 0 32751 0
vsize: 131256
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 32388 0 0 0 36890 114 0 0 25 0 1 0 902310654 136568832 32267 4294967295 134512640 134716908 3221224560 3221223200 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33342 32267 1111 63 0 33279 0
vsize: 133368
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 32891 0 0 0 37889 115 0 0 25 0 1 0 902310654 138797056 32761 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33886 32761 1111 63 0 33823 0
vsize: 135544
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 33376 0 0 0 38888 116 0 0 25 0 1 0 902310654 140824576 33246 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34381 33246 1111 63 0 34318 0
vsize: 137524
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 33730 0 0 0 39887 118 0 0 25 0 1 0 902310654 142200832 33600 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34717 33600 1111 63 0 34654 0
vsize: 138868
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 34006 0 0 0 40886 119 0 0 25 0 1 0 902310654 143450112 33875 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35022 33875 1111 63 0 34959 0
vsize: 140088
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 34284 0 0 0 41885 120 0 0 25 0 1 0 902310654 144531456 34153 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35286 34153 1111 63 0 35223 0
vsize: 141144
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 34573 0 0 0 42884 121 0 0 25 0 1 0 902310654 145747968 34442 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35583 34442 1111 63 0 35520 0
vsize: 142332
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 34852 0 0 0 43883 122 0 0 25 0 1 0 902310654 146886656 34719 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35861 34719 1111 63 0 35798 0
vsize: 143444
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 35213 0 0 0 44882 124 0 0 25 0 1 0 902310654 148373504 35080 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36224 35080 1111 63 0 36161 0
vsize: 144896
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 35539 0 0 0 45881 125 0 0 25 0 1 0 902310654 149606400 35405 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36525 35405 1111 63 0 36462 0
vsize: 146100
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 35862 0 0 0 46879 127 0 0 25 0 1 0 902310654 150990848 35728 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36863 35728 1111 63 0 36800 0
vsize: 147452
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 36288 0 0 0 47878 129 0 0 25 0 1 0 902310654 152612864 36154 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37259 36154 1111 63 0 37196 0
vsize: 149036
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 36861 0 0 0 48875 131 0 0 25 0 1 0 902310654 155168768 36720 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37883 36720 1111 63 0 37820 0
vsize: 151532
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 37268 0 0 0 49872 133 0 0 25 0 1 0 902310654 156790784 37127 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38279 37127 1111 63 0 38216 0
vsize: 153116
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 37620 0 0 0 50870 135 0 0 25 0 1 0 902310654 158314496 37479 4294967295 134512640 134716908 3221224560 3221223332 134529151 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38651 37479 1111 63 0 38588 0
vsize: 154604
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 37876 0 0 0 51869 136 0 0 25 0 1 0 902310654 159334400 37734 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38900 37734 1111 63 0 38837 0
vsize: 155600
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 38206 0 0 0 52868 137 0 0 25 0 1 0 902310654 160686080 38064 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39230 38064 1111 63 0 39167 0
vsize: 156920
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 38524 0 0 0 53867 139 0 0 25 0 1 0 902310654 162103296 38373 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39576 38373 1111 63 0 39513 0
vsize: 158304
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 38781 0 0 0 54867 139 0 0 25 0 1 0 902310654 163258368 38630 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39858 38630 1111 63 0 39795 0
vsize: 159432
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 39114 0 0 0 55866 140 0 0 25 0 1 0 902310654 164696064 38954 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40209 38954 1111 63 0 40146 0
vsize: 160836
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 39401 0 0 0 56864 142 0 0 25 0 1 0 902310654 165912576 39241 4294967295 134512640 134716908 3221224560 3221223216 134536753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40506 39241 1111 63 0 40443 0
vsize: 162024
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 39656 0 0 0 57863 143 0 0 25 0 1 0 902310654 166928384 39496 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40754 39496 1111 63 0 40691 0
vsize: 163016
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 39885 0 0 0 58863 144 0 0 25 0 1 0 902310654 167870464 39725 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40984 39725 1111 63 0 40921 0
vsize: 163936
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 40183 0 0 0 59862 145 0 0 25 0 1 0 902310654 169086976 40023 4294967295 134512640 134716908 3221224560 3221223296 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41281 40023 1111 63 0 41218 0
vsize: 165124
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 40423 0 0 0 60861 146 0 0 25 0 1 0 902310654 170102784 40262 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41529 40262 1111 63 0 41466 0
vsize: 166116
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 40739 0 0 0 61860 147 0 0 25 0 1 0 902310654 171384832 40569 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41842 40569 1111 63 0 41779 0
vsize: 167368
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 41004 0 0 0 62859 149 0 0 25 0 1 0 902310654 172535808 40834 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42123 40834 1111 63 0 42060 0
vsize: 168492
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 41262 0 0 0 63859 149 0 0 25 0 1 0 902310654 173563904 41090 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42374 41090 1111 63 0 42311 0
vsize: 169496
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 41517 0 0 0 64857 150 0 0 25 0 1 0 902310654 174694400 41345 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42650 41345 1111 63 0 42587 0
vsize: 170600
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 41775 0 0 0 65856 152 0 0 25 0 1 0 902310654 175710208 41601 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42898 41601 1111 63 0 42835 0
vsize: 171592
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 42035 0 0 0 66855 153 0 0 25 0 1 0 902310654 176697344 41861 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43139 41861 1111 63 0 43076 0
vsize: 172556
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 42305 0 0 0 67855 153 0 0 25 0 1 0 902310654 177819648 42131 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43413 42131 1111 63 0 43350 0
vsize: 173652
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 42652 0 0 0 68854 155 0 0 25 0 1 0 902310654 179380224 42474 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43794 42474 1111 63 0 43731 0
vsize: 175176
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 42863 0 0 0 69853 156 0 0 25 0 1 0 902310654 180490240 42680 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44065 42680 1111 63 0 44002 0
vsize: 176260
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 43149 0 0 0 70852 157 0 0 25 0 1 0 902310654 181690368 42964 4294967295 134512640 134716908 3221224560 3221223108 134698766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44358 42964 1111 63 0 44295 0
vsize: 177432
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 43424 0 0 0 71851 158 0 0 25 0 1 0 902310654 183156736 43228 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44716 43228 1111 63 0 44653 0
vsize: 178864
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 43629 0 0 0 72850 159 0 0 25 0 1 0 902310654 183914496 43432 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44901 43432 1111 63 0 44838 0
vsize: 179604
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 43813 0 0 0 73850 160 0 0 25 0 1 0 902310654 184791040 43612 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45115 43612 1111 63 0 45052 0
vsize: 180460
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 43973 0 0 0 74849 161 0 0 25 0 1 0 902310654 185458688 43769 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45278 43769 1111 63 0 45215 0
vsize: 181112
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 44153 0 0 0 75849 161 0 0 25 0 1 0 902310654 186179584 43949 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45454 43949 1111 63 0 45391 0
vsize: 181816
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 44266 0 0 0 76849 161 0 0 25 0 1 0 902310654 186646528 44060 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45568 44060 1111 63 0 45505 0
vsize: 182272
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 44422 0 0 0 77848 162 0 0 25 0 1 0 902310654 187322368 44216 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45733 44216 1111 63 0 45670 0
vsize: 182932
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 44749 0 0 0 78848 163 0 0 25 0 1 0 902310654 188674048 44543 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46063 44543 1111 63 0 46000 0
vsize: 184252
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 45871 0 0 0 79844 166 0 0 25 0 1 0 902310654 193142784 45665 4294967295 134512640 134716908 3221224560 3221223104 134674722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47154 45666 1111 63 0 47091 0
vsize: 188616
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 46891 0 0 0 80841 170 0 0 25 0 1 0 902310654 197558272 46680 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48232 46680 1111 63 0 48169 0
vsize: 192928
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 48137 0 0 0 81836 175 0 0 25 0 1 0 902310654 202559488 47926 4294967295 134512640 134716908 3221224560 3221223032 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49453 47926 1111 63 0 49390 0
vsize: 197812
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 48919 0 0 0 82834 177 0 0 25 0 1 0 902310654 205799424 48708 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50244 48708 1111 63 0 50181 0
vsize: 200976
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 49774 0 0 0 83831 181 0 0 25 0 1 0 902310654 209354752 49559 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51112 49559 1111 63 0 51049 0
vsize: 204448
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 50446 0 0 0 84829 183 0 0 25 0 1 0 902310654 212058112 50231 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51772 50231 1111 63 0 51709 0
vsize: 207088
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 51105 0 0 0 85827 185 0 0 25 0 1 0 902310654 214761472 50890 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52432 50890 1111 63 0 52369 0
vsize: 209728
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 51831 0 0 0 86825 188 0 0 25 0 1 0 902310654 217735168 51616 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53158 51616 1111 63 0 53095 0
vsize: 212632
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 52396 0 0 0 87823 189 0 0 25 0 1 0 902310654 220033024 52181 4294967295 134512640 134716908 3221224560 3221223136 134549640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53719 52181 1111 63 0 53656 0
vsize: 214876
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 52955 0 0 0 88821 192 0 0 25 0 1 0 902310654 222330880 52740 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54280 52740 1111 63 0 54217 0
vsize: 217120
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 53392 0 0 0 89820 193 0 0 25 0 1 0 902310654 224239616 53177 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54746 53177 1111 63 0 54683 0
vsize: 218984
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 53914 0 0 0 90819 194 0 0 25 0 1 0 902310654 226480128 53697 4294967295 134512640 134716908 3221224560 3221223316 134655239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55293 53697 1111 63 0 55230 0
vsize: 221172
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 54197 0 0 0 91818 195 0 0 25 0 1 0 902310654 227577856 53979 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55561 53979 1111 63 0 55498 0
vsize: 222244
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 54980 0 0 0 92815 198 0 0 25 0 1 0 902310654 230821888 54759 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56353 54759 1111 63 0 56290 0
vsize: 225412
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 55926 0 0 0 93812 201 0 0 25 0 1 0 902310654 234741760 55705 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57310 55705 1111 63 0 57247 0
vsize: 229240
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 56590 0 0 0 94809 204 0 0 25 0 1 0 902310654 237379584 56365 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57954 56365 1111 63 0 57891 0
vsize: 231816
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 57174 0 0 0 95808 206 0 0 25 0 1 0 902310654 239812608 56949 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58548 56949 1111 63 0 58485 0
vsize: 234192
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 57653 0 0 0 96806 208 0 0 25 0 1 0 902310654 241704960 57428 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59010 57428 1111 63 0 58947 0
vsize: 236040
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 58055 0 0 0 97805 209 0 0 25 0 1 0 902310654 243326976 57830 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59406 57830 1111 63 0 59343 0
vsize: 237624
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 58814 0 0 0 98801 213 0 0 25 0 1 0 902310654 246435840 58589 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60165 58590 1111 63 0 60102 0
vsize: 240660
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 59195 0 0 0 99799 216 0 0 25 0 1 0 902310654 248057856 58970 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60561 58970 1111 63 0 60498 0
vsize: 242244
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 59628 0 0 0 100798 217 0 0 25 0 1 0 902310654 249839616 59403 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60996 59403 1111 63 0 60933 0
vsize: 243984
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 60097 0 0 0 101796 219 0 0 25 0 1 0 902310654 251867136 59871 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61491 59871 1111 63 0 61428 0
vsize: 245964
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 60499 0 0 0 102793 222 0 0 25 0 1 0 902310654 253505536 60272 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61891 60272 1111 63 0 61828 0
vsize: 247564
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 60842 0 0 0 103792 224 0 0 25 0 1 0 902310654 254857216 60615 4294967295 134512640 134716908 3221224560 3221223344 134529412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62221 60615 1111 63 0 62158 0
vsize: 248884
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 61021 0 0 0 104791 225 0 0 25 0 1 0 902310654 255565824 60793 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62394 60793 1111 63 0 62331 0
vsize: 249576
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 61396 0 0 0 105790 226 0 0 25 0 1 0 902310654 257081344 61167 4294967295 134512640 134716908 3221224560 3221223328 134529136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62764 61167 1111 63 0 62701 0
vsize: 251056
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 62226 0 0 0 106787 229 0 0 25 0 1 0 902310654 260505600 61993 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63600 61993 1111 63 0 63537 0
vsize: 254400
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 62643 0 0 0 107785 231 0 0 25 0 1 0 902310654 262262784 62410 4294967295 134512640 134716908 3221224560 3221223264 134535807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64029 62410 1111 63 0 63966 0
vsize: 256116
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 63222 0 0 0 108783 233 0 0 25 0 1 0 902310654 264720384 62988 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64629 62988 1111 63 0 64566 0
vsize: 258516
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 63706 0 0 0 109781 235 0 0 25 0 1 0 902310654 266612736 63472 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65091 63472 1111 63 0 65028 0
vsize: 260364
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 64252 0 0 0 110779 237 0 0 25 0 1 0 902310654 268976128 64009 4294967295 134512640 134716908 3221224560 3221223320 134552685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65668 64009 1111 63 0 65605 0
vsize: 262672
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 64746 0 0 0 111778 238 0 0 25 0 1 0 902310654 271036416 64502 4294967295 134512640 134716908 3221224560 3221223116 134535942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66171 64502 1111 63 0 66108 0
vsize: 264684
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 65255 0 0 0 112777 240 0 0 25 0 1 0 902310654 273063936 65011 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66666 65011 1111 63 0 66603 0
vsize: 266664
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 65665 0 0 0 113775 242 0 0 25 0 1 0 902310654 274685952 65421 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67062 65421 1111 63 0 66999 0
vsize: 268248
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 66083 0 0 0 114774 243 0 0 25 0 1 0 902310654 276443136 65839 4294967295 134512640 134716908 3221224560 3221223316 134655214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67491 65839 1111 63 0 67428 0
vsize: 269964
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 66456 0 0 0 115773 244 0 0 25 0 1 0 902310654 277929984 66212 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67854 66212 1111 63 0 67791 0
vsize: 271416
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 66654 0 0 0 116773 245 0 0 25 0 1 0 902310654 278761472 66410 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68057 66410 1111 63 0 67994 0
vsize: 272228
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19996
Raw data (stat): 19996 (bsolo_lpr_cuts-) R 19995 7266 7265 0 -1 0 66654 0 0 0 116773 245 0 0 25 0 1 0 902310654 278761472 66410 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68057 66410 1111 63 0 67994 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.15
CPU user time (s): 1172.57
CPU system time (s): 2.58161
CPU usage (%): 100.013
Max. virtual memory (Kb): 272228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####