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-dfl001.opb
MD5SUM	d116f9238cf2e97b47b1161aa0f7f9ea
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	124714
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	862062472006152900
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.31665
Number of variables	244494
Total number of constraints	6084
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	6084
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 26062

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 23:56:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15706 boxname=wulflinc31 idbench=1209 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  d116f9238cf2e97b47b1161aa0f7f9ea  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dfl001.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dfl001.opb
IDLAUNCH: 15706
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        671064 kB
Buffers:         20788 kB
Cached:         321668 kB
SwapCached:       1352 kB
Active:         262468 kB
Inactive:        82548 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        670812 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            12884 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 00:16:40 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 15706 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.89 0.92 0.90 2/55 20248
Raw data (stat): 20248 (runsolver) R 20247 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 825708470 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.90 0.92 0.90 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 1315 0 0 0 989 6 0 0 25 0 1 0 825708470 15638528 1238 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3818 1238 1111 63 0 3755 0
vsize: 15272
[startup+20.001 s]
Raw data (loadavg): 0.92 0.92 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 1440 0 0 0 1989 6 0 0 25 0 1 0 825708470 16056320 1363 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3920 1363 1111 63 0 3857 0
vsize: 15680
[startup+30.0012 s]
Raw data (loadavg): 0.93 0.93 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 1576 0 0 0 2989 6 0 0 25 0 1 0 825708470 16625664 1499 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4059 1499 1111 63 0 3996 0
vsize: 16236
[startup+40.0021 s]
Raw data (loadavg): 0.94 0.93 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 1700 0 0 0 3989 7 0 0 25 0 1 0 825708470 17186816 1623 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4196 1623 1111 63 0 4133 0
vsize: 16784
[startup+50.0031 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 1825 0 0 0 4989 7 0 0 25 0 1 0 825708470 17752064 1748 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4334 1748 1111 63 0 4271 0
vsize: 17336
[startup+60.003 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 1958 0 0 0 5988 7 0 0 25 0 1 0 825708470 18186240 1881 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4440 1881 1111 63 0 4377 0
vsize: 17760
[startup+70.0039 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 2089 0 0 0 6989 8 0 0 25 0 1 0 825708470 18755584 2012 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4579 2012 1111 63 0 4516 0
vsize: 18316
[startup+80.0039 s]
Raw data (loadavg): 0.97 0.93 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 2213 0 0 0 7988 8 0 0 25 0 1 0 825708470 19316736 2136 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4716 2136 1111 63 0 4653 0
vsize: 18864
[startup+90.0048 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 2351 0 0 0 8988 8 0 0 25 0 1 0 825708470 19881984 2274 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4854 2274 1111 63 0 4791 0
vsize: 19416
[startup+100.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 2475 0 0 0 9988 8 0 0 25 0 1 0 825708470 20303872 2398 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4957 2398 1111 63 0 4894 0
vsize: 19828
[startup+110.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 2603 0 0 0 10988 9 0 0 25 0 1 0 825708470 20869120 2526 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5095 2526 1111 63 0 5032 0
vsize: 20380
[startup+120.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 2741 0 0 0 11988 9 0 0 25 0 1 0 825708470 21426176 2664 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5231 2664 1111 63 0 5168 0
vsize: 20924
[startup+130.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 2878 0 0 0 12988 10 0 0 25 0 1 0 825708470 21987328 2801 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5368 2801 1111 63 0 5305 0
vsize: 21472
[startup+140.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 3004 0 0 0 13988 10 0 0 25 0 1 0 825708470 22556672 2927 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5507 2927 1111 63 0 5444 0
vsize: 22028
[startup+150.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 3134 0 0 0 14988 10 0 0 25 0 1 0 825708470 23117824 3057 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5644 3057 1111 63 0 5581 0
vsize: 22576
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 3266 0 0 0 15988 10 0 0 25 0 1 0 825708470 23543808 3189 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5748 3189 1111 63 0 5685 0
vsize: 22992
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 3389 0 0 0 16988 10 0 0 25 0 1 0 825708470 24104960 3312 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5885 3312 1111 63 0 5822 0
vsize: 23540
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 3527 0 0 0 17988 10 0 0 25 0 1 0 825708470 24670208 3450 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6023 3450 1111 63 0 5960 0
vsize: 24092
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 3644 0 0 0 18988 11 0 0 25 0 1 0 825708470 25092096 3567 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6126 3567 1111 63 0 6063 0
vsize: 24504
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20248
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 3774 0 0 0 19988 11 0 0 25 0 1 0 825708470 25653248 3697 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6263 3697 1111 63 0 6200 0
vsize: 25052
[startup+210.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20301
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 3899 0 0 0 20987 11 0 0 25 0 1 0 825708470 26222592 3822 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6402 3822 1111 63 0 6339 0
vsize: 25608
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20301
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 4043 0 0 0 21987 12 0 0 25 0 1 0 825708470 26800128 3966 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6543 3966 1111 63 0 6480 0
vsize: 26172
[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20301
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 4181 0 0 0 22987 12 0 0 25 0 1 0 825708470 27369472 4104 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6682 4104 1111 63 0 6619 0
vsize: 26728
[startup+240.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20301
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 4319 0 0 0 23987 12 0 0 25 0 1 0 825708470 27930624 4242 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 4242 1111 63 0 6756 0
vsize: 27276
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20301
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 4451 0 0 0 24987 12 0 0 25 0 1 0 825708470 28495872 4374 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6957 4374 1111 63 0 6894 0
vsize: 27828
[startup+260.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20301
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 4574 0 0 0 25987 13 0 0 25 0 1 0 825708470 28917760 4497 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7060 4497 1111 63 0 6997 0
vsize: 28240
[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20301
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 4707 0 0 0 26987 13 0 0 25 0 1 0 825708470 29487104 4630 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7199 4630 1111 63 0 7136 0
vsize: 28796
[startup+280.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20301
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 4844 0 0 0 27987 13 0 0 25 0 1 0 825708470 30048256 4767 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7336 4767 1111 63 0 7273 0
vsize: 29344
[startup+290.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 4984 0 0 0 28986 14 0 0 25 0 1 0 825708470 30609408 4907 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7473 4907 1111 63 0 7410 0
vsize: 29892
[startup+300.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 5120 0 0 0 29987 14 0 0 25 0 1 0 825708470 31174656 5043 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7611 5043 1111 63 0 7548 0
vsize: 30444
[startup+310.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 5250 0 0 0 30986 14 0 0 25 0 1 0 825708470 31735808 5173 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7748 5173 1111 63 0 7685 0
vsize: 30992
[startup+320.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 5383 0 0 0 31986 14 0 0 25 0 1 0 825708470 32305152 5306 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7887 5306 1111 63 0 7824 0
vsize: 31548
[startup+330.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 5520 0 0 0 32986 15 0 0 25 0 1 0 825708470 32866304 5443 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8024 5443 1111 63 0 7961 0
vsize: 32096
[startup+340.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 5660 0 0 0 33986 15 0 0 25 0 1 0 825708470 33431552 5583 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8162 5583 1111 63 0 8099 0
vsize: 32648
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 5797 0 0 0 34986 15 0 0 25 0 1 0 825708470 33992704 5720 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8299 5720 1111 63 0 8236 0
vsize: 33196
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 5935 0 0 0 35986 16 0 0 25 0 1 0 825708470 34562048 5858 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8438 5858 1111 63 0 8375 0
vsize: 33752
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 6072 0 0 0 36986 16 0 0 25 0 1 0 825708470 35123200 5995 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8575 5995 1111 63 0 8512 0
vsize: 34300
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 6211 0 0 0 37986 16 0 0 25 0 1 0 825708470 35688448 6134 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8713 6134 1111 63 0 8650 0
vsize: 34852
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 6354 0 0 0 38985 17 0 0 25 0 1 0 825708470 36249600 6277 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8850 6277 1111 63 0 8787 0
vsize: 35400
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 6493 0 0 0 39985 17 0 0 25 0 1 0 825708470 36818944 6416 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8989 6416 1111 63 0 8926 0
vsize: 35956
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 6623 0 0 0 40985 17 0 0 25 0 1 0 825708470 37380096 6546 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9126 6546 1111 63 0 9063 0
vsize: 36504
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 6779 0 0 0 41985 18 0 0 25 0 1 0 825708470 38068224 6702 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9294 6702 1111 63 0 9231 0
vsize: 37176
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 6922 0 0 0 42985 18 0 0 25 0 1 0 825708470 38629376 6845 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6845 1111 63 0 9368 0
vsize: 37724
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 7055 0 0 0 43985 18 0 0 25 0 1 0 825708470 39198720 6978 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9570 6978 1111 63 0 9507 0
vsize: 38280
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 7186 0 0 0 44985 18 0 0 25 0 1 0 825708470 39759872 7109 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9707 7109 1111 63 0 9644 0
vsize: 38828
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 7323 0 0 0 45985 18 0 0 25 0 1 0 825708470 40321024 7246 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9844 7246 1111 63 0 9781 0
vsize: 39376
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 7462 0 0 0 46985 19 0 0 25 0 1 0 825708470 40886272 7385 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9982 7385 1111 63 0 9919 0
vsize: 39928
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 7599 0 0 0 47985 19 0 0 25 0 1 0 825708470 41447424 7522 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10119 7522 1111 63 0 10056 0
vsize: 40476
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 7739 0 0 0 48985 19 0 0 25 0 1 0 825708470 42016768 7662 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10258 7662 1111 63 0 10195 0
vsize: 41032
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 7876 0 0 0 49985 19 0 0 25 0 1 0 825708470 42577920 7799 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10395 7799 1111 63 0 10332 0
vsize: 41580
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 8014 0 0 0 50985 20 0 0 25 0 1 0 825708470 43143168 7937 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7937 1111 63 0 10470 0
vsize: 42132
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 8151 0 0 0 51985 20 0 0 25 0 1 0 825708470 43704320 8074 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10670 8074 1111 63 0 10607 0
vsize: 42680
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20303
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 8284 0 0 0 52985 20 0 0 25 0 1 0 825708470 44134400 8207 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10775 8207 1111 63 0 10712 0
vsize: 43100
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 8415 0 0 0 53985 20 0 0 25 0 1 0 825708470 44695552 8338 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10912 8338 1111 63 0 10849 0
vsize: 43648
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 8553 0 0 0 54985 21 0 0 25 0 1 0 825708470 45260800 8476 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11050 8476 1111 63 0 10987 0
vsize: 44200
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 8697 0 0 0 55985 21 0 0 25 0 1 0 825708470 45821952 8620 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11187 8620 1111 63 0 11124 0
vsize: 44748
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 8843 0 0 0 56985 21 0 0 25 0 1 0 825708470 46530560 8766 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11360 8766 1111 63 0 11297 0
vsize: 45440
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 8980 0 0 0 57985 21 0 0 25 0 1 0 825708470 47091712 8903 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11497 8903 1111 63 0 11434 0
vsize: 45988
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 9113 0 0 0 58985 22 0 0 25 0 1 0 825708470 47513600 9036 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11600 9036 1111 63 0 11537 0
vsize: 46400
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 9257 0 0 0 59984 22 0 0 25 0 1 0 825708470 48218112 9180 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11772 9180 1111 63 0 11709 0
vsize: 47088
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 9396 0 0 0 60984 22 0 0 25 0 1 0 825708470 48779264 9319 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11909 9319 1111 63 0 11846 0
vsize: 47636
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 9540 0 0 0 61984 22 0 0 25 0 1 0 825708470 49348608 9463 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12048 9463 1111 63 0 11985 0
vsize: 48192
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 9677 0 0 0 62984 23 0 0 25 0 1 0 825708470 49909760 9600 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12185 9600 1111 63 0 12122 0
vsize: 48740
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 9823 0 0 0 63984 23 0 0 25 0 1 0 825708470 50475008 9746 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12323 9746 1111 63 0 12260 0
vsize: 49292
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 9967 0 0 0 64984 23 0 0 25 0 1 0 825708470 51036160 9890 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12460 9890 1111 63 0 12397 0
vsize: 49840
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 10099 0 0 0 65984 24 0 0 25 0 1 0 825708470 51605504 10022 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12599 10022 1111 63 0 12536 0
vsize: 50396
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 10237 0 0 0 66984 24 0 0 25 0 1 0 825708470 52166656 10160 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12736 10160 1111 63 0 12673 0
vsize: 50944
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 10376 0 0 0 67984 24 0 0 25 0 1 0 825708470 52731904 10299 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12874 10299 1111 63 0 12811 0
vsize: 51496
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 10520 0 0 0 68984 24 0 0 25 0 1 0 825708470 53293056 10443 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13011 10443 1111 63 0 12948 0
vsize: 52044
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 10665 0 0 0 69984 25 0 0 25 0 1 0 825708470 53862400 10588 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13150 10588 1111 63 0 13087 0
vsize: 52600
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 10803 0 0 0 70983 25 0 0 25 0 1 0 825708470 54423552 10726 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13287 10726 1111 63 0 13224 0
vsize: 53148
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 10942 0 0 0 71983 26 0 0 25 0 1 0 825708470 54988800 10865 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13425 10865 1111 63 0 13362 0
vsize: 53700
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 11086 0 0 0 72983 26 0 0 25 0 1 0 825708470 55693312 11009 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13597 11009 1111 63 0 13534 0
vsize: 54388
[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 11232 0 0 0 73983 26 0 0 25 0 1 0 825708470 56258560 11155 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13735 11155 1111 63 0 13672 0
vsize: 54940
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 11376 0 0 0 74983 26 0 0 25 0 1 0 825708470 56819712 11299 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13872 11299 1111 63 0 13809 0
vsize: 55488
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 11521 0 0 0 75983 27 0 0 25 0 1 0 825708470 57389056 11444 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14011 11444 1111 63 0 13948 0
vsize: 56044
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 11658 0 0 0 76983 27 0 0 25 0 1 0 825708470 57950208 11581 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14148 11581 1111 63 0 14085 0
vsize: 56592
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 11797 0 0 0 77983 28 0 0 25 0 1 0 825708470 58515456 11720 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14286 11720 1111 63 0 14223 0
vsize: 57144
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 11941 0 0 0 78983 28 0 0 25 0 1 0 825708470 59076608 11864 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14423 11864 1111 63 0 14360 0
vsize: 57692
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 12086 0 0 0 79983 28 0 0 25 0 1 0 825708470 59785216 12009 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14596 12009 1111 63 0 14533 0
vsize: 58384
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 12230 0 0 0 80983 28 0 0 25 0 1 0 825708470 60346368 12153 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14733 12153 1111 63 0 14670 0
vsize: 58932
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 12394 0 0 0 81983 28 0 0 25 0 1 0 825708470 61161472 12317 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14932 12317 1111 63 0 14869 0
vsize: 59728
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 12538 0 0 0 82982 28 0 0 25 0 1 0 825708470 61722624 12461 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15069 12461 1111 63 0 15006 0
vsize: 60276
[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 12683 0 0 0 83982 29 0 0 25 0 1 0 825708470 62287872 12606 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15207 12606 1111 63 0 15144 0
vsize: 60828
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 12820 0 0 0 84982 29 0 0 25 0 1 0 825708470 62849024 12743 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15344 12743 1111 63 0 15281 0
vsize: 61376
[startup+860.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 12974 0 0 0 85982 29 0 0 25 0 1 0 825708470 63410176 12897 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15481 12897 1111 63 0 15418 0
vsize: 61924
[startup+870.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 13118 0 0 0 86982 29 0 0 25 0 1 0 825708470 64118784 13041 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15654 13041 1111 63 0 15591 0
vsize: 62616
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 13263 0 0 0 87982 30 0 0 25 0 1 0 825708470 64688128 13186 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15793 13186 1111 63 0 15730 0
vsize: 63172
[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 13401 0 0 0 88982 30 0 0 25 0 1 0 825708470 65249280 13324 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15930 13324 1111 63 0 15867 0
vsize: 63720
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 13553 0 0 0 89982 30 0 0 25 0 1 0 825708470 65810432 13476 4294967295 134512640 134714508 3221221776 3221220432 134527941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16067 13476 1111 63 0 16004 0
vsize: 64268
[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 13699 0 0 0 90982 30 0 0 25 0 1 0 825708470 66375680 13622 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16205 13622 1111 63 0 16142 0
vsize: 64820
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 13837 0 0 0 91983 30 0 0 25 0 1 0 825708470 66936832 13760 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16342 13760 1111 63 0 16279 0
vsize: 65368
[startup+930.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 13981 0 0 0 92982 30 0 0 25 0 1 0 825708470 67645440 13904 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16515 13904 1111 63 0 16452 0
vsize: 66060
[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 14127 0 0 0 93983 30 0 0 25 0 1 0 825708470 68206592 14050 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16652 14050 1111 63 0 16589 0
vsize: 66608
[startup+950.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 14270 0 0 0 94982 31 0 0 25 0 1 0 825708470 68771840 14193 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16790 14193 1111 63 0 16727 0
vsize: 67160
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 14424 0 0 0 95982 31 0 0 25 0 1 0 825708470 69332992 14347 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16927 14347 1111 63 0 16864 0
vsize: 67708
[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 14569 0 0 0 96982 32 0 0 25 0 1 0 825708470 70041600 14492 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17100 14492 1111 63 0 17037 0
vsize: 68400
[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 14714 0 0 0 97982 32 0 0 25 0 1 0 825708470 70602752 14637 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17237 14637 1111 63 0 17174 0
vsize: 68948
[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 14857 0 0 0 98982 32 0 0 25 0 1 0 825708470 71172096 14780 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17376 14780 1111 63 0 17313 0
vsize: 69504
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 15004 0 0 0 99982 33 0 0 25 0 1 0 825708470 71733248 14927 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17513 14927 1111 63 0 17450 0
vsize: 70052
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 15162 0 0 0 100981 33 0 0 25 0 1 0 825708470 72437760 15085 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17685 15085 1111 63 0 17622 0
vsize: 70740
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 15314 0 0 0 101981 34 0 0 25 0 1 0 825708470 72998912 15237 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17822 15237 1111 63 0 17759 0
vsize: 71288
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 15465 0 0 0 102981 34 0 0 25 0 1 0 825708470 73707520 15388 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17995 15388 1111 63 0 17932 0
vsize: 71980
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 15617 0 0 0 103981 34 0 0 25 0 1 0 825708470 74276864 15540 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18134 15540 1111 63 0 18071 0
vsize: 72536
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 15770 0 0 0 104981 35 0 0 25 0 1 0 825708470 74833920 15693 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18270 15693 1111 63 0 18207 0
vsize: 73080
[startup+1060.06 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 15916 0 0 0 105980 35 0 0 25 0 1 0 825708470 75542528 15839 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18443 15839 1111 63 0 18380 0
vsize: 73772
[startup+1070.06 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 16059 0 0 0 106980 35 0 0 25 0 1 0 825708470 76103680 15982 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 15982 1111 63 0 18517 0
vsize: 74320
[startup+1080.06 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 16211 0 0 0 107980 36 0 0 25 0 1 0 825708470 76668928 16134 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18718 16134 1111 63 0 18655 0
vsize: 74872
[startup+1090.06 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 16362 0 0 0 108980 36 0 0 25 0 1 0 825708470 77373440 16285 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18890 16285 1111 63 0 18827 0
vsize: 75560
[startup+1100.06 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 16517 0 0 0 109980 36 0 0 25 0 1 0 825708470 77938688 16440 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19028 16440 1111 63 0 18965 0
vsize: 76112
[startup+1110.06 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 16667 0 0 0 110980 37 0 0 25 0 1 0 825708470 78499840 16590 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19165 16590 1111 63 0 19102 0
vsize: 76660
[startup+1120.06 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 16819 0 0 0 111980 37 0 0 25 0 1 0 825708470 79208448 16742 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19338 16742 1111 63 0 19275 0
vsize: 77352
[startup+1130.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 16963 0 0 0 112979 38 0 0 25 0 1 0 825708470 79769600 16886 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19475 16886 1111 63 0 19412 0
vsize: 77900
[startup+1140.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 17116 0 0 0 113979 39 0 0 25 0 1 0 825708470 80334848 17039 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19613 17039 1111 63 0 19550 0
vsize: 78452
[startup+1150.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 17268 0 0 0 114978 39 0 0 25 0 1 0 825708470 81039360 17191 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19785 17191 1111 63 0 19722 0
vsize: 79140
[startup+1160.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 17414 0 0 0 115978 39 0 0 25 0 1 0 825708470 81604608 17337 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19923 17337 1111 63 0 19860 0
vsize: 79692
[startup+1170.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 17564 0 0 0 116978 40 0 0 25 0 1 0 825708470 82165760 17487 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20060 17487 1111 63 0 19997 0
vsize: 80240
[startup+1180.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 17716 0 0 0 117978 40 0 0 25 0 1 0 825708470 82874368 17639 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20233 17639 1111 63 0 20170 0
vsize: 80932
[startup+1190.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 17869 0 0 0 118978 40 0 0 25 0 1 0 825708470 83435520 17792 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20370 17792 1111 63 0 20307 0
vsize: 81480
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) R 20247 7876 7672 0 -1 0 18021 0 0 0 119978 41 0 0 25 0 1 0 825708470 84144128 17944 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20543 17944 1111 63 0 20480 0
vsize: 82172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 20305
Raw data (stat): 20248 (bsolo_lpr_cuts) Z 20247 7876 7672 0 -1 1036 18021 0 0 0 119978 44 0 0 25 0 1 0 825708470 0 0 4294967295 0 0 0 0 0 0 0 1 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.1
CPU time (s): 1200.23
CPU user time (s): 1199.79
CPU system time (s): 0.444932
CPU usage (%): 100.011
Max. virtual memory (Kb): 82172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####