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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb
MD5SUM	e4d850251a185eefeba808334bb200f5
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	102000
Biggest coefficient in the objective function	166502400
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	44079267426
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	166502400
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	44079267426
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	267.004
Number of variables	118500
Total number of constraints	10525
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	10525
Minimum length of a constraint	10
Maximum length of a constraint	118500
Trace number 41017

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 04:05:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29048 boxname=wulflinc3 idbench=832 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  e4d850251a185eefeba808334bb200f5  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-fit2d.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-fit2d.opb
IDLAUNCH: 29048
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        758476 kB
Buffers:         28592 kB
Cached:         224160 kB
SwapCached:       3472 kB
Active:          69612 kB
Inactive:       187964 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        758224 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            13012 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:25:16 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 29048 7 1200.32 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): 0.89 0.96 0.91 2/54 3722
Raw data (stat): 3722 (runsolver) R 3721 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907248320 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 3722
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 1311 0 0 0 992 5 0 0 25 0 1 0 907248320 16314368 1231 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3983 1231 1111 63 0 3920 0
vsize: 15932
[startup+20.0018 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 1620 0 0 0 1991 6 0 0 25 0 1 0 907248320 17551360 1540 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4285 1540 1111 63 0 4222 0
vsize: 17140
[startup+30.0016 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 1916 0 0 0 2990 7 0 0 25 0 1 0 907248320 18792448 1836 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4588 1836 1111 63 0 4525 0
vsize: 18352
[startup+40.003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 2228 0 0 0 3990 7 0 0 25 0 1 0 907248320 20041728 2148 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4893 2148 1111 63 0 4830 0
vsize: 19572
[startup+50.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 2531 0 0 0 4990 8 0 0 25 0 1 0 907248320 21299200 2451 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2451 1111 63 0 5137 0
vsize: 20800
[startup+60.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 2838 0 0 0 5989 9 0 0 25 0 1 0 907248320 22540288 2758 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5503 2758 1111 63 0 5440 0
vsize: 22012
[startup+70.0055 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 3152 0 0 0 6988 10 0 0 25 0 1 0 907248320 23932928 3072 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5843 3072 1111 63 0 5780 0
vsize: 23372
[startup+80.0058 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 3456 0 0 0 7987 11 0 0 25 0 1 0 907248320 25149440 3376 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6140 3376 1111 63 0 6077 0
vsize: 24560
[startup+90.0061 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 3777 0 0 0 8987 12 0 0 25 0 1 0 907248320 26386432 3697 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6442 3697 1111 63 0 6379 0
vsize: 25768
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 4078 0 0 0 9985 13 0 0 25 0 1 0 907248320 27643904 3998 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6749 3998 1111 63 0 6686 0
vsize: 26996
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 4387 0 0 0 10985 14 0 0 25 0 1 0 907248320 28884992 4307 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7052 4307 1111 63 0 6989 0
vsize: 28208
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 4696 0 0 0 11985 14 0 0 25 0 1 0 907248320 30126080 4616 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 4616 1111 63 0 7292 0
vsize: 29420
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 5012 0 0 0 12984 15 0 0 25 0 1 0 907248320 31522816 4932 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7696 4932 1111 63 0 7633 0
vsize: 30784
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 5326 0 0 0 13983 16 0 0 25 0 1 0 907248320 32780288 5246 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8003 5246 1111 63 0 7940 0
vsize: 32012
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 5642 0 0 0 14982 17 0 0 25 0 1 0 907248320 34045952 5562 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8312 5562 1111 63 0 8249 0
vsize: 33248
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 5952 0 0 0 15981 18 0 0 25 0 1 0 907248320 35307520 5872 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8620 5872 1111 63 0 8557 0
vsize: 34480
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 6268 0 0 0 16981 19 0 0 25 0 1 0 907248320 36708352 6188 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8962 6188 1111 63 0 8899 0
vsize: 35848
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 6579 0 0 0 17980 20 0 0 25 0 1 0 907248320 37949440 6499 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9265 6499 1111 63 0 9202 0
vsize: 37060
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 6892 0 0 0 18979 21 0 0 25 0 1 0 907248320 39206912 6812 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9572 6812 1111 63 0 9509 0
vsize: 38288
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 7209 0 0 0 19978 21 0 0 25 0 1 0 907248320 40448000 7129 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9875 7129 1111 63 0 9812 0
vsize: 39500
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 7531 0 0 0 20978 22 0 0 25 0 1 0 907248320 41844736 7451 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10216 7451 1111 63 0 10153 0
vsize: 40864
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 7847 0 0 0 21977 23 0 0 25 0 1 0 907248320 43085824 7767 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 7767 1111 63 0 10456 0
vsize: 42076
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 8163 0 0 0 22976 24 0 0 25 0 1 0 907248320 44457984 8083 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10854 8083 1111 63 0 10791 0
vsize: 43416
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 8477 0 0 0 23975 25 0 0 25 0 1 0 907248320 45715456 8397 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11161 8397 1111 63 0 11098 0
vsize: 44644
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 8793 0 0 0 24974 26 0 0 25 0 1 0 907248320 46956544 8713 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11464 8713 1111 63 0 11401 0
vsize: 45856
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 9115 0 0 0 25973 27 0 0 25 0 1 0 907248320 48332800 9035 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11800 9035 1111 63 0 11737 0
vsize: 47200
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 9447 0 0 0 26973 27 0 0 25 0 1 0 907248320 49770496 9367 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12151 9367 1111 63 0 12088 0
vsize: 48604
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 9764 0 0 0 27972 28 0 0 25 0 1 0 907248320 51007488 9684 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 9684 1111 63 0 12390 0
vsize: 49812
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 10079 0 0 0 28972 29 0 0 25 0 1 0 907248320 52244480 9999 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12755 9999 1111 63 0 12692 0
vsize: 51020
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 10408 0 0 0 29971 29 0 0 25 0 1 0 907248320 53620736 10328 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13091 10328 1111 63 0 13028 0
vsize: 52364
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 10731 0 0 0 30970 30 0 0 25 0 1 0 907248320 55017472 10651 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13432 10651 1111 63 0 13369 0
vsize: 53728
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 11053 0 0 0 31970 31 0 0 25 0 1 0 907248320 56258560 10973 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13735 10973 1111 63 0 13672 0
vsize: 54940
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 11376 0 0 0 32969 32 0 0 25 0 1 0 907248320 57655296 11296 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14076 11296 1111 63 0 14013 0
vsize: 56304
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 11704 0 0 0 33968 33 0 0 25 0 1 0 907248320 58912768 11624 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14383 11624 1111 63 0 14320 0
vsize: 57532
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 12020 0 0 0 34967 34 0 0 25 0 1 0 907248320 60289024 11940 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14719 11940 1111 63 0 14656 0
vsize: 58876
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 12350 0 0 0 35967 35 0 0 25 0 1 0 907248320 61550592 12270 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15027 12270 1111 63 0 14964 0
vsize: 60108
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 12678 0 0 0 36967 35 0 0 25 0 1 0 907248320 62926848 12598 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15363 12598 1111 63 0 15300 0
vsize: 61452
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 13008 0 0 0 37966 35 0 0 25 0 1 0 907248320 64323584 12928 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15704 12928 1111 63 0 15641 0
vsize: 62816
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 13335 0 0 0 38965 36 0 0 25 0 1 0 907248320 65560576 13255 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16006 13255 1111 63 0 15943 0
vsize: 64024
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 13658 0 0 0 39965 37 0 0 25 0 1 0 907248320 66957312 13578 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16347 13578 1111 63 0 16284 0
vsize: 65388
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 13994 0 0 0 40964 38 0 0 25 0 1 0 907248320 68333568 13914 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16683 13914 1111 63 0 16620 0
vsize: 66732
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 14323 0 0 0 41963 39 0 0 25 0 1 0 907248320 69574656 14243 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16986 14243 1111 63 0 16923 0
vsize: 67944
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 14652 0 0 0 42962 40 0 0 25 0 1 0 907248320 70971392 14572 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 14572 1111 63 0 17264 0
vsize: 69308
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 14982 0 0 0 43962 41 0 0 25 0 1 0 907248320 72364032 14902 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17667 14902 1111 63 0 17604 0
vsize: 70668
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 15310 0 0 0 44960 42 0 0 25 0 1 0 907248320 73740288 15230 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18003 15230 1111 63 0 17940 0
vsize: 72012
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 15639 0 0 0 45960 43 0 0 25 0 1 0 907248320 74977280 15559 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 15559 1111 63 0 18242 0
vsize: 73220
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 15981 0 0 0 46959 44 0 0 25 0 1 0 907248320 76374016 15901 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18646 15901 1111 63 0 18583 0
vsize: 74584
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 16310 0 0 0 47958 45 0 0 25 0 1 0 907248320 77750272 16230 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18982 16230 1111 63 0 18919 0
vsize: 75928
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 16652 0 0 0 48958 45 0 0 25 0 1 0 907248320 79122432 16572 4294967295 134512640 134716908 3221224560 3221222788 1077414422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19317 16572 1111 63 0 19254 0
vsize: 77268
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 16981 0 0 0 49957 46 0 0 25 0 1 0 907248320 80515072 16901 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19657 16901 1111 63 0 19594 0
vsize: 78628
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 17315 0 0 0 50956 47 0 0 25 0 1 0 907248320 81911808 17235 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19998 17235 1111 63 0 19935 0
vsize: 79992
[startup+520.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 17675 0 0 0 51956 48 0 0 25 0 1 0 907248320 83402752 17595 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20362 17595 1111 63 0 20299 0
vsize: 81448
[startup+530.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 18010 0 0 0 52956 49 0 0 25 0 1 0 907248320 84799488 17930 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20703 17930 1111 63 0 20640 0
vsize: 82812
[startup+540.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 18347 0 0 0 53956 50 0 0 25 0 1 0 907248320 86175744 18267 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21039 18267 1111 63 0 20976 0
vsize: 84156
[startup+550.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 18683 0 0 0 54955 51 0 0 25 0 1 0 907248320 87572480 18603 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21380 18603 1111 63 0 21317 0
vsize: 85520
[startup+560.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 19024 0 0 0 55955 52 0 0 25 0 1 0 907248320 88965120 18944 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21720 18944 1111 63 0 21657 0
vsize: 86880
[startup+570.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 19364 0 0 0 56954 52 0 0 25 0 1 0 907248320 90341376 19284 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22056 19284 1111 63 0 21993 0
vsize: 88224
[startup+580.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 19702 0 0 0 57954 53 0 0 25 0 1 0 907248320 91713536 19622 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22391 19622 1111 63 0 22328 0
vsize: 89564
[startup+590.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 20043 0 0 0 58953 54 0 0 25 0 1 0 907248320 93110272 19963 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22732 19963 1111 63 0 22669 0
vsize: 90928
[startup+600.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 20385 0 0 0 59953 55 0 0 25 0 1 0 907248320 94486528 20305 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23068 20305 1111 63 0 23005 0
vsize: 92272
[startup+610.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 20723 0 0 0 60956 55 0 0 25 0 1 0 907248320 95993856 20643 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23436 20643 1111 63 0 23373 0
vsize: 93744
[startup+620.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 21064 0 0 0 61955 56 0 0 25 0 1 0 907248320 97390592 20984 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23777 20984 1111 63 0 23714 0
vsize: 95108
[startup+630.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 21404 0 0 0 62954 56 0 0 25 0 1 0 907248320 98783232 21324 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24117 21324 1111 63 0 24054 0
vsize: 96468
[startup+640.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 21748 0 0 0 63955 57 0 0 25 0 1 0 907248320 100159488 21668 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24453 21668 1111 63 0 24390 0
vsize: 97812
[startup+650.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 22096 0 0 0 64955 57 0 0 25 0 1 0 907248320 101556224 22016 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24794 22016 1111 63 0 24731 0
vsize: 99176
[startup+660.105 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 22432 0 0 0 65954 58 0 0 25 0 1 0 907248320 102928384 22352 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25129 22352 1111 63 0 25066 0
vsize: 100516
[startup+670.105 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 22776 0 0 0 66954 58 0 0 25 0 1 0 907248320 104304640 22696 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25465 22696 1111 63 0 25402 0
vsize: 101860
[startup+680.105 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 23124 0 0 0 67954 59 0 0 25 0 1 0 907248320 105811968 23044 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25833 23044 1111 63 0 25770 0
vsize: 103332
[startup+690.106 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 23466 0 0 0 68954 59 0 0 25 0 1 0 907248320 107208704 23386 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26174 23386 1111 63 0 26111 0
vsize: 104696
[startup+700.106 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 23816 0 0 0 69953 60 0 0 25 0 1 0 907248320 108601344 23736 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26514 23736 1111 63 0 26451 0
vsize: 106056
[startup+710.107 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 24168 0 0 0 70952 61 0 0 25 0 1 0 907248320 109977600 24088 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26850 24088 1111 63 0 26787 0
vsize: 107400
[startup+720.108 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 24504 0 0 0 71952 61 0 0 25 0 1 0 907248320 111349760 24424 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27185 24424 1111 63 0 27122 0
vsize: 108740
[startup+730.107 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 24861 0 0 0 72952 62 0 0 25 0 1 0 907248320 112881664 24781 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27559 24781 1111 63 0 27496 0
vsize: 110236
[startup+740.108 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 25209 0 0 0 73951 63 0 0 25 0 1 0 907248320 114257920 25129 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27895 25129 1111 63 0 27832 0
vsize: 111580
[startup+750.108 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 25551 0 0 0 74951 63 0 0 25 0 1 0 907248320 115630080 25471 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28230 25471 1111 63 0 28167 0
vsize: 112920
[startup+760.109 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 25902 0 0 0 75950 64 0 0 25 0 1 0 907248320 117161984 25822 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28604 25822 1111 63 0 28541 0
vsize: 114416
[startup+770.109 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 26250 0 0 0 76950 65 0 0 25 0 1 0 907248320 118558720 26170 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28945 26170 1111 63 0 28882 0
vsize: 115780
[startup+780.109 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 26603 0 0 0 77949 65 0 0 25 0 1 0 907248320 119930880 26523 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 26523 1111 63 0 29217 0
vsize: 117120
[startup+790.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 26953 0 0 0 78949 66 0 0 25 0 1 0 907248320 121438208 26873 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29648 26873 1111 63 0 29585 0
vsize: 118592
[startup+800.109 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 27308 0 0 0 79948 67 0 0 25 0 1 0 907248320 122834944 27228 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29989 27228 1111 63 0 29926 0
vsize: 119956
[startup+810.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 27663 0 0 0 80948 68 0 0 25 0 1 0 907248320 124346368 27583 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30358 27583 1111 63 0 30295 0
vsize: 121432
[startup+820.111 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 28019 0 0 0 81948 68 0 0 25 0 1 0 907248320 125743104 27939 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30699 27939 1111 63 0 30636 0
vsize: 122796
[startup+830.111 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 28368 0 0 0 82947 68 0 0 25 0 1 0 907248320 127119360 28288 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31035 28288 1111 63 0 30972 0
vsize: 124140
[startup+840.112 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 28729 0 0 0 83947 69 0 0 25 0 1 0 907248320 128651264 28649 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31409 28649 1111 63 0 31346 0
vsize: 125636
[startup+850.113 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 29080 0 0 0 84946 70 0 0 25 0 1 0 907248320 130048000 29000 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31750 29000 1111 63 0 31687 0
vsize: 127000
[startup+860.113 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 29441 0 0 0 85945 71 0 0 25 0 1 0 907248320 131575808 29361 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32123 29361 1111 63 0 32060 0
vsize: 128492
[startup+870.113 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 29794 0 0 0 86944 72 0 0 25 0 1 0 907248320 132952064 29714 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32459 29714 1111 63 0 32396 0
vsize: 129836
[startup+880.113 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 30158 0 0 0 87943 73 0 0 25 0 1 0 907248320 134483968 30078 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32833 30078 1111 63 0 32770 0
vsize: 131332
[startup+890.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 30519 0 0 0 88943 74 0 0 25 0 1 0 907248320 136015872 30439 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33207 30439 1111 63 0 33144 0
vsize: 132828
[startup+900.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 30881 0 0 0 89943 75 0 0 25 0 1 0 907248320 137392128 30801 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33543 30801 1111 63 0 33480 0
vsize: 134172
[startup+910.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 31243 0 0 0 90942 75 0 0 25 0 1 0 907248320 138924032 31163 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33917 31163 1111 63 0 33854 0
vsize: 135668
[startup+920.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 31605 0 0 0 91942 76 0 0 25 0 1 0 907248320 140455936 31525 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34291 31525 1111 63 0 34228 0
vsize: 137164
[startup+930.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 31967 0 0 0 92941 76 0 0 25 0 1 0 907248320 141832192 31887 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34627 31887 1111 63 0 34564 0
vsize: 138508
[startup+940.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 32330 0 0 0 93941 77 0 0 25 0 1 0 907248320 143339520 32250 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34995 32250 1111 63 0 34932 0
vsize: 139980
[startup+950.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 32691 0 0 0 94941 77 0 0 25 0 1 0 907248320 144871424 32611 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35369 32611 1111 63 0 35306 0
vsize: 141476
[startup+960.116 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 33052 0 0 0 95940 78 0 0 25 0 1 0 907248320 146403328 32972 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35743 32972 1111 63 0 35680 0
vsize: 142972
[startup+970.116 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 33412 0 0 0 96940 78 0 0 25 0 1 0 907248320 147775488 33332 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36078 33332 1111 63 0 36015 0
vsize: 144312
[startup+980.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 33780 0 0 0 97940 79 0 0 25 0 1 0 907248320 149303296 33700 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36451 33700 1111 63 0 36388 0
vsize: 145804
[startup+990.116 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 34176 0 0 0 98938 80 0 0 25 0 1 0 907248320 151224320 34096 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36920 34096 1111 63 0 36857 0
vsize: 147680
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 34550 0 0 0 99938 81 0 0 25 0 1 0 907248320 152735744 34470 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37289 34470 1111 63 0 37226 0
vsize: 149156
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 34913 0 0 0 100938 81 0 0 25 0 1 0 907248320 154267648 34833 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37663 34833 1111 63 0 37600 0
vsize: 150652
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 35288 0 0 0 101938 82 0 0 25 0 1 0 907248320 155774976 35208 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38031 35208 1111 63 0 37968 0
vsize: 152124
[startup+1030.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 35656 0 0 0 102937 82 0 0 25 0 1 0 907248320 157306880 35576 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38405 35576 1111 63 0 38342 0
vsize: 153620
[startup+1040.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 36031 0 0 0 103937 83 0 0 25 0 1 0 907248320 158842880 35951 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38780 35951 1111 63 0 38717 0
vsize: 155120
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 36406 0 0 0 104937 83 0 0 25 0 1 0 907248320 160374784 36326 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39154 36326 1111 63 0 39091 0
vsize: 156616
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 36774 0 0 0 105936 84 0 0 25 0 1 0 907248320 161751040 36694 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39490 36694 1111 63 0 39427 0
vsize: 157960
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 37151 0 0 0 106936 85 0 0 25 0 1 0 907248320 163418112 37071 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39897 37071 1111 63 0 39834 0
vsize: 159588
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 37525 0 0 0 107935 85 0 0 25 0 1 0 907248320 164950016 37445 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40271 37445 1111 63 0 40208 0
vsize: 161084
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 37894 0 0 0 108935 86 0 0 25 0 1 0 907248320 166457344 37814 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40639 37814 1111 63 0 40576 0
vsize: 162556
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 38281 0 0 0 109934 87 0 0 25 0 1 0 907248320 167985152 38201 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41012 38201 1111 63 0 40949 0
vsize: 164048
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 38650 0 0 0 110934 87 0 0 25 0 1 0 907248320 169517056 38570 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41386 38570 1111 63 0 41323 0
vsize: 165544
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 39025 0 0 0 111933 88 0 0 25 0 1 0 907248320 171028480 38945 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41755 38945 1111 63 0 41692 0
vsize: 167020
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 39407 0 0 0 112932 89 0 0 25 0 1 0 907248320 172535808 39327 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42123 39327 1111 63 0 42060 0
vsize: 168492
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 39794 0 0 0 113931 90 0 0 25 0 1 0 907248320 174202880 39714 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42530 39714 1111 63 0 42467 0
vsize: 170120
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 40177 0 0 0 114931 91 0 0 25 0 1 0 907248320 175734784 40097 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42904 40097 1111 63 0 42841 0
vsize: 171616
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 40558 0 0 0 115931 91 0 0 25 0 1 0 907248320 177242112 40478 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43272 40478 1111 63 0 43209 0
vsize: 173088
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 40945 0 0 0 116931 91 0 0 25 0 1 0 907248320 178909184 40865 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43679 40865 1111 63 0 43616 0
vsize: 174716
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 41328 0 0 0 117931 92 0 0 25 0 1 0 907248320 180441088 41248 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44053 41248 1111 63 0 43990 0
vsize: 176212
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 41716 0 0 0 118930 93 0 0 25 0 1 0 907248320 182083584 41636 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44454 41636 1111 63 0 44391 0
vsize: 177816
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) R 3721 20224 20223 0 -1 0 42104 0 0 0 119930 93 0 0 25 0 1 0 907248320 183595008 42024 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44823 42024 1111 63 0 44760 0
vsize: 179292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 3724
Raw data (stat): 3722 (bsolo_lpr_cuts-) Z 3721 20224 20223 0 -1 1036 42104 0 0 0 119930 101 0 0 24 0 1 0 907248320 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.24
CPU time (s): 1200.32
CPU user time (s): 1199.3
CPU system time (s): 1.01784
CPU usage (%): 100.007
Max. virtual memory (Kb): 179292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####