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 41648

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 18:46:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29707 boxname=wulflinc6 idbench=1491 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6ffc5f91e7ad7c6593868bb0012c33e4  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fome11.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fome11.opb
IDLAUNCH: 29707
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        823208 kB
Buffers:         14652 kB
Cached:         175260 kB
SwapCached:        896 kB
Active:          62844 kB
Inactive:       129120 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        822956 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            13736 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:07:02 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 29707 7 1200.43 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.96 0.91 2/54 15483
Raw data (stat): 15483 (runsolver) R 15482 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912547304 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.0009 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2042 0 0 0 990 8 0 0 25 0 1 0 912547304 15351808 1962 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3748 1962 1111 63 0 3685 0
vsize: 14992
[startup+20.0025 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2103 0 0 0 1990 8 0 0 25 0 1 0 912547304 15634432 2023 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 2023 1111 63 0 3754 0
vsize: 15268
[startup+30.0032 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2165 0 0 0 2990 8 0 0 25 0 1 0 912547304 15917056 2085 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3886 2085 1111 63 0 3823 0
vsize: 15544
[startup+40.0043 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2228 0 0 0 3990 9 0 0 25 0 1 0 912547304 16056320 2148 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3920 2148 1111 63 0 3857 0
vsize: 15680
[startup+50.0049 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2290 0 0 0 4990 9 0 0 25 0 1 0 912547304 16343040 2210 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3990 2210 1111 63 0 3927 0
vsize: 15960
[startup+60.0076 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2352 0 0 0 5990 9 0 0 25 0 1 0 912547304 16621568 2272 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 2272 1111 63 0 3995 0
vsize: 16232
[startup+70.0077 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2413 0 0 0 6990 10 0 0 25 0 1 0 912547304 16904192 2333 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4127 2333 1111 63 0 4064 0
vsize: 16508
[startup+80.0083 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2475 0 0 0 7990 10 0 0 25 0 1 0 912547304 17182720 2395 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4195 2395 1111 63 0 4132 0
vsize: 16780
[startup+90.009 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2531 0 0 0 8990 10 0 0 25 0 1 0 912547304 17334272 2451 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4232 2451 1111 63 0 4169 0
vsize: 16928
[startup+100.009 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2599 0 0 0 9990 10 0 0 25 0 1 0 912547304 17612800 2519 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4300 2519 1111 63 0 4237 0
vsize: 17200
[startup+110.011 s]
Raw data (loadavg): 1.16 1.01 0.93 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2655 0 0 0 10990 11 0 0 25 0 1 0 912547304 17895424 2575 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4369 2575 1111 63 0 4306 0
vsize: 17476
[startup+120.011 s]
Raw data (loadavg): 1.13 1.01 0.93 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2726 0 0 0 11991 11 0 0 25 0 1 0 912547304 18186240 2646 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4440 2646 1111 63 0 4377 0
vsize: 17760
[startup+130.012 s]
Raw data (loadavg): 1.11 1.00 0.93 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2782 0 0 0 12991 11 0 0 25 0 1 0 912547304 18325504 2702 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4474 2702 1111 63 0 4411 0
vsize: 17896
[startup+140.013 s]
Raw data (loadavg): 1.09 1.00 0.93 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2851 0 0 0 13991 11 0 0 25 0 1 0 912547304 18612224 2771 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4544 2771 1111 63 0 4481 0
vsize: 18176
[startup+150.014 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2906 0 0 0 14992 11 0 0 25 0 1 0 912547304 18894848 2826 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 2826 1111 63 0 4550 0
vsize: 18452
[startup+160.015 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 2968 0 0 0 15992 11 0 0 25 0 1 0 912547304 19177472 2888 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4682 2888 1111 63 0 4619 0
vsize: 18728
[startup+170.016 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3030 0 0 0 16992 12 0 0 25 0 1 0 912547304 19456000 2950 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4750 2950 1111 63 0 4687 0
vsize: 19000
[startup+180.016 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3100 0 0 0 17993 12 0 0 25 0 1 0 912547304 19738624 3020 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3020 1111 63 0 4756 0
vsize: 19276
[startup+190.016 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3168 0 0 0 18993 12 0 0 25 0 1 0 912547304 20025344 3088 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4889 3088 1111 63 0 4826 0
vsize: 19556
[startup+200.017 s]
Raw data (loadavg): 1.11 1.02 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3223 0 0 0 19993 12 0 0 25 0 1 0 912547304 20164608 3143 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3143 1111 63 0 4860 0
vsize: 19692
[startup+210.017 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3285 0 0 0 20993 12 0 0 25 0 1 0 912547304 20447232 3205 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 3205 1111 63 0 4929 0
vsize: 19968
[startup+220.018 s]
Raw data (loadavg): 1.08 1.01 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3340 0 0 0 21993 12 0 0 25 0 1 0 912547304 20729856 3260 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5061 3260 1111 63 0 4998 0
vsize: 20244
[startup+230.018 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3408 0 0 0 22994 12 0 0 25 0 1 0 912547304 21008384 3328 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5129 3328 1111 63 0 5066 0
vsize: 20516
[startup+240.018 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3476 0 0 0 23994 13 0 0 25 0 1 0 912547304 21291008 3396 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5198 3396 1111 63 0 5135 0
vsize: 20792
[startup+250.019 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3538 0 0 0 24994 13 0 0 25 0 1 0 912547304 21434368 3458 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 3458 1111 63 0 5170 0
vsize: 20932
[startup+260.02 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3600 0 0 0 25994 13 0 0 25 0 1 0 912547304 21712896 3520 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5301 3520 1111 63 0 5238 0
vsize: 21204
[startup+270.029 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3669 0 0 0 26995 13 0 0 25 0 1 0 912547304 21995520 3589 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5370 3589 1111 63 0 5307 0
vsize: 21480
[startup+280.029 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3725 0 0 0 27995 14 0 0 25 0 1 0 912547304 22282240 3645 4294967295 134512640 134716908 3221224560 3221222788 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5440 3645 1111 63 0 5377 0
vsize: 21760
[startup+290.03 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3788 0 0 0 28996 14 0 0 25 0 1 0 912547304 22560768 3708 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5508 3708 1111 63 0 5445 0
vsize: 22032
[startup+300.03 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3850 0 0 0 29996 14 0 0 25 0 1 0 912547304 22700032 3770 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5542 3770 1111 63 0 5479 0
vsize: 22168
[startup+310.03 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3918 0 0 0 30996 14 0 0 25 0 1 0 912547304 22982656 3838 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5611 3838 1111 63 0 5548 0
vsize: 22444
[startup+320.032 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 3973 0 0 0 31996 14 0 0 25 0 1 0 912547304 23265280 3893 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5680 3893 1111 63 0 5617 0
vsize: 22720
[startup+330.033 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4043 0 0 0 32996 14 0 0 25 0 1 0 912547304 23552000 3963 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5750 3963 1111 63 0 5687 0
vsize: 23000
[startup+340.034 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4098 0 0 0 33997 15 0 0 25 0 1 0 912547304 23830528 4018 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5818 4018 1111 63 0 5755 0
vsize: 23272
[startup+350.034 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4160 0 0 0 34997 15 0 0 25 0 1 0 912547304 23973888 4080 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5853 4080 1111 63 0 5790 0
vsize: 23412
[startup+360.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4222 0 0 0 35997 15 0 0 25 0 1 0 912547304 24256512 4142 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5922 4142 1111 63 0 5859 0
vsize: 23688
[startup+370.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4291 0 0 0 36997 15 0 0 25 0 1 0 912547304 24535040 4211 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5990 4211 1111 63 0 5927 0
vsize: 23960
[startup+380.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4346 0 0 0 37998 15 0 0 25 0 1 0 912547304 24821760 4266 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6060 4266 1111 63 0 5997 0
vsize: 24240
[startup+390.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4402 0 0 0 38998 15 0 0 25 0 1 0 912547304 24961024 4322 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6094 4322 1111 63 0 6031 0
vsize: 24376
[startup+400.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4463 0 0 0 39998 15 0 0 25 0 1 0 912547304 25243648 4383 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4383 1111 63 0 6100 0
vsize: 24652
[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4525 0 0 0 40999 15 0 0 25 0 1 0 912547304 25522176 4445 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6231 4445 1111 63 0 6168 0
vsize: 24924
[startup+420.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4594 0 0 0 41999 15 0 0 25 0 1 0 912547304 25812992 4514 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4514 1111 63 0 6239 0
vsize: 25208
[startup+430.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4650 0 0 0 42999 16 0 0 25 0 1 0 912547304 26091520 4570 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6370 4570 1111 63 0 6307 0
vsize: 25480
[startup+440.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4711 0 0 0 43999 16 0 0 25 0 1 0 912547304 26234880 4631 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6405 4631 1111 63 0 6342 0
vsize: 25620
[startup+450.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4781 0 0 0 44999 16 0 0 25 0 1 0 912547304 26521600 4701 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6475 4701 1111 63 0 6412 0
vsize: 25900
[startup+460.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4848 0 0 0 46000 16 0 0 25 0 1 0 912547304 26812416 4768 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6546 4768 1111 63 0 6483 0
vsize: 26184
[startup+470.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4912 0 0 0 47000 16 0 0 25 0 1 0 912547304 27103232 4832 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6617 4832 1111 63 0 6554 0
vsize: 26468
[startup+480.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 4974 0 0 0 48000 16 0 0 25 0 1 0 912547304 27381760 4894 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6685 4894 1111 63 0 6622 0
vsize: 26740
[startup+490.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5043 0 0 0 49001 17 0 0 25 0 1 0 912547304 27664384 4963 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6754 4963 1111 63 0 6691 0
vsize: 27016
[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5098 0 0 0 50001 17 0 0 25 0 1 0 912547304 27942912 5018 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6822 5018 1111 63 0 6759 0
vsize: 27288
[startup+510.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5167 0 0 0 51001 17 0 0 25 0 1 0 912547304 28225536 5087 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6891 5087 1111 63 0 6828 0
vsize: 27564
[startup+520.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5230 0 0 0 52002 17 0 0 25 0 1 0 912547304 28372992 5150 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6927 5150 1111 63 0 6864 0
vsize: 27708
[startup+530.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5291 0 0 0 53002 17 0 0 25 0 1 0 912547304 28655616 5211 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6996 5211 1111 63 0 6933 0
vsize: 27984
[startup+540.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5346 0 0 0 54002 17 0 0 25 0 1 0 912547304 28934144 5266 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 5266 1111 63 0 7001 0
vsize: 28256
[startup+550.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5408 0 0 0 55002 17 0 0 25 0 1 0 912547304 29216768 5328 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7133 5328 1111 63 0 7070 0
vsize: 28532
[startup+560.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5473 0 0 0 56002 18 0 0 25 0 1 0 912547304 29356032 5393 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7167 5393 1111 63 0 7104 0
vsize: 28668
[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5541 0 0 0 57003 18 0 0 25 0 1 0 912547304 29642752 5461 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7237 5461 1111 63 0 7174 0
vsize: 28948
[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5596 0 0 0 58003 18 0 0 25 0 1 0 912547304 29925376 5516 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 5516 1111 63 0 7243 0
vsize: 29224
[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5665 0 0 0 59003 18 0 0 25 0 1 0 912547304 30203904 5585 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7374 5585 1111 63 0 7311 0
vsize: 29496
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5733 0 0 0 60003 18 0 0 25 0 1 0 912547304 30486528 5653 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 5653 1111 63 0 7380 0
vsize: 29772
[startup+610.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5797 0 0 0 61003 18 0 0 25 0 1 0 912547304 30773248 5717 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7513 5717 1111 63 0 7450 0
vsize: 30052
[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5859 0 0 0 62003 18 0 0 25 0 1 0 912547304 31051776 5779 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7581 5779 1111 63 0 7518 0
vsize: 30324
[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5921 0 0 0 63004 18 0 0 25 0 1 0 912547304 31195136 5841 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7616 5841 1111 63 0 7553 0
vsize: 30464
[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 5983 0 0 0 64004 19 0 0 25 0 1 0 912547304 31477760 5903 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7685 5903 1111 63 0 7622 0
vsize: 30740
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6044 0 0 0 65003 19 0 0 25 0 1 0 912547304 31756288 5964 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7753 5964 1111 63 0 7690 0
vsize: 31012
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6108 0 0 0 66003 20 0 0 25 0 1 0 912547304 32043008 6028 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7823 6028 1111 63 0 7760 0
vsize: 31292
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6170 0 0 0 67004 20 0 0 25 0 1 0 912547304 32325632 6090 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7892 6090 1111 63 0 7829 0
vsize: 31568
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6232 0 0 0 68004 20 0 0 25 0 1 0 912547304 32464896 6152 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7926 6152 1111 63 0 7863 0
vsize: 31704
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6301 0 0 0 69004 20 0 0 25 0 1 0 912547304 32743424 6221 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7994 6221 1111 63 0 7931 0
vsize: 31976
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6370 0 0 0 70004 20 0 0 25 0 1 0 912547304 33026048 6290 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8063 6290 1111 63 0 8000 0
vsize: 32252
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6432 0 0 0 71004 21 0 0 25 0 1 0 912547304 33312768 6352 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8133 6352 1111 63 0 8070 0
vsize: 32532
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6495 0 0 0 72004 21 0 0 25 0 1 0 912547304 33595392 6415 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8202 6415 1111 63 0 8139 0
vsize: 32808
[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6564 0 0 0 73004 21 0 0 25 0 1 0 912547304 33873920 6484 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 6484 1111 63 0 8207 0
vsize: 33080
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6619 0 0 0 74004 21 0 0 25 0 1 0 912547304 34156544 6539 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8339 6539 1111 63 0 8276 0
vsize: 33356
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6689 0 0 0 75004 21 0 0 25 0 1 0 912547304 34443264 6609 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8409 6609 1111 63 0 8346 0
vsize: 33636
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6757 0 0 0 76005 21 0 0 25 0 1 0 912547304 34725888 6677 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8478 6677 1111 63 0 8415 0
vsize: 33912
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6819 0 0 0 77005 22 0 0 25 0 1 0 912547304 34865152 6739 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8512 6739 1111 63 0 8449 0
vsize: 34048
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15483
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6881 0 0 0 78005 22 0 0 25 0 1 0 912547304 35147776 6801 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8581 6801 1111 63 0 8518 0
vsize: 34324
[startup+790.043 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 15536
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 6951 0 0 0 79005 22 0 0 25 0 1 0 912547304 35426304 6871 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8649 6871 1111 63 0 8586 0
vsize: 34596
[startup+800.043 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 15536
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7013 0 0 0 80005 22 0 0 25 0 1 0 912547304 35713024 6933 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8719 6933 1111 63 0 8656 0
vsize: 34876
[startup+810.043 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 15536
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7081 0 0 0 81005 22 0 0 25 0 1 0 912547304 35995648 7001 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8788 7001 1111 63 0 8725 0
vsize: 35152
[startup+820.043 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 15536
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7143 0 0 0 82005 23 0 0 25 0 1 0 912547304 36278272 7063 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8857 7063 1111 63 0 8794 0
vsize: 35428
[startup+830.043 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 15536
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7211 0 0 0 83005 23 0 0 25 0 1 0 912547304 36556800 7131 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 7131 1111 63 0 8862 0
vsize: 35700
[startup+840.042 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 15536
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7281 0 0 0 84005 23 0 0 25 0 1 0 912547304 36843520 7201 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8995 7201 1111 63 0 8932 0
vsize: 35980
[startup+850.041 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 15536
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7336 0 0 0 85005 24 0 0 25 0 1 0 912547304 36982784 7256 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9029 7256 1111 63 0 8966 0
vsize: 36116
[startup+860.041 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7398 0 0 0 86005 24 0 0 25 0 1 0 912547304 37265408 7318 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9098 7318 1111 63 0 9035 0
vsize: 36392
[startup+870.041 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7460 0 0 0 87005 24 0 0 25 0 1 0 912547304 37548032 7380 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9167 7380 1111 63 0 9104 0
vsize: 36668
[startup+880.041 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7542 0 0 0 88005 25 0 0 25 0 1 0 912547304 37982208 7462 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9273 7462 1111 63 0 9210 0
vsize: 37092
[startup+890.04 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7610 0 0 0 89005 25 0 0 25 0 1 0 912547304 38264832 7530 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9342 7530 1111 63 0 9279 0
vsize: 37368
[startup+900.04 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7678 0 0 0 90005 26 0 0 25 0 1 0 912547304 38547456 7598 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9411 7598 1111 63 0 9348 0
vsize: 37644
[startup+910.04 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7734 0 0 0 91005 26 0 0 25 0 1 0 912547304 38690816 7654 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9446 7654 1111 63 0 9383 0
vsize: 37784
[startup+920.04 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7802 0 0 0 92005 27 0 0 25 0 1 0 912547304 38969344 7722 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9514 7722 1111 63 0 9451 0
vsize: 38056
[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7865 0 0 0 93004 27 0 0 25 0 1 0 912547304 39256064 7785 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9584 7785 1111 63 0 9521 0
vsize: 38336
[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7927 0 0 0 94004 28 0 0 25 0 1 0 912547304 39538688 7847 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9653 7847 1111 63 0 9590 0
vsize: 38612
[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 7990 0 0 0 95004 28 0 0 25 0 1 0 912547304 39817216 7910 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 7910 1111 63 0 9658 0
vsize: 38884
[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8051 0 0 0 96004 29 0 0 25 0 1 0 912547304 39956480 7971 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9755 7971 1111 63 0 9692 0
vsize: 39020
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8120 0 0 0 97004 29 0 0 25 0 1 0 912547304 40239104 8040 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9824 8040 1111 63 0 9761 0
vsize: 39296
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8183 0 0 0 98004 29 0 0 25 0 1 0 912547304 40525824 8103 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9894 8103 1111 63 0 9831 0
vsize: 39576
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8246 0 0 0 99004 30 0 0 25 0 1 0 912547304 40808448 8166 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9963 8166 1111 63 0 9900 0
vsize: 39852
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8308 0 0 0 100004 30 0 0 25 0 1 0 912547304 41086976 8228 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10031 8228 1111 63 0 9968 0
vsize: 40124
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8370 0 0 0 101004 30 0 0 25 0 1 0 912547304 41369600 8290 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10100 8290 1111 63 0 10037 0
vsize: 40400
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8439 0 0 0 102004 31 0 0 25 0 1 0 912547304 41656320 8359 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 8359 1111 63 0 10107 0
vsize: 40680
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8501 0 0 0 103004 31 0 0 25 0 1 0 912547304 41799680 8421 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10205 8421 1111 63 0 10142 0
vsize: 40820
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8563 0 0 0 104003 31 0 0 25 0 1 0 912547304 42078208 8483 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10273 8483 1111 63 0 10210 0
vsize: 41092
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8633 0 0 0 105003 32 0 0 25 0 1 0 912547304 42360832 8553 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10342 8553 1111 63 0 10279 0
vsize: 41368
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8694 0 0 0 106003 32 0 0 25 0 1 0 912547304 42639360 8614 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10410 8614 1111 63 0 10347 0
vsize: 41640
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8758 0 0 0 107003 33 0 0 25 0 1 0 912547304 42926080 8678 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10480 8678 1111 63 0 10417 0
vsize: 41920
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8826 0 0 0 108003 33 0 0 25 0 1 0 912547304 43208704 8746 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10549 8746 1111 63 0 10486 0
vsize: 42196
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15538
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8881 0 0 0 109003 34 0 0 25 0 1 0 912547304 43347968 8801 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 8801 1111 63 0 10520 0
vsize: 42332
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 8944 0 0 0 110002 34 0 0 25 0 1 0 912547304 43630592 8864 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10652 8864 1111 63 0 10589 0
vsize: 42608
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 9006 0 0 0 111002 35 0 0 25 0 1 0 912547304 43909120 8926 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10720 8926 1111 63 0 10657 0
vsize: 42880
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 9075 0 0 0 112002 35 0 0 25 0 1 0 912547304 44195840 8995 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10790 8995 1111 63 0 10727 0
vsize: 43160
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 9131 0 0 0 113002 35 0 0 25 0 1 0 912547304 44478464 9051 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10859 9051 1111 63 0 10796 0
vsize: 43436
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 9192 0 0 0 114002 36 0 0 25 0 1 0 912547304 44621824 9112 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 9112 1111 63 0 10831 0
vsize: 43576
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 9254 0 0 0 115002 36 0 0 25 0 1 0 912547304 44900352 9174 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10962 9174 1111 63 0 10899 0
vsize: 43848
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 9325 0 0 0 116002 37 0 0 25 0 1 0 912547304 45182976 9245 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11031 9245 1111 63 0 10968 0
vsize: 44124
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 9387 0 0 0 117002 37 0 0 25 0 1 0 912547304 45469696 9307 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11101 9307 1111 63 0 11038 0
vsize: 44404
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 9455 0 0 0 118001 38 0 0 25 0 1 0 912547304 45748224 9375 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11169 9375 1111 63 0 11106 0
vsize: 44676
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 9518 0 0 0 119001 38 0 0 25 0 1 0 912547304 46030848 9438 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11238 9438 1111 63 0 11175 0
vsize: 44952
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) R 15482 25568 25567 0 -1 0 9586 0 0 0 120002 38 0 0 25 0 1 0 912547304 46313472 9506 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11307 9506 1111 63 0 11244 0
vsize: 45228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 15540
Raw data (stat): 15483 (bsolo_lpr_cuts-) Z 15482 25568 25567 0 -1 1036 9586 0 0 0 120002 40 0 0 25 0 1 0 912547304 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.05
CPU time (s): 1200.43
CPU user time (s): 1200.02
CPU system time (s): 0.405938
CPU usage (%): 100.031
Max. virtual memory (Kb): 45228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####