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-chnl20_25_pb.cnf.cr.opb
MD5SUM	6c328ef6f9d8d5a179eec9bf3550b7fd
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.027995
Number of variables	1000
Total number of constraints	90
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	25
Trace number 40557

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 14:25:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28623 boxname=wulflinc2 idbench=9 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6c328ef6f9d8d5a179eec9bf3550b7fd  /oldhome/oroussel/tmp/wulflinc2/normalized-chnl20_25_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl20_25_pb.cnf.cr.opb
IDLAUNCH: 28623
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        777424 kB
Buffers:         25580 kB
Cached:         209784 kB
SwapCached:       1344 kB
Active:          31316 kB
Inactive:       206012 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        777172 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14204 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:44:36 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 28623 7 1175.09 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 1000 variables and 90 constraints.
c After prepocess the problem consists of 1000 variables and 90 constraints.
c preprocess terminated 0.265 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.91 0.95 0.91 2/54 10802
Raw data (stat): 10802 (runsolver) R 10801 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902338624 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0016 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 3833 0 0 0 987 10 0 0 25 0 1 0 902338624 18866176 3751 4294967295 134512640 134716908 3221224560 3221223248 134528602 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4606 3751 1111 63 0 4543 0
vsize: 18424
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 5129 0 0 0 1983 14 0 0 25 0 1 0 902338624 24145920 5047 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 5047 1111 63 0 5832 0
vsize: 23580
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 6012 0 0 0 2981 17 0 0 25 0 1 0 902338624 27811840 5930 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6790 5930 1111 63 0 6727 0
vsize: 27160
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 6683 0 0 0 3977 20 0 0 25 0 1 0 902338624 30523392 6601 4294967295 134512640 134716908 3221224560 3221223328 134592140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7452 6601 1111 63 0 7389 0
vsize: 29808
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 7377 0 0 0 4976 22 0 0 25 0 1 0 902338624 33366016 7295 4294967295 134512640 134716908 3221224560 3221223188 1077374180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8146 7295 1111 63 0 8083 0
vsize: 32584
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 7990 0 0 0 5973 25 0 0 25 0 1 0 902338624 35934208 7908 4294967295 134512640 134716908 3221224560 3221223320 134592365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8773 7908 1111 63 0 8710 0
vsize: 35092
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 8343 0 0 0 6971 27 0 0 25 0 1 0 902338624 37429248 8261 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9138 8261 1111 63 0 9075 0
vsize: 36552
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 8696 0 0 0 7970 28 0 0 25 0 1 0 902338624 38785024 8614 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9469 8614 1111 63 0 9406 0
vsize: 37876
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 8873 0 0 0 8970 29 0 0 25 0 1 0 902338624 39612416 8791 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 8791 1111 63 0 9608 0
vsize: 38684
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 9026 0 0 0 9968 31 0 0 25 0 1 0 902338624 40300544 8944 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9839 8944 1111 63 0 9776 0
vsize: 39356
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 9714 0 0 0 10965 34 0 0 25 0 1 0 902338624 43134976 9632 4294967295 134512640 134716908 3221224560 3221223328 134592328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10531 9632 1111 63 0 10468 0
vsize: 42124
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 11357 0 0 0 11961 39 0 0 25 0 1 0 902338624 49754112 11275 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12147 11275 1111 63 0 12084 0
vsize: 48588
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 12078 0 0 0 12959 41 0 0 25 0 1 0 902338624 52731904 11996 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12874 11996 1111 63 0 12811 0
vsize: 51496
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 12659 0 0 0 13957 43 0 0 25 0 1 0 902338624 55189504 12576 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13474 12576 1111 63 0 13411 0
vsize: 53896
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 13084 0 0 0 14955 45 0 0 25 0 1 0 902338624 56958976 13001 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13906 13001 1111 63 0 13843 0
vsize: 55624
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 13271 0 0 0 15955 46 0 0 25 0 1 0 902338624 57634816 13188 4294967295 134512640 134716908 3221224560 3221223148 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14071 13188 1111 63 0 14008 0
vsize: 56284
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 13790 0 0 0 16952 48 0 0 25 0 1 0 902338624 59797504 13706 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14599 13706 1111 63 0 14536 0
vsize: 58396
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 14737 0 0 0 17949 51 0 0 25 0 1 0 902338624 63729664 14653 4294967295 134512640 134716908 3221224560 3221223256 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15559 14653 1111 63 0 15496 0
vsize: 62236
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 15384 0 0 0 18947 54 0 0 25 0 1 0 902338624 66433024 15300 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16219 15300 1111 63 0 16156 0
vsize: 64876
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 15900 0 0 0 19945 56 0 0 25 0 1 0 902338624 68460544 15816 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16714 15816 1111 63 0 16651 0
vsize: 66856
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 16508 0 0 0 20942 59 0 0 25 0 1 0 902338624 71028736 16423 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17341 16423 1111 63 0 17278 0
vsize: 69364
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 16851 0 0 0 21941 60 0 0 25 0 1 0 902338624 72409088 16766 4294967295 134512640 134716908 3221224560 3221223244 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17678 16766 1111 63 0 17615 0
vsize: 70712
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 17213 0 0 0 22940 62 0 0 25 0 1 0 902338624 73895936 17128 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18041 17128 1111 63 0 17978 0
vsize: 72164
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 17467 0 0 0 23939 63 0 0 25 0 1 0 902338624 74842112 17382 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18272 17382 1111 63 0 18209 0
vsize: 73088
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 17662 0 0 0 24938 64 0 0 25 0 1 0 902338624 75657216 17577 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18471 17577 1111 63 0 18408 0
vsize: 73884
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 17776 0 0 0 25937 65 0 0 25 0 1 0 902338624 76197888 17691 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18603 17691 1111 63 0 18540 0
vsize: 74412
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 18414 0 0 0 26935 67 0 0 25 0 1 0 902338624 78798848 18327 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19238 18327 1111 63 0 19175 0
vsize: 76952
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 18733 0 0 0 27934 69 0 0 25 0 1 0 902338624 80150528 18646 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19568 18646 1111 63 0 19505 0
vsize: 78272
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 19250 0 0 0 28932 71 0 0 25 0 1 0 902338624 82178048 19163 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20063 19163 1111 63 0 20000 0
vsize: 80252
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 19566 0 0 0 29930 73 0 0 25 0 1 0 902338624 83570688 19479 4294967295 134512640 134716908 3221224560 3221223152 134549789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20403 19479 1111 63 0 20340 0
vsize: 81612
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 19847 0 0 0 30929 74 0 0 25 0 1 0 902338624 84787200 19760 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20700 19760 1111 63 0 20637 0
vsize: 82800
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 20120 0 0 0 31928 76 0 0 25 0 1 0 902338624 85868544 20033 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20964 20033 1111 63 0 20901 0
vsize: 83856
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 20244 0 0 0 32928 76 0 0 25 0 1 0 902338624 86409216 20157 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21096 20157 1111 63 0 21033 0
vsize: 84384
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 20359 0 0 0 33927 77 0 0 25 0 1 0 902338624 86814720 20272 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21195 20272 1111 63 0 21132 0
vsize: 84780
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 20508 0 0 0 34926 78 0 0 25 0 1 0 902338624 87531520 20421 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21370 20421 1111 63 0 21307 0
vsize: 85480
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 20806 0 0 0 35925 80 0 0 25 0 1 0 902338624 88752128 20718 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21668 20718 1111 63 0 21605 0
vsize: 86672
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 21203 0 0 0 36923 81 0 0 25 0 1 0 902338624 90390528 21114 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22068 21114 1111 63 0 22005 0
vsize: 88272
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 21482 0 0 0 37923 82 0 0 25 0 1 0 902338624 91607040 21393 4294967295 134512640 134716908 3221224560 3221223152 134549834 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22365 21393 1111 63 0 22302 0
vsize: 89460
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 21791 0 0 0 38921 84 0 0 25 0 1 0 902338624 92823552 21701 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22662 21701 1111 63 0 22599 0
vsize: 90648
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 21973 0 0 0 39920 85 0 0 25 0 1 0 902338624 93499392 21883 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22827 21883 1111 63 0 22764 0
vsize: 91308
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 22128 0 0 0 40920 86 0 0 25 0 1 0 902338624 94212096 22038 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23001 22038 1111 63 0 22938 0
vsize: 92004
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 22187 0 0 0 41919 86 0 0 25 0 1 0 902338624 94519296 22097 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23076 22097 1111 63 0 23013 0
vsize: 92304
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 22546 0 0 0 42918 88 0 0 25 0 1 0 902338624 96006144 22454 4294967295 134512640 134716908 3221224560 3221223304 134551626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23439 22454 1111 63 0 23376 0
vsize: 93756
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 22764 0 0 0 43917 89 0 0 25 0 1 0 902338624 96845824 22672 4294967295 134512640 134716908 3221224560 3221223120 134698799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23644 22672 1111 63 0 23581 0
vsize: 94576
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 22968 0 0 0 44915 91 0 0 25 0 1 0 902338624 97681408 22876 4294967295 134512640 134716908 3221224560 3221223128 134535491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23848 22876 1111 63 0 23785 0
vsize: 95392
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 23132 0 0 0 45915 91 0 0 25 0 1 0 902338624 98377728 23040 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24018 23040 1111 63 0 23955 0
vsize: 96072
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 23551 0 0 0 46914 92 0 0 25 0 1 0 902338624 100143104 23458 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24449 23458 1111 63 0 24386 0
vsize: 97796
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 24021 0 0 0 47912 95 0 0 25 0 1 0 902338624 102035456 23928 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24911 23928 1111 63 0 24848 0
vsize: 99644
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 24419 0 0 0 48909 98 0 0 25 0 1 0 902338624 103649280 24326 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25305 24326 1111 63 0 25242 0
vsize: 101220
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 24669 0 0 0 49908 99 0 0 25 0 1 0 902338624 104730624 24576 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25569 24576 1111 63 0 25506 0
vsize: 102276
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 24969 0 0 0 50907 100 0 0 25 0 1 0 902338624 105947136 24876 4294967295 134512640 134716908 3221224560 3221223312 134588020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25866 24876 1111 63 0 25803 0
vsize: 103464
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 25250 0 0 0 51906 101 0 0 25 0 1 0 902338624 107028480 25157 4294967295 134512640 134716908 3221224560 3221223276 134552560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26130 25157 1111 63 0 26067 0
vsize: 104520
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 25390 0 0 0 52906 102 0 0 25 0 1 0 902338624 107687936 25297 4294967295 134512640 134716908 3221224560 3221223204 134536691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26291 25297 1111 63 0 26228 0
vsize: 105164
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 25570 0 0 0 53905 103 0 0 25 0 1 0 902338624 108380160 25477 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26460 25477 1111 63 0 26397 0
vsize: 105840
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 26012 0 0 0 54903 105 0 0 25 0 1 0 902338624 110137344 25919 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26889 25919 1111 63 0 26826 0
vsize: 107556
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 26210 0 0 0 55902 107 0 0 25 0 1 0 902338624 110948352 26117 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27087 26117 1111 63 0 27024 0
vsize: 108348
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 26342 0 0 0 56901 108 0 0 25 0 1 0 902338624 111489024 26249 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27219 26249 1111 63 0 27156 0
vsize: 108876
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 26414 0 0 0 57901 108 0 0 25 0 1 0 902338624 111783936 26321 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27291 26321 1111 63 0 27228 0
vsize: 109164
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 26469 0 0 0 58901 108 0 0 25 0 1 0 902338624 112054272 26376 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27357 26376 1111 63 0 27294 0
vsize: 109428
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 26631 0 0 0 59900 109 0 0 25 0 1 0 902338624 112730112 26538 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27522 26538 1111 63 0 27459 0
vsize: 110088
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 26793 0 0 0 60899 110 0 0 25 0 1 0 902338624 113397760 26700 4294967295 134512640 134716908 3221224560 3221223264 134528662 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27685 26700 1111 63 0 27622 0
vsize: 110740
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 26935 0 0 0 61899 111 0 0 25 0 1 0 902338624 113938432 26842 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27817 26842 1111 63 0 27754 0
vsize: 111268
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 27024 0 0 0 62898 112 0 0 25 0 1 0 902338624 114343936 26931 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27916 26931 1111 63 0 27853 0
vsize: 111664
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 27241 0 0 0 63897 113 0 0 25 0 1 0 902338624 115167232 27148 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28117 27148 1111 63 0 28054 0
vsize: 112468
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 27451 0 0 0 64896 114 0 0 25 0 1 0 902338624 116113408 27358 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28348 27358 1111 63 0 28285 0
vsize: 113392
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 27678 0 0 0 65895 115 0 0 25 0 1 0 902338624 117059584 27585 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28579 27585 1111 63 0 28516 0
vsize: 114316
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 27821 0 0 0 66894 116 0 0 25 0 1 0 902338624 117600256 27728 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27728 1111 63 0 28648 0
vsize: 114844
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 28001 0 0 0 67894 117 0 0 25 0 1 0 902338624 118304768 27908 4294967295 134512640 134716908 3221224560 3221223264 134528680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28883 27908 1111 63 0 28820 0
vsize: 115532
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 28331 0 0 0 68893 118 0 0 25 0 1 0 902338624 119648256 28238 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29211 28238 1111 63 0 29148 0
vsize: 116844
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 28639 0 0 0 69891 120 0 0 25 0 1 0 902338624 120999936 28546 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29541 28546 1111 63 0 29478 0
vsize: 118164
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 28894 0 0 0 70890 121 0 0 25 0 1 0 902338624 122073088 28801 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29803 28801 1111 63 0 29740 0
vsize: 119212
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 29113 0 0 0 71889 122 0 0 25 0 1 0 902338624 122884096 29020 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30001 29020 1111 63 0 29938 0
vsize: 120004
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 29249 0 0 0 72888 123 0 0 25 0 1 0 902338624 123420672 29156 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30132 29156 1111 63 0 30069 0
vsize: 120528
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 29488 0 0 0 73887 125 0 0 25 0 1 0 902338624 124366848 29394 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30363 29394 1111 63 0 30300 0
vsize: 121452
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 29627 0 0 0 74887 125 0 0 25 0 1 0 902338624 124907520 29533 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30495 29533 1111 63 0 30432 0
vsize: 121980
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 29696 0 0 0 75886 126 0 0 25 0 1 0 902338624 125177856 29602 4294967295 134512640 134716908 3221224560 3221223212 134536848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30561 29602 1111 63 0 30498 0
vsize: 122244
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 29808 0 0 0 76886 126 0 0 25 0 1 0 902338624 125808640 29714 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30715 29714 1111 63 0 30652 0
vsize: 122860
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 29959 0 0 0 77885 127 0 0 25 0 1 0 902338624 126349312 29865 4294967295 134512640 134716908 3221224560 3221223224 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30847 29865 1111 63 0 30784 0
vsize: 123388
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 30094 0 0 0 78884 128 0 0 25 0 1 0 902338624 126889984 30000 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30979 30000 1111 63 0 30916 0
vsize: 123916
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 30269 0 0 0 79883 129 0 0 25 0 1 0 902338624 127565824 30175 4294967295 134512640 134716908 3221224560 3221223200 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31144 30175 1111 63 0 31081 0
vsize: 124576
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 30523 0 0 0 80882 130 0 0 25 0 1 0 902338624 128647168 30429 4294967295 134512640 134716908 3221224560 3221223296 134523980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31408 30429 1111 63 0 31345 0
vsize: 125632
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 30689 0 0 0 81882 131 0 0 25 0 1 0 902338624 129318912 30595 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31572 30595 1111 63 0 31509 0
vsize: 126288
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 30782 0 0 0 82881 132 0 0 25 0 1 0 902338624 129724416 30688 4294967295 134512640 134716908 3221224560 3221223124 134535986 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31671 30688 1111 63 0 31608 0
vsize: 126684
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 31006 0 0 0 83880 133 0 0 25 0 1 0 902338624 130568192 30912 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31877 30912 1111 63 0 31814 0
vsize: 127508
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 31255 0 0 0 84879 135 0 0 25 0 1 0 902338624 131629056 31161 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32136 31161 1111 63 0 32073 0
vsize: 128544
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 31398 0 0 0 85878 135 0 0 25 0 1 0 902338624 132169728 31304 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32268 31304 1111 63 0 32205 0
vsize: 129072
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 31477 0 0 0 86878 136 0 0 25 0 1 0 902338624 132575232 31383 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32367 31383 1111 63 0 32304 0
vsize: 129468
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 31644 0 0 0 87877 137 0 0 25 0 1 0 902338624 133283840 31550 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32540 31550 1111 63 0 32477 0
vsize: 130160
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 31905 0 0 0 88876 138 0 0 25 0 1 0 902338624 134365184 31811 4294967295 134512640 134716908 3221224560 3221223248 134528602 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32804 31811 1111 63 0 32741 0
vsize: 131216
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 32045 0 0 0 89875 139 0 0 25 0 1 0 902338624 134905856 31951 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32936 31951 1111 63 0 32873 0
vsize: 131744
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 32155 0 0 0 90874 141 0 0 25 0 1 0 902338624 135352320 32061 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33045 32061 1111 63 0 32982 0
vsize: 132180
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 32331 0 0 0 91873 141 0 0 25 0 1 0 902338624 136159232 32237 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33242 32237 1111 63 0 33179 0
vsize: 132968
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 32503 0 0 0 92872 142 0 0 25 0 1 0 902338624 136843264 32408 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33409 32408 1111 63 0 33346 0
vsize: 133636
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 32638 0 0 0 93872 143 0 0 25 0 1 0 902338624 137383936 32543 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33541 32543 1111 63 0 33478 0
vsize: 134164
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 32745 0 0 0 94871 144 0 0 25 0 1 0 902338624 137789440 32650 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33640 32650 1111 63 0 33577 0
vsize: 134560
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 32834 0 0 0 95871 145 0 0 25 0 1 0 902338624 138194944 32739 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33739 32739 1111 63 0 33676 0
vsize: 134956
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 32956 0 0 0 96870 146 0 0 25 0 1 0 902338624 138735616 32861 4294967295 134512640 134716908 3221224560 3221223344 134529359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33871 32861 1111 63 0 33808 0
vsize: 135484
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33046 0 0 0 97870 146 0 0 25 0 1 0 902338624 138985472 32951 4294967295 134512640 134716908 3221224560 3221223212 134536787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33932 32951 1111 63 0 33869 0
vsize: 135728
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33235 0 0 0 98869 147 0 0 25 0 1 0 902338624 139833344 33140 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34139 33140 1111 63 0 34076 0
vsize: 136556
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33337 0 0 0 99868 148 0 0 25 0 1 0 902338624 140238848 33242 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34238 33242 1111 63 0 34175 0
vsize: 136952
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33439 0 0 0 100868 148 0 0 25 0 1 0 902338624 140644352 33344 4294967295 134512640 134716908 3221224560 3221223152 134549517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34337 33344 1111 63 0 34274 0
vsize: 137348
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33495 0 0 0 101868 149 0 0 25 0 1 0 902338624 140910592 33400 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34402 33400 1111 63 0 34339 0
vsize: 137608
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33559 0 0 0 102867 150 0 0 25 0 1 0 902338624 141180928 33464 4294967295 134512640 134716908 3221224560 3221223276 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34468 33464 1111 63 0 34405 0
vsize: 137872
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33653 0 0 0 103867 151 0 0 25 0 1 0 902338624 141586432 33558 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34567 33558 1111 63 0 34504 0
vsize: 138268
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33713 0 0 0 104866 151 0 0 25 0 1 0 902338624 141856768 33618 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34633 33618 1111 63 0 34570 0
vsize: 138532
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33761 0 0 0 105866 151 0 0 25 0 1 0 902338624 141991936 33666 4294967295 134512640 134716908 3221224560 3221223228 1076647536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34666 33666 1111 63 0 34603 0
vsize: 138664
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33795 0 0 0 106866 152 0 0 25 0 1 0 902338624 142290944 33700 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34739 33700 1111 63 0 34676 0
vsize: 138956
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33858 0 0 0 107866 152 0 0 25 0 1 0 902338624 142426112 33763 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34772 33763 1111 63 0 34709 0
vsize: 139088
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 33989 0 0 0 108865 153 0 0 25 0 1 0 902338624 142966784 33894 4294967295 134512640 134716908 3221224560 3221223116 134535676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34904 33894 1111 63 0 34841 0
vsize: 139616
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 34049 0 0 0 109864 154 0 0 25 0 1 0 902338624 143237120 33954 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34970 33954 1111 63 0 34907 0
vsize: 139880
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 34148 0 0 0 110864 155 0 0 25 0 1 0 902338624 143642624 34053 4294967295 134512640 134716908 3221224560 3221223200 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35069 34053 1111 63 0 35006 0
vsize: 140276
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 34210 0 0 0 111864 155 0 0 25 0 1 0 902338624 143912960 34115 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35135 34115 1111 63 0 35072 0
vsize: 140540
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 34285 0 0 0 112863 155 0 0 25 0 1 0 902338624 144191488 34190 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35203 34190 1111 63 0 35140 0
vsize: 140812
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 34335 0 0 0 113863 156 0 0 25 0 1 0 902338624 144461824 34240 4294967295 134512640 134716908 3221224560 3221223244 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35269 34240 1111 63 0 35206 0
vsize: 141076
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 34404 0 0 0 114863 156 0 0 25 0 1 0 902338624 144728064 34309 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35334 34309 1111 63 0 35271 0
vsize: 141336
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 34442 0 0 0 115863 157 0 0 25 0 1 0 902338624 145051648 34347 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35413 34347 1111 63 0 35350 0
vsize: 141652
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 34467 0 0 0 116862 157 0 0 25 0 1 0 902338624 145051648 34372 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35413 34372 1111 63 0 35350 0
vsize: 141652
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10802
Raw data (stat): 10802 (bsolo_lpr_cuts-) R 10801 31399 31398 0 -1 0 34467 0 0 0 116862 157 0 0 25 0 1 0 902338624 145051648 34372 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35413 34372 1111 63 0 35350 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.09
CPU user time (s): 1173.44
CPU system time (s): 1.64475
CPU usage (%): 100.015
Max. virtual memory (Kb): 141652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####