PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb
MD5SUM	c8e6fe6db41022cd334d76fea54bd93c
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	12
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.047992
Number of variables	182
Total number of constraints	154
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	11
Trace number 40574

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 15:20:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28640 boxname=wulflinc5 idbench=26 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c8e6fe6db41022cd334d76fea54bd93c  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga11_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga11_11_sat_pb.cnf.cr.opb
IDLAUNCH: 28640
/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:        856784 kB
Buffers:         15712 kB
Cached:         140696 kB
SwapCached:        672 kB
Active:          24144 kB
Inactive:       134276 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        856532 kB
SwapTotal:     2097136 kB
SwapFree:      2095500 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13560 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:39:41 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 28640 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 182 variables and 154 constraints.
c After prepocess the problem consists of 182 variables and 154 constraints.
c preprocess terminated 0.095 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 20332
Raw data (stat): 20332 (runsolver) R 20331 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902665451 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+9.99987 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 2852 0 0 0 987 9 0 0 25 0 1 0 902665451 14798848 2770 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2771 1111 63 0 3550 0
vsize: 14452
[startup+19.9996 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 3999 0 0 0 1982 14 0 0 25 0 1 0 902665451 19537920 3917 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4770 3918 1111 63 0 4707 0
vsize: 19080
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 5050 0 0 0 2978 18 0 0 25 0 1 0 902665451 23736320 4967 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5795 4967 1111 63 0 5732 0
vsize: 23180
[startup+40.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 5707 0 0 0 3975 21 0 0 25 0 1 0 902665451 26464256 5624 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6461 5624 1111 63 0 6398 0
vsize: 25844
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 6410 0 0 0 4972 24 0 0 25 0 1 0 902665451 29437952 6327 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7187 6327 1111 63 0 7124 0
vsize: 28748
[startup+60.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 7113 0 0 0 5970 27 0 0 25 0 1 0 902665451 32288768 7029 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7883 7029 1111 63 0 7820 0
vsize: 31532
[startup+70.0003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 7649 0 0 0 6968 29 0 0 25 0 1 0 902665451 34463744 7564 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8414 7564 1111 63 0 8351 0
vsize: 33656
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 8452 0 0 0 7965 32 0 0 25 0 1 0 902665451 37842944 8367 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9239 8367 1111 63 0 9176 0
vsize: 36956
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 8977 0 0 0 8963 35 0 0 25 0 1 0 902665451 39903232 8892 4294967295 134512640 134716908 3221224560 3221223264 134528614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9742 8892 1111 63 0 9679 0
vsize: 38968
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 9623 0 0 0 9960 37 0 0 25 0 1 0 902665451 42639360 9536 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10410 9536 1111 63 0 10347 0
vsize: 41640
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 10523 0 0 0 10957 41 0 0 25 0 1 0 902665451 46305280 10436 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11305 10436 1111 63 0 11242 0
vsize: 45220
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 11443 0 0 0 11953 45 0 0 25 0 1 0 902665451 50094080 11356 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12230 11356 1111 63 0 12167 0
vsize: 48920
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 12546 0 0 0 12948 50 0 0 25 0 1 0 902665451 54743040 12457 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13365 12457 1111 63 0 13302 0
vsize: 53460
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 13336 0 0 0 13945 54 0 0 25 0 1 0 902665451 57995264 13247 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14159 13247 1111 63 0 14096 0
vsize: 56636
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 13880 0 0 0 14943 55 0 0 25 0 1 0 902665451 60162048 13791 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14688 13791 1111 63 0 14625 0
vsize: 58752
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 14645 0 0 0 15940 59 0 0 25 0 1 0 902665451 63275008 14554 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15448 14554 1111 63 0 15385 0
vsize: 61792
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 15494 0 0 0 16936 63 0 0 25 0 1 0 902665451 66859008 15399 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16323 15399 1111 63 0 16260 0
vsize: 65292
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 16144 0 0 0 17934 66 0 0 25 0 1 0 902665451 69562368 16049 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16983 16049 1111 63 0 16920 0
vsize: 67932
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 16729 0 0 0 18932 68 0 0 25 0 1 0 902665451 71888896 16634 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17551 16634 1111 63 0 17488 0
vsize: 70204
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 17174 0 0 0 19930 70 0 0 25 0 1 0 902665451 73805824 17077 4294967295 134512640 134716908 3221224560 3221223248 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18019 17077 1111 63 0 17956 0
vsize: 72076
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 18057 0 0 0 20927 73 0 0 25 0 1 0 902665451 77336576 17960 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18881 17960 1111 63 0 18818 0
vsize: 75524
[startup+220.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 18721 0 0 0 21925 76 0 0 25 0 1 0 902665451 80109568 18620 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19558 18620 1111 63 0 19495 0
vsize: 78232
[startup+230.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 19149 0 0 0 22923 79 0 0 25 0 1 0 902665451 81879040 19048 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19990 19048 1111 63 0 19927 0
vsize: 79960
[startup+240.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 19784 0 0 0 23920 82 0 0 25 0 1 0 902665451 84443136 19681 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20616 19681 1111 63 0 20553 0
vsize: 82464
[startup+250.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 20390 0 0 0 24918 84 0 0 25 0 1 0 902665451 86953984 20283 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21229 20283 1111 63 0 21166 0
vsize: 84916
[startup+260.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 20947 0 0 0 25916 87 0 0 25 0 1 0 902665451 89346048 20836 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21813 20836 1111 63 0 21750 0
vsize: 87252
[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 21389 0 0 0 26914 88 0 0 25 0 1 0 902665451 91246592 21277 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22277 21277 1111 63 0 22214 0
vsize: 89108
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 21877 0 0 0 27912 91 0 0 25 0 1 0 902665451 93335552 21765 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22787 21765 1111 63 0 22724 0
vsize: 91148
[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 22168 0 0 0 28911 92 0 0 25 0 1 0 902665451 94453760 22055 4294967295 134512640 134716908 3221224560 3221223240 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23060 22055 1111 63 0 22997 0
vsize: 92240
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 22620 0 0 0 29908 95 0 0 25 0 1 0 902665451 96391168 22507 4294967295 134512640 134716908 3221224560 3221223200 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23533 22507 1111 63 0 23470 0
vsize: 94132
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 22976 0 0 0 30907 96 0 0 25 0 1 0 902665451 97812480 22863 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23880 22863 1111 63 0 23817 0
vsize: 95520
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 23348 0 0 0 31905 98 0 0 25 0 1 0 902665451 99483648 23231 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24288 23231 1111 63 0 24225 0
vsize: 97152
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 23719 0 0 0 32904 100 0 0 25 0 1 0 902665451 101036032 23593 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24667 23593 1111 63 0 24604 0
vsize: 98668
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 24076 0 0 0 33902 101 0 0 25 0 1 0 902665451 102522880 23950 4294967295 134512640 134716908 3221224560 3221223248 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25030 23950 1111 63 0 24967 0
vsize: 100120
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 24446 0 0 0 34901 103 0 0 25 0 1 0 902665451 104009728 24320 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25393 24320 1111 63 0 25330 0
vsize: 101572
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 24626 0 0 0 35901 104 0 0 25 0 1 0 902665451 104685568 24500 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25558 24500 1111 63 0 25495 0
vsize: 102232
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 25022 0 0 0 36899 105 0 0 25 0 1 0 902665451 106307584 24895 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25954 24895 1111 63 0 25891 0
vsize: 103816
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 25349 0 0 0 37898 107 0 0 25 0 1 0 902665451 107659264 25222 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26284 25222 1111 63 0 26221 0
vsize: 105136
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 25556 0 0 0 38898 107 0 0 25 0 1 0 902665451 108486656 25429 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26486 25429 1111 63 0 26423 0
vsize: 105944
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 25853 0 0 0 39896 109 0 0 25 0 1 0 902665451 109723648 25726 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26788 25726 1111 63 0 26725 0
vsize: 107152
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 26146 0 0 0 40896 110 0 0 25 0 1 0 902665451 110940160 26019 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27085 26019 1111 63 0 27022 0
vsize: 108340
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 26430 0 0 0 41895 111 0 0 25 0 1 0 902665451 112074752 26302 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27362 26302 1111 63 0 27299 0
vsize: 109448
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 26749 0 0 0 42893 113 0 0 25 0 1 0 902665451 113504256 26618 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27711 26618 1111 63 0 27648 0
vsize: 110844
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 27060 0 0 0 43892 114 0 0 25 0 1 0 902665451 114724864 26929 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28009 26929 1111 63 0 27946 0
vsize: 112036
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 27414 0 0 0 44891 115 0 0 25 0 1 0 902665451 116310016 27281 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28396 27281 1111 63 0 28333 0
vsize: 113584
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 27676 0 0 0 45890 117 0 0 25 0 1 0 902665451 117399552 27543 4294967295 134512640 134716908 3221224560 3221223300 134523855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28662 27543 1111 63 0 28599 0
vsize: 114648
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 27976 0 0 0 46889 118 0 0 25 0 1 0 902665451 118693888 27839 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28978 27839 1111 63 0 28915 0
vsize: 115912
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 28281 0 0 0 47887 120 0 0 25 0 1 0 902665451 119914496 28144 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29276 28144 1111 63 0 29213 0
vsize: 117104
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 28629 0 0 0 48886 121 0 0 25 0 1 0 902665451 121266176 28492 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29606 28492 1111 63 0 29543 0
vsize: 118424
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 28984 0 0 0 49884 123 0 0 25 0 1 0 902665451 122773504 28847 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29974 28847 1111 63 0 29911 0
vsize: 119896
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 29272 0 0 0 50883 124 0 0 25 0 1 0 902665451 123854848 29135 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30238 29135 1111 63 0 30175 0
vsize: 120952
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 29497 0 0 0 51883 125 0 0 25 0 1 0 902665451 124817408 29360 4294967295 134512640 134716908 3221224560 3221223144 134542291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30473 29360 1111 63 0 30410 0
vsize: 121892
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 29861 0 0 0 52882 126 0 0 25 0 1 0 902665451 126447616 29713 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30871 29713 1111 63 0 30808 0
vsize: 123484
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 30489 0 0 0 53879 129 0 0 25 0 1 0 902665451 129036288 30339 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31503 30339 1111 63 0 31440 0
vsize: 126012
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 31016 0 0 0 54877 131 0 0 25 0 1 0 902665451 131198976 30866 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32031 30866 1111 63 0 31968 0
vsize: 128124
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 31394 0 0 0 55875 133 0 0 25 0 1 0 902665451 132685824 31244 4294967295 134512640 134716908 3221224560 3221223264 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32394 31244 1111 63 0 32331 0
vsize: 129576
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 31896 0 0 0 56874 135 0 0 25 0 1 0 902665451 134889472 31746 4294967295 134512640 134716908 3221224560 3221223220 134536752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32932 31746 1111 63 0 32869 0
vsize: 131728
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 32343 0 0 0 57872 137 0 0 25 0 1 0 902665451 136691712 32192 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33372 32192 1111 63 0 33309 0
vsize: 133488
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 32789 0 0 0 58870 139 0 0 25 0 1 0 902665451 138473472 32637 4294967295 134512640 134716908 3221224560 3221223264 134535807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33807 32637 1111 63 0 33744 0
vsize: 135228
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 33279 0 0 0 59868 141 0 0 25 0 1 0 902665451 140500992 33127 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34302 33127 1111 63 0 34239 0
vsize: 137208
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 33617 0 0 0 60868 142 0 0 25 0 1 0 902665451 141852672 33465 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34632 33465 1111 63 0 34569 0
vsize: 138528
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 33846 0 0 0 61866 144 0 0 25 0 1 0 902665451 142798848 33694 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34863 33694 1111 63 0 34800 0
vsize: 139452
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 34251 0 0 0 62864 146 0 0 25 0 1 0 902665451 144556032 34099 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35292 34099 1111 63 0 35229 0
vsize: 141168
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 34612 0 0 0 63863 147 0 0 25 0 1 0 902665451 146042880 34460 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35655 34460 1111 63 0 35592 0
vsize: 142620
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 34929 0 0 0 64862 149 0 0 25 0 1 0 902665451 147259392 34777 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35952 34777 1111 63 0 35889 0
vsize: 143808
[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 35201 0 0 0 65861 150 0 0 25 0 1 0 902665451 148357120 35048 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36220 35048 1111 63 0 36157 0
vsize: 144880
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 35522 0 0 0 66858 152 0 0 25 0 1 0 902665451 149712896 35369 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36551 35369 1111 63 0 36488 0
vsize: 146204
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 35810 0 0 0 67857 154 0 0 25 0 1 0 902665451 150794240 35657 4294967295 134512640 134716908 3221224560 3221223296 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36815 35657 1111 63 0 36752 0
vsize: 147260
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 36195 0 0 0 68855 156 0 0 25 0 1 0 902665451 152555520 36042 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37245 36042 1111 63 0 37182 0
vsize: 148980
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 36617 0 0 0 69853 158 0 0 25 0 1 0 902665451 154177536 36464 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37641 36464 1111 63 0 37578 0
vsize: 150564
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 36886 0 0 0 70852 159 0 0 25 0 1 0 902665451 155258880 36733 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37905 36733 1111 63 0 37842 0
vsize: 151620
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 37216 0 0 0 71851 160 0 0 25 0 1 0 902665451 156688384 37063 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38254 37063 1111 63 0 38191 0
vsize: 153016
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 37513 0 0 0 72851 161 0 0 25 0 1 0 902665451 157904896 37360 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38551 37360 1111 63 0 38488 0
vsize: 154204
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 37735 0 0 0 73850 162 0 0 25 0 1 0 902665451 158904320 37582 4294967295 134512640 134716908 3221224560 3221223296 134535750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38795 37582 1111 63 0 38732 0
vsize: 155180
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 37943 0 0 0 74849 163 0 0 25 0 1 0 902665451 159739904 37786 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38999 37786 1111 63 0 38936 0
vsize: 155996
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 38191 0 0 0 75848 164 0 0 25 0 1 0 902665451 160686080 38033 4294967295 134512640 134716908 3221224560 3221223332 134529372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39230 38033 1111 63 0 39167 0
vsize: 156920
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 38508 0 0 0 76847 166 0 0 25 0 1 0 902665451 162037760 38350 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39560 38350 1111 63 0 39497 0
vsize: 158240
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 38898 0 0 0 77846 167 0 0 25 0 1 0 902665451 163524608 38740 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39923 38740 1111 63 0 39860 0
vsize: 159692
[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 39271 0 0 0 78845 169 0 0 25 0 1 0 902665451 165146624 39113 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40319 39113 1111 63 0 40256 0
vsize: 161276
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 39686 0 0 0 79843 170 0 0 25 0 1 0 902665451 166813696 39528 4294967295 134512640 134716908 3221224560 3221223384 134590015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40726 39528 1111 63 0 40663 0
vsize: 162904
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 40019 0 0 0 80842 172 0 0 25 0 1 0 902665451 168165376 39860 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41056 39860 1111 63 0 40993 0
vsize: 164224
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 40335 0 0 0 81841 173 0 0 25 0 1 0 902665451 169517056 40176 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41386 40176 1111 63 0 41323 0
vsize: 165544
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 40599 0 0 0 82839 175 0 0 25 0 1 0 902665451 170610688 40439 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41653 40439 1111 63 0 41590 0
vsize: 166612
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 40934 0 0 0 83837 177 0 0 25 0 1 0 902665451 171962368 40774 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41983 40774 1111 63 0 41920 0
vsize: 167932
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 41298 0 0 0 84836 178 0 0 25 0 1 0 902665451 173449216 41138 4294967295 134512640 134716908 3221224560 3221223324 134552579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42346 41138 1111 63 0 42283 0
vsize: 169384
[startup+860.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 41516 0 0 0 85835 179 0 0 25 0 1 0 902665451 174424064 41353 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42584 41353 1111 63 0 42521 0
vsize: 170336
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 41688 0 0 0 86834 180 0 0 25 0 1 0 902665451 175099904 41525 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42749 41525 1111 63 0 42686 0
vsize: 170996
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 41810 0 0 0 87834 181 0 0 25 0 1 0 902665451 175640576 41647 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42881 41647 1111 63 0 42818 0
vsize: 171524
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42007 0 0 0 88833 182 0 0 25 0 1 0 902665451 176316416 41844 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43046 41844 1111 63 0 42983 0
vsize: 172184
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42235 0 0 0 89832 183 0 0 25 0 1 0 902665451 177262592 42072 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43277 42072 1111 63 0 43214 0
vsize: 173108
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42395 0 0 0 90832 184 0 0 25 0 1 0 902665451 177938432 42232 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43442 42232 1111 63 0 43379 0
vsize: 173768
[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42566 0 0 0 91831 185 0 0 25 0 1 0 902665451 178614272 42403 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43607 42403 1111 63 0 43544 0
vsize: 174428
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42707 0 0 0 92831 185 0 0 25 0 1 0 902665451 179290112 42544 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43772 42544 1111 63 0 43709 0
vsize: 175088
[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42846 0 0 0 93830 186 0 0 25 0 1 0 902665451 179830784 42683 4294967295 134512640 134716908 3221224560 3221223296 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43904 42683 1111 63 0 43841 0
vsize: 175616
[startup+950.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42970 0 0 0 94830 187 0 0 25 0 1 0 902665451 180371456 42807 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44036 42807 1111 63 0 43973 0
vsize: 176144
[startup+960.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43138 0 0 0 95829 187 0 0 25 0 1 0 902665451 181047296 42975 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44201 42975 1111 63 0 44138 0
vsize: 176804
[startup+970.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43291 0 0 0 96829 188 0 0 25 0 1 0 902665451 181587968 43128 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44333 43128 1111 63 0 44270 0
vsize: 177332
[startup+980.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43428 0 0 0 97828 189 0 0 25 0 1 0 902665451 182128640 43265 4294967295 134512640 134716908 3221224560 3221223272 134551881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44465 43265 1111 63 0 44402 0
vsize: 177860
[startup+990.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43567 0 0 0 98828 189 0 0 25 0 1 0 902665451 182808576 43404 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44631 43404 1111 63 0 44568 0
vsize: 178524
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43686 0 0 0 99828 190 0 0 25 0 1 0 902665451 183214080 43523 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44730 43523 1111 63 0 44667 0
vsize: 178920
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43796 0 0 0 100827 191 0 0 25 0 1 0 902665451 183623680 43633 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44830 43633 1111 63 0 44767 0
vsize: 179320
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43927 0 0 0 101827 191 0 0 25 0 1 0 902665451 184164352 43764 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44962 43764 1111 63 0 44899 0
vsize: 179848
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44042 0 0 0 102827 191 0 0 25 0 1 0 902665451 184709120 43879 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45095 43879 1111 63 0 45032 0
vsize: 180380
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44151 0 0 0 103826 192 0 0 25 0 1 0 902665451 185114624 43988 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45194 43988 1111 63 0 45131 0
vsize: 180776
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44335 0 0 0 104825 193 0 0 25 0 1 0 902665451 185925632 44172 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45392 44172 1111 63 0 45329 0
vsize: 181568
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44472 0 0 0 105825 194 0 0 25 0 1 0 902665451 186466304 44309 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45524 44309 1111 63 0 45461 0
vsize: 182096
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44622 0 0 0 106824 195 0 0 25 0 1 0 902665451 187006976 44459 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45656 44459 1111 63 0 45593 0
vsize: 182624
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44757 0 0 0 107823 196 0 0 25 0 1 0 902665451 187547648 44594 4294967295 134512640 134716908 3221224560 3221223296 134523932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45788 44594 1111 63 0 45725 0
vsize: 183152
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44898 0 0 0 108822 197 0 0 25 0 1 0 902665451 188289024 44732 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45969 44732 1111 63 0 45906 0
vsize: 183876
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 45051 0 0 0 109821 198 0 0 25 0 1 0 902665451 188964864 44885 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46134 44885 1111 63 0 46071 0
vsize: 184536
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 45268 0 0 0 110820 199 0 0 25 0 1 0 902665451 189775872 45102 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46332 45102 1111 63 0 46269 0
vsize: 185328
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 45483 0 0 0 111820 200 0 0 25 0 1 0 902665451 190722048 45317 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46563 45317 1111 63 0 46500 0
vsize: 186252
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 45664 0 0 0 112820 200 0 0 25 0 1 0 902665451 191397888 45498 4294967295 134512640 134716908 3221224560 3221223320 134552573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46728 45498 1111 63 0 46665 0
vsize: 186912
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 45888 0 0 0 113819 201 0 0 25 0 1 0 902665451 192344064 45722 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46959 45722 1111 63 0 46896 0
vsize: 187836
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 46137 0 0 0 114818 202 0 0 25 0 1 0 902665451 193425408 45971 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47223 45971 1111 63 0 47160 0
vsize: 188892
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 46356 0 0 0 115817 203 0 0 25 0 1 0 902665451 194236416 46190 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47421 46190 1111 63 0 47358 0
vsize: 189684
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 46529 0 0 0 116817 204 0 0 25 0 1 0 902665451 195080192 46359 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47627 46359 1111 63 0 47564 0
vsize: 190508
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20332
Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 46529 0 0 0 116817 204 0 0 25 0 1 0 902665451 195080192 46359 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47627 46359 1111 63 0 47564 0
vsize: 0

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