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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb
MD5SUM	0f3e1a19529370afcd1348994ae2c757
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	6480
Biggest coefficient in the objective function	5242880000
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	755791986840
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	5242880000
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	755791986840
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1246.02
Number of variables	11280
Total number of constraints	1307
Number of constraints which are clauses	11
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1296
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 41697

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 20:02:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29750 boxname=wulflinc5 idbench=1534 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  0f3e1a19529370afcd1348994ae2c757  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bg512142.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bg512142.opb
IDLAUNCH: 29750
/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:        889408 kB
Buffers:          9044 kB
Cached:         114912 kB
SwapCached:        620 kB
Active:          27428 kB
Inactive:        98516 kB
HighTotal:      131008 kB
HighFree:        16156 kB
LowTotal:       903652 kB
LowFree:        873252 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13620 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:22:24 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 29750 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 11280 variables and 1185 constraints.
c After prepocess the problem consists of 10593 variables and 1312 constraints.
c preprocess terminated 61.32 s
c Initial Lower Bound: 18478601
c Lower Bound Elapsed time: 28.461
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.98 0.91 2/54 6342
Raw data (stat): 6342 (runsolver) R 6341 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913003200 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 8085 0 0 0 979 18 0 0 25 0 1 0 913003200 46108672 8005 4294967295 134512640 134716908 3221224560 3221221180 1077244613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11257 8005 1111 63 0 11194 0
vsize: 45028
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 12806 0 0 0 1967 30 0 0 25 0 1 0 913003200 55455744 12636 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13539 12636 1111 63 0 13476 0
vsize: 54156
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 12876 0 0 0 2967 30 0 0 25 0 1 0 913003200 55726080 12702 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13605 12702 1111 63 0 13542 0
vsize: 54420
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 12876 0 0 0 3966 31 0 0 25 0 1 0 913003200 55726080 12702 4294967295 134512640 134716908 3221224560 3221223360 134617618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13605 12702 1111 63 0 13542 0
vsize: 54420
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 12876 0 0 0 4966 31 0 0 25 0 1 0 913003200 55726080 12702 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13605 12702 1111 63 0 13542 0
vsize: 54420
[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 12876 0 0 0 5965 31 0 0 25 0 1 0 913003200 55726080 12702 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13605 12702 1111 63 0 13542 0
vsize: 54420
[startup+70.0052 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 14956 0 0 0 6960 37 0 0 25 0 1 0 913003200 60878848 14018 4294967295 134512640 134716908 3221224560 3221220428 1074788201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14863 14018 1111 63 0 14800 0
vsize: 59452
[startup+80.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 15003 0 0 0 7960 37 0 0 25 0 1 0 913003200 60964864 14043 4294967295 134512640 134716908 3221224560 3221220404 1074786571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14884 14043 1111 63 0 14821 0
vsize: 59536
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 15047 0 0 0 8960 38 0 0 25 0 1 0 913003200 60964864 14067 4294967295 134512640 134716908 3221224560 3221220320 1074868672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14884 14067 1111 63 0 14821 0
vsize: 59536
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 16038 0 0 0 9957 41 0 0 25 0 1 0 913003200 59703296 13761 4294967295 134512640 134716908 3221224560 3221221384 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14576 13761 1111 63 0 14513 0
vsize: 58304
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 16038 0 0 0 10957 41 0 0 25 0 1 0 913003200 59703296 13761 4294967295 134512640 134716908 3221224560 3221220496 1074790292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14576 13761 1111 63 0 14513 0
vsize: 58304
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 19850 0 0 0 11950 48 0 0 25 0 1 0 913003200 62218240 14410 4294967295 134512640 134716908 3221224560 3221222512 1074140575 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15190 14412 1111 63 0 15127 0
vsize: 60760
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 21492 0 0 0 12947 51 0 0 25 0 1 0 913003200 64786432 14967 4294967295 134512640 134716908 3221224560 3221220448 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15817 14967 1111 63 0 15754 0
vsize: 63268
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 25498 0 0 0 13938 60 0 0 25 0 1 0 913003200 66416640 15360 4294967295 134512640 134716908 3221224560 3221220448 1074875133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16215 15360 1111 63 0 16152 0
vsize: 64860
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 25512 0 0 0 14938 60 0 0 25 0 1 0 913003200 66441216 15374 4294967295 134512640 134716908 3221224560 3221220448 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16221 15374 1111 63 0 16158 0
vsize: 64884
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 25516 0 0 0 15938 60 0 0 25 0 1 0 913003200 66441216 15378 4294967295 134512640 134716908 3221224560 3221220448 1074875045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16221 15378 1111 63 0 16158 0
vsize: 64884
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6342
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 25516 0 0 0 16938 60 0 0 25 0 1 0 913003200 66441216 15378 4294967295 134512640 134716908 3221224560 3221220448 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16221 15378 1111 63 0 16158 0
vsize: 64884
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27088 0 0 0 17935 63 0 0 25 0 1 0 913003200 62164992 14431 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15177 14431 1111 63 0 15114 0
vsize: 60708
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27090 0 0 0 18935 63 0 0 25 0 1 0 913003200 62164992 14433 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15177 14433 1111 63 0 15114 0
vsize: 60708
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27093 0 0 0 19935 64 0 0 25 0 1 0 913003200 62164992 14436 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15177 14436 1111 63 0 15114 0
vsize: 60708
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27093 0 0 0 20935 64 0 0 25 0 1 0 913003200 62164992 14436 4294967295 134512640 134716908 3221224560 3221223324 134592356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15177 14436 1111 63 0 15114 0
vsize: 60708
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27093 0 0 0 21935 64 0 0 25 0 1 0 913003200 62164992 14436 4294967295 134512640 134716908 3221224560 3221223360 134597597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15177 14436 1111 63 0 15114 0
vsize: 60708
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27099 0 0 0 22935 65 0 0 25 0 1 0 913003200 62300160 14442 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15210 14442 1111 63 0 15147 0
vsize: 60840
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27138 0 0 0 23935 65 0 0 25 0 1 0 913003200 62435328 14481 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15243 14481 1111 63 0 15180 0
vsize: 60972
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27178 0 0 0 24935 65 0 0 25 0 1 0 913003200 62570496 14521 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15276 14521 1111 63 0 15213 0
vsize: 61104
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27218 0 0 0 25934 66 0 0 25 0 1 0 913003200 62705664 14561 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15309 14561 1111 63 0 15246 0
vsize: 61236
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27266 0 0 0 26934 67 0 0 25 0 1 0 913003200 62976000 14609 4294967295 134512640 134716908 3221224560 3221223312 134592438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15375 14609 1111 63 0 15312 0
vsize: 61500
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27296 0 0 0 27933 67 0 0 25 0 1 0 913003200 63111168 14639 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15408 14639 1111 63 0 15345 0
vsize: 61632
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27327 0 0 0 28933 67 0 0 25 0 1 0 913003200 63246336 14670 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15441 14670 1111 63 0 15378 0
vsize: 61764
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27392 0 0 0 29933 68 0 0 25 0 1 0 913003200 63516672 14735 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15507 14735 1111 63 0 15444 0
vsize: 62028
[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27453 0 0 0 30932 69 0 0 25 0 1 0 913003200 63651840 14796 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15540 14796 1111 63 0 15477 0
vsize: 62160
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27503 0 0 0 31932 69 0 0 25 0 1 0 913003200 63922176 14846 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15606 14846 1111 63 0 15543 0
vsize: 62424
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27546 0 0 0 32931 70 0 0 25 0 1 0 913003200 64057344 14889 4294967295 134512640 134716908 3221224560 3221223304 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15639 14889 1111 63 0 15576 0
vsize: 62556
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27588 0 0 0 33931 71 0 0 25 0 1 0 913003200 64192512 14931 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15672 14931 1111 63 0 15609 0
vsize: 62688
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27637 0 0 0 34930 71 0 0 25 0 1 0 913003200 64462848 14980 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14980 1111 63 0 15675 0
vsize: 62952
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27666 0 0 0 35930 72 0 0 25 0 1 0 913003200 64598016 15009 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15771 15009 1111 63 0 15708 0
vsize: 63084
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27693 0 0 0 36930 72 0 0 25 0 1 0 913003200 64733184 15036 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15804 15036 1111 63 0 15741 0
vsize: 63216
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27709 0 0 0 37930 73 0 0 25 0 1 0 913003200 64733184 15052 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15804 15052 1111 63 0 15741 0
vsize: 63216
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27720 0 0 0 38929 73 0 0 25 0 1 0 913003200 64733184 15063 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15804 15063 1111 63 0 15741 0
vsize: 63216
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27732 0 0 0 39930 73 0 0 25 0 1 0 913003200 64868352 15075 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15837 15075 1111 63 0 15774 0
vsize: 63348
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27735 0 0 0 40929 74 0 0 25 0 1 0 913003200 64868352 15078 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15837 15078 1111 63 0 15774 0
vsize: 63348
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27746 0 0 0 41929 74 0 0 25 0 1 0 913003200 64868352 15089 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15837 15089 1111 63 0 15774 0
vsize: 63348
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27750 0 0 0 42928 75 0 0 25 0 1 0 913003200 64868352 15093 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15837 15093 1111 63 0 15774 0
vsize: 63348
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27758 0 0 0 43929 76 0 0 25 0 1 0 913003200 65003520 15101 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15870 15101 1111 63 0 15807 0
vsize: 63480
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27767 0 0 0 44929 76 0 0 25 0 1 0 913003200 65003520 15110 4294967295 134512640 134716908 3221224560 3221223184 134542325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15870 15110 1111 63 0 15807 0
vsize: 63480
[startup+460.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27783 0 0 0 45929 76 0 0 25 0 1 0 913003200 65003520 15126 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15870 15126 1111 63 0 15807 0
vsize: 63480
[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27787 0 0 0 46928 76 0 0 25 0 1 0 913003200 65138688 15130 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15903 15130 1111 63 0 15840 0
vsize: 63612
[startup+480.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27792 0 0 0 47928 77 0 0 25 0 1 0 913003200 65138688 15135 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15903 15135 1111 63 0 15840 0
vsize: 63612
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27800 0 0 0 48928 77 0 0 25 0 1 0 913003200 65138688 15143 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15903 15143 1111 63 0 15840 0
vsize: 63612
[startup+500.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27805 0 0 0 49928 77 0 0 25 0 1 0 913003200 65138688 15148 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15903 15148 1111 63 0 15840 0
vsize: 63612
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27825 0 0 0 50928 78 0 0 25 0 1 0 913003200 65273856 15168 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15936 15168 1111 63 0 15873 0
vsize: 63744
[startup+520.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27857 0 0 0 51928 78 0 0 25 0 1 0 913003200 65409024 15200 4294967295 134512640 134716908 3221224560 3221223360 134597743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15969 15200 1111 63 0 15906 0
vsize: 63876
[startup+530.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27898 0 0 0 52927 79 0 0 25 0 1 0 913003200 65544192 15241 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16002 15241 1111 63 0 15939 0
vsize: 64008
[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27931 0 0 0 53927 79 0 0 25 0 1 0 913003200 65679360 15274 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16035 15274 1111 63 0 15972 0
vsize: 64140
[startup+550.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27948 0 0 0 54927 79 0 0 25 0 1 0 913003200 65679360 15291 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16035 15291 1111 63 0 15972 0
vsize: 64140
[startup+560.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28123 0 0 0 55926 80 0 0 25 0 1 0 913003200 66490368 15466 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16233 15466 1111 63 0 16170 0
vsize: 64932
[startup+570.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28416 0 0 0 56925 82 0 0 25 0 1 0 913003200 67706880 15759 4294967295 134512640 134716908 3221224560 3221223360 134597698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16530 15759 1111 63 0 16467 0
vsize: 66120
[startup+580.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 57925 82 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16563 15815 1111 63 0 16500 0
vsize: 66252
[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 58925 82 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16563 15815 1111 63 0 16500 0
vsize: 66252
[startup+600.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 59925 83 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16563 15815 1111 63 0 16500 0
vsize: 66252
[startup+610.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 60925 83 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16563 15815 1111 63 0 16500 0
vsize: 66252
[startup+620.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 61925 83 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16563 15815 1111 63 0 16500 0
vsize: 66252
[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 62925 83 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16563 15815 1111 63 0 16500 0
vsize: 66252
[startup+640.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28482 0 0 0 63925 83 0 0 25 0 1 0 913003200 67977216 15825 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15825 1111 63 0 16533 0
vsize: 66384
[startup+650.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28488 0 0 0 64925 83 0 0 25 0 1 0 913003200 67977216 15831 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15831 1111 63 0 16533 0
vsize: 66384
[startup+660.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28488 0 0 0 65925 84 0 0 25 0 1 0 913003200 67977216 15831 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15831 1111 63 0 16533 0
vsize: 66384
[startup+670.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28492 0 0 0 66925 84 0 0 25 0 1 0 913003200 67977216 15835 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15835 1111 63 0 16533 0
vsize: 66384
[startup+680.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28493 0 0 0 67925 84 0 0 25 0 1 0 913003200 67977216 15836 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15836 1111 63 0 16533 0
vsize: 66384
[startup+690.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28499 0 0 0 68925 84 0 0 25 0 1 0 913003200 67977216 15842 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15842 1111 63 0 16533 0
vsize: 66384
[startup+700.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 69925 84 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15846 1111 63 0 16533 0
vsize: 66384
[startup+710.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 70925 84 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15846 1111 63 0 16533 0
vsize: 66384
[startup+720.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 71925 85 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15846 1111 63 0 16533 0
vsize: 66384
[startup+730.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 72925 85 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15846 1111 63 0 16533 0
vsize: 66384
[startup+740.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 73925 85 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15846 1111 63 0 16533 0
vsize: 66384
[startup+750.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 74925 85 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15846 1111 63 0 16533 0
vsize: 66384
[startup+760.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28504 0 0 0 75925 86 0 0 25 0 1 0 913003200 67977216 15847 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16596 15847 1111 63 0 16533 0
vsize: 66384
[startup+770.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28692 0 0 0 76924 87 0 0 25 0 1 0 913003200 68788224 16035 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16794 16035 1111 63 0 16731 0
vsize: 67176
[startup+780.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28928 0 0 0 77923 88 0 0 25 0 1 0 913003200 69734400 16271 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 16271 1111 63 0 16962 0
vsize: 68100
[startup+790.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28928 0 0 0 78923 88 0 0 25 0 1 0 913003200 69734400 16271 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 16271 1111 63 0 16962 0
vsize: 68100
[startup+800.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28929 0 0 0 79923 88 0 0 25 0 1 0 913003200 69734400 16272 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 16272 1111 63 0 16962 0
vsize: 68100
[startup+810.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 80923 89 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223360 134597698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16357 1111 63 0 17061 0
vsize: 68496
[startup+820.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 81923 89 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16357 1111 63 0 17061 0
vsize: 68496
[startup+830.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 82923 89 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16357 1111 63 0 17061 0
vsize: 68496
[startup+840.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 83923 89 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16357 1111 63 0 17061 0
vsize: 68496
[startup+850.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 84923 89 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16357 1111 63 0 17061 0
vsize: 68496
[startup+860.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 85923 90 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223360 134597754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16357 1111 63 0 17061 0
vsize: 68496
[startup+870.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 86923 90 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16357 1111 63 0 17061 0
vsize: 68496
[startup+880.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 87923 90 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16357 1111 63 0 17061 0
vsize: 68496
[startup+890.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 88923 90 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16357 1111 63 0 17061 0
vsize: 68496
[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29023 0 0 0 89923 90 0 0 25 0 1 0 913003200 70139904 16366 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16366 1111 63 0 17061 0
vsize: 68496
[startup+910.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29025 0 0 0 90923 90 0 0 25 0 1 0 913003200 70139904 16368 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16368 1111 63 0 17061 0
vsize: 68496
[startup+920.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29026 0 0 0 91923 90 0 0 25 0 1 0 913003200 70139904 16369 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16369 1111 63 0 17061 0
vsize: 68496
[startup+930.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29026 0 0 0 92922 91 0 0 25 0 1 0 913003200 70139904 16369 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16369 1111 63 0 17061 0
vsize: 68496
[startup+940.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29026 0 0 0 93922 92 0 0 25 0 1 0 913003200 70139904 16369 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16369 1111 63 0 17061 0
vsize: 68496
[startup+950.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29027 0 0 0 94922 92 0 0 25 0 1 0 913003200 70139904 16370 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16370 1111 63 0 17061 0
vsize: 68496
[startup+960.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29027 0 0 0 95922 92 0 0 25 0 1 0 913003200 70139904 16370 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16370 1111 63 0 17061 0
vsize: 68496
[startup+970.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29027 0 0 0 96922 92 0 0 25 0 1 0 913003200 70139904 16370 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16370 1111 63 0 17061 0
vsize: 68496
[startup+980.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29027 0 0 0 97922 92 0 0 25 0 1 0 913003200 70139904 16370 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16370 1111 63 0 17061 0
vsize: 68496
[startup+990.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 98922 92 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16372 1111 63 0 17061 0
vsize: 68496
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 99922 93 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16372 1111 63 0 17061 0
vsize: 68496
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 100922 93 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16372 1111 63 0 17061 0
vsize: 68496
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 101922 93 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16372 1111 63 0 17061 0
vsize: 68496
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 102922 94 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16372 1111 63 0 17061 0
vsize: 68496
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 103921 94 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16372 1111 63 0 17061 0
vsize: 68496
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 104921 94 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16372 1111 63 0 17061 0
vsize: 68496
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 105921 95 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 106921 95 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223272 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 107921 95 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 108921 95 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 109920 96 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 110920 96 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 111920 97 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 112921 97 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 113920 97 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223360 134597730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 114921 97 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 115920 98 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 116920 98 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 68496
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 6344
Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 116920 98 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16373 1111 63 0 17061 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.05
CPU user time (s): 1174.03
CPU system time (s): 1.01684
CPU usage (%): 100.013
Max. virtual memory (Kb): 68496
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####