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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb
MD5SUM	10386fd19d9976c249ce2be861b38a70
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	230
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 41132

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917852 kB
Buffers:          2336 kB
Cached:          93636 kB
SwapCached:        860 kB
Active:          22232 kB
Inactive:        75684 kB
HighTotal:      131008 kB
HighFree:        34888 kB
LowTotal:       903652 kB
LowFree:        882964 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12956 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:45:15 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 29189 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 230 variables and 12 constraints.
c After prepocess the problem consists of 176 variables and 12 constraints.
c preprocess terminated 0.089 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.0145
c Use computed LB before first solution.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 10424
Raw data (stat): 10424 (runsolver) R 10423 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908087263 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 5738 0 0 0 973 24 0 0 25 0 1 0 908087263 11259904 2059 4294967295 134512640 134716908 3221224560 3221223304 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2743 2059 1111 63 0 2680 0
vsize: 10996
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 12334 0 0 0 1955 42 0 0 25 0 1 0 908087263 12378112 2277 4294967295 134512640 134716908 3221224560 3221221216 1075966266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3022 2277 1111 63 0 2959 0
vsize: 12088
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 34282 0 0 0 2903 94 0 0 25 0 1 0 908087263 16408576 3249 4294967295 134512640 134716908 3221224560 3221220880 1075171427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4006 3250 1111 63 0 3943 0
vsize: 16024
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 56868 0 0 0 3844 153 0 0 25 0 1 0 908087263 19578880 4085 4294967295 134512640 134716908 3221224560 3221222488 1077377712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 82178 0 0 0 4782 216 0 0 25 0 1 0 908087263 24805376 5292 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6103 5295 1111 63 0 6040 0
vsize: 24224
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 102647 0 0 0 5735 263 0 0 25 0 1 0 908087263 28094464 6040 4294967295 134512640 134716908 3221224560 3221221712 1075969874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6859 6041 1111 63 0 6796 0
vsize: 27436
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 118344 0 0 0 6699 299 0 0 25 0 1 0 908087263 29831168 6500 4294967295 134512640 134716908 3221224560 3221220704 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7283 6500 1111 63 0 7220 0
vsize: 29132
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 134009 0 0 0 7660 338 0 0 25 0 1 0 908087263 31277056 6920 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 6920 1111 63 0 7573 0
vsize: 30544
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 149728 0 0 0 8623 375 0 0 25 0 1 0 908087263 33394688 7391 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8153 7391 1111 63 0 8090 0
vsize: 32612
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 154840 0 0 0 9612 387 0 0 25 0 1 0 908087263 34914304 7796 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8524 7796 1111 63 0 8461 0
vsize: 34096
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 163190 0 0 0 10591 407 0 0 25 0 1 0 908087263 34144256 7602 4294967295 134512640 134716908 3221224560 3221222624 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8336 7602 1111 63 0 8273 0
vsize: 33344
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 172805 0 0 0 11568 431 0 0 25 0 1 0 908087263 34226176 7653 4294967295 134512640 134716908 3221224560 3221222976 1074117102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8356 7653 1111 63 0 8293 0
vsize: 33424
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 191848 0 0 0 12521 478 0 0 25 0 1 0 908087263 35467264 7956 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 7956 1111 63 0 8596 0
vsize: 34636
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 207942 0 0 0 13486 514 0 0 25 0 1 0 908087263 36978688 8162 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8164 1111 63 0 8965 0
vsize: 36112
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 224902 0 0 0 14448 552 0 0 25 0 1 0 908087263 37715968 8439 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9208 8439 1111 63 0 9145 0
vsize: 36832
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 234018 0 0 0 15425 575 0 0 25 0 1 0 908087263 38551552 8632 4294967295 134512640 134716908 3221224560 3221223280 134622876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9412 8632 1111 63 0 9349 0
vsize: 37648
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 246238 0 0 0 16397 603 0 0 25 0 1 0 908087263 39538688 8861 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9653 8861 1111 63 0 9590 0
vsize: 38612
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 257359 0 0 0 17372 629 0 0 25 0 1 0 908087263 41062400 9079 4294967295 134512640 134716908 3221224560 3221220832 1074961177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10025 9082 1111 63 0 9962 0
vsize: 40100
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 266521 0 0 0 18351 649 0 0 25 0 1 0 908087263 41086976 9243 4294967295 134512640 134716908 3221224560 3221223280 134622782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10031 9243 1111 63 0 9968 0
vsize: 40124
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 273469 0 0 0 19336 664 0 0 25 0 1 0 908087263 41385984 9316 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10104 9316 1111 63 0 10041 0
vsize: 40416
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 287707 0 0 0 20303 698 0 0 25 0 1 0 908087263 41869312 9430 4294967295 134512640 134716908 3221224560 3221222448 1074206230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10222 9430 1111 63 0 10159 0
vsize: 40888
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 298114 0 0 0 21279 723 0 0 25 0 1 0 908087263 42946560 9679 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10485 9679 1111 63 0 10422 0
vsize: 41940
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 303604 0 0 0 22267 734 0 0 25 0 1 0 908087263 43163648 9746 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10538 9746 1111 63 0 10475 0
vsize: 42152
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 314395 0 0 0 23242 760 0 0 25 0 1 0 908087263 43847680 9904 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10705 9904 1111 63 0 10642 0
vsize: 42820
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 337909 0 0 0 24191 811 0 0 25 0 1 0 908087263 45830144 10386 4294967295 134512640 134716908 3221224560 3221221648 1074138981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11408 10392 1111 63 0 11345 0
vsize: 44756
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 366603 0 0 0 25126 876 0 0 25 0 1 0 908087263 49299456 11040 4294967295 134512640 134716908 3221224560 3221221136 1076049604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12036 11040 1111 63 0 11973 0
vsize: 48144
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 383609 0 0 0 26089 913 0 0 25 0 1 0 908087263 49156096 11180 4294967295 134512640 134716908 3221224560 3221222720 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12001 11180 1111 63 0 11938 0
vsize: 48004
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 410210 0 0 0 27031 971 0 0 25 0 1 0 908087263 51134464 11663 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12484 11663 1111 63 0 12421 0
vsize: 49936
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 427913 0 0 0 27992 1011 0 0 25 0 1 0 908087263 53428224 12065 4294967295 134512640 134716908 3221224560 3221220768 1074815439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13044 12065 1111 63 0 12981 0
vsize: 52176
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 433362 0 0 0 28981 1021 0 0 25 0 1 0 908087263 52596736 12024 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12841 12024 1111 63 0 12778 0
vsize: 51364
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 440297 0 0 0 29965 1038 0 0 25 0 1 0 908087263 52924416 12104 4294967295 134512640 134716908 3221224560 3221222824 1074206175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12921 12104 1111 63 0 12858 0
vsize: 51684
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 445261 0 0 0 30953 1050 0 0 25 0 1 0 908087263 54689792 12407 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13352 12407 1111 63 0 13289 0
vsize: 53408
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 462318 0 0 0 31919 1085 0 0 25 0 1 0 908087263 54095872 12372 4294967295 134512640 134716908 3221224560 3221222208 1075818322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13207 12372 1111 63 0 13144 0
vsize: 52828
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 486421 0 0 0 32865 1139 0 0 25 0 1 0 908087263 56426496 12920 4294967295 134512640 134716908 3221224560 3221221824 1074207373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13831 12920 1111 63 0 13768 0
vsize: 55104
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 516811 0 0 0 33798 1206 0 0 25 0 1 0 908087263 58617856 13456 4294967295 134512640 134716908 3221224560 3221222648 1077377470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14311 13456 1111 63 0 14248 0
vsize: 57244
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 538349 0 0 0 34751 1253 0 0 25 0 1 0 908087263 59891712 13768 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14622 13768 1111 63 0 14559 0
vsize: 58488
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 558507 0 0 0 35704 1300 0 0 25 0 1 0 908087263 62230528 14153 4294967295 134512640 134716908 3221224560 3221220832 1074961487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15193 14153 1111 63 0 15130 0
vsize: 60772
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 579015 0 0 0 36658 1346 0 0 25 0 1 0 908087263 62181376 14337 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15181 14337 1111 63 0 15118 0
vsize: 60724
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 602682 0 0 0 37606 1399 0 0 25 0 1 0 908087263 63229952 14586 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15437 14586 1111 63 0 15374 0
vsize: 61748
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 617977 0 0 0 38573 1432 0 0 25 0 1 0 908087263 64999424 14870 4294967295 134512640 134716908 3221224560 3221221584 1074810525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15869 14870 1111 63 0 15806 0
vsize: 63476
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 636159 0 0 0 39537 1468 0 0 25 0 1 0 908087263 65052672 15031 4294967295 134512640 134716908 3221224560 3221222856 1077377325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15882 15031 1111 63 0 15819 0
vsize: 63528
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 645481 0 0 0 40518 1487 0 0 25 0 1 0 908087263 65433600 15124 4294967295 134512640 134716908 3221224560 3221222848 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15975 15124 1111 63 0 15912 0
vsize: 63900
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 652065 0 0 0 41503 1502 0 0 25 0 1 0 908087263 67293184 15422 4294967295 134512640 134716908 3221224560 3221220992 1075119627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16429 15422 1111 63 0 16366 0
vsize: 65716
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 660803 0 0 0 42484 1521 0 0 25 0 1 0 908087263 66990080 15352 4294967295 134512640 134716908 3221224560 3221220720 1074794565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16355 15352 1111 63 0 16292 0
vsize: 65420
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 675934 0 0 0 43449 1557 0 0 25 0 1 0 908087263 68050944 15610 4294967295 134512640 134716908 3221224560 3221221216 1075966559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 15610 1111 63 0 16551 0
vsize: 66456
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 688179 0 0 0 44423 1583 0 0 25 0 1 0 908087263 69390336 15879 4294967295 134512640 134716908 3221224560 3221222288 1075635652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16941 15879 1111 63 0 16878 0
vsize: 67764
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 700270 0 0 0 45398 1608 0 0 25 0 1 0 908087263 71213056 16090 4294967295 134512640 134716908 3221224560 3221221152 1074885544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17386 16090 1111 63 0 17323 0
vsize: 69544
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 733075 0 0 0 46328 1678 0 0 25 0 1 0 908087263 75476992 17107 4294967295 134512640 134716908 3221224560 3221220896 1075114274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18427 17109 1111 63 0 18364 0
vsize: 73708
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 761392 0 0 0 47268 1739 0 0 25 0 1 0 908087263 76861440 17614 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18757 17614 1111 63 0 18694 0
vsize: 75060
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 779414 0 0 0 48227 1780 0 0 25 0 1 0 908087263 78143488 17921 4294967295 134512640 134716908 3221224560 3221222288 1075828966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19078 17921 1111 63 0 19015 0
vsize: 76312
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 794568 0 0 0 49193 1815 0 0 25 0 1 0 908087263 79462400 18145 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19509 18148 1111 63 0 19446 0
vsize: 77600
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 812018 0 0 0 50153 1855 0 0 25 0 1 0 908087263 80207872 18415 4294967295 134512640 134716908 3221224560 3221222672 1074867314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19582 18415 1111 63 0 19519 0
vsize: 78328
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 824579 0 0 0 51123 1884 0 0 25 0 1 0 908087263 80715776 18544 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19706 18544 1111 63 0 19643 0
vsize: 78824
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 840482 0 0 0 52088 1919 0 0 25 0 1 0 908087263 81494016 18753 4294967295 134512640 134716908 3221224560 3221222864 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19896 18753 1111 63 0 19833 0
vsize: 79584
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 857203 0 0 0 53048 1960 0 0 25 0 1 0 908087263 82575360 19020 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20160 19020 1111 63 0 20097 0
vsize: 80640
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 868408 0 0 0 54022 1987 0 0 25 0 1 0 908087263 82632704 19011 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20174 19011 1111 63 0 20111 0
vsize: 80696
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 877259 0 0 0 55002 2007 0 0 25 0 1 0 908087263 83140608 19159 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20298 19159 1111 63 0 20235 0
vsize: 81192
[startup+580.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 889084 0 0 0 55976 2034 0 0 25 0 1 0 908087263 83447808 19237 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20373 19237 1111 63 0 20310 0
vsize: 81492
[startup+590.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 900106 0 0 0 56951 2059 0 0 25 0 1 0 908087263 85368832 19579 4294967295 134512640 134716908 3221224560 3221221600 1075971410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20842 19579 1111 63 0 20779 0
vsize: 83368
[startup+600.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 911518 0 0 0 57924 2086 0 0 25 0 1 0 908087263 85192704 19457 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20799 19470 1111 63 0 20736 0
vsize: 83196
[startup+610.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 920006 0 0 0 58905 2106 0 0 25 0 1 0 908087263 85028864 19623 4294967295 134512640 134716908 3221224560 3221223352 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20759 19623 1111 63 0 20696 0
vsize: 83036
[startup+620.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 933391 0 0 0 59876 2135 0 0 25 0 1 0 908087263 85327872 19664 4294967295 134512640 134716908 3221224560 3221222744 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20832 19664 1111 63 0 20769 0
vsize: 83328
[startup+630.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 956833 0 0 0 60826 2186 0 0 25 0 1 0 908087263 87756800 20245 4294967295 134512640 134716908 3221224560 3221222480 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21425 20245 1111 63 0 21362 0
vsize: 85700
[startup+640.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 974484 0 0 0 61789 2225 0 0 25 0 1 0 908087263 88023040 20337 4294967295 134512640 134716908 3221224560 3221222288 1075635997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21490 20337 1111 63 0 21427 0
vsize: 85960
[startup+650.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 981577 0 0 0 62772 2242 0 0 25 0 1 0 908087263 88281088 20396 4294967295 134512640 134716908 3221224560 3221223088 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21553 20396 1111 63 0 21490 0
vsize: 86212
[startup+660.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 994158 0 0 0 63746 2269 0 0 25 0 1 0 908087263 90099712 20654 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21997 20654 1111 63 0 21934 0
vsize: 87988
[startup+670.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1002594 0 0 0 64727 2289 0 0 25 0 1 0 908087263 89546752 20695 4294967295 134512640 134716908 3221224560 3221223376 134622277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21862 20695 1111 63 0 21799 0
vsize: 87448
[startup+680.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1014797 0 0 0 65702 2314 0 0 25 0 1 0 908087263 89931776 20786 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21956 20786 1111 63 0 21893 0
vsize: 87824
[startup+690.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1026877 0 0 0 66674 2341 0 0 25 0 1 0 908087263 90906624 21037 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22194 21037 1111 63 0 22131 0
vsize: 88776
[startup+700.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1034611 0 0 0 67656 2360 0 0 25 0 1 0 908087263 92164096 21236 4294967295 134512640 134716908 3221224560 3221220528 1074872897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22501 21236 1111 63 0 22438 0
vsize: 90004
[startup+710.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1045824 0 0 0 68629 2387 0 0 25 0 1 0 908087263 91287552 21141 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22287 21141 1111 63 0 22224 0
vsize: 89148
[startup+720.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1057078 0 0 0 69604 2412 0 0 25 0 1 0 908087263 93384704 21549 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22799 21549 1111 63 0 22736 0
vsize: 91196
[startup+730.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1063674 0 0 0 70590 2426 0 0 25 0 1 0 908087263 92082176 21334 4294967295 134512640 134716908 3221224560 3221222648 1077377316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22481 21334 1111 63 0 22418 0
vsize: 89924
[startup+740.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1078131 0 0 0 71560 2457 0 0 25 0 1 0 908087263 92917760 21538 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22685 21538 1111 63 0 22622 0
vsize: 90740
[startup+750.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1093563 0 0 0 72524 2492 0 0 25 0 1 0 908087263 93696000 21733 4294967295 134512640 134716908 3221224560 3221223008 134652432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22875 21733 1111 63 0 22812 0
vsize: 91500
[startup+760.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1109544 0 0 0 73487 2530 0 0 25 0 1 0 908087263 94609408 21943 4294967295 134512640 134716908 3221224560 3221222560 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23098 21943 1111 63 0 23035 0
vsize: 92392
[startup+770.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1121433 0 0 0 74460 2557 0 0 25 0 1 0 908087263 97148928 22437 4294967295 134512640 134716908 3221224560 3221220720 1075095367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23718 22437 1111 63 0 23655 0
vsize: 94872
[startup+780.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1132661 0 0 0 75431 2587 0 0 25 0 1 0 908087263 95617024 22204 4294967295 134512640 134716908 3221224560 3221223296 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23344 22204 1111 63 0 23281 0
vsize: 93376
[startup+790.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1153295 0 0 0 76386 2632 0 0 25 0 1 0 908087263 96722944 22482 4294967295 134512640 134716908 3221224560 3221222912 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23614 22482 1111 63 0 23551 0
vsize: 94456
[startup+800.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1170318 0 0 0 77348 2670 0 0 25 0 1 0 908087263 98267136 22826 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23991 22826 1111 63 0 23928 0
vsize: 95964
[startup+810.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1196921 0 0 0 78289 2729 0 0 25 0 1 0 908087263 102617088 23781 4294967295 134512640 134716908 3221224560 3221220444 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25053 23781 1111 63 0 24990 0
vsize: 100212
[startup+820.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1208143 0 0 0 79265 2753 0 0 25 0 1 0 908087263 101515264 23570 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24784 23570 1111 63 0 24721 0
vsize: 99136
[startup+830.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1213724 0 0 0 80251 2767 0 0 25 0 1 0 908087263 102047744 23712 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24914 23712 1111 63 0 24851 0
vsize: 99656
[startup+840.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1223139 0 0 0 81228 2790 0 0 25 0 1 0 908087263 102289408 23773 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24973 23773 1111 63 0 24910 0
vsize: 99892
[startup+850.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1230298 0 0 0 82212 2807 0 0 25 0 1 0 908087263 102756352 23894 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25087 23894 1111 63 0 25024 0
vsize: 100348
[startup+860.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1245338 0 0 0 83179 2840 0 0 25 0 1 0 908087263 103632896 24102 4294967295 134512640 134716908 3221224560 3221222840 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25301 24102 1111 63 0 25238 0
vsize: 101204
[startup+870.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1253693 0 0 0 84160 2859 0 0 25 0 1 0 908087263 104439808 24159 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25498 24159 1111 63 0 25435 0
vsize: 101992
[startup+880.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1271069 0 0 0 85120 2899 0 0 25 0 1 0 908087263 104882176 24400 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25606 24400 1111 63 0 25543 0
vsize: 102424
[startup+890.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1288727 0 0 0 86081 2939 0 0 25 0 1 0 908087263 106557440 24786 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26015 24786 1111 63 0 25952 0
vsize: 104060
[startup+900.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1299075 0 0 0 87057 2963 0 0 25 0 1 0 908087263 109830144 25523 4294967295 134512640 134716908 3221224560 3221220444 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26814 25523 1111 63 0 26751 0
vsize: 107256
[startup+910.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1299819 0 0 0 88055 2965 0 0 25 0 1 0 908087263 107089920 24947 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26145 24947 1111 63 0 26082 0
vsize: 104580
[startup+920.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1301587 0 0 0 89051 2969 0 0 25 0 1 0 908087263 106999808 24925 4294967295 134512640 134716908 3221224560 3221223280 134622905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26123 24925 1111 63 0 26060 0
vsize: 104492
[startup+930.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1306979 0 0 0 90041 2980 0 0 25 0 1 0 908087263 107384832 25019 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26217 25019 1111 63 0 26154 0
vsize: 104868
[startup+940.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1313119 0 0 0 91027 2994 0 0 25 0 1 0 908087263 108396544 24994 4294967295 134512640 134716908 3221224560 3221220796 1074791552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26464 24994 1111 63 0 26401 0
vsize: 105856
[startup+950.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1326946 0 0 0 91996 3026 0 0 25 0 1 0 908087263 108040192 25180 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26377 25180 1111 63 0 26314 0
vsize: 105508
[startup+960.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1332673 0 0 0 92983 3039 0 0 25 0 1 0 908087263 109072384 25223 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26629 25223 1111 63 0 26566 0
vsize: 106516
[startup+970.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1343940 0 0 0 93957 3065 0 0 25 0 1 0 908087263 108621824 25316 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26519 25316 1111 63 0 26456 0
vsize: 106076
[startup+980.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1350329 0 0 0 94942 3080 0 0 25 0 1 0 908087263 111243264 25810 4294967295 134512640 134716908 3221224560 3221220784 1075895887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27159 25810 1111 63 0 27096 0
vsize: 108636
[startup+990.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1357763 0 0 0 95925 3097 0 0 25 0 1 0 908087263 110059520 25496 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26870 25496 1111 63 0 26807 0
vsize: 107480
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1365071 0 0 0 96908 3114 0 0 25 0 1 0 908087263 109219840 25470 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26665 25470 1111 63 0 26602 0
vsize: 106660
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1368006 0 0 0 97901 3121 0 0 25 0 1 0 908087263 110731264 25719 4294967295 134512640 134716908 3221224560 3221220508 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27034 25719 1111 63 0 26971 0
vsize: 108136
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1375221 0 0 0 98885 3137 0 0 25 0 1 0 908087263 110313472 25537 4294967295 134512640 134716908 3221224560 3221220672 1075895897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26932 25537 1111 63 0 26869 0
vsize: 107728
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1381127 0 0 0 99871 3152 0 0 25 0 1 0 908087263 111992832 26080 4294967295 134512640 134716908 3221224560 3221220736 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27342 26080 1111 63 0 27279 0
vsize: 109368
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1389303 0 0 0 100853 3170 0 0 25 0 1 0 908087263 112566272 25972 4294967295 134512640 134716908 3221224560 3221220508 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27482 25972 1111 63 0 27419 0
vsize: 109928
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1391715 0 0 0 101849 3174 0 0 25 0 1 0 908087263 110026752 25673 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26862 25673 1111 63 0 26799 0
vsize: 107448
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1394280 0 0 0 102843 3180 0 0 25 0 1 0 908087263 110370816 25742 4294967295 134512640 134716908 3221224560 3221222560 1074917187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26946 25742 1111 63 0 26883 0
vsize: 107784
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1404058 0 0 0 103823 3200 0 0 25 0 1 0 908087263 112082944 25837 4294967295 134512640 134716908 3221224560 3221220720 1075092807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27364 25837 1111 63 0 27301 0
vsize: 109456
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1407624 0 0 0 104815 3209 0 0 25 0 1 0 908087263 110223360 25697 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26910 25697 1111 63 0 26847 0
vsize: 107640
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1414817 0 0 0 105799 3225 0 0 25 0 1 0 908087263 110571520 25807 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 25807 1111 63 0 26932 0
vsize: 107980
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1417919 0 0 0 106791 3233 0 0 25 0 1 0 908087263 111329280 25994 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 25994 1111 63 0 27117 0
vsize: 108720
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1418043 0 0 0 107790 3234 0 0 25 0 1 0 908087263 111927296 26118 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27326 26118 1111 63 0 27263 0
vsize: 109304
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1418130 0 0 0 108788 3235 0 0 25 0 1 0 908087263 112234496 26205 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27401 26205 1111 63 0 27338 0
vsize: 109604
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1418230 0 0 0 109787 3236 0 0 25 0 1 0 908087263 112676864 26305 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27509 26305 1111 63 0 27446 0
vsize: 110036
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1418285 0 0 0 110787 3237 0 0 25 0 1 0 908087263 112898048 26360 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27563 26360 1111 63 0 27500 0
vsize: 110252
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1418351 0 0 0 111786 3238 0 0 25 0 1 0 908087263 113229824 26426 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27644 26426 1111 63 0 27581 0
vsize: 110576
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1418393 0 0 0 112785 3239 0 0 25 0 1 0 908087263 113401856 26468 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27686 26468 1111 63 0 27623 0
vsize: 110744
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1418454 0 0 0 113785 3239 0 0 25 0 1 0 908087263 113565696 26529 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27726 26529 1111 63 0 27663 0
vsize: 110904
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1418496 0 0 0 114784 3240 0 0 25 0 1 0 908087263 113737728 26571 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27768 26571 1111 63 0 27705 0
vsize: 111072
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1418534 0 0 0 115783 3241 0 0 25 0 1 0 908087263 113893376 26609 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27806 26609 1111 63 0 27743 0
vsize: 111224
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) R 10423 21152 21151 0 -1 0 1418624 0 0 0 116783 3241 0 0 25 0 1 0 908087263 114245632 26699 4294967295 134512640 134716908 3221224560 3221222704 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27892 26699 1111 63 0 27829 0
vsize: 111568
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 10424
Raw data (stat): 10424 (bsolo_lpr_cuts-) Z 10423 21152 21151 0 -1 1036 1418624 0 0 0 116783 3246 0 0 25 0 1 0 908087263 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.15
CPU time (s): 1200.31
CPU user time (s): 1167.84
CPU system time (s): 32.4671
CPU usage (%): 100.013
Max. virtual memory (Kb): 111568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####