PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
MD5SUM	0bcc00bfe1019c444b568fb7268c455a
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	374066
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	1765505311698925125632
Number of bits of the sum of numbers in the objective function	71
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.86596
Number of variables	733406
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	13
Maximum length of a constraint	6840
Trace number 41277

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        758880 kB
Buffers:         18608 kB
Cached:         232668 kB
SwapCached:       1140 kB
Active:          80472 kB
Inactive:       173024 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        758628 kB
SwapTotal:     2097136 kB
SwapFree:      2094820 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16536 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:44:08 (client local time) WITH STATUS 0 IN 1209.27 SECONDS
stats: 29323 7 1209.27 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.77 0.84 0.86 1/55 2730
Raw data (stat): 2730 (runsolver) D 2729 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 852312372 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.80 0.85 0.87 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 2921 0 0 0 892 10 0 0 25 0 1 0 852312372 15212544 2841 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3714 2841 1111 63 0 3651 0
vsize: 14856
[startup+20.0015 s]
Raw data (loadavg): 0.83 0.85 0.87 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 2943 0 0 0 1892 10 0 0 25 0 1 0 852312372 15364096 2863 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3751 2863 1111 63 0 3688 0
vsize: 15004
[startup+30.0012 s]
Raw data (loadavg): 0.86 0.86 0.87 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 2965 0 0 0 2892 10 0 0 25 0 1 0 852312372 15364096 2885 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3751 2885 1111 63 0 3688 0
vsize: 15004
[startup+40.002 s]
Raw data (loadavg): 0.88 0.86 0.87 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 2994 0 0 0 3893 10 0 0 25 0 1 0 852312372 15511552 2914 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 2914 1111 63 0 3724 0
vsize: 15148
[startup+50.0018 s]
Raw data (loadavg): 0.90 0.86 0.87 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3016 0 0 0 4893 10 0 0 25 0 1 0 852312372 15663104 2936 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 2936 1111 63 0 3761 0
vsize: 15296
[startup+60.0026 s]
Raw data (loadavg): 0.91 0.87 0.87 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3038 0 0 0 5893 10 0 0 25 0 1 0 852312372 15663104 2958 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 2958 1111 63 0 3761 0
vsize: 15296
[startup+70.0027 s]
Raw data (loadavg): 0.92 0.87 0.87 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3067 0 0 0 6893 10 0 0 25 0 1 0 852312372 15810560 2987 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 2987 1111 63 0 3797 0
vsize: 15440
[startup+80.0032 s]
Raw data (loadavg): 0.94 0.87 0.87 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3091 0 0 0 7893 10 0 0 25 0 1 0 852312372 15945728 3011 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 3011 1111 63 0 3830 0
vsize: 15572
[startup+90.003 s]
Raw data (loadavg): 0.95 0.88 0.87 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3113 0 0 0 8892 11 0 0 25 0 1 0 852312372 15945728 3033 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 3033 1111 63 0 3830 0
vsize: 15572
[startup+100.003 s]
Raw data (loadavg): 0.95 0.88 0.87 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3135 0 0 0 9892 11 0 0 25 0 1 0 852312372 16089088 3055 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3928 3055 1111 63 0 3865 0
vsize: 15712
[startup+110.005 s]
Raw data (loadavg): 0.96 0.89 0.88 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3157 0 0 0 10893 11 0 0 25 0 1 0 852312372 16236544 3077 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 3077 1111 63 0 3901 0
vsize: 15856
[startup+120.005 s]
Raw data (loadavg): 0.97 0.89 0.88 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3186 0 0 0 11893 11 0 0 25 0 1 0 852312372 16236544 3106 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 3106 1111 63 0 3901 0
vsize: 15856
[startup+130.006 s]
Raw data (loadavg): 0.97 0.89 0.88 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3214 0 0 0 12893 11 0 0 25 0 1 0 852312372 16388096 3134 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 3134 1111 63 0 3938 0
vsize: 16004
[startup+140.006 s]
Raw data (loadavg): 0.97 0.89 0.88 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3230 0 0 0 13893 11 0 0 25 0 1 0 852312372 16535552 3150 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 3150 1111 63 0 3974 0
vsize: 16148
[startup+150.006 s]
Raw data (loadavg): 0.98 0.90 0.88 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3259 0 0 0 14893 12 0 0 25 0 1 0 852312372 16535552 3179 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 3179 1111 63 0 3974 0
vsize: 16148
[startup+160.006 s]
Raw data (loadavg): 0.98 0.90 0.88 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3288 0 0 0 15893 12 0 0 25 0 1 0 852312372 16687104 3208 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3208 1111 63 0 4011 0
vsize: 16296
[startup+170.006 s]
Raw data (loadavg): 0.98 0.90 0.88 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3312 0 0 0 16893 12 0 0 25 0 1 0 852312372 16838656 3232 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3232 1111 63 0 4048 0
vsize: 16444
[startup+180.006 s]
Raw data (loadavg): 0.99 0.91 0.88 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3340 0 0 0 17893 12 0 0 25 0 1 0 852312372 16990208 3260 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 3260 1111 63 0 4085 0
vsize: 16592
[startup+190.007 s]
Raw data (loadavg): 0.99 0.91 0.88 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3363 0 0 0 18893 12 0 0 25 0 1 0 852312372 16990208 3283 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 3283 1111 63 0 4085 0
vsize: 16592
[startup+200.007 s]
Raw data (loadavg): 0.99 0.91 0.88 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3378 0 0 0 19893 12 0 0 25 0 1 0 852312372 17137664 3298 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3298 1111 63 0 4121 0
vsize: 16736
[startup+210.007 s]
Raw data (loadavg): 0.99 0.91 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3409 0 0 0 20894 12 0 0 25 0 1 0 852312372 17272832 3329 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 3329 1111 63 0 4154 0
vsize: 16868
[startup+220.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3438 0 0 0 21894 12 0 0 25 0 1 0 852312372 17272832 3358 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 3358 1111 63 0 4154 0
vsize: 16868
[startup+230.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3460 0 0 0 22894 12 0 0 25 0 1 0 852312372 17420288 3380 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4253 3380 1111 63 0 4190 0
vsize: 17012
[startup+240.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3482 0 0 0 23894 12 0 0 25 0 1 0 852312372 17567744 3402 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4289 3402 1111 63 0 4226 0
vsize: 17156
[startup+250.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3511 0 0 0 24894 12 0 0 25 0 1 0 852312372 17567744 3431 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4289 3431 1111 63 0 4226 0
vsize: 17156
[startup+260.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3535 0 0 0 25894 12 0 0 25 0 1 0 852312372 17702912 3455 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 3455 1111 63 0 4259 0
vsize: 17288
[startup+270.008 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3557 0 0 0 26894 13 0 0 25 0 1 0 852312372 17846272 3477 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 3477 1111 63 0 4294 0
vsize: 17428
[startup+280.008 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3586 0 0 0 27894 13 0 0 25 0 1 0 852312372 17993728 3506 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 3506 1111 63 0 4330 0
vsize: 17572
[startup+290.009 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3614 0 0 0 28895 13 0 0 25 0 1 0 852312372 17993728 3534 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 3534 1111 63 0 4330 0
vsize: 17572
[startup+300.009 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3630 0 0 0 29895 13 0 0 25 0 1 0 852312372 18145280 3550 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 3550 1111 63 0 4367 0
vsize: 17720
[startup+310.01 s]
Raw data (loadavg): 0.99 0.93 0.89 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3659 0 0 0 30895 13 0 0 25 0 1 0 852312372 18292736 3579 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 3579 1111 63 0 4403 0
vsize: 17864
[startup+320.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3688 0 0 0 31895 13 0 0 25 0 1 0 852312372 18292736 3608 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 3608 1111 63 0 4403 0
vsize: 17864
[startup+330.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3710 0 0 0 32895 13 0 0 25 0 1 0 852312372 18444288 3630 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4503 3630 1111 63 0 4440 0
vsize: 18012
[startup+340.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3732 0 0 0 33895 13 0 0 25 0 1 0 852312372 18591744 3652 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3652 1111 63 0 4476 0
vsize: 18156
[startup+350.009 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3755 0 0 0 34895 13 0 0 25 0 1 0 852312372 18591744 3675 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3675 1111 63 0 4476 0
vsize: 18156
[startup+360.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3777 0 0 0 35896 13 0 0 25 0 1 0 852312372 18747392 3697 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4577 3697 1111 63 0 4514 0
vsize: 18308
[startup+370.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3806 0 0 0 36896 13 0 0 25 0 1 0 852312372 18894848 3726 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 3726 1111 63 0 4550 0
vsize: 18452
[startup+380.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3835 0 0 0 37896 13 0 0 25 0 1 0 852312372 18894848 3755 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 3755 1111 63 0 4550 0
vsize: 18452
[startup+390.01 s]
Raw data (loadavg): 0.99 0.95 0.90 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3851 0 0 0 38896 13 0 0 25 0 1 0 852312372 19046400 3771 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 3771 1111 63 0 4587 0
vsize: 18600
[startup+400.009 s]
Raw data (loadavg): 0.99 0.95 0.90 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3879 0 0 0 39896 13 0 0 25 0 1 0 852312372 19193856 3799 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3799 1111 63 0 4623 0
vsize: 18744
[startup+410.009 s]
Raw data (loadavg): 0.99 0.95 0.90 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3906 0 0 0 40896 13 0 0 25 0 1 0 852312372 19193856 3826 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3826 1111 63 0 4623 0
vsize: 18744
[startup+420.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3928 0 0 0 41896 13 0 0 25 0 1 0 852312372 19341312 3848 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 3848 1111 63 0 4659 0
vsize: 18888
[startup+430.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3957 0 0 0 42896 14 0 0 25 0 1 0 852312372 19488768 3877 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3877 1111 63 0 4695 0
vsize: 19032
[startup+440.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 3987 0 0 0 43896 14 0 0 25 0 1 0 852312372 19644416 3907 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 3907 1111 63 0 4733 0
vsize: 19184
[startup+450.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4010 0 0 0 44896 14 0 0 25 0 1 0 852312372 19644416 3930 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 3930 1111 63 0 4733 0
vsize: 19184
[startup+460.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4032 0 0 0 45897 14 0 0 25 0 1 0 852312372 19795968 3952 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 3952 1111 63 0 4770 0
vsize: 19332
[startup+470.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4062 0 0 0 46897 14 0 0 25 0 1 0 852312372 19943424 3982 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4869 3982 1111 63 0 4806 0
vsize: 19476
[startup+480.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4091 0 0 0 47897 14 0 0 25 0 1 0 852312372 19943424 4011 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4869 4011 1111 63 0 4806 0
vsize: 19476
[startup+490.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4113 0 0 0 48897 14 0 0 25 0 1 0 852312372 20094976 4033 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4906 4033 1111 63 0 4843 0
vsize: 19624
[startup+500.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4136 0 0 0 49897 14 0 0 25 0 1 0 852312372 20242432 4056 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 4056 1111 63 0 4879 0
vsize: 19768
[startup+510.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4164 0 0 0 50897 14 0 0 25 0 1 0 852312372 20242432 4084 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 4084 1111 63 0 4879 0
vsize: 19768
[startup+520.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4194 0 0 0 51897 14 0 0 25 0 1 0 852312372 20393984 4114 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 4114 1111 63 0 4916 0
vsize: 19916
[startup+530.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4202 0 0 0 52897 14 0 0 25 0 1 0 852312372 20393984 4122 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 4122 1111 63 0 4916 0
vsize: 19916
[startup+540.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4225 0 0 0 53898 14 0 0 25 0 1 0 852312372 20545536 4145 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 4145 1111 63 0 4953 0
vsize: 20064
[startup+550.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4253 0 0 0 54898 14 0 0 25 0 1 0 852312372 20697088 4173 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4173 1111 63 0 4990 0
vsize: 20212
[startup+560.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4282 0 0 0 55898 14 0 0 25 0 1 0 852312372 20844544 4202 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 4202 1111 63 0 5026 0
vsize: 20356
[startup+570.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4298 0 0 0 56898 14 0 0 25 0 1 0 852312372 20844544 4218 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 4218 1111 63 0 5026 0
vsize: 20356
[startup+580.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4326 0 0 0 57898 14 0 0 25 0 1 0 852312372 20996096 4246 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5126 4246 1111 63 0 5063 0
vsize: 20504
[startup+590.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4355 0 0 0 58898 14 0 0 25 0 1 0 852312372 21143552 4275 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 4275 1111 63 0 5099 0
vsize: 20648
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4370 0 0 0 59899 14 0 0 25 0 1 0 852312372 21143552 4290 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 4290 1111 63 0 5099 0
vsize: 20648
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4399 0 0 0 60899 14 0 0 25 0 1 0 852312372 21295104 4319 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5199 4319 1111 63 0 5136 0
vsize: 20796
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4423 0 0 0 61900 14 0 0 25 0 1 0 852312372 21295104 4343 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5199 4343 1111 63 0 5136 0
vsize: 20796
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4445 0 0 0 62900 15 0 0 25 0 1 0 852312372 21450752 4365 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 4365 1111 63 0 5174 0
vsize: 20948
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4474 0 0 0 63900 15 0 0 25 0 1 0 852312372 21602304 4394 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5274 4394 1111 63 0 5211 0
vsize: 21096
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4502 0 0 0 64900 15 0 0 25 0 1 0 852312372 21749760 4422 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 4422 1111 63 0 5247 0
vsize: 21240
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4525 0 0 0 65900 15 0 0 25 0 1 0 852312372 21749760 4445 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 4445 1111 63 0 5247 0
vsize: 21240
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4547 0 0 0 66900 15 0 0 25 0 1 0 852312372 21901312 4467 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5347 4467 1111 63 0 5284 0
vsize: 21388
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4576 0 0 0 67900 15 0 0 25 0 1 0 852312372 22048768 4496 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 4496 1111 63 0 5320 0
vsize: 21532
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4604 0 0 0 68900 15 0 0 25 0 1 0 852312372 22048768 4524 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 4524 1111 63 0 5320 0
vsize: 21532
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4628 0 0 0 69900 16 0 0 25 0 1 0 852312372 22200320 4548 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 4548 1111 63 0 5357 0
vsize: 21680
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4651 0 0 0 70900 16 0 0 25 0 1 0 852312372 22351872 4571 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4571 1111 63 0 5394 0
vsize: 21828
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4680 0 0 0 71900 16 0 0 25 0 1 0 852312372 22351872 4600 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4600 1111 63 0 5394 0
vsize: 21828
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4708 0 0 0 72900 16 0 0 25 0 1 0 852312372 22503424 4628 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 4628 1111 63 0 5431 0
vsize: 21976
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4730 0 0 0 73900 16 0 0 25 0 1 0 852312372 22650880 4650 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 4650 1111 63 0 5467 0
vsize: 22120
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4752 0 0 0 74900 16 0 0 25 0 1 0 852312372 22650880 4672 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 4672 1111 63 0 5467 0
vsize: 22120
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4781 0 0 0 75900 16 0 0 25 0 1 0 852312372 22802432 4701 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 4701 1111 63 0 5504 0
vsize: 22268
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4803 0 0 0 76901 16 0 0 25 0 1 0 852312372 22949888 4723 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 4723 1111 63 0 5540 0
vsize: 22412
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4826 0 0 0 77901 16 0 0 25 0 1 0 852312372 22949888 4746 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 4746 1111 63 0 5540 0
vsize: 22412
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4856 0 0 0 78901 16 0 0 25 0 1 0 852312372 23101440 4776 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5640 4776 1111 63 0 5577 0
vsize: 22560
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4892 0 0 0 79901 17 0 0 25 0 1 0 852312372 23265280 4812 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5680 4812 1111 63 0 5617 0
vsize: 22720
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4914 0 0 0 80901 17 0 0 25 0 1 0 852312372 23400448 4834 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 4834 1111 63 0 5650 0
vsize: 22852
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4936 0 0 0 81901 17 0 0 25 0 1 0 852312372 23543808 4856 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 4856 1111 63 0 5685 0
vsize: 22992
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4965 0 0 0 82901 17 0 0 25 0 1 0 852312372 23543808 4885 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 4885 1111 63 0 5685 0
vsize: 22992
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 4987 0 0 0 83901 17 0 0 25 0 1 0 852312372 23695360 4907 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5785 4907 1111 63 0 5722 0
vsize: 23140
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5010 0 0 0 84901 17 0 0 25 0 1 0 852312372 23842816 4930 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4930 1111 63 0 5758 0
vsize: 23284
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5038 0 0 0 85901 17 0 0 25 0 1 0 852312372 23842816 4958 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4958 1111 63 0 5758 0
vsize: 23284
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5066 0 0 0 86901 17 0 0 25 0 1 0 852312372 23994368 4986 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 4986 1111 63 0 5795 0
vsize: 23432
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5084 0 0 0 87902 17 0 0 25 0 1 0 852312372 24145920 5004 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 5004 1111 63 0 5832 0
vsize: 23580
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5113 0 0 0 88902 17 0 0 25 0 1 0 852312372 24145920 5033 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 5033 1111 63 0 5832 0
vsize: 23580
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5141 0 0 0 89902 17 0 0 25 0 1 0 852312372 24297472 5061 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5932 5061 1111 63 0 5869 0
vsize: 23728
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5157 0 0 0 90902 17 0 0 25 0 1 0 852312372 24444928 5077 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5968 5077 1111 63 0 5905 0
vsize: 23872
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5179 0 0 0 91902 17 0 0 25 0 1 0 852312372 24444928 5099 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5968 5099 1111 63 0 5905 0
vsize: 23872
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5201 0 0 0 92902 17 0 0 25 0 1 0 852312372 24596480 5121 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 5121 1111 63 0 5942 0
vsize: 24020
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5230 0 0 0 93902 18 0 0 25 0 1 0 852312372 24743936 5150 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 5150 1111 63 0 5978 0
vsize: 24164
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5258 0 0 0 94902 18 0 0 25 0 1 0 852312372 24743936 5178 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 5178 1111 63 0 5978 0
vsize: 24164
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5282 0 0 0 95902 18 0 0 25 0 1 0 852312372 24895488 5202 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6078 5202 1111 63 0 6015 0
vsize: 24312
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5305 0 0 0 96902 18 0 0 25 0 1 0 852312372 25051136 5225 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 5225 1111 63 0 6053 0
vsize: 24464
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5334 0 0 0 97903 18 0 0 25 0 1 0 852312372 25051136 5254 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 5254 1111 63 0 6053 0
vsize: 24464
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5363 0 0 0 98903 18 0 0 25 0 1 0 852312372 25202688 5283 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 5283 1111 63 0 6090 0
vsize: 24612
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5386 0 0 0 99903 18 0 0 25 0 1 0 852312372 25350144 5306 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 5306 1111 63 0 6126 0
vsize: 24756
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5408 0 0 0 100903 18 0 0 25 0 1 0 852312372 25350144 5328 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 5328 1111 63 0 6126 0
vsize: 24756
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5430 0 0 0 101903 18 0 0 25 0 1 0 852312372 25501696 5350 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5350 1111 63 0 6163 0
vsize: 24904
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5452 0 0 0 102903 18 0 0 25 0 1 0 852312372 25649152 5372 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 5372 1111 63 0 6199 0
vsize: 25048
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5481 0 0 0 103903 18 0 0 25 0 1 0 852312372 25649152 5401 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 5401 1111 63 0 6199 0
vsize: 25048
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5503 0 0 0 104903 18 0 0 25 0 1 0 852312372 25800704 5423 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 5423 1111 63 0 6236 0
vsize: 25196
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5527 0 0 0 105903 18 0 0 25 0 1 0 852312372 25952256 5447 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 5447 1111 63 0 6273 0
vsize: 25344
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5555 0 0 0 106904 18 0 0 25 0 1 0 852312372 25952256 5475 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 5475 1111 63 0 6273 0
vsize: 25344
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5584 0 0 0 107904 18 0 0 25 0 1 0 852312372 26103808 5504 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 5504 1111 63 0 6310 0
vsize: 25492
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5606 0 0 0 108904 19 0 0 25 0 1 0 852312372 26251264 5526 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 5526 1111 63 0 6346 0
vsize: 25636
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5629 0 0 0 109904 19 0 0 25 0 1 0 852312372 26251264 5549 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 5549 1111 63 0 6346 0
vsize: 25636
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5657 0 0 0 110904 19 0 0 25 0 1 0 852312372 26402816 5577 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6446 5577 1111 63 0 6383 0
vsize: 25784
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5686 0 0 0 111904 19 0 0 25 0 1 0 852312372 26550272 5606 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 5606 1111 63 0 6419 0
vsize: 25928
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5709 0 0 0 112904 19 0 0 25 0 1 0 852312372 26701824 5629 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 5629 1111 63 0 6456 0
vsize: 26076
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5731 0 0 0 113904 19 0 0 25 0 1 0 852312372 26701824 5651 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 5651 1111 63 0 6456 0
vsize: 26076
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5761 0 0 0 114905 19 0 0 25 0 1 0 852312372 26849280 5681 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6555 5681 1111 63 0 6492 0
vsize: 26220
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5784 0 0 0 115905 19 0 0 25 0 1 0 852312372 26984448 5704 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6588 5704 1111 63 0 6525 0
vsize: 26352
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5807 0 0 0 116905 19 0 0 25 0 1 0 852312372 26984448 5727 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6588 5727 1111 63 0 6525 0
vsize: 26352
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5835 0 0 0 117905 19 0 0 25 0 1 0 852312372 27127808 5755 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5755 1111 63 0 6560 0
vsize: 26492
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5865 0 0 0 118905 19 0 0 25 0 1 0 852312372 27275264 5785 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 5785 1111 63 0 6596 0
vsize: 26636
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5880 0 0 0 119905 19 0 0 25 0 1 0 852312372 27275264 5800 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 5800 1111 63 0 6596 0
vsize: 26636
[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) R 2729 8378 8377 0 -1 0 5909 0 0 0 120905 19 0 0 25 0 1 0 852312372 27426816 5829 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6696 5829 1111 63 0 6633 0
vsize: 26784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 2730
Raw data (stat): 2730 (bsolo_lpr_cuts-) Z 2729 8378 8377 0 -1 1036 5909 0 0 0 120905 20 0 0 25 0 1 0 852312372 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): 1210.04
CPU time (s): 1209.27
CPU user time (s): 1209.06
CPU system time (s): 0.207968
CPU usage (%): 99.9361
Max. virtual memory (Kb): 26784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####