PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb
MD5SUM	9565d6b3010c78b37c39352cc9731cb7
Bench Category	optimization, medium integers (OPTMEDINT)
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	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 numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	13.9929
Number of variables	15085
Total number of constraints	16520
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15927
Number of constraints which are nor clauses,nor cardinality constraints	412
Minimum length of a constraint	1
Maximum length of a constraint	4222
Trace number 41352

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 10:39:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29390 boxname=wulflinc1 idbench=1174 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sp98ar.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sp98ar.opb
IDLAUNCH: 29390
/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:        679360 kB
Buffers:         22952 kB
Cached:         307816 kB
SwapCached:       1140 kB
Active:          33552 kB
Inactive:       299380 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        679108 kB
SwapTotal:     2097136 kB
SwapFree:      2094820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16600 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:59:05 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 29390 7 1200.35 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 657.865 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 41.4167
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -731903499 @ 792.422
c NEW SOLUTION FOUND: -858230471 @ 792.435
c NEW SOLUTION FOUND: -2147483648 @ 792.581
#### 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.85 0.94 0.90 1/55 3623
Raw data (stat): 3623 (runsolver) R 3622 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852763116 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.88 0.94 0.90 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 13123 0 0 0 973 25 0 0 25 0 1 0 852763116 66555904 13043 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16249 13043 1111 63 0 16186 0
vsize: 64996
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 29103 0 0 0 1944 53 0 0 25 0 1 0 852763116 132071424 29023 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32244 29023 1111 63 0 32181 0
vsize: 128976
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 46628 0 0 0 2913 85 0 0 25 0 1 0 852763116 203886592 46548 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49777 46548 1111 63 0 49714 0
vsize: 199108
[startup+40.0017 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 65204 0 0 0 3881 117 0 0 25 0 1 0 852763116 280031232 65124 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68367 65124 1111 63 0 68304 0
vsize: 273468
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 83503 0 0 0 4849 149 0 0 25 0 1 0 852763116 354832384 83423 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86629 83423 1111 63 0 86566 0
vsize: 346516
[startup+60.0023 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 92819 0 0 0 5833 165 0 0 25 0 1 0 852763116 393015296 92739 4294967295 134512640 134716908 3221224560 3221222844 1077399560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95951 92739 1111 63 0 95888 0
vsize: 383804
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 93573 0 0 0 6831 167 0 0 25 0 1 0 852763116 396161024 93493 4294967295 134512640 134716908 3221224560 3221222836 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96719 93493 1111 63 0 96656 0
vsize: 386876
[startup+80.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 94243 0 0 0 7830 168 0 0 25 0 1 0 852763116 399052800 94161 4294967295 134512640 134716908 3221224560 3221223216 134568997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97425 94161 1111 63 0 97362 0
vsize: 389700
[startup+90.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 95007 0 0 0 8827 171 0 0 25 0 1 0 852763116 402190336 94925 4294967295 134512640 134716908 3221224560 3221222836 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98191 94925 1111 63 0 98128 0
vsize: 392764
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 95815 0 0 0 9826 172 0 0 25 0 1 0 852763116 405590016 95733 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99021 95733 1111 63 0 98958 0
vsize: 396084
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 96704 0 0 0 10824 175 0 0 25 0 1 0 852763116 409272320 96622 4294967295 134512640 134716908 3221224560 3221222836 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99920 96622 1111 63 0 99857 0
vsize: 399680
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 97583 0 0 0 11822 177 0 0 25 0 1 0 852763116 412958720 97501 4294967295 134512640 134716908 3221224560 3221222836 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100820 97501 1111 63 0 100757 0
vsize: 403280
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 98410 0 0 0 12820 178 0 0 25 0 1 0 852763116 416358400 98328 4294967295 134512640 134716908 3221224560 3221222844 1077399564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101650 98328 1111 63 0 101587 0
vsize: 406600
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 99232 0 0 0 13819 180 0 0 25 0 1 0 852763116 419762176 99150 4294967295 134512640 134716908 3221224560 3221222836 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102481 99150 1111 63 0 102418 0
vsize: 409924
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 100004 0 0 0 14817 182 0 0 25 0 1 0 852763116 423022592 99922 4294967295 134512640 134716908 3221224560 3221223056 134539123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103277 99922 1111 63 0 103214 0
vsize: 413108
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 101425 0 0 0 15813 186 0 0 25 0 1 0 852763116 419168256 101261 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102336 101261 1111 63 0 102273 0
vsize: 409344
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 101478 0 0 0 16813 186 0 0 25 0 1 0 852763116 419303424 101314 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102369 101314 1111 63 0 102306 0
vsize: 409476
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 101528 0 0 0 17812 187 0 0 25 0 1 0 852763116 419573760 101364 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102435 101364 1111 63 0 102372 0
vsize: 409740
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 101593 0 0 0 18812 187 0 0 25 0 1 0 852763116 419844096 101429 4294967295 134512640 134716908 3221224560 3221223288 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102501 101429 1111 63 0 102438 0
vsize: 410004
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 101687 0 0 0 19812 188 0 0 25 0 1 0 852763116 420249600 101523 4294967295 134512640 134716908 3221224560 3221223028 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102600 101523 1111 63 0 102537 0
vsize: 410400
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 101753 0 0 0 20812 188 0 0 25 0 1 0 852763116 420519936 101589 4294967295 134512640 134716908 3221224560 3221223028 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102666 101589 1111 63 0 102603 0
vsize: 410664
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 101805 0 0 0 21811 188 0 0 25 0 1 0 852763116 420655104 101641 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102699 101641 1111 63 0 102636 0
vsize: 410796
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 101865 0 0 0 22811 188 0 0 25 0 1 0 852763116 420925440 101701 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102765 101701 1111 63 0 102702 0
vsize: 411060
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 101924 0 0 0 23811 189 0 0 25 0 1 0 852763116 421195776 101760 4294967295 134512640 134716908 3221224560 3221223004 134536754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102831 101760 1111 63 0 102768 0
vsize: 411324
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 101970 0 0 0 24811 189 0 0 25 0 1 0 852763116 421330944 101806 4294967295 134512640 134716908 3221224560 3221223004 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102864 101806 1111 63 0 102801 0
vsize: 411456
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102045 0 0 0 25810 190 0 0 25 0 1 0 852763116 421601280 101881 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102930 101881 1111 63 0 102867 0
vsize: 411720
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102109 0 0 0 26810 190 0 0 25 0 1 0 852763116 421871616 101945 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102996 101945 1111 63 0 102933 0
vsize: 411984
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102173 0 0 0 27810 191 0 0 25 0 1 0 852763116 422141952 102009 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103062 102009 1111 63 0 102999 0
vsize: 412248
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102232 0 0 0 28810 191 0 0 25 0 1 0 852763116 422416384 102068 4294967295 134512640 134716908 3221224560 3221223004 134536811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103129 102068 1111 63 0 103066 0
vsize: 412516
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102298 0 0 0 29810 191 0 0 25 0 1 0 852763116 422686720 102134 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103195 102134 1111 63 0 103132 0
vsize: 412780
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102341 0 0 0 30809 192 0 0 25 0 1 0 852763116 422821888 102177 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103228 102177 1111 63 0 103165 0
vsize: 412912
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102412 0 0 0 31809 192 0 0 25 0 1 0 852763116 423227392 102248 4294967295 134512640 134716908 3221224560 3221223004 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103327 102248 1111 63 0 103264 0
vsize: 413308
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102462 0 0 0 32809 192 0 0 25 0 1 0 852763116 423362560 102298 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103360 102298 1111 63 0 103297 0
vsize: 413440
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102523 0 0 0 33809 193 0 0 25 0 1 0 852763116 423632896 102359 4294967295 134512640 134716908 3221224560 3221223028 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103426 102359 1111 63 0 103363 0
vsize: 413704
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102572 0 0 0 34808 193 0 0 25 0 1 0 852763116 423768064 102408 4294967295 134512640 134716908 3221224560 3221223292 134675317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103459 102408 1111 63 0 103396 0
vsize: 413836
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102623 0 0 0 35808 193 0 0 25 0 1 0 852763116 424038400 102459 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103525 102459 1111 63 0 103462 0
vsize: 414100
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102691 0 0 0 36808 194 0 0 25 0 1 0 852763116 424308736 102527 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103591 102527 1111 63 0 103528 0
vsize: 414364
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102754 0 0 0 37807 194 0 0 25 0 1 0 852763116 424579072 102590 4294967295 134512640 134716908 3221224560 3221223004 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103657 102590 1111 63 0 103594 0
vsize: 414628
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102810 0 0 0 38807 195 0 0 25 0 1 0 852763116 424849408 102646 4294967295 134512640 134716908 3221224560 3221223004 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103723 102646 1111 63 0 103660 0
vsize: 414892
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102876 0 0 0 39806 196 0 0 25 0 1 0 852763116 425119744 102712 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103789 102712 1111 63 0 103726 0
vsize: 415156
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102931 0 0 0 40806 196 0 0 25 0 1 0 852763116 425254912 102767 4294967295 134512640 134716908 3221224560 3221223004 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103822 102767 1111 63 0 103759 0
vsize: 415288
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 102984 0 0 0 41805 197 0 0 25 0 1 0 852763116 425525248 102820 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103888 102820 1111 63 0 103825 0
vsize: 415552
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103045 0 0 0 42805 197 0 0 25 0 1 0 852763116 425795584 102881 4294967295 134512640 134716908 3221224560 3221223024 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103954 102881 1111 63 0 103891 0
vsize: 415816
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103119 0 0 0 43805 198 0 0 25 0 1 0 852763116 426070016 102955 4294967295 134512640 134716908 3221224560 3221223004 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104021 102955 1111 63 0 103958 0
vsize: 416084
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103178 0 0 0 44805 198 0 0 25 0 1 0 852763116 426340352 103014 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104087 103014 1111 63 0 104024 0
vsize: 416348
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103249 0 0 0 45804 198 0 0 25 0 1 0 852763116 426610688 103085 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104153 103085 1111 63 0 104090 0
vsize: 416612
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103350 0 0 0 46804 199 0 0 25 0 1 0 852763116 427016192 103186 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104252 103186 1111 63 0 104189 0
vsize: 417008
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103467 0 0 0 47803 200 0 0 25 0 1 0 852763116 427421696 103303 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104351 103303 1111 63 0 104288 0
vsize: 417404
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103542 0 0 0 48803 200 0 0 25 0 1 0 852763116 427827200 103378 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104450 103378 1111 63 0 104387 0
vsize: 417800
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103595 0 0 0 49803 201 0 0 25 0 1 0 852763116 427962368 103431 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104483 103431 1111 63 0 104420 0
vsize: 417932
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103640 0 0 0 50802 201 0 0 25 0 1 0 852763116 428097536 103476 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104516 103476 1111 63 0 104453 0
vsize: 418064
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103694 0 0 0 51802 201 0 0 25 0 1 0 852763116 428367872 103530 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104582 103530 1111 63 0 104519 0
vsize: 418328
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103747 0 0 0 52802 202 0 0 25 0 1 0 852763116 428638208 103583 4294967295 134512640 134716908 3221224560 3221223136 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104648 103583 1111 63 0 104585 0
vsize: 418592
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103796 0 0 0 53802 202 0 0 25 0 1 0 852763116 428773376 103632 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104681 103632 1111 63 0 104618 0
vsize: 418724
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103850 0 0 0 54802 202 0 0 25 0 1 0 852763116 429043712 103686 4294967295 134512640 134716908 3221224560 3221223004 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104747 103686 1111 63 0 104684 0
vsize: 418988
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 103934 0 0 0 55801 203 0 0 25 0 1 0 852763116 429314048 103770 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104813 103770 1111 63 0 104750 0
vsize: 419252
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 104001 0 0 0 56801 203 0 0 25 0 1 0 852763116 429584384 103837 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104879 103837 1111 63 0 104816 0
vsize: 419516
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 104071 0 0 0 57801 203 0 0 25 0 1 0 852763116 429854720 103907 4294967295 134512640 134716908 3221224560 3221223020 134536852 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104945 103907 1111 63 0 104882 0
vsize: 419780
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 104136 0 0 0 58801 204 0 0 25 0 1 0 852763116 430125056 103972 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105011 103972 1111 63 0 104948 0
vsize: 420044
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 104253 0 0 0 59801 204 0 0 25 0 1 0 852763116 430665728 104089 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105143 104089 1111 63 0 105080 0
vsize: 420572
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 104255 0 0 0 60800 204 0 0 25 0 1 0 852763116 430665728 104091 4294967295 134512640 134716908 3221224560 3221223208 134558617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105143 104091 1111 63 0 105080 0
vsize: 420572
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 104259 0 0 0 61801 204 0 0 25 0 1 0 852763116 430665728 104095 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105143 104095 1111 63 0 105080 0
vsize: 420572
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 104261 0 0 0 62801 205 0 0 25 0 1 0 852763116 430665728 104097 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105143 104097 1111 63 0 105080 0
vsize: 420572
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 104263 0 0 0 63801 205 0 0 25 0 1 0 852763116 430665728 104099 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105143 104099 1111 63 0 105080 0
vsize: 420572
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 104270 0 0 0 64801 205 0 0 25 0 1 0 852763116 430665728 104106 4294967295 134512640 134716908 3221224560 3221223212 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105143 104106 1111 63 0 105080 0
vsize: 420572
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 105735 0 0 0 65796 209 0 0 25 0 1 0 852763116 436690944 105546 4294967295 134512640 134716908 3221224560 3221197360 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106614 105546 1111 63 0 106551 0
vsize: 426456
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 106123 0 0 0 66795 211 0 0 25 0 1 0 852763116 438280192 105934 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107002 105934 1111 63 0 106939 0
vsize: 428008
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 106157 0 0 0 67794 212 0 0 25 0 1 0 852763116 438415360 105968 4294967295 134512640 134716908 3221224560 3221222512 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107035 105968 1111 63 0 106972 0
vsize: 428140
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 106188 0 0 0 68794 212 0 0 25 0 1 0 852763116 438538240 105999 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107065 105999 1111 63 0 107002 0
vsize: 428260
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 112938 0 0 0 69781 225 0 0 25 0 1 0 852763116 450138112 108817 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109897 108817 1111 63 0 109834 0
vsize: 439588
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 112942 0 0 0 70781 225 0 0 25 0 1 0 852763116 450138112 108821 4294967295 134512640 134716908 3221224560 3221220704 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109897 108821 1111 63 0 109834 0
vsize: 439588
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 118767 0 0 0 71767 239 0 0 25 0 1 0 852763116 440352768 106601 4294967295 134512640 134716908 3221224560 3221222952 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107508 106601 1111 63 0 107445 0
vsize: 430032
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 119736 0 0 0 72764 242 0 0 25 0 1 0 852763116 441077760 106778 4294967295 134512640 134716908 3221224560 3221222616 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107685 106778 1111 63 0 107622 0
vsize: 430740
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 126509 0 0 0 73750 256 0 0 25 0 1 0 852763116 451723264 109247 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110284 109247 1111 63 0 110221 0
vsize: 441136
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 131670 0 0 0 74739 268 0 0 25 0 1 0 852763116 441626624 106880 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107819 106880 1111 63 0 107756 0
vsize: 431276
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 131670 0 0 0 75738 268 0 0 25 0 1 0 852763116 441626624 106880 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107819 106880 1111 63 0 107756 0
vsize: 431276
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 131670 0 0 0 76738 269 0 0 25 0 1 0 852763116 441626624 106880 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107819 106880 1111 63 0 107756 0
vsize: 431276
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 138031 0 0 0 77726 281 0 0 25 0 1 0 852763116 451981312 109301 4294967295 134512640 134716908 3221224560 3221220536 1074950201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110347 109301 1111 63 0 110284 0
vsize: 441388
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 143156 0 0 0 78714 293 0 0 25 0 1 0 852763116 441372672 106850 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107757 106850 1111 63 0 107694 0
vsize: 431028
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 164489 0 0 0 79667 340 0 0 25 0 1 0 852763116 437243904 105668 4294967295 134512640 134716908 3221224560 3221222528 1075809065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106749 105668 1111 63 0 106686 0
vsize: 426996
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 185231 0 0 0 80624 384 0 0 25 0 1 0 852763116 436510720 105664 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 203012 0 0 0 81582 425 0 0 25 0 1 0 852763116 436510720 105664 4294967295 134512640 134716908 3221224560 3221222728 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 218378 0 0 0 82547 461 0 0 25 0 1 0 852763116 436510720 105664 4294967295 134512640 134716908 3221224560 3221222608 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 230371 0 0 0 83519 489 0 0 25 0 1 0 852763116 436789248 105669 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106638 105669 1111 63 0 106575 0
vsize: 426552
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 241559 0 0 0 84494 514 0 0 25 0 1 0 852763116 436510720 105664 4294967295 134512640 134716908 3221224560 3221222760 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 252445 0 0 0 85471 537 0 0 25 0 1 0 852763116 436510720 105664 4294967295 134512640 134716908 3221224560 3221222608 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 262624 0 0 0 86446 562 0 0 25 0 1 0 852763116 436535296 105664 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 272372 0 0 0 87425 584 0 0 25 0 1 0 852763116 437432320 105690 4294967295 134512640 134716908 3221224560 3221221544 1074831376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106795 105690 1111 63 0 106732 0
vsize: 427180
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 280959 0 0 0 88406 603 0 0 25 0 1 0 852763116 436535296 105670 4294967295 134512640 134716908 3221224560 3221222824 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 289316 0 0 0 89387 622 0 0 25 0 1 0 852763116 436535296 105664 4294967295 134512640 134716908 3221224560 3221222584 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 297398 0 0 0 90368 641 0 0 25 0 1 0 852763116 436535296 105664 4294967295 134512640 134716908 3221224560 3221222848 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+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 305267 0 0 0 91351 659 0 0 25 0 1 0 852763116 438235136 105853 4294967295 134512640 134716908 3221224560 3221221544 1074831834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106991 105853 1111 63 0 106928 0
vsize: 427964
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 312657 0 0 0 92335 675 0 0 25 0 1 0 852763116 437530624 105736 4294967295 134512640 134716908 3221224560 3221222384 1075824360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106819 105736 1111 63 0 106756 0
vsize: 427276
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 319917 0 0 0 93318 691 0 0 25 0 1 0 852763116 436535296 105664 4294967295 134512640 134716908 3221224560 3221222584 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+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 326648 0 0 0 94303 706 0 0 25 0 1 0 852763116 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+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 333319 0 0 0 95290 720 0 0 25 0 1 0 852763116 436613120 105689 4294967295 134512640 134716908 3221224560 3221222240 1075895007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106595 105689 1111 63 0 106532 0
vsize: 426380
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 340039 0 0 0 96272 738 0 0 25 0 1 0 852763116 436510720 105664 4294967295 134512640 134716908 3221224560 3221222520 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+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 346531 0 0 0 97258 752 0 0 25 0 1 0 852763116 436535296 105664 4294967295 134512640 134716908 3221224560 3221222672 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105664 1111 63 0 106513 0
vsize: 426304
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 352869 0 0 0 98244 766 0 0 25 0 1 0 852763116 436629504 105684 4294967295 134512640 134716908 3221224560 3221222960 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106599 105684 1111 63 0 106536 0
vsize: 426396
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 359181 0 0 0 99231 779 0 0 25 0 1 0 852763116 436535296 105670 4294967295 134512640 134716908 3221224560 3221222584 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 365367 0 0 0 100217 794 0 0 25 0 1 0 852763116 436535296 105670 4294967295 134512640 134716908 3221224560 3221223068 1074152784 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 371696 0 0 0 101203 808 0 0 25 0 1 0 852763116 436535296 105670 4294967295 134512640 134716908 3221224560 3221222864 1074153822 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 378081 0 0 0 102189 822 0 0 25 0 1 0 852763116 436510720 105664 4294967295 134512640 134716908 3221224560 3221222720 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106570 105664 1111 63 0 106507 0
vsize: 426280
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 384390 0 0 0 103174 837 0 0 25 0 1 0 852763116 436535296 105664 4294967295 134512640 134716908 3221224560 3221222960 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+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 390763 0 0 0 104160 852 0 0 25 0 1 0 852763116 436510720 105664 4294967295 134512640 134716908 3221224560 3221222936 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+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 396672 0 0 0 105146 865 0 0 25 0 1 0 852763116 437690368 105757 4294967295 134512640 134716908 3221224560 3221222672 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106858 105757 1111 63 0 106795 0
vsize: 427432
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 403136 0 0 0 106130 882 0 0 25 0 1 0 852763116 436535296 105664 4294967295 134512640 134716908 3221224560 3221222680 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+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 409453 0 0 0 107115 897 0 0 25 0 1 0 852763116 436514816 105664 4294967295 134512640 134716908 3221224560 3221222380 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106571 105664 1111 63 0 106508 0
vsize: 426284
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 415520 0 0 0 108102 910 0 0 25 0 1 0 852763116 436764672 105726 4294967295 134512640 134716908 3221224560 3221222992 1074039267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106632 105726 1111 63 0 106569 0
vsize: 426528
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 421456 0 0 0 109089 923 0 0 25 0 1 0 852763116 436535296 105670 4294967295 134512640 134716908 3221224560 3221223004 1077781665 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 427781 0 0 0 110073 939 0 0 25 0 1 0 852763116 436535296 105670 4294967295 134512640 134716908 3221224560 3221222760 1074138171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 433631 0 0 0 111060 953 0 0 25 0 1 0 852763116 437739520 105769 4294967295 134512640 134716908 3221224560 3221222480 1075799535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106870 105769 1111 63 0 106807 0
vsize: 427480
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 439957 0 0 0 112046 967 0 0 25 0 1 0 852763116 436510720 105664 4294967295 134512640 134716908 3221224560 3221222616 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+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 445760 0 0 0 113032 981 0 0 25 0 1 0 852763116 436535296 105664 4294967295 134512640 134716908 3221224560 3221222856 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+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 451499 0 0 0 114019 994 0 0 25 0 1 0 852763116 436535296 105670 4294967295 134512640 134716908 3221224560 3221222616 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+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 457209 0 0 0 115007 1006 0 0 25 0 1 0 852763116 436535296 105664 4294967295 134512640 134716908 3221224560 3221222672 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+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 462659 0 0 0 115995 1019 0 0 25 0 1 0 852763116 437841920 105781 4294967295 134512640 134716908 3221224560 3221221480 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106895 105781 1111 63 0 106832 0
vsize: 427580
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 467732 0 0 0 116984 1030 0 0 25 0 1 0 852763116 436535296 105670 4294967295 134512640 134716908 3221224560 3221222416 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 473195 0 0 0 117971 1043 0 0 25 0 1 0 852763116 436535296 105664 4294967295 134512640 134716908 3221224560 3221222584 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+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) R 3622 8378 8377 0 -1 0 478001 0 0 0 118962 1053 0 0 25 0 1 0 852763116 436535296 105670 4294967295 134512640 134716908 3221224560 3221222584 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106576 105670 1111 63 0 106513 0
vsize: 426304
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 3623
Raw data (stat): 3623 (bsolo_lpr_cuts-) Z 3622 8378 8377 0 -1 1036 478001 0 0 0 118962 1073 0 0 25 0 1 0 852763116 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.23
CPU time (s): 1200.35
CPU user time (s): 1189.62
CPU system time (s): 10.7324
CPU usage (%): 100.011
Max. virtual memory (Kb): 441388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####