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-ship04l.opb
MD5SUM	2c68ccb202caa7ec35d2be2cf2e849d9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	63540
Biggest coefficient in the objective function	1977295568896000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	435915316225983825
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1977295568896000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	435915316225983825
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.556914
Number of variables	63540
Total number of constraints	352
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	352
Minimum length of a constraint	30
Maximum length of a constraint	2520
Trace number 41034

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        737880 kB
Buffers:         24548 kB
Cached:         250256 kB
SwapCached:        732 kB
Active:          33476 kB
Inactive:       243412 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        737628 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14244 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:49:54 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 29094 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.95 0.89 2/54 27948
Raw data (stat): 27948 (runsolver) R 27947 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907404713 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 s]
Raw data (loadavg): 0.94 0.95 0.89 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 1010 0 0 0 995 3 0 0 25 0 1 0 907404713 15663104 930 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 930 1111 63 0 3761 0
vsize: 15296
[startup+19.9997 s]
Raw data (loadavg): 0.95 0.95 0.89 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 1144 0 0 0 1994 4 0 0 25 0 1 0 907404713 16236544 1064 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1064 1111 63 0 3901 0
vsize: 15856
[startup+29.9995 s]
Raw data (loadavg): 0.96 0.95 0.89 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 1305 0 0 0 2994 4 0 0 25 0 1 0 907404713 16838656 1225 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1225 1111 63 0 4048 0
vsize: 16444
[startup+39.9992 s]
Raw data (loadavg): 0.96 0.95 0.89 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 1455 0 0 0 3994 4 0 0 25 0 1 0 907404713 17420288 1375 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4253 1375 1111 63 0 4190 0
vsize: 17012
[startup+49.9999 s]
Raw data (loadavg): 0.97 0.95 0.89 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 1616 0 0 0 4995 4 0 0 25 0 1 0 907404713 18145280 1536 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 1536 1111 63 0 4367 0
vsize: 17720
[startup+59.9997 s]
Raw data (loadavg): 0.97 0.96 0.89 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 1771 0 0 0 5994 4 0 0 25 0 1 0 907404713 18747392 1691 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4577 1691 1111 63 0 4514 0
vsize: 18308
[startup+69.9997 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 1930 0 0 0 6994 5 0 0 25 0 1 0 907404713 19341312 1850 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 1850 1111 63 0 4659 0
vsize: 18888
[startup+80.0002 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 2093 0 0 0 7994 5 0 0 25 0 1 0 907404713 20094976 2013 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4906 2013 1111 63 0 4843 0
vsize: 19624
[startup+89.9999 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 2254 0 0 0 8994 5 0 0 25 0 1 0 907404713 20697088 2174 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 2174 1111 63 0 4990 0
vsize: 20212
[startup+99.9996 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 2416 0 0 0 9994 5 0 0 25 0 1 0 907404713 21450752 2336 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2336 1111 63 0 5174 0
vsize: 20948
[startup+109.999 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 2570 0 0 0 10994 5 0 0 25 0 1 0 907404713 22048768 2490 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 2490 1111 63 0 5320 0
vsize: 21532
[startup+119.999 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 2732 0 0 0 11994 6 0 0 25 0 1 0 907404713 22650880 2652 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 2652 1111 63 0 5467 0
vsize: 22120
[startup+129.999 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 2894 0 0 0 12993 6 0 0 25 0 1 0 907404713 23400448 2814 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 2814 1111 63 0 5650 0
vsize: 22852
[startup+139.999 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 3055 0 0 0 13993 7 0 0 25 0 1 0 907404713 23994368 2975 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 2975 1111 63 0 5795 0
vsize: 23432
[startup+149.999 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 3217 0 0 0 14993 7 0 0 25 0 1 0 907404713 24743936 3137 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 3137 1111 63 0 5978 0
vsize: 24164
[startup+159.999 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 3387 0 0 0 15993 7 0 0 25 0 1 0 907404713 25350144 3307 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 3307 1111 63 0 6126 0
vsize: 24756
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 3550 0 0 0 16993 7 0 0 25 0 1 0 907404713 26103808 3470 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 3470 1111 63 0 6310 0
vsize: 25492
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 3717 0 0 0 17993 8 0 0 25 0 1 0 907404713 26701824 3637 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 3637 1111 63 0 6456 0
vsize: 26076
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 3881 0 0 0 18993 8 0 0 25 0 1 0 907404713 27426816 3801 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6696 3801 1111 63 0 6633 0
vsize: 26784
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 4044 0 0 0 19993 8 0 0 25 0 1 0 907404713 28028928 3964 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 3964 1111 63 0 6780 0
vsize: 27372
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 4213 0 0 0 20992 9 0 0 25 0 1 0 907404713 28782592 4133 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7027 4133 1111 63 0 6964 0
vsize: 28108
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 4382 0 0 0 21992 9 0 0 25 0 1 0 907404713 29380608 4302 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7173 4302 1111 63 0 7110 0
vsize: 28692
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 4545 0 0 0 22992 9 0 0 25 0 1 0 907404713 30134272 4465 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7357 4465 1111 63 0 7294 0
vsize: 29428
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 4720 0 0 0 23992 10 0 0 25 0 1 0 907404713 30887936 4640 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7541 4640 1111 63 0 7478 0
vsize: 30164
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 4894 0 0 0 24992 10 0 0 25 0 1 0 907404713 31526912 4814 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 4814 1111 63 0 7634 0
vsize: 30788
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 5068 0 0 0 25992 10 0 0 25 0 1 0 907404713 32276480 4988 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 4988 1111 63 0 7817 0
vsize: 31520
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 5238 0 0 0 26992 10 0 0 25 0 1 0 907404713 33030144 5158 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 5158 1111 63 0 8001 0
vsize: 32256
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 5416 0 0 0 27992 11 0 0 25 0 1 0 907404713 33783808 5336 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8248 5336 1111 63 0 8185 0
vsize: 32992
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 5587 0 0 0 28991 11 0 0 25 0 1 0 907404713 34390016 5507 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8396 5507 1111 63 0 8333 0
vsize: 33584
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 5764 0 0 0 29991 12 0 0 25 0 1 0 907404713 35139584 5684 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8579 5684 1111 63 0 8516 0
vsize: 34316
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 5940 0 0 0 30991 12 0 0 25 0 1 0 907404713 35889152 5860 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8762 5860 1111 63 0 8699 0
vsize: 35048
[startup+319.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 6116 0 0 0 31991 12 0 0 25 0 1 0 907404713 36642816 6036 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6036 1111 63 0 8883 0
vsize: 35784
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 6294 0 0 0 32991 13 0 0 25 0 1 0 907404713 37244928 6214 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 6214 1111 63 0 9030 0
vsize: 36372
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 6472 0 0 0 33990 13 0 0 25 0 1 0 907404713 37998592 6392 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9277 6392 1111 63 0 9214 0
vsize: 37108
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 6649 0 0 0 34990 14 0 0 25 0 1 0 907404713 38752256 6569 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9461 6569 1111 63 0 9398 0
vsize: 37844
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 6833 0 0 0 35990 14 0 0 25 0 1 0 907404713 39501824 6753 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9644 6753 1111 63 0 9581 0
vsize: 38576
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 7010 0 0 0 36990 14 0 0 25 0 1 0 907404713 40251392 6930 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 6930 1111 63 0 9764 0
vsize: 39308
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 7193 0 0 0 37989 15 0 0 25 0 1 0 907404713 41009152 7113 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10012 7113 1111 63 0 9949 0
vsize: 40048
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 7372 0 0 0 38989 15 0 0 25 0 1 0 907404713 41758720 7292 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 7292 1111 63 0 10132 0
vsize: 40780
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 7549 0 0 0 39989 16 0 0 25 0 1 0 907404713 42356736 7469 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10341 7469 1111 63 0 10278 0
vsize: 41364
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 7731 0 0 0 40989 16 0 0 25 0 1 0 907404713 43233280 7651 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10555 7651 1111 63 0 10492 0
vsize: 42220
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 7917 0 0 0 41988 16 0 0 25 0 1 0 907404713 43982848 7837 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10738 7837 1111 63 0 10675 0
vsize: 42952
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 8094 0 0 0 42989 16 0 0 25 0 1 0 907404713 44589056 8014 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10886 8014 1111 63 0 10823 0
vsize: 43544
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 8285 0 0 0 43989 17 0 0 25 0 1 0 907404713 45490176 8205 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11106 8205 1111 63 0 11043 0
vsize: 44424
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 8464 0 0 0 44989 17 0 0 25 0 1 0 907404713 46096384 8384 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11254 8384 1111 63 0 11191 0
vsize: 45016
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 8654 0 0 0 45989 17 0 0 25 0 1 0 907404713 46997504 8574 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11474 8574 1111 63 0 11411 0
vsize: 45896
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 8863 0 0 0 46988 18 0 0 25 0 1 0 907404713 47849472 8783 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11682 8783 1111 63 0 11619 0
vsize: 46728
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 9054 0 0 0 47988 18 0 0 25 0 1 0 907404713 48750592 8974 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11902 8974 1111 63 0 11839 0
vsize: 47608
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 9247 0 0 0 48988 18 0 0 25 0 1 0 907404713 49475584 9167 4294967295 134512640 134716908 3221224560 3221222648 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12079 9167 1111 63 0 12016 0
vsize: 48316
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 9439 0 0 0 49988 19 0 0 25 0 1 0 907404713 50229248 9359 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12263 9359 1111 63 0 12200 0
vsize: 49052
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 9637 0 0 0 50988 19 0 0 25 0 1 0 907404713 51101696 9557 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12476 9557 1111 63 0 12413 0
vsize: 49904
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 9838 0 0 0 51988 19 0 0 25 0 1 0 907404713 51855360 9758 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12660 9758 1111 63 0 12597 0
vsize: 50640
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 10030 0 0 0 52987 20 0 0 25 0 1 0 907404713 52609024 9950 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12844 9950 1111 63 0 12781 0
vsize: 51376
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 10236 0 0 0 53987 20 0 0 25 0 1 0 907404713 53510144 10156 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13064 10156 1111 63 0 13001 0
vsize: 52256
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 10435 0 0 0 54988 20 0 0 25 0 1 0 907404713 54259712 10355 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10355 1111 63 0 13184 0
vsize: 52988
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 10633 0 0 0 55988 20 0 0 25 0 1 0 907404713 55164928 10553 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13468 10553 1111 63 0 13405 0
vsize: 53872
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 10840 0 0 0 56988 21 0 0 25 0 1 0 907404713 55914496 10760 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13651 10760 1111 63 0 13588 0
vsize: 54604
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 11046 0 0 0 57987 21 0 0 25 0 1 0 907404713 56819712 10966 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13872 10966 1111 63 0 13809 0
vsize: 55488
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 11247 0 0 0 58987 22 0 0 25 0 1 0 907404713 57573376 11167 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14056 11167 1111 63 0 13993 0
vsize: 56224
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 11453 0 0 0 59987 22 0 0 25 0 1 0 907404713 58478592 11373 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14277 11373 1111 63 0 14214 0
vsize: 57108
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 11659 0 0 0 60987 23 0 0 25 0 1 0 907404713 59379712 11579 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14497 11579 1111 63 0 14434 0
vsize: 57988
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 11873 0 0 0 61986 23 0 0 25 0 1 0 907404713 60133376 11793 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14681 11793 1111 63 0 14618 0
vsize: 58724
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 12080 0 0 0 62986 23 0 0 25 0 1 0 907404713 61034496 12000 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14901 12000 1111 63 0 14838 0
vsize: 59604
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 12295 0 0 0 63986 24 0 0 25 0 1 0 907404713 61939712 12215 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15122 12215 1111 63 0 15059 0
vsize: 60488
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 12508 0 0 0 64986 24 0 0 25 0 1 0 907404713 62840832 12428 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15342 12428 1111 63 0 15279 0
vsize: 61368
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 12730 0 0 0 65985 25 0 0 25 0 1 0 907404713 63746048 12650 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15563 12650 1111 63 0 15500 0
vsize: 62252
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 12943 0 0 0 66985 25 0 0 25 0 1 0 907404713 64499712 12863 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15747 12863 1111 63 0 15684 0
vsize: 62988
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 13158 0 0 0 67984 26 0 0 25 0 1 0 907404713 65400832 13078 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15967 13078 1111 63 0 15904 0
vsize: 63868
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 13380 0 0 0 68984 27 0 0 25 0 1 0 907404713 66306048 13300 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16188 13300 1111 63 0 16125 0
vsize: 64752
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 13607 0 0 0 69984 27 0 0 25 0 1 0 907404713 67207168 13527 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16408 13527 1111 63 0 16345 0
vsize: 65632
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 13830 0 0 0 70983 27 0 0 25 0 1 0 907404713 68112384 13750 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16629 13750 1111 63 0 16566 0
vsize: 66516
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 14057 0 0 0 71983 28 0 0 25 0 1 0 907404713 69160960 13977 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16885 13977 1111 63 0 16822 0
vsize: 67540
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 14287 0 0 0 72983 28 0 0 25 0 1 0 907404713 70066176 14207 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17106 14207 1111 63 0 17043 0
vsize: 68424
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 14515 0 0 0 73982 29 0 0 25 0 1 0 907404713 70967296 14435 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17326 14435 1111 63 0 17263 0
vsize: 69304
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 14745 0 0 0 74982 29 0 0 25 0 1 0 907404713 71872512 14665 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17547 14665 1111 63 0 17484 0
vsize: 70188
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 14973 0 0 0 75982 30 0 0 25 0 1 0 907404713 72773632 14893 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 14893 1111 63 0 17704 0
vsize: 71068
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 15208 0 0 0 76981 30 0 0 25 0 1 0 907404713 73797632 15128 4294967295 134512640 134716908 3221224560 3221223068 1077227168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18017 15128 1111 63 0 17954 0
vsize: 72068
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 15444 0 0 0 77981 31 0 0 25 0 1 0 907404713 74698752 15364 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18237 15364 1111 63 0 18174 0
vsize: 72948
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 15680 0 0 0 78981 31 0 0 25 0 1 0 907404713 75755520 15600 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18495 15600 1111 63 0 18432 0
vsize: 73980
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 15916 0 0 0 79980 32 0 0 25 0 1 0 907404713 76656640 15836 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18715 15836 1111 63 0 18652 0
vsize: 74860
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 16152 0 0 0 80980 33 0 0 25 0 1 0 907404713 77709312 16072 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18972 16072 1111 63 0 18909 0
vsize: 75888
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 16401 0 0 0 81980 33 0 0 25 0 1 0 907404713 78610432 16321 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19192 16321 1111 63 0 19129 0
vsize: 76768
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 16652 0 0 0 82979 34 0 0 25 0 1 0 907404713 79667200 16572 4294967295 134512640 134716908 3221224560 3221222628 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 16572 1111 63 0 19387 0
vsize: 77800
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 16936 0 0 0 83979 34 0 0 25 0 1 0 907404713 81059840 16856 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19790 16856 1111 63 0 19727 0
vsize: 79160
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 17194 0 0 0 84978 35 0 0 25 0 1 0 907404713 82104320 17114 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20045 17114 1111 63 0 19982 0
vsize: 80180
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 17452 0 0 0 85978 35 0 0 25 0 1 0 907404713 83156992 17372 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20302 17372 1111 63 0 20239 0
vsize: 81208
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 17711 0 0 0 86978 36 0 0 25 0 1 0 907404713 84209664 17631 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20559 17631 1111 63 0 20496 0
vsize: 82236
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 17975 0 0 0 87978 36 0 0 25 0 1 0 907404713 85413888 17895 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20853 17895 1111 63 0 20790 0
vsize: 83412
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 18243 0 0 0 88977 37 0 0 25 0 1 0 907404713 86470656 18163 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21111 18163 1111 63 0 21048 0
vsize: 84444
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 18514 0 0 0 89977 37 0 0 25 0 1 0 907404713 87523328 18434 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21368 18434 1111 63 0 21305 0
vsize: 85472
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 18781 0 0 0 90977 38 0 0 25 0 1 0 907404713 88576000 18701 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21625 18701 1111 63 0 21562 0
vsize: 86500
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 19060 0 0 0 91976 38 0 0 25 0 1 0 907404713 89776128 18980 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21918 18980 1111 63 0 21855 0
vsize: 87672
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 19349 0 0 0 92976 39 0 0 25 0 1 0 907404713 90951680 19269 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22205 19269 1111 63 0 22142 0
vsize: 88820
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 19651 0 0 0 93975 40 0 0 25 0 1 0 907404713 92160000 19571 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22500 19571 1111 63 0 22437 0
vsize: 90000
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 19953 0 0 0 94975 40 0 0 25 0 1 0 907404713 93360128 19873 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22793 19873 1111 63 0 22730 0
vsize: 91172
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 20271 0 0 0 95975 41 0 0 25 0 1 0 907404713 94715904 20191 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23124 20191 1111 63 0 23061 0
vsize: 92496
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 20588 0 0 0 96974 41 0 0 25 0 1 0 907404713 96067584 20508 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23454 20508 1111 63 0 23391 0
vsize: 93816
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 20906 0 0 0 97974 41 0 0 25 0 1 0 907404713 97271808 20826 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23748 20826 1111 63 0 23685 0
vsize: 94992
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 21238 0 0 0 98974 42 0 0 25 0 1 0 907404713 98627584 21158 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24079 21158 1111 63 0 24016 0
vsize: 96316
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 21570 0 0 0 99974 42 0 0 25 0 1 0 907404713 99979264 21490 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24409 21490 1111 63 0 24346 0
vsize: 97636
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 21922 0 0 0 100974 43 0 0 25 0 1 0 907404713 101486592 21842 4294967295 134512640 134716908 3221224560 3221223216 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24777 21842 1111 63 0 24714 0
vsize: 99108
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 22292 0 0 0 101973 44 0 0 25 0 1 0 907404713 102993920 22212 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25145 22212 1111 63 0 25082 0
vsize: 100580
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 22676 0 0 0 102972 45 0 0 25 0 1 0 907404713 104497152 22596 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25512 22596 1111 63 0 25449 0
vsize: 102048
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 23058 0 0 0 103971 46 0 0 25 0 1 0 907404713 106151936 22978 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25916 22978 1111 63 0 25853 0
vsize: 103664
[startup+1050.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 23456 0 0 0 104971 47 0 0 25 0 1 0 907404713 107659264 23376 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26284 23376 1111 63 0 26221 0
vsize: 105136
[startup+1060.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 23863 0 0 0 105970 47 0 0 25 0 1 0 907404713 109314048 23783 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26688 23783 1111 63 0 26625 0
vsize: 106752
[startup+1070.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 24284 0 0 0 106970 48 0 0 25 0 1 0 907404713 111120384 24204 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27129 24204 1111 63 0 27066 0
vsize: 108516
[startup+1080.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 24712 0 0 0 107969 49 0 0 25 0 1 0 907404713 112775168 24632 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27533 24632 1111 63 0 27470 0
vsize: 110132
[startup+1090.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 25142 0 0 0 108968 50 0 0 25 0 1 0 907404713 114581504 25062 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27974 25062 1111 63 0 27911 0
vsize: 111896
[startup+1100.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 25583 0 0 0 109967 51 0 0 25 0 1 0 907404713 116387840 25503 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28415 25503 1111 63 0 28352 0
vsize: 113660
[startup+1110.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 26033 0 0 0 110966 52 0 0 25 0 1 0 907404713 118194176 25953 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28856 25953 1111 63 0 28793 0
vsize: 115424
[startup+1120.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 26490 0 0 0 111966 52 0 0 25 0 1 0 907404713 120152064 26410 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29334 26410 1111 63 0 29271 0
vsize: 117336
[startup+1130.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 26954 0 0 0 112966 53 0 0 25 0 1 0 907404713 121925632 26874 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29767 26874 1111 63 0 29704 0
vsize: 119068
[startup+1140.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 27426 0 0 0 113965 54 0 0 25 0 1 0 907404713 123883520 27346 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30245 27346 1111 63 0 30182 0
vsize: 120980
[startup+1150.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 27912 0 0 0 114964 55 0 0 25 0 1 0 907404713 125837312 27832 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30722 27832 1111 63 0 30659 0
vsize: 122888
[startup+1160.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 28400 0 0 0 115963 56 0 0 25 0 1 0 907404713 127942656 28320 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31236 28320 1111 63 0 31173 0
vsize: 124944
[startup+1170.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 28902 0 0 0 116962 57 0 0 25 0 1 0 907404713 129900544 28822 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31714 28822 1111 63 0 31651 0
vsize: 126856
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 29411 0 0 0 117960 59 0 0 25 0 1 0 907404713 132009984 29331 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32229 29331 1111 63 0 32166 0
vsize: 128916
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 29935 0 0 0 118960 60 0 0 25 0 1 0 907404713 134115328 29855 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32743 29855 1111 63 0 32680 0
vsize: 130972
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) R 27947 7266 7265 0 -1 0 30475 0 0 0 119959 61 0 0 25 0 1 0 907404713 136376320 30395 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33295 30395 1111 63 0 33232 0
vsize: 133180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 27948
Raw data (stat): 27948 (bsolo_lpr_cuts-) Z 27947 7266 7265 0 -1 1036 30475 0 0 0 119959 66 0 0 25 0 1 0 907404713 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.08
CPU time (s): 1200.27
CPU user time (s): 1199.6
CPU system time (s): 0.667898
CPU usage (%): 100.016
Max. virtual memory (Kb): 133180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####