PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb
MD5SUM	9acbf5c4d628ba2ce39f0b2ebe624ef2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	64629117
Optimality of the best value was proved	NO
Number of terms in the objective function	37200
Biggest coefficient in the objective function	41943040
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	30639361500
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	41943040
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	30639361500
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.14
Number of variables	49600
Total number of constraints	1480
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	1480
Minimum length of a constraint	60
Maximum length of a constraint	620
Trace number 41411

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 11:46:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29473 boxname=wulflinc6 idbench=1257 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9acbf5c4d628ba2ce39f0b2ebe624ef2  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sctap3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sctap3.opb
IDLAUNCH: 29473
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        421644 kB
Buffers:         27284 kB
Cached:         563928 kB
SwapCached:        932 kB
Active:          37148 kB
Inactive:       556124 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        421392 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14072 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:05:43 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 29473 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 49600 variables and 2028 constraints.
c After prepocess the problem consists of 27280 variables and 2433 constraints.
c preprocess terminated 348.106 s
c Initial Lower Bound: 182272
c Lower Bound Elapsed time: 10.9405
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.92 0.90 1/54 11835
Raw data (stat): 11835 (runsolver) R 11834 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910021755 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99975 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 1329 0 0 0 994 3 0 0 25 0 1 0 910021755 17895424 1249 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 1249 1111 63 0 4306 0
vsize: 17476
[startup+19.9999 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 2014 0 0 0 1993 5 0 0 25 0 1 0 910021755 20729856 1934 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5061 1934 1111 63 0 4998 0
vsize: 20244
[startup+29.9994 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 2710 0 0 0 2991 6 0 0 25 0 1 0 910021755 23552000 2630 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5750 2630 1111 63 0 5687 0
vsize: 23000
[startup+39.9992 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 3406 0 0 0 3991 7 0 0 25 0 1 0 910021755 26374144 3326 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6439 3326 1111 63 0 6376 0
vsize: 25756
[startup+49.9993 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 4131 0 0 0 4990 9 0 0 25 0 1 0 910021755 29356032 4051 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7167 4051 1111 63 0 7104 0
vsize: 28668
[startup+59.9988 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 4851 0 0 0 5989 10 0 0 25 0 1 0 910021755 32325632 4771 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7892 4771 1111 63 0 7829 0
vsize: 31568
[startup+69.9986 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 5582 0 0 0 6988 12 0 0 25 0 1 0 910021755 35287040 5502 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 5502 1111 63 0 8552 0
vsize: 34460
[startup+79.9988 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 6346 0 0 0 7986 13 0 0 25 0 1 0 910021755 38408192 6266 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9377 6266 1111 63 0 9314 0
vsize: 37508
[startup+89.9985 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 7113 0 0 0 8985 14 0 0 25 0 1 0 910021755 41656320 7033 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 7033 1111 63 0 10107 0
vsize: 40680
[startup+99.9982 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 7873 0 0 0 9984 15 0 0 25 0 1 0 910021755 44761088 7793 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10928 7793 1111 63 0 10865 0
vsize: 43712
[startup+109.998 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 8662 0 0 0 10982 18 0 0 25 0 1 0 910021755 47869952 8582 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11687 8582 1111 63 0 11624 0
vsize: 46748
[startup+119.999 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 9464 0 0 0 11980 19 0 0 25 0 1 0 910021755 51257344 9384 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12514 9384 1111 63 0 12451 0
vsize: 50056
[startup+129.999 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 10278 0 0 0 12978 22 0 0 25 0 1 0 910021755 54501376 10198 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13306 10198 1111 63 0 13243 0
vsize: 53224
[startup+139.998 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 11176 0 0 0 13976 24 0 0 25 0 1 0 910021755 58175488 11096 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14203 11096 1111 63 0 14140 0
vsize: 56812
[startup+149.998 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 12149 0 0 0 14974 26 0 0 25 0 1 0 910021755 62349312 12069 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15222 12069 1111 63 0 15159 0
vsize: 60888
[startup+159.998 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 13137 0 0 0 15972 29 0 0 25 0 1 0 910021755 66301952 13057 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16187 13057 1111 63 0 16124 0
vsize: 64748
[startup+169.997 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 14187 0 0 0 16970 31 0 0 25 0 1 0 910021755 70676480 14107 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17255 14107 1111 63 0 17192 0
vsize: 69020
[startup+179.997 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 15245 0 0 0 17968 33 0 0 25 0 1 0 910021755 74915840 15165 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18290 15165 1111 63 0 18227 0
vsize: 73160
[startup+189.997 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 16351 0 0 0 18967 35 0 0 25 0 1 0 910021755 79437824 16271 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19394 16271 1111 63 0 19331 0
vsize: 77576
[startup+199.996 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 17533 0 0 0 19964 37 0 0 25 0 1 0 910021755 84238336 17453 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20566 17453 1111 63 0 20503 0
vsize: 82264
[startup+209.995 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 18751 0 0 0 20961 41 0 0 25 0 1 0 910021755 89317376 18671 4294967295 134512640 134716908 3221224560 3221223216 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21806 18671 1111 63 0 21743 0
vsize: 87224
[startup+219.995 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 20029 0 0 0 21958 44 0 0 25 0 1 0 910021755 94539776 19949 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23081 19949 1111 63 0 23018 0
vsize: 92324
[startup+229.994 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 21344 0 0 0 22956 47 0 0 25 0 1 0 910021755 99909632 21264 4294967295 134512640 134716908 3221224560 3221223216 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24392 21264 1111 63 0 24329 0
vsize: 97568
[startup+239.994 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 22723 0 0 0 23953 49 0 0 25 0 1 0 910021755 105553920 22643 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25770 22643 1111 63 0 25707 0
vsize: 103080
[startup+249.993 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 24181 0 0 0 24951 52 0 0 25 0 1 0 910021755 111730688 24101 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27278 24101 1111 63 0 27215 0
vsize: 109112
[startup+259.994 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 25675 0 0 0 25948 55 0 0 25 0 1 0 910021755 117800960 25595 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28760 25595 1111 63 0 28697 0
vsize: 115040
[startup+269.993 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 28563 0 0 0 26942 61 0 0 25 0 1 0 910021755 128983040 28335 4294967295 134512640 134716908 3221224560 3221221180 1077244613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31490 28335 1111 63 0 31427 0
vsize: 125960
[startup+279.993 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 38554 0 0 0 27921 83 0 0 25 0 1 0 910021755 169885696 38326 4294967295 134512640 134716908 3221224560 3221223184 134524573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41476 38326 1111 63 0 41413 0
vsize: 165904
[startup+289.993 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 106925 0 0 0 28776 228 0 0 25 0 1 0 910021755 184467456 43885 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45036 43885 1111 63 0 44973 0
vsize: 180144
[startup+299.993 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 106934 0 0 0 29776 228 0 0 25 0 1 0 910021755 184606720 43894 4294967295 134512640 134716908 3221224560 3221223232 134627247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45070 43894 1111 63 0 45007 0
vsize: 180280
[startup+309.992 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 106944 0 0 0 30776 228 0 0 25 0 1 0 910021755 184606720 43904 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45070 43904 1111 63 0 45007 0
vsize: 180280
[startup+319.991 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 106955 0 0 0 31776 229 0 0 25 0 1 0 910021755 184606720 43915 4294967295 134512640 134716908 3221224560 3221223220 134627154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45070 43915 1111 63 0 45007 0
vsize: 180280
[startup+329.992 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 106965 0 0 0 32776 229 0 0 25 0 1 0 910021755 184741888 43925 4294967295 134512640 134716908 3221224560 3221223212 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45103 43925 1111 63 0 45040 0
vsize: 180412
[startup+339.992 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 106977 0 0 0 33776 229 0 0 25 0 1 0 910021755 184741888 43937 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45103 43937 1111 63 0 45040 0
vsize: 180412
[startup+349.991 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 137995 0 0 0 34714 291 0 0 25 0 1 0 910021755 194400256 46146 4294967295 134512640 134716908 3221224560 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47461 46146 1111 63 0 47398 0
vsize: 189844
[startup+359.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 263969 0 0 0 35438 567 0 0 25 0 1 0 910021755 194838528 46265 4294967295 134512640 134716908 3221224560 3221222520 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47568 46265 1111 63 0 47505 0
vsize: 190272
[startup+369.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 340061 0 0 0 36256 749 0 0 25 0 1 0 910021755 195661824 46494 4294967295 134512640 134716908 3221224560 3221222128 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47769 46494 1111 63 0 47706 0
vsize: 191076
[startup+379.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 364408 0 0 0 37201 805 0 0 25 0 1 0 910021755 211132416 49993 4294967295 134512640 134716908 3221224560 3221221568 1074139130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51546 49993 1111 63 0 51483 0
vsize: 206184
[startup+389.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 386532 0 0 0 38151 855 0 0 25 0 1 0 910021755 212963328 50186 4294967295 134512640 134716908 3221224560 3221221504 1075971283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51993 50186 1111 63 0 51930 0
vsize: 207972
[startup+399.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389118 0 0 0 39143 863 0 0 25 0 1 0 910021755 203182080 48476 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48476 1111 63 0 49542 0
vsize: 198420
[startup+409.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389118 0 0 0 40143 863 0 0 25 0 1 0 910021755 203182080 48476 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48476 1111 63 0 49542 0
vsize: 198420
[startup+419.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389118 0 0 0 41142 864 0 0 25 0 1 0 910021755 203182080 48476 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48476 1111 63 0 49542 0
vsize: 198420
[startup+429.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389120 0 0 0 42142 864 0 0 25 0 1 0 910021755 203182080 48478 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48478 1111 63 0 49542 0
vsize: 198420
[startup+439.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389120 0 0 0 43142 865 0 0 25 0 1 0 910021755 203182080 48478 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48478 1111 63 0 49542 0
vsize: 198420
[startup+449.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389120 0 0 0 44142 865 0 0 25 0 1 0 910021755 203182080 48478 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48478 1111 63 0 49542 0
vsize: 198420
[startup+459.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389122 0 0 0 45142 866 0 0 25 0 1 0 910021755 203182080 48480 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48480 1111 63 0 49542 0
vsize: 198420
[startup+469.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389122 0 0 0 46142 866 0 0 25 0 1 0 910021755 203182080 48480 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48480 1111 63 0 49542 0
vsize: 198420
[startup+479.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389122 0 0 0 47142 866 0 0 25 0 1 0 910021755 203182080 48480 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48480 1111 63 0 49542 0
vsize: 198420
[startup+489.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389124 0 0 0 48142 867 0 0 25 0 1 0 910021755 203182080 48482 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48482 1111 63 0 49542 0
vsize: 198420
[startup+499.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389124 0 0 0 49142 867 0 0 25 0 1 0 910021755 203182080 48482 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48482 1111 63 0 49542 0
vsize: 198420
[startup+509.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389126 0 0 0 50142 867 0 0 25 0 1 0 910021755 203182080 48484 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48484 1111 63 0 49542 0
vsize: 198420
[startup+519.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389126 0 0 0 51142 867 0 0 25 0 1 0 910021755 203182080 48484 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48484 1111 63 0 49542 0
vsize: 198420
[startup+529.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389126 0 0 0 52142 867 0 0 25 0 1 0 910021755 203182080 48484 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48484 1111 63 0 49542 0
vsize: 198420
[startup+539.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389128 0 0 0 53143 867 0 0 25 0 1 0 910021755 203182080 48486 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48486 1111 63 0 49542 0
vsize: 198420
[startup+549.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389128 0 0 0 54143 867 0 0 25 0 1 0 910021755 203182080 48486 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48486 1111 63 0 49542 0
vsize: 198420
[startup+559.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389130 0 0 0 55143 867 0 0 25 0 1 0 910021755 203182080 48488 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48488 1111 63 0 49542 0
vsize: 198420
[startup+569.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389130 0 0 0 56144 867 0 0 25 0 1 0 910021755 203182080 48488 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48488 1111 63 0 49542 0
vsize: 198420
[startup+579.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389132 0 0 0 57144 868 0 0 25 0 1 0 910021755 203182080 48490 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48490 1111 63 0 49542 0
vsize: 198420
[startup+589.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389133 0 0 0 58144 868 0 0 25 0 1 0 910021755 203182080 48491 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48491 1111 63 0 49542 0
vsize: 198420
[startup+599.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389133 0 0 0 59144 868 0 0 25 0 1 0 910021755 203182080 48491 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48491 1111 63 0 49542 0
vsize: 198420
[startup+609.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389133 0 0 0 60144 868 0 0 25 0 1 0 910021755 203182080 48491 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48491 1111 63 0 49542 0
vsize: 198420
[startup+619.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389133 0 0 0 61144 868 0 0 25 0 1 0 910021755 203182080 48491 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48491 1111 63 0 49542 0
vsize: 198420
[startup+629.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389133 0 0 0 62145 868 0 0 25 0 1 0 910021755 203182080 48491 4294967295 134512640 134716908 3221224560 3221223348 134597610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48491 1111 63 0 49542 0
vsize: 198420
[startup+639.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389133 0 0 0 63145 868 0 0 25 0 1 0 910021755 203182080 48491 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48491 1111 63 0 49542 0
vsize: 198420
[startup+649.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389133 0 0 0 64145 869 0 0 25 0 1 0 910021755 203182080 48491 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48491 1111 63 0 49542 0
vsize: 198420
[startup+659.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389133 0 0 0 65145 869 0 0 25 0 1 0 910021755 203182080 48491 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48491 1111 63 0 49542 0
vsize: 198420
[startup+669.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 66145 869 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+679.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 67145 869 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223344 134597614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+689.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 68145 869 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+699.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 69145 870 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+709.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 70146 870 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+719.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 71146 870 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+729.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 72146 870 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+739.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 73146 870 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+749.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 74146 870 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+759.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 75146 871 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+769.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 76146 871 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+779.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 77147 871 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+789.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 78147 871 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+799.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 79147 871 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+809.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 80148 871 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+819.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 81148 871 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+829.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11835
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 82148 872 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+839.989 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 11888
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 83145 875 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+849.989 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 11888
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 84145 876 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+859.99 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 11888
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 85144 876 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+869.99 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 11888
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 86145 876 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+879.99 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 11888
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 87144 877 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+889.99 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 11888
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 88144 877 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+899.99 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 11888
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 89144 878 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+909.99 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 90144 878 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+919.991 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 91144 879 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+929.991 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 92144 879 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+939.991 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 93144 879 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+949.991 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 94144 880 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+959.991 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 95144 880 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+969.991 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 96144 880 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+979.992 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 97145 880 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+989.992 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 98145 880 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+999.992 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 99145 880 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1009.99 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 100145 881 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1019.99 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 101146 881 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1029.99 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 102146 881 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1039.99 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 103146 881 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1049.99 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 104146 881 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1059.99 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 105146 881 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1069.99 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 106147 881 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1079.99 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 107147 881 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1089.99 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 108147 882 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1099.99 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 109147 882 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1109.99 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 110148 882 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1119.99 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 111148 882 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1129.99 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 112148 882 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223328 134597631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1139.99 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11890
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 113148 882 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1149.99 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11892
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 114148 882 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1159.99 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11892
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 115149 882 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1169.99 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11892
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 116149 882 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 198420
[startup+1174.79 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 11892
Raw data (stat): 11835 (bsolo_lpr_cuts-) R 11834 25568 25567 0 -1 0 389135 0 0 0 116149 882 0 0 25 0 1 0 910021755 203182080 48493 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49605 48493 1111 63 0 49542 0
vsize: 0

Child status: 0
Real time (s): 1174.79
CPU time (s): 1175.11
CPU user time (s): 1166.19
CPU system time (s): 8.91764
CPU usage (%): 100.028
Max. virtual memory (Kb): 207972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####