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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb
MD5SUM9565d6b3010c78b37c39352cc9731cb7
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2147483647
Optimality of the best value was proved NO
Number of terms in the objective function 15085
Biggest coefficient in the objective function 504328818
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 2067304124713
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 504328818
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 2067304124713
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.4348
Number of variables15085
Total number of constraints16520
Number of constraints which are clauses181
Number of constraints which are cardinality constraints (but not clauses)15927
Number of constraints which are nor clauses,nor cardinality constraints412
Minimum length of a constraint1
Maximum length of a constraint4222

Trace number 41718 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 20:37:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29775 boxname=wulflinc1 idbench=1559 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sp98ar.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sp98ar.opb
IDLAUNCH: 29775
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        881524 kB
Buffers:          7140 kB
Cached:         122244 kB
SwapCached:       1108 kB
Active:          34184 kB
Inactive:        97412 kB
HighTotal:      131008 kB
HighFree:         5992 kB
LowTotal:       903652 kB
LowFree:        875532 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5220 kB
Slab:            15692 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:57:42 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 29775 7 1200.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 15085 variables and 1430 constraints.
c After prepocess the problem consists of 15076 variables and 1368 constraints.
c preprocess terminated 659.13 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 41.998
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -731903499 @ 795.49
c NEW SOLUTION FOUND: -858230471 @ 795.503
c NEW SOLUTION FOUND: -2147483648 @ 795.652
#### 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): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (runsolver) R 9975 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 856355327 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.0009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 18674 0 0 0 958 39 0 0 25 0 1 0 856355327 89395200 18594 4294967295 134512640 134716908 3221224560 3221222912 134567408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21825 18594 1111 63 0 21762 0
vsize: 87300
[startup+20.0021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 37120 0 0 0 1925 73 0 0 25 0 1 0 856355327 164921344 37040 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40264 37040 1111 63 0 40201 0
vsize: 161056
[startup+30.0013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 55163 0 0 0 2895 103 0 0 25 0 1 0 856355327 238821376 55083 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58306 55083 1111 63 0 58243 0
vsize: 233224
[startup+40.0021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 74423 0 0 0 3864 134 0 0 25 0 1 0 856355327 317652992 74343 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77552 74343 1111 63 0 77489 0
vsize: 310208
[startup+50.0019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 92234 0 0 0 4832 166 0 0 25 0 1 0 856355327 390664192 92154 4294967295 134512640 134716908 3221224560 3221222852 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95377 92154 1111 63 0 95314 0
vsize: 381508
[startup+60.0028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 93251 0 0 0 5830 168 0 0 25 0 1 0 856355327 394784768 93171 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96383 93171 1111 63 0 96320 0
vsize: 385532
[startup+70.0026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 93851 0 0 0 6829 169 0 0 25 0 1 0 856355327 397430784 93769 4294967295 134512640 134716908 3221224560 3221222836 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97029 93769 1111 63 0 96966 0
vsize: 388116
[startup+80.0028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 94572 0 0 0 7826 171 0 0 25 0 1 0 856355327 400424960 94490 4294967295 134512640 134716908 3221224560 3221222864 134566768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97760 94490 1111 63 0 97697 0
vsize: 391040
[startup+90.0031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 95352 0 0 0 8824 173 0 0 25 0 1 0 856355327 403685376 95270 4294967295 134512640 134716908 3221224560 3221222864 134566752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98556 95270 1111 63 0 98493 0
vsize: 394224
[startup+100.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 96252 0 0 0 9822 175 0 0 25 0 1 0 856355327 407363584 96170 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99454 96170 1111 63 0 99391 0
vsize: 397816
[startup+110.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 97118 0 0 0 10819 177 0 0 25 0 1 0 856355327 411033600 97036 4294967295 134512640 134716908 3221224560 3221221180 1077253715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100350 97036 1111 63 0 100287 0
vsize: 401400
[startup+120.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 97950 0 0 0 11817 180 0 0 25 0 1 0 856355327 414453760 97868 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101185 97868 1111 63 0 101122 0
vsize: 404740
[startup+130.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 98758 0 0 0 12814 182 0 0 25 0 1 0 856355327 417714176 98676 4294967295 134512640 134716908 3221224560 3221222844 1077399556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101981 98676 1111 63 0 101918 0
vsize: 407924
[startup+140.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 99665 0 0 0 13812 185 0 0 25 0 1 0 856355327 421523456 99583 4294967295 134512640 134716908 3221224560 3221221180 1077253625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102911 99583 1111 63 0 102848 0
vsize: 411644
[startup+150.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101388 0 0 0 14808 189 0 0 25 0 1 0 856355327 419033088 101224 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102303 101224 1111 63 0 102240 0
vsize: 409212
[startup+160.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101443 0 0 0 15808 189 0 0 25 0 1 0 856355327 419168256 101279 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102336 101279 1111 63 0 102273 0
vsize: 409344
[startup+170.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101493 0 0 0 16808 189 0 0 25 0 1 0 856355327 419438592 101329 4294967295 134512640 134716908 3221224560 3221223040 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102402 101329 1111 63 0 102339 0
vsize: 409608
[startup+180.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101548 0 0 0 17807 190 0 0 25 0 1 0 856355327 419573760 101384 4294967295 134512640 134716908 3221224560 3221223040 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102435 101384 1111 63 0 102372 0
vsize: 409740
[startup+190.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101632 0 0 0 18808 190 0 0 25 0 1 0 856355327 419979264 101468 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102534 101468 1111 63 0 102471 0
vsize: 410136
[startup+200.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101712 0 0 0 19808 190 0 0 25 0 1 0 856355327 420249600 101548 4294967295 134512640 134716908 3221224560 3221223024 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102600 101548 1111 63 0 102537 0
vsize: 410400
[startup+210.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101772 0 0 0 20807 190 0 0 25 0 1 0 856355327 420519936 101608 4294967295 134512640 134716908 3221224560 3221223040 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102666 101608 1111 63 0 102603 0
vsize: 410664
[startup+220.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101821 0 0 0 21808 190 0 0 25 0 1 0 856355327 420790272 101657 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102732 101657 1111 63 0 102669 0
vsize: 410928
[startup+230.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101889 0 0 0 22808 191 0 0 25 0 1 0 856355327 421060608 101725 4294967295 134512640 134716908 3221224560 3221223296 134630826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102798 101725 1111 63 0 102735 0
vsize: 411192
[startup+240.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101939 0 0 0 23808 191 0 0 25 0 1 0 856355327 421195776 101775 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102831 101775 1111 63 0 102768 0
vsize: 411324
[startup+250.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 101991 0 0 0 24808 191 0 0 25 0 1 0 856355327 421466112 101827 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102897 101827 1111 63 0 102834 0
vsize: 411588
[startup+260.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102064 0 0 0 25808 191 0 0 25 0 1 0 856355327 421736448 101900 4294967295 134512640 134716908 3221224560 3221223024 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102963 101900 1111 63 0 102900 0
vsize: 411852
[startup+270.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102127 0 0 0 26808 191 0 0 25 0 1 0 856355327 422006784 101963 4294967295 134512640 134716908 3221224560 3221223088 134542845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103029 101963 1111 63 0 102966 0
vsize: 412116
[startup+280.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102191 0 0 0 27807 192 0 0 25 0 1 0 856355327 422277120 102027 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103095 102027 1111 63 0 103032 0
vsize: 412380
[startup+290.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102244 0 0 0 28807 192 0 0 25 0 1 0 856355327 422416384 102080 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103129 102080 1111 63 0 103066 0
vsize: 412516
[startup+300.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102307 0 0 0 29807 192 0 0 25 0 1 0 856355327 422686720 102143 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103195 102143 1111 63 0 103132 0
vsize: 412780
[startup+310.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102356 0 0 0 30807 193 0 0 25 0 1 0 856355327 422957056 102192 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103261 102192 1111 63 0 103198 0
vsize: 413044
[startup+320.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102424 0 0 0 31807 193 0 0 25 0 1 0 856355327 423227392 102260 4294967295 134512640 134716908 3221224560 3221223292 134675317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103327 102260 1111 63 0 103264 0
vsize: 413308
[startup+330.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102470 0 0 0 32807 193 0 0 25 0 1 0 856355327 423362560 102306 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103360 102306 1111 63 0 103297 0
vsize: 413440
[startup+340.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102534 0 0 0 33807 194 0 0 25 0 1 0 856355327 423632896 102370 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103426 102370 1111 63 0 103363 0
vsize: 413704
[startup+350.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102583 0 0 0 34807 194 0 0 25 0 1 0 856355327 423903232 102419 4294967295 134512640 134716908 3221224560 3221223296 134630829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103492 102419 1111 63 0 103429 0
vsize: 413968
[startup+360.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102631 0 0 0 35807 194 0 0 25 0 1 0 856355327 424038400 102467 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103525 102467 1111 63 0 103462 0
vsize: 414100
[startup+370.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102703 0 0 0 36807 195 0 0 25 0 1 0 856355327 424308736 102539 4294967295 134512640 134716908 3221224560 3221223024 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103591 102539 1111 63 0 103528 0
vsize: 414364
[startup+380.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102762 0 0 0 37807 195 0 0 25 0 1 0 856355327 424579072 102598 4294967295 134512640 134716908 3221224560 3221223288 134675301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103657 102598 1111 63 0 103594 0
vsize: 414628
[startup+390.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102821 0 0 0 38807 195 0 0 25 0 1 0 856355327 424849408 102657 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103723 102657 1111 63 0 103660 0
vsize: 414892
[startup+400.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102880 0 0 0 39807 195 0 0 25 0 1 0 856355327 425119744 102716 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103789 102716 1111 63 0 103726 0
vsize: 415156
[startup+410.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102940 0 0 0 40807 195 0 0 25 0 1 0 856355327 425390080 102776 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103855 102776 1111 63 0 103792 0
vsize: 415420
[startup+420.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 102990 0 0 0 41807 195 0 0 25 0 1 0 856355327 425525248 102826 4294967295 134512640 134716908 3221224560 3221223288 134675312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103888 102826 1111 63 0 103825 0
vsize: 415552
[startup+430.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103052 0 0 0 42807 195 0 0 25 0 1 0 856355327 425795584 102888 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103954 102888 1111 63 0 103891 0
vsize: 415816
[startup+440.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103123 0 0 0 43807 196 0 0 25 0 1 0 856355327 426070016 102959 4294967295 134512640 134716908 3221224560 3221223024 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104021 102959 1111 63 0 103958 0
vsize: 416084
[startup+450.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103180 0 0 0 44807 196 0 0 25 0 1 0 856355327 426340352 103016 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104087 103016 1111 63 0 104024 0
vsize: 416348
[startup+460.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103253 0 0 0 45807 196 0 0 25 0 1 0 856355327 426610688 103089 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104153 103089 1111 63 0 104090 0
vsize: 416612
[startup+470.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103354 0 0 0 46807 196 0 0 25 0 1 0 856355327 427016192 103190 4294967295 134512640 134716908 3221224560 3221223040 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104252 103190 1111 63 0 104189 0
vsize: 417008
[startup+480.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103468 0 0 0 47807 196 0 0 25 0 1 0 856355327 427421696 103304 4294967295 134512640 134716908 3221224560 3221222972 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104351 103304 1111 63 0 104288 0
vsize: 417404
[startup+490.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103542 0 0 0 48807 197 0 0 25 0 1 0 856355327 427827200 103378 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104450 103378 1111 63 0 104387 0
vsize: 417800
[startup+500.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103595 0 0 0 49807 197 0 0 25 0 1 0 856355327 427962368 103431 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104483 103431 1111 63 0 104420 0
vsize: 417932
[startup+510.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103640 0 0 0 50807 197 0 0 25 0 1 0 856355327 428097536 103476 4294967295 134512640 134716908 3221224560 3221223292 134675288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104516 103476 1111 63 0 104453 0
vsize: 418064
[startup+520.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103694 0 0 0 51807 197 0 0 25 0 1 0 856355327 428367872 103530 4294967295 134512640 134716908 3221224560 3221223004 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104582 103530 1111 63 0 104519 0
vsize: 418328
[startup+530.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103743 0 0 0 52807 197 0 0 25 0 1 0 856355327 428638208 103579 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104648 103579 1111 63 0 104585 0
vsize: 418592
[startup+540.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103793 0 0 0 53807 198 0 0 25 0 1 0 856355327 428773376 103629 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104681 103629 1111 63 0 104618 0
vsize: 418724
[startup+550.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103844 0 0 0 54806 198 0 0 25 0 1 0 856355327 429043712 103680 4294967295 134512640 134716908 3221224560 3221223004 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104747 103680 1111 63 0 104684 0
vsize: 418988
[startup+560.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103926 0 0 0 55806 198 0 0 25 0 1 0 856355327 429314048 103762 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104813 103762 1111 63 0 104750 0
vsize: 419252
[startup+570.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 103992 0 0 0 56806 199 0 0 25 0 1 0 856355327 429584384 103828 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104879 103828 1111 63 0 104816 0
vsize: 419516
[startup+580.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 104070 0 0 0 57806 199 0 0 25 0 1 0 856355327 429854720 103906 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104945 103906 1111 63 0 104882 0
vsize: 419780
[startup+590.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 104131 0 0 0 58806 199 0 0 25 0 1 0 856355327 430125056 103967 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105011 103967 1111 63 0 104948 0
vsize: 420044
[startup+600.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 104253 0 0 0 59806 199 0 0 25 0 1 0 856355327 430665728 104089 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104089 1111 63 0 105080 0
vsize: 420572
[startup+610.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 104255 0 0 0 60806 199 0 0 25 0 1 0 856355327 430665728 104091 4294967295 134512640 134716908 3221224560 3221223212 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104091 1111 63 0 105080 0
vsize: 420572
[startup+620.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 104257 0 0 0 61807 199 0 0 25 0 1 0 856355327 430665728 104093 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104093 1111 63 0 105080 0
vsize: 420572
[startup+630.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 104260 0 0 0 62807 199 0 0 25 0 1 0 856355327 430665728 104096 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104096 1111 63 0 105080 0
vsize: 420572
[startup+640.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 104263 0 0 0 63807 199 0 0 25 0 1 0 856355327 430665728 104099 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104099 1111 63 0 105080 0
vsize: 420572
[startup+650.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 104269 0 0 0 64807 199 0 0 25 0 1 0 856355327 430665728 104105 4294967295 134512640 134716908 3221224560 3221223212 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104105 1111 63 0 105080 0
vsize: 420572
[startup+660.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 105429 0 0 0 65805 202 0 0 25 0 1 0 856355327 435458048 105240 4294967295 134512640 134716908 3221224560 3221207168 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106313 105240 1111 63 0 106250 0
vsize: 425252
[startup+670.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 106093 0 0 0 66802 204 0 0 25 0 1 0 856355327 438157312 105904 4294967295 134512640 134716908 3221224560 3221221072 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106972 105904 1111 63 0 106909 0
vsize: 427888
[startup+680.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 106152 0 0 0 67801 205 0 0 25 0 1 0 856355327 438394880 105963 4294967295 134512640 134716908 3221224560 3221222624 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107030 105963 1111 63 0 106967 0
vsize: 428120
[startup+690.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 106187 0 0 0 68801 205 0 0 25 0 1 0 856355327 438534144 105998 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107064 105998 1111 63 0 107001 0
vsize: 428256
[startup+700.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 112935 0 0 0 69787 220 0 0 25 0 1 0 856355327 450138112 108814 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109897 108814 1111 63 0 109834 0
vsize: 439588
[startup+710.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 112942 0 0 0 70787 220 0 0 25 0 1 0 856355327 450138112 108821 4294967295 134512640 134716908 3221224560 3221220800 1075113425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109897 108821 1111 63 0 109834 0
vsize: 439588
[startup+720.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 118511 0 0 0 71774 233 0 0 25 0 1 0 856355327 439992320 106513 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107420 106513 1111 63 0 107357 0
vsize: 429680
[startup+730.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 119456 0 0 0 72772 234 0 0 25 0 1 0 856355327 440717312 106690 4294967295 134512640 134716908 3221224560 3221222616 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107597 106690 1111 63 0 107534 0
vsize: 430388
[startup+740.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 126475 0 0 0 73756 251 0 0 25 0 1 0 856355327 451723264 109213 4294967295 134512640 134716908 3221224560 3221220624 1075091819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110284 109213 1111 63 0 110221 0
vsize: 441136
[startup+750.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 128861 0 0 0 74751 257 0 0 25 0 1 0 856355327 446423040 108026 4294967295 134512640 134716908 3221224560 3221222208 1075646796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108990 108026 1111 63 0 108927 0
vsize: 435960
[startup+760.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 131670 0 0 0 75745 263 0 0 25 0 1 0 856355327 441626624 106880 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107819 106880 1111 63 0 107756 0
vsize: 431276
[startup+770.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 131670 0 0 0 76745 263 0 0 25 0 1 0 856355327 441626624 106880 4294967295 134512640 134716908 3221224560 3221222976 134646320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107819 106880 1111 63 0 107756 0
vsize: 431276
[startup+780.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 138031 0 0 0 77732 276 0 0 25 0 1 0 856355327 451981312 109301 4294967295 134512640 134716908 3221224560 3221220536 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110347 109301 1111 63 0 110284 0
vsize: 441388
[startup+790.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 143156 0 0 0 78719 288 0 0 25 0 1 0 856355327 441372672 106850 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107757 106850 1111 63 0 107694 0
vsize: 431028
[startup+800.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 156589 0 0 0 79690 318 0 0 25 0 1 0 856355327 436510720 105664 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+810.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 178725 0 0 0 80640 368 0 0 25 0 1 0 856355327 436510720 105664 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+820.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 196804 0 0 0 81599 409 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222304 1075640218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+830.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 213045 0 0 0 82565 443 0 0 25 0 1 0 856355327 436510720 105542 4294967295 134512640 134716908 3221224560 3221222560 1074056617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105549 1111 63 0 106507 0
vsize: 426280
[startup+840.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 225739 0 0 0 83539 470 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+850.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 237005 0 0 0 84515 494 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+860.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 248007 0 0 0 85491 519 0 0 25 0 1 0 856355327 436510720 105664 4294967295 134512640 134716908 3221224560 3221222672 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+870.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 258421 0 0 0 86467 542 0 0 25 0 1 0 856355327 436772864 105725 4294967295 134512640 134716908 3221224560 3221222912 1074115509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106634 105725 1111 63 0 106571 0
vsize: 426536
[startup+880.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 268229 0 0 0 87446 563 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222760 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+890.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 277309 0 0 0 88425 584 0 0 25 0 1 0 856355327 436510720 105664 4294967295 134512640 134716908 3221224560 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+900.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 285630 0 0 0 89408 602 0 0 25 0 1 0 856355327 436510720 105664 4294967295 134512640 134716908 3221224560 3221222444 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+910.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 293601 0 0 0 90391 619 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222848 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+920.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 301740 0 0 0 91374 637 0 0 25 0 1 0 856355327 436510720 105664 4294967295 134512640 134716908 3221224560 3221222752 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+930.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 309344 0 0 0 92355 655 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222816 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+940.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 316780 0 0 0 93338 673 0 0 25 0 1 0 856355327 436510720 105664 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+950.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 323562 0 0 0 94322 689 0 0 25 0 1 0 856355327 436535296 105669 4294967295 134512640 134716908 3221224560 3221222252 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105669 1111 63 0 106513 0
vsize: 426304
[startup+960.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 330348 0 0 0 95307 704 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222656 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+970.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 336804 0 0 0 96293 719 0 0 25 0 1 0 856355327 436535296 105670 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+980.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 343355 0 0 0 97278 733 0 0 25 0 1 0 856355327 437547008 105736 4294967295 134512640 134716908 3221224560 3221222288 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106823 105736 1111 63 0 106760 0
vsize: 427292
[startup+990.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 349787 0 0 0 98265 747 0 0 25 0 1 0 856355327 436535296 105670 4294967295 134512640 134716908 3221224560 3221222848 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 356399 0 0 0 99249 762 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 362516 0 0 0 100236 776 0 0 25 0 1 0 856355327 436535296 105670 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 368814 0 0 0 101222 790 0 0 25 0 1 0 856355327 436535296 105670 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 375181 0 0 0 102207 805 0 0 25 0 1 0 856355327 436535296 105670 4294967295 134512640 134716908 3221224560 3221222280 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 381514 0 0 0 103193 820 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222696 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 387870 0 0 0 104179 834 0 0 25 0 1 0 856355327 436510720 105664 4294967295 134512640 134716908 3221224560 3221222944 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 393744 0 0 0 105166 847 0 0 25 0 1 0 856355327 437694464 105740 4294967295 134512640 134716908 3221224560 3221222288 1075828928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106859 105740 1111 63 0 106796 0
vsize: 427436
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 400096 0 0 0 106153 860 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 406265 0 0 0 107139 874 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222608 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 412128 0 0 0 108126 887 0 0 25 0 1 0 856355327 436826112 105709 4294967295 134512640 134716908 3221224560 3221222840 1074138327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106647 105709 1111 63 0 106584 0
vsize: 426588
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 418316 0 0 0 109112 902 0 0 25 0 1 0 856355327 436535296 105670 4294967295 134512640 134716908 3221224560 3221222720 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 424599 0 0 0 110098 916 0 0 25 0 1 0 856355327 436535296 105664 4294967295 134512640 134716908 3221224560 3221222856 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 430333 0 0 0 111086 928 0 0 25 0 1 0 856355327 436535296 105670 4294967295 134512640 134716908 3221224560 3221222776 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 436198 0 0 0 112073 941 0 0 25 0 1 0 856355327 436727808 105703 4294967295 134512640 134716908 3221224560 3221223024 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106623 105703 1111 63 0 106560 0
vsize: 426492
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 442248 0 0 0 113060 954 0 0 25 0 1 0 856355327 437231616 105819 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106746 105819 1111 63 0 106683 0
vsize: 426984
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 447810 0 0 0 114047 967 0 0 25 0 1 0 856355327 436944896 105738 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106676 105741 1111 63 0 106613 0
vsize: 426704
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 453415 0 0 0 115034 981 0 0 25 0 1 0 856355327 436559872 105676 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106582 105676 1111 63 0 106519 0
vsize: 426328
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 459098 0 0 0 116020 995 0 0 25 0 1 0 856355327 436535296 105670 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 464687 0 0 0 117007 1008 0 0 25 0 1 0 856355327 436510720 105664 4294967295 134512640 134716908 3221224560 3221222608 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 469552 0 0 0 117997 1018 0 0 25 0 1 0 856355327 436535296 105670 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) R 9975 8378 8377 0 -1 0 474792 0 0 0 118987 1029 0 0 25 0 1 0 856355327 437813248 105774 4294967295 134512640 134716908 3221224560 3221221544 1074831385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106888 105774 1111 63 0 106825 0
vsize: 427552
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 9976
Raw data (stat): 9976 (bsolo_lpr_cuts-) Z 9975 8378 8377 0 -1 1036 474792 0 0 0 118987 1048 0 0 25 0 1 0 856355327 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.22
CPU time (s): 1200.36
CPU user time (s): 1189.87
CPU system time (s): 10.4854
CPU usage (%): 100.011
Max. virtual memory (Kb): 441388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####