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/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb
MD5SUM	889599bea53ff906bd4dd516c552c027
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
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	123680
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6484387800
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	188743680
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	10767194085
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.12283
Number of variables	123680
Total number of constraints	404
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	20
Maximum length of a constraint	123680
Trace number 41363

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 10:58:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29422 boxname=wulflinc5 idbench=1206 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  889599bea53ff906bd4dd516c552c027  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-d6cube.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-d6cube.opb
IDLAUNCH: 29422
/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:        588680 kB
Buffers:         21944 kB
Cached:         402120 kB
SwapCached:        664 kB
Active:          39744 kB
Inactive:       386328 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        588428 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14252 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:18:58 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 29422 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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): 1.06 0.98 0.91 1/54 931
Raw data (stat): 931 (runsolver) R 930 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909739380 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0012 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 931
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 1188 0 0 0 993 4 0 0 25 0 1 0 909739380 16052224 1108 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1108 1111 63 0 3856 0
vsize: 15676
[startup+20.0027 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 931
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 1402 0 0 0 1993 4 0 0 25 0 1 0 909739380 16900096 1322 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 1322 1111 63 0 4063 0
vsize: 16504
[startup+30.003 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 931
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 1622 0 0 0 2992 5 0 0 25 0 1 0 909739380 17743872 1542 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4332 1542 1111 63 0 4269 0
vsize: 17328
[startup+40.0031 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 931
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 1839 0 0 0 3992 6 0 0 25 0 1 0 909739380 18604032 1759 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4542 1759 1111 63 0 4479 0
vsize: 18168
[startup+50.0039 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 931
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 2058 0 0 0 4991 7 0 0 25 0 1 0 909739380 19587072 1978 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4782 1978 1111 63 0 4719 0
vsize: 19128
[startup+60.0042 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 931
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 2278 0 0 0 5990 8 0 0 25 0 1 0 909739380 20430848 2198 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4988 2198 1111 63 0 4925 0
vsize: 19952
[startup+70.0065 s]
Raw data (loadavg): 1.02 0.98 0.91 3/57 969
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 2503 0 0 0 6986 13 0 0 25 0 1 0 909739380 21413888 2423 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5228 2423 1111 63 0 5165 0
vsize: 20912
[startup+80.008 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 984
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 2725 0 0 0 7985 14 0 0 25 0 1 0 909739380 22261760 2645 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2645 1111 63 0 5372 0
vsize: 21740
[startup+90.0074 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 984
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 2944 0 0 0 8985 14 0 0 25 0 1 0 909739380 23240704 2864 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2864 1111 63 0 5611 0
vsize: 22696
[startup+100.008 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 984
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 3164 0 0 0 9985 14 0 0 25 0 1 0 909739380 24088576 3084 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5881 3084 1111 63 0 5818 0
vsize: 23524
[startup+110.008 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 984
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 3391 0 0 0 10984 15 0 0 25 0 1 0 909739380 25075712 3311 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6122 3311 1111 63 0 6059 0
vsize: 24488
[startup+120.009 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 984
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 3612 0 0 0 11984 15 0 0 25 0 1 0 909739380 25923584 3532 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6329 3532 1111 63 0 6266 0
vsize: 25316
[startup+130.009 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 984
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 3844 0 0 0 12984 16 0 0 25 0 1 0 909739380 26923008 3764 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6573 3764 1111 63 0 6510 0
vsize: 26292
[startup+140.01 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 984
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 4065 0 0 0 13983 17 0 0 25 0 1 0 909739380 27770880 3985 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6780 3985 1111 63 0 6717 0
vsize: 27120
[startup+150.01 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 4286 0 0 0 14983 18 0 0 25 0 1 0 909739380 28753920 4206 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7020 4206 1111 63 0 6957 0
vsize: 28080
[startup+160.01 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 4514 0 0 0 15982 18 0 0 25 0 1 0 909739380 29601792 4434 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7227 4434 1111 63 0 7164 0
vsize: 28908
[startup+170.011 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 4740 0 0 0 16982 18 0 0 25 0 1 0 909739380 30584832 4660 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4660 1111 63 0 7404 0
vsize: 29868
[startup+180.011 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 4961 0 0 0 17982 19 0 0 25 0 1 0 909739380 31428608 4881 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 4881 1111 63 0 7610 0
vsize: 30692
[startup+190.012 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 5189 0 0 0 18982 19 0 0 25 0 1 0 909739380 32415744 5109 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7914 5109 1111 63 0 7851 0
vsize: 31656
[startup+200.012 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 5417 0 0 0 19981 20 0 0 25 0 1 0 909739380 33263616 5337 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5337 1111 63 0 8058 0
vsize: 32484
[startup+210.012 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 5638 0 0 0 20981 21 0 0 25 0 1 0 909739380 34250752 5558 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8362 5558 1111 63 0 8299 0
vsize: 33448
[startup+220.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 5864 0 0 0 21980 21 0 0 25 0 1 0 909739380 35090432 5784 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8567 5784 1111 63 0 8504 0
vsize: 34268
[startup+230.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 6091 0 0 0 22980 22 0 0 25 0 1 0 909739380 36077568 6011 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8808 6011 1111 63 0 8745 0
vsize: 35232
[startup+240.015 s]
Raw data (loadavg): 1.16 1.03 0.93 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 6318 0 0 0 23979 23 0 0 25 0 1 0 909739380 37064704 6238 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9049 6238 1111 63 0 8986 0
vsize: 36196
[startup+250.015 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 6556 0 0 0 24979 23 0 0 25 0 1 0 909739380 38064128 6476 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9293 6476 1111 63 0 9230 0
vsize: 37172
[startup+260.016 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 6782 0 0 0 25978 24 0 0 25 0 1 0 909739380 38903808 6702 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9498 6702 1111 63 0 9435 0
vsize: 37992
[startup+270.016 s]
Raw data (loadavg): 1.47 1.11 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 7010 0 0 0 26977 25 0 0 25 0 1 0 909739380 39886848 6930 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9738 6930 1111 63 0 9675 0
vsize: 38952
[startup+280.016 s]
Raw data (loadavg): 1.40 1.10 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 7238 0 0 0 27977 26 0 0 25 0 1 0 909739380 40878080 7158 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9980 7158 1111 63 0 9917 0
vsize: 39920
[startup+290.016 s]
Raw data (loadavg): 1.34 1.10 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 7466 0 0 0 28976 27 0 0 25 0 1 0 909739380 41721856 7386 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10186 7386 1111 63 0 10123 0
vsize: 40744
[startup+300.016 s]
Raw data (loadavg): 1.28 1.09 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 7700 0 0 0 29976 28 0 0 25 0 1 0 909739380 42700800 7620 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10425 7620 1111 63 0 10362 0
vsize: 41700
[startup+310.018 s]
Raw data (loadavg): 1.24 1.09 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 7927 0 0 0 30975 29 0 0 25 0 1 0 909739380 43692032 7847 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10667 7847 1111 63 0 10604 0
vsize: 42668
[startup+320.018 s]
Raw data (loadavg): 1.20 1.09 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 8155 0 0 0 31975 29 0 0 25 0 1 0 909739380 44535808 8075 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10873 8075 1111 63 0 10810 0
vsize: 43492
[startup+330.018 s]
Raw data (loadavg): 1.17 1.08 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 8389 0 0 0 32975 29 0 0 25 0 1 0 909739380 45522944 8309 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8309 1111 63 0 11051 0
vsize: 44456
[startup+340.019 s]
Raw data (loadavg): 1.14 1.08 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 8617 0 0 0 33974 30 0 0 25 0 1 0 909739380 46510080 8537 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11355 8537 1111 63 0 11292 0
vsize: 45420
[startup+350.019 s]
Raw data (loadavg): 1.12 1.08 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 8844 0 0 0 34974 30 0 0 25 0 1 0 909739380 47349760 8764 4294967295 134512640 134716908 3221224560 3221222892 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11560 8764 1111 63 0 11497 0
vsize: 46240
[startup+360.02 s]
Raw data (loadavg): 1.10 1.07 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 9071 0 0 0 35974 31 0 0 25 0 1 0 909739380 48336896 8991 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11801 8991 1111 63 0 11738 0
vsize: 47204
[startup+370.021 s]
Raw data (loadavg): 1.09 1.07 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 9300 0 0 0 36974 31 0 0 25 0 1 0 909739380 49184768 9220 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12008 9220 1111 63 0 11945 0
vsize: 48032
[startup+380.022 s]
Raw data (loadavg): 1.07 1.07 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 9534 0 0 0 37974 32 0 0 25 0 1 0 909739380 50171904 9454 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12249 9454 1111 63 0 12186 0
vsize: 48996
[startup+390.021 s]
Raw data (loadavg): 1.06 1.07 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 9762 0 0 0 38973 32 0 0 25 0 1 0 909739380 51154944 9682 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12489 9682 1111 63 0 12426 0
vsize: 49956
[startup+400.021 s]
Raw data (loadavg): 1.05 1.06 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 9989 0 0 0 39973 32 0 0 25 0 1 0 909739380 51998720 9909 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12695 9909 1111 63 0 12632 0
vsize: 50780
[startup+410.022 s]
Raw data (loadavg): 1.04 1.06 0.96 2/54 986
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 10223 0 0 0 40973 32 0 0 25 0 1 0 909739380 52985856 10143 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12936 10143 1111 63 0 12873 0
vsize: 51744
[startup+420.022 s]
Raw data (loadavg): 1.04 1.06 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 10451 0 0 0 41973 33 0 0 25 0 1 0 909739380 53968896 10371 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13176 10371 1111 63 0 13113 0
vsize: 52704
[startup+430.023 s]
Raw data (loadavg): 1.03 1.06 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 10686 0 0 0 42973 33 0 0 25 0 1 0 909739380 54960128 10606 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13418 10606 1111 63 0 13355 0
vsize: 53672
[startup+440.023 s]
Raw data (loadavg): 1.02 1.05 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 10913 0 0 0 43973 34 0 0 25 0 1 0 909739380 55799808 10833 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13623 10833 1111 63 0 13560 0
vsize: 54492
[startup+450.023 s]
Raw data (loadavg): 1.02 1.05 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 11147 0 0 0 44973 34 0 0 25 0 1 0 909739380 56782848 11067 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13863 11067 1111 63 0 13800 0
vsize: 55452
[startup+460.024 s]
Raw data (loadavg): 1.02 1.05 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 11380 0 0 0 45972 35 0 0 25 0 1 0 909739380 57774080 11300 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 11300 1111 63 0 14042 0
vsize: 56420
[startup+470.024 s]
Raw data (loadavg): 1.01 1.05 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 11614 0 0 0 46972 35 0 0 25 0 1 0 909739380 58757120 11534 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14345 11534 1111 63 0 14282 0
vsize: 57380
[startup+480.025 s]
Raw data (loadavg): 1.01 1.05 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 11842 0 0 0 47971 36 0 0 25 0 1 0 909739380 59604992 11762 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14552 11762 1111 63 0 14489 0
vsize: 58208
[startup+490.025 s]
Raw data (loadavg): 1.01 1.04 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 12092 0 0 0 48971 36 0 0 25 0 1 0 909739380 60809216 12012 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14846 12012 1111 63 0 14783 0
vsize: 59384
[startup+500.026 s]
Raw data (loadavg): 1.01 1.04 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 12326 0 0 0 49971 37 0 0 25 0 1 0 909739380 61792256 12246 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15086 12246 1111 63 0 15023 0
vsize: 60344
[startup+510.025 s]
Raw data (loadavg): 1.01 1.04 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 12561 0 0 0 50970 37 0 0 25 0 1 0 909739380 62640128 12481 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15293 12481 1111 63 0 15230 0
vsize: 61172
[startup+520.026 s]
Raw data (loadavg): 1.00 1.04 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 12796 0 0 0 51970 38 0 0 25 0 1 0 909739380 63623168 12716 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15533 12716 1111 63 0 15470 0
vsize: 62132
[startup+530.026 s]
Raw data (loadavg): 1.00 1.04 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 13030 0 0 0 52969 39 0 0 25 0 1 0 909739380 64614400 12950 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15775 12950 1111 63 0 15712 0
vsize: 63100
[startup+540.025 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 13264 0 0 0 53969 39 0 0 25 0 1 0 909739380 65593344 13184 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 13184 1111 63 0 15951 0
vsize: 64056
[startup+550.026 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 13499 0 0 0 54969 40 0 0 25 0 1 0 909739380 66580480 13419 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16255 13419 1111 63 0 16192 0
vsize: 65020
[startup+560.026 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 13734 0 0 0 55968 40 0 0 25 0 1 0 909739380 67428352 13654 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16462 13654 1111 63 0 16399 0
vsize: 65848
[startup+570.026 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 13975 0 0 0 56968 41 0 0 25 0 1 0 909739380 68411392 13895 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 13895 1111 63 0 16639 0
vsize: 66808
[startup+580.026 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 14210 0 0 0 57968 41 0 0 25 0 1 0 909739380 69398528 14130 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16943 14130 1111 63 0 16880 0
vsize: 67772
[startup+590.026 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 14443 0 0 0 58967 42 0 0 25 0 1 0 909739380 70381568 14363 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17183 14363 1111 63 0 17120 0
vsize: 68732
[startup+600.027 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 14678 0 0 0 59967 42 0 0 25 0 1 0 909739380 71368704 14598 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17424 14598 1111 63 0 17361 0
vsize: 69696
[startup+610.027 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 14920 0 0 0 60967 42 0 0 25 0 1 0 909739380 72351744 14840 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17664 14840 1111 63 0 17601 0
vsize: 70656
[startup+620.028 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 15160 0 0 0 61967 43 0 0 25 0 1 0 909739380 73338880 15080 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17905 15080 1111 63 0 17842 0
vsize: 71620
[startup+630.028 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 15396 0 0 0 62967 43 0 0 25 0 1 0 909739380 74326016 15316 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18146 15316 1111 63 0 18083 0
vsize: 72584
[startup+640.028 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 15636 0 0 0 63966 44 0 0 25 0 1 0 909739380 75309056 15556 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18386 15556 1111 63 0 18323 0
vsize: 73544
[startup+650.028 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 15877 0 0 0 64966 45 0 0 25 0 1 0 909739380 76292096 15797 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18626 15797 1111 63 0 18563 0
vsize: 74504
[startup+660.028 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 16112 0 0 0 65965 45 0 0 25 0 1 0 909739380 77139968 16032 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18833 16032 1111 63 0 18770 0
vsize: 75332
[startup+670.028 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 16360 0 0 0 66965 46 0 0 25 0 1 0 909739380 78266368 16280 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19108 16280 1111 63 0 19045 0
vsize: 76432
[startup+680.029 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 16595 0 0 0 67964 47 0 0 25 0 1 0 909739380 79114240 16515 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19315 16515 1111 63 0 19252 0
vsize: 77260
[startup+690.029 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 16843 0 0 0 68964 47 0 0 25 0 1 0 909739380 80240640 16763 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19590 16763 1111 63 0 19527 0
vsize: 78360
[startup+700.029 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 17077 0 0 0 69963 48 0 0 25 0 1 0 909739380 81080320 16997 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19795 16997 1111 63 0 19732 0
vsize: 79180
[startup+710.029 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 17325 0 0 0 70963 48 0 0 25 0 1 0 909739380 82206720 17245 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 17245 1111 63 0 20007 0
vsize: 80280
[startup+720.029 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 17567 0 0 0 71963 49 0 0 25 0 1 0 909739380 83193856 17487 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20311 17487 1111 63 0 20248 0
vsize: 81244
[startup+730.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 17809 0 0 0 72962 50 0 0 25 0 1 0 909739380 84180992 17729 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20552 17729 1111 63 0 20489 0
vsize: 82208
[startup+740.029 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 18057 0 0 0 73962 50 0 0 25 0 1 0 909739380 85168128 17977 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20793 17977 1111 63 0 20730 0
vsize: 83172
[startup+750.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 18299 0 0 0 74962 50 0 0 25 0 1 0 909739380 86147072 18219 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21032 18219 1111 63 0 20969 0
vsize: 84128
[startup+760.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 18539 0 0 0 75961 51 0 0 25 0 1 0 909739380 87138304 18459 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21274 18459 1111 63 0 21211 0
vsize: 85096
[startup+770.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 18787 0 0 0 76961 51 0 0 25 0 1 0 909739380 88121344 18707 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21514 18707 1111 63 0 21451 0
vsize: 86056
[startup+780.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 19030 0 0 0 77961 52 0 0 25 0 1 0 909739380 89108480 18950 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21755 18950 1111 63 0 21692 0
vsize: 87020
[startup+790.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 19277 0 0 0 78961 52 0 0 25 0 1 0 909739380 90095616 19197 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21996 19197 1111 63 0 21933 0
vsize: 87984
[startup+800.031 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 19525 0 0 0 79960 53 0 0 25 0 1 0 909739380 91082752 19445 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22237 19445 1111 63 0 22174 0
vsize: 88948
[startup+810.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 19768 0 0 0 80960 54 0 0 25 0 1 0 909739380 92061696 19688 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22476 19688 1111 63 0 22413 0
vsize: 89904
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 20014 0 0 0 81960 54 0 0 25 0 1 0 909739380 93188096 19934 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22751 19934 1111 63 0 22688 0
vsize: 91004
[startup+830.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 20263 0 0 0 82959 54 0 0 25 0 1 0 909739380 94175232 20183 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22992 20183 1111 63 0 22929 0
vsize: 91968
[startup+840.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 20512 0 0 0 83959 55 0 0 25 0 1 0 909739380 95162368 20432 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23233 20432 1111 63 0 23170 0
vsize: 92932
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 20759 0 0 0 84959 55 0 0 25 0 1 0 909739380 96149504 20679 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 20679 1111 63 0 23411 0
vsize: 93896
[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 21009 0 0 0 85959 56 0 0 25 0 1 0 909739380 97136640 20929 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23715 20929 1111 63 0 23652 0
vsize: 94860
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 21257 0 0 0 86958 56 0 0 25 0 1 0 909739380 98263040 21177 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23990 21177 1111 63 0 23927 0
vsize: 95960
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 21509 0 0 0 87957 57 0 0 25 0 1 0 909739380 99246080 21429 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24230 21429 1111 63 0 24167 0
vsize: 96920
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 21759 0 0 0 88957 58 0 0 25 0 1 0 909739380 100229120 21679 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24470 21680 1111 63 0 24407 0
vsize: 97880
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 22014 0 0 0 89957 58 0 0 25 0 1 0 909739380 101355520 21934 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24745 21934 1111 63 0 24682 0
vsize: 98980
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 22263 0 0 0 90957 59 0 0 25 0 1 0 909739380 102346752 22183 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24987 22183 1111 63 0 24924 0
vsize: 99948
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 22511 0 0 0 91956 59 0 0 25 0 1 0 909739380 103329792 22431 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25227 22431 1111 63 0 25164 0
vsize: 100908
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 22765 0 0 0 92956 60 0 0 25 0 1 0 909739380 104316928 22685 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25468 22685 1111 63 0 25405 0
vsize: 101872
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 23019 0 0 0 93955 60 0 0 25 0 1 0 909739380 105443328 22939 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25743 22939 1111 63 0 25680 0
vsize: 102972
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 23300 0 0 0 94955 61 0 0 25 0 1 0 909739380 106786816 23220 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26071 23220 1111 63 0 26008 0
vsize: 104284
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 23554 0 0 0 95954 62 0 0 25 0 1 0 909739380 107913216 23474 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26346 23474 1111 63 0 26283 0
vsize: 105384
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 23811 0 0 0 96954 62 0 0 25 0 1 0 909739380 108896256 23731 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26586 23731 1111 63 0 26523 0
vsize: 106344
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 24059 0 0 0 97954 62 0 0 25 0 1 0 909739380 109887488 23979 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26828 23979 1111 63 0 26765 0
vsize: 107312
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 24320 0 0 0 98954 62 0 0 25 0 1 0 909739380 111013888 24240 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27103 24240 1111 63 0 27040 0
vsize: 108412
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 24570 0 0 0 99954 63 0 0 25 0 1 0 909739380 111996928 24490 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27343 24490 1111 63 0 27280 0
vsize: 109372
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 24831 0 0 0 100953 64 0 0 25 0 1 0 909739380 113123328 24751 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27618 24751 1111 63 0 27555 0
vsize: 110472
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 25079 0 0 0 101953 64 0 0 25 0 1 0 909739380 114106368 24999 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27858 24999 1111 63 0 27795 0
vsize: 111432
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 25340 0 0 0 102953 64 0 0 25 0 1 0 909739380 115093504 25260 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28099 25260 1111 63 0 28036 0
vsize: 112396
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 25595 0 0 0 103953 65 0 0 25 0 1 0 909739380 116219904 25515 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28374 25515 1111 63 0 28311 0
vsize: 113496
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 25851 0 0 0 104953 65 0 0 25 0 1 0 909739380 117207040 25771 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28615 25771 1111 63 0 28552 0
vsize: 114460
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 26113 0 0 0 105952 66 0 0 25 0 1 0 909739380 118333440 26033 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28890 26033 1111 63 0 28827 0
vsize: 115560
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 26368 0 0 0 106951 67 0 0 25 0 1 0 909739380 119320576 26288 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29131 26288 1111 63 0 29068 0
vsize: 116524
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 26625 0 0 0 107951 67 0 0 25 0 1 0 909739380 120446976 26545 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29406 26545 1111 63 0 29343 0
vsize: 117624
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 26886 0 0 0 108951 68 0 0 25 0 1 0 909739380 121434112 26806 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29647 26806 1111 63 0 29584 0
vsize: 118588
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 27145 0 0 0 109950 68 0 0 25 0 1 0 909739380 122556416 27065 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29921 27065 1111 63 0 29858 0
vsize: 119684
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 27402 0 0 0 110950 69 0 0 25 0 1 0 909739380 123539456 27322 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30161 27322 1111 63 0 30098 0
vsize: 120644
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 27664 0 0 0 111950 69 0 0 25 0 1 0 909739380 124665856 27584 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30436 27584 1111 63 0 30373 0
vsize: 121744
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 27921 0 0 0 112949 70 0 0 25 0 1 0 909739380 125652992 27841 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30677 27841 1111 63 0 30614 0
vsize: 122708
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 28182 0 0 0 113949 71 0 0 25 0 1 0 909739380 126783488 28102 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30953 28102 1111 63 0 30890 0
vsize: 123812
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 28443 0 0 0 114949 71 0 0 25 0 1 0 909739380 127766528 28363 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31193 28363 1111 63 0 31130 0
vsize: 124772
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 28707 0 0 0 115949 71 0 0 25 0 1 0 909739380 128892928 28627 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31468 28627 1111 63 0 31405 0
vsize: 125872
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 28968 0 0 0 116949 71 0 0 25 0 1 0 909739380 130019328 28888 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31743 28888 1111 63 0 31680 0
vsize: 126972
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 29230 0 0 0 117949 72 0 0 25 0 1 0 909739380 131002368 29150 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31983 29150 1111 63 0 31920 0
vsize: 127932
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 29498 0 0 0 118949 72 0 0 25 0 1 0 909739380 132128768 29418 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32258 29418 1111 63 0 32195 0
vsize: 129032
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) R 930 7266 7265 0 -1 0 29760 0 0 0 119948 73 0 0 25 0 1 0 909739380 133255168 29680 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32533 29680 1111 63 0 32470 0
vsize: 130132
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 988
Raw data (stat): 931 (bsolo_lpr_cuts-) Z 930 7266 7265 0 -1 1036 29760 0 0 0 119948 78 0 0 25 0 1 0 909739380 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.27
CPU user time (s): 1199.49
CPU system time (s): 0.78688
CPU usage (%): 100.015
Max. virtual memory (Kb): 130132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####