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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb
MD5SUM	5f5cb3c37eae37e49339d7674a999c27
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	172663
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	42533442284
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	30985420800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	101083836075
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9357
Number of variables	210852
Total number of constraints	10500
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	10500
Minimum length of a constraint	10
Maximum length of a constraint	413
Trace number 41389

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 11:19:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29433 boxname=wulflinc6 idbench=1217 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5f5cb3c37eae37e49339d7674a999c27  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fit2p.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fit2p.opb
IDLAUNCH: 29433
/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:        419532 kB
Buffers:         26604 kB
Cached:         566648 kB
SwapCached:        932 kB
Active:          55520 kB
Inactive:       539788 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        419280 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14176 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:39:05 (client local time) WITH STATUS 0 IN 1200.49 SECONDS
stats: 29433 7 1200.49 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.87 0.97 0.91 2/54 10995
Raw data (stat): 10995 (runsolver) R 10994 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909859215 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.0011 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 1460 0 0 0 993 4 0 0 25 0 1 0 909859215 15765504 1380 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3849 1380 1111 63 0 3786 0
vsize: 15396
[startup+20.0018 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 1610 0 0 0 1993 4 0 0 25 0 1 0 909859215 16322560 1530 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3985 1530 1111 63 0 3922 0
vsize: 15940
[startup+30.0016 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 1758 0 0 0 2993 5 0 0 25 0 1 0 909859215 16875520 1678 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 1678 1111 63 0 4057 0
vsize: 16480
[startup+40.0042 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 1908 0 0 0 3993 5 0 0 25 0 1 0 909859215 17571840 1828 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4290 1828 1111 63 0 4227 0
vsize: 17160
[startup+50.0049 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 2057 0 0 0 4994 5 0 0 25 0 1 0 909859215 18124800 1977 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4425 1977 1111 63 0 4362 0
vsize: 17700
[startup+60.0054 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 2208 0 0 0 5993 6 0 0 25 0 1 0 909859215 18825216 2128 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4596 2128 1111 63 0 4533 0
vsize: 18384
[startup+70.0058 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 2364 0 0 0 6993 7 0 0 25 0 1 0 909859215 19386368 2284 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4733 2284 1111 63 0 4670 0
vsize: 18932
[startup+80.0067 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 2506 0 0 0 7993 7 0 0 25 0 1 0 909859215 19939328 2426 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4868 2426 1111 63 0 4805 0
vsize: 19472
[startup+90.0065 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 2656 0 0 0 8993 7 0 0 25 0 1 0 909859215 20631552 2576 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5037 2576 1111 63 0 4974 0
vsize: 20148
[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 2810 0 0 0 9993 7 0 0 25 0 1 0 909859215 21184512 2730 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5172 2730 1111 63 0 5109 0
vsize: 20688
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 2959 0 0 0 10993 8 0 0 25 0 1 0 909859215 21880832 2879 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5342 2879 1111 63 0 5279 0
vsize: 21368
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 3114 0 0 0 11993 8 0 0 25 0 1 0 909859215 22433792 3034 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5477 3034 1111 63 0 5414 0
vsize: 21908
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 3270 0 0 0 12993 9 0 0 25 0 1 0 909859215 23130112 3190 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5647 3190 1111 63 0 5584 0
vsize: 22588
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 3412 0 0 0 13993 10 0 0 25 0 1 0 909859215 23678976 3332 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5781 3332 1111 63 0 5718 0
vsize: 23124
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 3563 0 0 0 14993 10 0 0 25 0 1 0 909859215 24379392 3483 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5952 3483 1111 63 0 5889 0
vsize: 23808
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 3718 0 0 0 15993 10 0 0 25 0 1 0 909859215 24932352 3638 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 3638 1111 63 0 6024 0
vsize: 24348
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 3868 0 0 0 16993 10 0 0 25 0 1 0 909859215 25628672 3788 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6257 3788 1111 63 0 6194 0
vsize: 25028
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 4016 0 0 0 17994 10 0 0 25 0 1 0 909859215 26177536 3936 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6391 3936 1111 63 0 6328 0
vsize: 25564
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 4165 0 0 0 18994 11 0 0 25 0 1 0 909859215 26730496 4085 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 4085 1111 63 0 6463 0
vsize: 26104
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 4315 0 0 0 19994 11 0 0 25 0 1 0 909859215 27430912 4235 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6697 4235 1111 63 0 6634 0
vsize: 26788
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 4472 0 0 0 20994 11 0 0 25 0 1 0 909859215 28123136 4392 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 4392 1111 63 0 6803 0
vsize: 27464
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 4626 0 0 0 21993 12 0 0 25 0 1 0 909859215 28672000 4546 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7000 4546 1111 63 0 6937 0
vsize: 28000
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 4775 0 0 0 22994 12 0 0 25 0 1 0 909859215 29360128 4695 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7168 4695 1111 63 0 7105 0
vsize: 28672
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 4925 0 0 0 23994 12 0 0 25 0 1 0 909859215 29921280 4845 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 4845 1111 63 0 7242 0
vsize: 29220
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 5080 0 0 0 24994 12 0 0 25 0 1 0 909859215 30609408 5000 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7473 5000 1111 63 0 7410 0
vsize: 29892
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 5230 0 0 0 25995 13 0 0 25 0 1 0 909859215 31170560 5150 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7610 5150 1111 63 0 7547 0
vsize: 30440
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 5386 0 0 0 26995 13 0 0 25 0 1 0 909859215 31858688 5306 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7778 5306 1111 63 0 7715 0
vsize: 31112
[startup+280.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 5530 0 0 0 27995 13 0 0 25 0 1 0 909859215 32419840 5450 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7915 5450 1111 63 0 7852 0
vsize: 31660
[startup+290.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 5685 0 0 0 28995 14 0 0 25 0 1 0 909859215 32972800 5605 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8050 5605 1111 63 0 7987 0
vsize: 32200
[startup+300.027 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 5842 0 0 0 29995 14 0 0 25 0 1 0 909859215 33669120 5762 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8220 5762 1111 63 0 8157 0
vsize: 32880
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 5991 0 0 0 30995 14 0 0 25 0 1 0 909859215 34217984 5911 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8354 5911 1111 63 0 8291 0
vsize: 33416
[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 6142 0 0 0 31995 15 0 0 25 0 1 0 909859215 34910208 6062 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8523 6062 1111 63 0 8460 0
vsize: 34092
[startup+330.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 6296 0 0 0 32996 15 0 0 25 0 1 0 909859215 35467264 6216 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 6216 1111 63 0 8596 0
vsize: 34636
[startup+340.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 6451 0 0 0 33996 15 0 0 25 0 1 0 909859215 36159488 6371 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8828 6371 1111 63 0 8765 0
vsize: 35312
[startup+350.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 6602 0 0 0 34996 16 0 0 25 0 1 0 909859215 36716544 6522 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8964 6522 1111 63 0 8901 0
vsize: 35856
[startup+360.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 6751 0 0 0 35996 16 0 0 25 0 1 0 909859215 37408768 6671 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9133 6671 1111 63 0 9070 0
vsize: 36532
[startup+370.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 6907 0 0 0 36996 16 0 0 25 0 1 0 909859215 37965824 6827 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9269 6827 1111 63 0 9206 0
vsize: 37076
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 7062 0 0 0 37996 17 0 0 25 0 1 0 909859215 38658048 6982 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6982 1111 63 0 9375 0
vsize: 37752
[startup+390.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 7212 0 0 0 38996 17 0 0 25 0 1 0 909859215 39215104 7132 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9574 7132 1111 63 0 9511 0
vsize: 38296
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 7361 0 0 0 39996 18 0 0 25 0 1 0 909859215 39907328 7281 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9743 7281 1111 63 0 9680 0
vsize: 38972
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 7517 0 0 0 40995 18 0 0 25 0 1 0 909859215 40464384 7437 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9879 7437 1111 63 0 9816 0
vsize: 39516
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 7683 0 0 0 41996 18 0 0 25 0 1 0 909859215 41193472 7603 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10057 7603 1111 63 0 9994 0
vsize: 40228
[startup+430.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 7839 0 0 0 42996 19 0 0 25 0 1 0 909859215 41893888 7759 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10228 7759 1111 63 0 10165 0
vsize: 40912
[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 7989 0 0 0 43996 19 0 0 25 0 1 0 909859215 42442752 7909 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10362 7909 1111 63 0 10299 0
vsize: 41448
[startup+450.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 8145 0 0 0 44996 19 0 0 25 0 1 0 909859215 43139072 8065 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10532 8065 1111 63 0 10469 0
vsize: 42128
[startup+460.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 8300 0 0 0 45996 19 0 0 25 0 1 0 909859215 43831296 8220 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10701 8220 1111 63 0 10638 0
vsize: 42804
[startup+470.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 8457 0 0 0 46997 19 0 0 25 0 1 0 909859215 44392448 8377 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10838 8377 1111 63 0 10775 0
vsize: 43352
[startup+480.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 8606 0 0 0 47996 20 0 0 25 0 1 0 909859215 45080576 8526 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11006 8526 1111 63 0 10943 0
vsize: 44024
[startup+490.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 8758 0 0 0 48996 20 0 0 25 0 1 0 909859215 45633536 8678 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11141 8678 1111 63 0 11078 0
vsize: 44564
[startup+500.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 8913 0 0 0 49997 20 0 0 25 0 1 0 909859215 46329856 8833 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11311 8833 1111 63 0 11248 0
vsize: 45244
[startup+510.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 9067 0 0 0 50997 21 0 0 25 0 1 0 909859215 46882816 8987 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11446 8987 1111 63 0 11383 0
vsize: 45784
[startup+520.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 9225 0 0 0 51997 21 0 0 25 0 1 0 909859215 47579136 9145 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9145 1111 63 0 11553 0
vsize: 46464
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 9374 0 0 0 52997 21 0 0 25 0 1 0 909859215 48132096 9294 4294967295 134512640 134716908 3221224560 3221222788 1077414372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11751 9294 1111 63 0 11688 0
vsize: 47004
[startup+540.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 9531 0 0 0 53997 21 0 0 25 0 1 0 909859215 48828416 9451 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11921 9451 1111 63 0 11858 0
vsize: 47684
[startup+550.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 9686 0 0 0 54997 22 0 0 25 0 1 0 909859215 49381376 9606 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12056 9606 1111 63 0 11993 0
vsize: 48224
[startup+560.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 9843 0 0 0 55998 22 0 0 25 0 1 0 909859215 50077696 9763 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 9763 1111 63 0 12163 0
vsize: 48904
[startup+570.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 9999 0 0 0 56998 22 0 0 25 0 1 0 909859215 50769920 9919 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12395 9919 1111 63 0 12332 0
vsize: 49580
[startup+580.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 10149 0 0 0 57997 23 0 0 25 0 1 0 909859215 51326976 10069 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12531 10069 1111 63 0 12468 0
vsize: 50124
[startup+590.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 10304 0 0 0 58998 23 0 0 25 0 1 0 909859215 52019200 10224 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12700 10224 1111 63 0 12637 0
vsize: 50800
[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 10462 0 0 0 59998 23 0 0 25 0 1 0 909859215 52580352 10382 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12837 10382 1111 63 0 12774 0
vsize: 51348
[startup+610.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 10617 0 0 0 60998 23 0 0 25 0 1 0 909859215 53268480 10537 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13005 10537 1111 63 0 12942 0
vsize: 52020
[startup+620.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 10768 0 0 0 61998 23 0 0 25 0 1 0 909859215 53829632 10688 4294967295 134512640 134716908 3221224560 3221222788 1077414422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13142 10688 1111 63 0 13079 0
vsize: 52568
[startup+630.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 10923 0 0 0 62998 24 0 0 25 0 1 0 909859215 54517760 10843 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13310 10843 1111 63 0 13247 0
vsize: 53240
[startup+640.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 11080 0 0 0 63998 24 0 0 25 0 1 0 909859215 55078912 11000 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13447 11000 1111 63 0 13384 0
vsize: 53788
[startup+650.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 11236 0 0 0 64999 24 0 0 25 0 1 0 909859215 55767040 11156 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13615 11156 1111 63 0 13552 0
vsize: 54460
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 11393 0 0 0 65999 24 0 0 25 0 1 0 909859215 56463360 11313 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13785 11313 1111 63 0 13722 0
vsize: 55140
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 11549 0 0 0 66998 25 0 0 25 0 1 0 909859215 57016320 11469 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13920 11469 1111 63 0 13857 0
vsize: 55680
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 11705 0 0 0 67999 25 0 0 25 0 1 0 909859215 57712640 11625 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14090 11625 1111 63 0 14027 0
vsize: 56360
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 11861 0 0 0 68999 25 0 0 25 0 1 0 909859215 58265600 11781 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14225 11781 1111 63 0 14162 0
vsize: 56900
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 12018 0 0 0 69999 25 0 0 25 0 1 0 909859215 58961920 11938 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14395 11938 1111 63 0 14332 0
vsize: 57580
[startup+710.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 12173 0 0 0 70999 26 0 0 25 0 1 0 909859215 59654144 12093 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14564 12093 1111 63 0 14501 0
vsize: 58256
[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 12331 0 0 0 71999 26 0 0 25 0 1 0 909859215 60207104 12251 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14699 12251 1111 63 0 14636 0
vsize: 58796
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 12492 0 0 0 72999 26 0 0 25 0 1 0 909859215 60903424 12412 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14869 12412 1111 63 0 14806 0
vsize: 59476
[startup+740.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 12647 0 0 0 73999 27 0 0 25 0 1 0 909859215 61591552 12567 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15037 12567 1111 63 0 14974 0
vsize: 60148
[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 12805 0 0 0 74999 27 0 0 25 0 1 0 909859215 62152704 12725 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15174 12725 1111 63 0 15111 0
vsize: 60696
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 12960 0 0 0 75999 27 0 0 25 0 1 0 909859215 62840832 12880 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15342 12880 1111 63 0 15279 0
vsize: 61368
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 13117 0 0 0 77000 27 0 0 25 0 1 0 909859215 63401984 13037 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15479 13037 1111 63 0 15416 0
vsize: 61916
[startup+780.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 13278 0 0 0 77999 28 0 0 25 0 1 0 909859215 64090112 13198 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15647 13198 1111 63 0 15584 0
vsize: 62588
[startup+790.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 13435 0 0 0 79000 28 0 0 25 0 1 0 909859215 64786432 13355 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15817 13355 1111 63 0 15754 0
vsize: 63268
[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 13591 0 0 0 80000 28 0 0 25 0 1 0 909859215 65339392 13511 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15952 13511 1111 63 0 15889 0
vsize: 63808
[startup+810.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 13753 0 0 0 81000 28 0 0 25 0 1 0 909859215 66039808 13673 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16123 13673 1111 63 0 16060 0
vsize: 64492
[startup+820.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 13927 0 0 0 82001 28 0 0 25 0 1 0 909859215 66895872 13847 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16332 13847 1111 63 0 16269 0
vsize: 65328
[startup+830.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 14083 0 0 0 83001 28 0 0 25 0 1 0 909859215 67588096 14003 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16501 14003 1111 63 0 16438 0
vsize: 66004
[startup+840.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 14240 0 0 0 84001 29 0 0 25 0 1 0 909859215 68141056 14160 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16636 14160 1111 63 0 16573 0
vsize: 66544
[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 14397 0 0 0 85001 29 0 0 25 0 1 0 909859215 68837376 14317 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16806 14317 1111 63 0 16743 0
vsize: 67224
[startup+860.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 14558 0 0 0 86001 29 0 0 25 0 1 0 909859215 69529600 14478 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16975 14478 1111 63 0 16912 0
vsize: 67900
[startup+870.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 14716 0 0 0 87001 29 0 0 25 0 1 0 909859215 70086656 14636 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 14636 1111 63 0 17048 0
vsize: 68444
[startup+880.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 14877 0 0 0 88001 30 0 0 25 0 1 0 909859215 70774784 14797 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17279 14797 1111 63 0 17216 0
vsize: 69116
[startup+890.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 15035 0 0 0 89001 30 0 0 25 0 1 0 909859215 71471104 14955 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17449 14955 1111 63 0 17386 0
vsize: 69796
[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 15197 0 0 0 90001 31 0 0 25 0 1 0 909859215 72024064 15117 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17584 15117 1111 63 0 17521 0
vsize: 70336
[startup+910.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 15359 0 0 0 91001 31 0 0 25 0 1 0 909859215 72724480 15279 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17755 15279 1111 63 0 17692 0
vsize: 71020
[startup+920.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 15516 0 0 0 92001 31 0 0 25 0 1 0 909859215 73412608 15436 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17923 15436 1111 63 0 17860 0
vsize: 71692
[startup+930.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 15673 0 0 0 93002 31 0 0 25 0 1 0 909859215 73969664 15593 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18059 15593 1111 63 0 17996 0
vsize: 72236
[startup+940.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 15829 0 0 0 94002 32 0 0 25 0 1 0 909859215 74661888 15749 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18228 15749 1111 63 0 18165 0
vsize: 72912
[startup+950.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 15992 0 0 0 95002 32 0 0 25 0 1 0 909859215 75358208 15912 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18398 15912 1111 63 0 18335 0
vsize: 73592
[startup+960.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 16148 0 0 0 96001 33 0 0 25 0 1 0 909859215 75911168 16068 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18533 16068 1111 63 0 18470 0
vsize: 74132
[startup+970.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 16312 0 0 0 97001 33 0 0 25 0 1 0 909859215 76607488 16232 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18703 16232 1111 63 0 18640 0
vsize: 74812
[startup+980.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 16473 0 0 0 98002 33 0 0 25 0 1 0 909859215 77295616 16393 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18871 16393 1111 63 0 18808 0
vsize: 75484
[startup+990.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 16637 0 0 0 99002 34 0 0 25 0 1 0 909859215 77996032 16557 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19042 16557 1111 63 0 18979 0
vsize: 76168
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 16793 0 0 0 100002 34 0 0 25 0 1 0 909859215 78548992 16713 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19177 16713 1111 63 0 19114 0
vsize: 76708
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 16956 0 0 0 101002 34 0 0 25 0 1 0 909859215 79245312 16876 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19347 16876 1111 63 0 19284 0
vsize: 77388
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 17113 0 0 0 102002 34 0 0 25 0 1 0 909859215 79933440 17033 4294967295 134512640 134716908 3221224560 3221223216 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19515 17033 1111 63 0 19452 0
vsize: 78060
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 17276 0 0 0 103002 35 0 0 25 0 1 0 909859215 80629760 17196 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19685 17196 1111 63 0 19622 0
vsize: 78740
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 17438 0 0 0 104002 35 0 0 25 0 1 0 909859215 81182720 17358 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19820 17358 1111 63 0 19757 0
vsize: 79280
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 17602 0 0 0 105003 35 0 0 25 0 1 0 909859215 81883136 17522 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19991 17522 1111 63 0 19928 0
vsize: 79964
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 17763 0 0 0 106002 36 0 0 25 0 1 0 909859215 82571264 17683 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20159 17683 1111 63 0 20096 0
vsize: 80636
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 17921 0 0 0 107003 36 0 0 25 0 1 0 909859215 83267584 17841 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20329 17841 1111 63 0 20266 0
vsize: 81316
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 18083 0 0 0 108003 36 0 0 25 0 1 0 909859215 83820544 18003 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20464 18003 1111 63 0 20401 0
vsize: 81856
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 18247 0 0 0 109003 36 0 0 25 0 1 0 909859215 84516864 18167 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20634 18167 1111 63 0 20571 0
vsize: 82536
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 18409 0 0 0 110003 37 0 0 25 0 1 0 909859215 85209088 18329 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20803 18329 1111 63 0 20740 0
vsize: 83212
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 18567 0 0 0 111003 37 0 0 25 0 1 0 909859215 85905408 18487 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20973 18487 1111 63 0 20910 0
vsize: 83892
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 18729 0 0 0 112002 38 0 0 25 0 1 0 909859215 86454272 18649 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21107 18649 1111 63 0 21044 0
vsize: 84428
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 18892 0 0 0 113003 38 0 0 25 0 1 0 909859215 87154688 18812 4294967295 134512640 134716908 3221224560 3221222788 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21278 18812 1111 63 0 21215 0
vsize: 85112
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 19055 0 0 0 114003 39 0 0 25 0 1 0 909859215 87842816 18975 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21446 18975 1111 63 0 21383 0
vsize: 85784
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 19212 0 0 0 115003 39 0 0 25 0 1 0 909859215 88543232 19132 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21617 19132 1111 63 0 21554 0
vsize: 86468
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 19375 0 0 0 116003 39 0 0 25 0 1 0 909859215 89092096 19295 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21751 19295 1111 63 0 21688 0
vsize: 87004
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 19538 0 0 0 117003 40 0 0 25 0 1 0 909859215 89788416 19458 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21921 19458 1111 63 0 21858 0
vsize: 87684
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 19700 0 0 0 118003 40 0 0 25 0 1 0 909859215 90480640 19620 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22090 19620 1111 63 0 22027 0
vsize: 88360
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 19864 0 0 0 119004 40 0 0 25 0 1 0 909859215 91176960 19784 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22260 19784 1111 63 0 22197 0
vsize: 89040
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) R 10994 25568 25567 0 -1 0 20026 0 0 0 120004 40 0 0 25 0 1 0 909859215 91869184 19946 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22429 19946 1111 63 0 22366 0
vsize: 89716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 10995
Raw data (stat): 10995 (bsolo_lpr_cuts-) Z 10994 25568 25567 0 -1 1036 20026 0 0 0 120004 44 0 0 25 0 1 0 909859215 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.11
CPU time (s): 1200.49
CPU user time (s): 1200.04
CPU system time (s): 0.444932
CPU usage (%): 100.031
Max. virtual memory (Kb): 89716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####