PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb
MD5SUM	6ffc5f91e7ad7c6593868bb0012c33e4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	249428
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	1724124944012305800
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	4.54331
Number of variables	488988
Total number of constraints	12168
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	12168
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 27000

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 18:37:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19372 boxname=wulflinc7 idbench=1491 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6ffc5f91e7ad7c6593868bb0012c33e4  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-fome11.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-fome11.opb
IDLAUNCH: 19372
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        629012 kB
Buffers:         35220 kB
Cached:         348676 kB
SwapCached:        100 kB
Active:         109512 kB
Inactive:       277144 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        628760 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6744 kB
Slab:            13288 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:57:36 (client local time) WITH STATUS 0 IN 1200.14 SECONDS
stats: 19372 7 1200.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.94 0.97 0.91 2/54 29408
Raw data (stat): 29408 (runsolver) R 29407 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774241103 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2039 0 0 0 991 7 0 0 25 0 1 0 774241103 15351808 1963 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3748 1963 1111 63 0 3685 0
vsize: 14992
[startup+20 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2101 0 0 0 1990 7 0 0 25 0 1 0 774241103 15634432 2025 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 2025 1111 63 0 3754 0
vsize: 15268
[startup+30.0003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2156 0 0 0 2990 8 0 0 25 0 1 0 774241103 15773696 2080 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3851 2080 1111 63 0 3788 0
vsize: 15404
[startup+40.0009 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2226 0 0 0 3990 8 0 0 25 0 1 0 774241103 16056320 2150 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3920 2150 1111 63 0 3857 0
vsize: 15680
[startup+50.0015 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2281 0 0 0 4989 9 0 0 25 0 1 0 774241103 16343040 2205 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3990 2205 1111 63 0 3927 0
vsize: 15960
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2349 0 0 0 5989 9 0 0 25 0 1 0 774241103 16621568 2273 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4058 2273 1111 63 0 3995 0
vsize: 16232
[startup+70.0018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2405 0 0 0 6989 9 0 0 25 0 1 0 774241103 16904192 2329 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4127 2329 1111 63 0 4064 0
vsize: 16508
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2473 0 0 0 7989 9 0 0 25 0 1 0 774241103 17182720 2397 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4195 2397 1111 63 0 4132 0
vsize: 16780
[startup+90.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2529 0 0 0 8989 10 0 0 25 0 1 0 774241103 17334272 2453 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4232 2453 1111 63 0 4169 0
vsize: 16928
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2591 0 0 0 9989 10 0 0 25 0 1 0 774241103 17612800 2515 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 2515 1111 63 0 4237 0
vsize: 17200
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2653 0 0 0 10989 10 0 0 25 0 1 0 774241103 17895424 2577 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 2577 1111 63 0 4306 0
vsize: 17476
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2718 0 0 0 11988 11 0 0 25 0 1 0 774241103 18186240 2642 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 2642 1111 63 0 4377 0
vsize: 17760
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2779 0 0 0 12988 11 0 0 25 0 1 0 774241103 18325504 2703 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4474 2703 1111 63 0 4411 0
vsize: 17896
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2843 0 0 0 13988 11 0 0 25 0 1 0 774241103 18612224 2767 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2767 1111 63 0 4481 0
vsize: 18176
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2904 0 0 0 14988 11 0 0 25 0 1 0 774241103 18894848 2828 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 2828 1111 63 0 4550 0
vsize: 18452
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 2959 0 0 0 15988 11 0 0 25 0 1 0 774241103 19177472 2883 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 2883 1111 63 0 4619 0
vsize: 18728
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3028 0 0 0 16988 12 0 0 25 0 1 0 774241103 19456000 2952 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 2952 1111 63 0 4687 0
vsize: 19000
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3090 0 0 0 17988 12 0 0 25 0 1 0 774241103 19599360 3014 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4785 3014 1111 63 0 4722 0
vsize: 19140
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3159 0 0 0 18987 12 0 0 25 0 1 0 774241103 19886080 3083 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4855 3083 1111 63 0 4792 0
vsize: 19420
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3214 0 0 0 19987 13 0 0 25 0 1 0 774241103 20164608 3138 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 3138 1111 63 0 4860 0
vsize: 19692
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3276 0 0 0 20987 13 0 0 25 0 1 0 774241103 20447232 3200 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4992 3200 1111 63 0 4929 0
vsize: 19968
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3331 0 0 0 21986 14 0 0 25 0 1 0 774241103 20586496 3255 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3255 1111 63 0 4963 0
vsize: 20104
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3406 0 0 0 22986 14 0 0 25 0 1 0 774241103 21008384 3330 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5129 3330 1111 63 0 5066 0
vsize: 20516
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3468 0 0 0 23986 14 0 0 25 0 1 0 774241103 21151744 3392 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 3392 1111 63 0 5101 0
vsize: 20656
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3530 0 0 0 24986 15 0 0 25 0 1 0 774241103 21434368 3454 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 3454 1111 63 0 5170 0
vsize: 20932
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3598 0 0 0 25986 15 0 0 25 0 1 0 774241103 21712896 3522 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5301 3522 1111 63 0 5238 0
vsize: 21204
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3660 0 0 0 26985 15 0 0 25 0 1 0 774241103 21995520 3584 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5370 3584 1111 63 0 5307 0
vsize: 21480
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3722 0 0 0 27985 16 0 0 25 0 1 0 774241103 22282240 3646 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5440 3646 1111 63 0 5377 0
vsize: 21760
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3778 0 0 0 28985 16 0 0 25 0 1 0 774241103 22421504 3702 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5474 3702 1111 63 0 5411 0
vsize: 21896
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3847 0 0 0 29985 16 0 0 25 0 1 0 774241103 22700032 3771 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5542 3771 1111 63 0 5479 0
vsize: 22168
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3909 0 0 0 30985 16 0 0 25 0 1 0 774241103 22982656 3833 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5611 3833 1111 63 0 5548 0
vsize: 22444
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 3971 0 0 0 31984 17 0 0 25 0 1 0 774241103 23265280 3895 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5680 3895 1111 63 0 5617 0
vsize: 22720
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4034 0 0 0 32984 17 0 0 25 0 1 0 774241103 23552000 3958 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5750 3958 1111 63 0 5687 0
vsize: 23000
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4096 0 0 0 33984 18 0 0 25 0 1 0 774241103 23830528 4020 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5818 4020 1111 63 0 5755 0
vsize: 23272
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4151 0 0 0 34984 18 0 0 25 0 1 0 774241103 23973888 4075 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 4075 1111 63 0 5790 0
vsize: 23412
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4219 0 0 0 35983 18 0 0 25 0 1 0 774241103 24256512 4143 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5922 4143 1111 63 0 5859 0
vsize: 23688
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4282 0 0 0 36983 19 0 0 25 0 1 0 774241103 24535040 4206 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 4206 1111 63 0 5927 0
vsize: 23960
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4337 0 0 0 37983 19 0 0 25 0 1 0 774241103 24821760 4261 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6060 4261 1111 63 0 5997 0
vsize: 24240
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4399 0 0 0 38983 19 0 0 25 0 1 0 774241103 24961024 4323 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6094 4323 1111 63 0 6031 0
vsize: 24376
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4455 0 0 0 39983 20 0 0 25 0 1 0 774241103 25243648 4379 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6163 4379 1111 63 0 6100 0
vsize: 24652
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4523 0 0 0 40982 20 0 0 25 0 1 0 774241103 25522176 4447 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 4447 1111 63 0 6168 0
vsize: 24924
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4586 0 0 0 41982 21 0 0 25 0 1 0 774241103 25812992 4510 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6302 4510 1111 63 0 6239 0
vsize: 25208
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4648 0 0 0 42981 21 0 0 25 0 1 0 774241103 26091520 4572 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 4572 1111 63 0 6307 0
vsize: 25480
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4703 0 0 0 43981 21 0 0 25 0 1 0 774241103 26234880 4627 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6405 4627 1111 63 0 6342 0
vsize: 25620
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4779 0 0 0 44981 22 0 0 25 0 1 0 774241103 26521600 4703 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6475 4703 1111 63 0 6412 0
vsize: 25900
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4839 0 0 0 45981 22 0 0 25 0 1 0 774241103 26812416 4763 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6546 4763 1111 63 0 6483 0
vsize: 26184
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4903 0 0 0 46980 23 0 0 25 0 1 0 774241103 27103232 4827 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6617 4827 1111 63 0 6554 0
vsize: 26468
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 4971 0 0 0 47980 24 0 0 25 0 1 0 774241103 27381760 4895 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6685 4895 1111 63 0 6622 0
vsize: 26740
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5034 0 0 0 48979 24 0 0 25 0 1 0 774241103 27664384 4958 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6754 4958 1111 63 0 6691 0
vsize: 27016
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5096 0 0 0 49979 24 0 0 25 0 1 0 774241103 27942912 5020 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6822 5020 1111 63 0 6759 0
vsize: 27288
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5164 0 0 0 50979 24 0 0 25 0 1 0 774241103 28225536 5088 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6891 5088 1111 63 0 6828 0
vsize: 27564
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5221 0 0 0 51979 25 0 0 25 0 1 0 774241103 28372992 5145 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6927 5145 1111 63 0 6864 0
vsize: 27708
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5283 0 0 0 52979 25 0 0 25 0 1 0 774241103 28655616 5207 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6996 5207 1111 63 0 6933 0
vsize: 27984
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5338 0 0 0 53978 25 0 0 25 0 1 0 774241103 28934144 5262 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 5262 1111 63 0 7001 0
vsize: 28256
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5399 0 0 0 54979 26 0 0 25 0 1 0 774241103 29073408 5323 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7098 5323 1111 63 0 7035 0
vsize: 28392
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5470 0 0 0 55978 27 0 0 25 0 1 0 774241103 29356032 5394 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7167 5394 1111 63 0 7104 0
vsize: 28668
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5532 0 0 0 56978 27 0 0 25 0 1 0 774241103 29642752 5456 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7237 5456 1111 63 0 7174 0
vsize: 28948
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5594 0 0 0 57977 28 0 0 25 0 1 0 774241103 29925376 5518 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 5518 1111 63 0 7243 0
vsize: 29224
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5662 0 0 0 58977 28 0 0 25 0 1 0 774241103 30203904 5586 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7374 5586 1111 63 0 7311 0
vsize: 29496
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5724 0 0 0 59977 28 0 0 25 0 1 0 774241103 30486528 5648 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7443 5648 1111 63 0 7380 0
vsize: 29772
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5788 0 0 0 60977 29 0 0 25 0 1 0 774241103 30773248 5712 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7513 5712 1111 63 0 7450 0
vsize: 30052
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5850 0 0 0 61977 29 0 0 25 0 1 0 774241103 30912512 5774 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7547 5774 1111 63 0 7484 0
vsize: 30188
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5912 0 0 0 62976 30 0 0 25 0 1 0 774241103 31195136 5836 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7616 5836 1111 63 0 7553 0
vsize: 30464
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 5980 0 0 0 63976 30 0 0 25 0 1 0 774241103 31477760 5904 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7685 5904 1111 63 0 7622 0
vsize: 30740
[startup+650.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6036 0 0 0 64976 30 0 0 25 0 1 0 774241103 31756288 5960 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7753 5960 1111 63 0 7690 0
vsize: 31012
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6105 0 0 0 65976 31 0 0 25 0 1 0 774241103 32043008 6029 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7823 6029 1111 63 0 7760 0
vsize: 31292
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6161 0 0 0 66976 31 0 0 25 0 1 0 774241103 32182272 6085 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7857 6085 1111 63 0 7794 0
vsize: 31428
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6230 0 0 0 67976 31 0 0 25 0 1 0 774241103 32464896 6154 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7926 6154 1111 63 0 7863 0
vsize: 31704
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6292 0 0 0 68975 32 0 0 25 0 1 0 774241103 32743424 6216 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7994 6216 1111 63 0 7931 0
vsize: 31976
[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6355 0 0 0 69975 32 0 0 25 0 1 0 774241103 33026048 6279 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8063 6279 1111 63 0 8000 0
vsize: 32252
[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6424 0 0 0 70974 33 0 0 25 0 1 0 774241103 33312768 6348 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8133 6348 1111 63 0 8070 0
vsize: 32532
[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6493 0 0 0 71974 33 0 0 25 0 1 0 774241103 33595392 6417 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8202 6417 1111 63 0 8139 0
vsize: 32808
[startup+730.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6555 0 0 0 72974 33 0 0 25 0 1 0 774241103 33873920 6479 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8270 6479 1111 63 0 8207 0
vsize: 33080
[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6616 0 0 0 73974 34 0 0 25 0 1 0 774241103 34156544 6540 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8339 6540 1111 63 0 8276 0
vsize: 33356
[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6686 0 0 0 74974 34 0 0 25 0 1 0 774241103 34443264 6610 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8409 6610 1111 63 0 8346 0
vsize: 33636
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6748 0 0 0 75974 34 0 0 25 0 1 0 774241103 34586624 6672 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8444 6672 1111 63 0 8381 0
vsize: 33776
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6810 0 0 0 76973 34 0 0 25 0 1 0 774241103 34865152 6734 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8512 6734 1111 63 0 8449 0
vsize: 34048
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6878 0 0 0 77973 35 0 0 25 0 1 0 774241103 35147776 6802 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8581 6802 1111 63 0 8518 0
vsize: 34324
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 6942 0 0 0 78973 35 0 0 25 0 1 0 774241103 35426304 6866 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8649 6866 1111 63 0 8586 0
vsize: 34596
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7004 0 0 0 79972 36 0 0 25 0 1 0 774241103 35713024 6928 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 6928 1111 63 0 8656 0
vsize: 34876
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7072 0 0 0 80972 37 0 0 25 0 1 0 774241103 35995648 6996 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8788 6996 1111 63 0 8725 0
vsize: 35152
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7134 0 0 0 81972 37 0 0 25 0 1 0 774241103 36278272 7058 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8857 7058 1111 63 0 8794 0
vsize: 35428
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7202 0 0 0 82971 37 0 0 25 0 1 0 774241103 36556800 7126 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 7126 1111 63 0 8862 0
vsize: 35700
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7266 0 0 0 83971 37 0 0 25 0 1 0 774241103 36704256 7190 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8961 7190 1111 63 0 8898 0
vsize: 35844
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7321 0 0 0 84971 37 0 0 25 0 1 0 774241103 36982784 7245 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9029 7245 1111 63 0 8966 0
vsize: 36116
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7389 0 0 0 85971 38 0 0 25 0 1 0 774241103 37265408 7313 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9098 7313 1111 63 0 9035 0
vsize: 36392
[startup+870.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7457 0 0 0 86971 38 0 0 25 0 1 0 774241103 37548032 7381 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9167 7381 1111 63 0 9104 0
vsize: 36668
[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7532 0 0 0 87971 38 0 0 25 0 1 0 774241103 37826560 7456 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9235 7456 1111 63 0 9172 0
vsize: 36940
[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7601 0 0 0 88971 38 0 0 25 0 1 0 774241103 38125568 7525 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9308 7525 1111 63 0 9245 0
vsize: 37232
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7663 0 0 0 89971 38 0 0 25 0 1 0 774241103 38408192 7587 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9377 7587 1111 63 0 9314 0
vsize: 37508
[startup+910.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7731 0 0 0 90970 39 0 0 25 0 1 0 774241103 38690816 7655 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9446 7655 1111 63 0 9383 0
vsize: 37784
[startup+920.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7787 0 0 0 91970 39 0 0 25 0 1 0 774241103 38969344 7711 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9514 7711 1111 63 0 9451 0
vsize: 38056
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7856 0 0 0 92969 40 0 0 25 0 1 0 774241103 39256064 7780 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 7780 1111 63 0 9521 0
vsize: 38336
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7913 0 0 0 93969 40 0 0 25 0 1 0 774241103 39395328 7837 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9618 7837 1111 63 0 9555 0
vsize: 38472
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 7981 0 0 0 94968 41 0 0 25 0 1 0 774241103 39677952 7905 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9687 7905 1111 63 0 9624 0
vsize: 38748
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8043 0 0 0 95968 41 0 0 25 0 1 0 774241103 39956480 7967 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9755 7967 1111 63 0 9692 0
vsize: 39020
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8105 0 0 0 96968 41 0 0 25 0 1 0 774241103 40239104 8029 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9824 8029 1111 63 0 9761 0
vsize: 39296
[startup+980.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8175 0 0 0 97967 42 0 0 25 0 1 0 774241103 40525824 8099 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9894 8099 1111 63 0 9831 0
vsize: 39576
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8237 0 0 0 98967 42 0 0 25 0 1 0 774241103 40808448 8161 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9963 8161 1111 63 0 9900 0
vsize: 39852
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8299 0 0 0 99967 43 0 0 25 0 1 0 774241103 41086976 8223 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10031 8223 1111 63 0 9968 0
vsize: 40124
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8361 0 0 0 100966 43 0 0 25 0 1 0 774241103 41230336 8285 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10066 8285 1111 63 0 10003 0
vsize: 40264
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8431 0 0 0 101966 44 0 0 25 0 1 0 774241103 41508864 8355 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 8355 1111 63 0 10071 0
vsize: 40536
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8493 0 0 0 102965 44 0 0 25 0 1 0 774241103 41799680 8417 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10205 8417 1111 63 0 10142 0
vsize: 40820
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8561 0 0 0 103965 44 0 0 25 0 1 0 774241103 42078208 8485 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10273 8485 1111 63 0 10210 0
vsize: 41092
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8624 0 0 0 104965 45 0 0 25 0 1 0 774241103 42360832 8548 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10342 8548 1111 63 0 10279 0
vsize: 41368
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8686 0 0 0 105965 45 0 0 25 0 1 0 774241103 42639360 8610 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10410 8610 1111 63 0 10347 0
vsize: 41640
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8755 0 0 0 106964 45 0 0 25 0 1 0 774241103 42926080 8679 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 8679 1111 63 0 10417 0
vsize: 41920
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8811 0 0 0 107964 46 0 0 25 0 1 0 774241103 43065344 8735 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10514 8735 1111 63 0 10451 0
vsize: 42056
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8879 0 0 0 108963 46 0 0 25 0 1 0 774241103 43347968 8803 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10583 8803 1111 63 0 10520 0
vsize: 42332
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 8935 0 0 0 109963 47 0 0 25 0 1 0 774241103 43630592 8859 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10652 8859 1111 63 0 10589 0
vsize: 42608
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 9003 0 0 0 110963 47 0 0 25 0 1 0 774241103 43909120 8927 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10720 8927 1111 63 0 10657 0
vsize: 42880
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 9060 0 0 0 111962 47 0 0 25 0 1 0 774241103 44195840 8984 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10790 8984 1111 63 0 10727 0
vsize: 43160
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 9128 0 0 0 112962 47 0 0 25 0 1 0 774241103 44478464 9052 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10859 9052 1111 63 0 10796 0
vsize: 43436
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 9184 0 0 0 113962 48 0 0 25 0 1 0 774241103 44621824 9108 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 9108 1111 63 0 10831 0
vsize: 43576
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 9252 0 0 0 114962 48 0 0 25 0 1 0 774241103 44900352 9176 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10962 9176 1111 63 0 10899 0
vsize: 43848
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 9316 0 0 0 115962 48 0 0 25 0 1 0 774241103 45182976 9240 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11031 9240 1111 63 0 10968 0
vsize: 44124
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 9385 0 0 0 116962 48 0 0 25 0 1 0 774241103 45469696 9309 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11101 9309 1111 63 0 11038 0
vsize: 44404
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 9447 0 0 0 117962 48 0 0 25 0 1 0 774241103 45748224 9371 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11169 9371 1111 63 0 11106 0
vsize: 44676
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 9516 0 0 0 118963 48 0 0 25 0 1 0 774241103 46030848 9440 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11238 9440 1111 63 0 11175 0
vsize: 44952
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) R 29407 24300 24299 0 -1 0 9584 0 0 0 119962 49 0 0 25 0 1 0 774241103 46313472 9508 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11307 9508 1111 63 0 11244 0
vsize: 45228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29408
Raw data (stat): 29408 (bsolo_lpr_cuts) Z 29407 24300 24299 0 -1 1036 9584 0 0 0 119962 51 0 0 25 0 1 0 774241103 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.07
CPU time (s): 1200.14
CPU user time (s): 1199.63
CPU system time (s): 0.511922
CPU usage (%): 100.006
Max. virtual memory (Kb): 45228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####