PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb
MD5SUM	8a9d9f3204d778657700e0268ec9ac0e
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29701186548799
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29701186548799
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43078
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28284

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 01:22:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14029 boxname=wulflinc26 idbench=1080 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  8a9d9f3204d778657700e0268ec9ac0e  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-n3702.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-n3702.opb
IDLAUNCH: 14029
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        738788 kB
Buffers:         30512 kB
Cached:         241376 kB
SwapCached:        656 kB
Active:          77296 kB
Inactive:       197252 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        738536 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6036 kB
Slab:            15700 kB
Committed_AS:    63720 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:42:45 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 14029 7 1200.22 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.87 0.94 0.90 2/54 28506
Raw data (stat): 28506 (runsolver) R 28505 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834892142 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99989 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 1296 0 0 0 993 5 0 0 25 0 1 0 834892142 15511552 1220 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+19.9996 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 1406 0 0 0 1992 6 0 0 25 0 1 0 834892142 15941632 1330 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0009 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 1515 0 0 0 2992 6 0 0 25 0 1 0 834892142 16379904 1439 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.0009 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 1625 0 0 0 3992 6 0 0 25 0 1 0 834892142 16834560 1549 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.0006 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 1737 0 0 0 4991 7 0 0 25 0 1 0 834892142 17412096 1661 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 1661 1111 63 0 4188 0
vsize: 17004
[startup+60.0007 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 1848 0 0 0 5991 7 0 0 25 0 1 0 834892142 17862656 1772 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1772 1111 63 0 4298 0
vsize: 17444
[startup+70 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 1951 0 0 0 6990 8 0 0 25 0 1 0 834892142 18161664 1875 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1875 1111 63 0 4371 0
vsize: 17736
[startup+80.0007 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 2067 0 0 0 7990 8 0 0 25 0 1 0 834892142 18763776 1991 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4581 1991 1111 63 0 4518 0
vsize: 18324
[startup+90.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 2176 0 0 0 8990 9 0 0 25 0 1 0 834892142 19197952 2100 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 2100 1111 63 0 4624 0
vsize: 18748
[startup+100 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 2291 0 0 0 9989 9 0 0 25 0 1 0 834892142 19656704 2215 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 2215 1111 63 0 4736 0
vsize: 19196
[startup+110.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 2395 0 0 0 10989 10 0 0 25 0 1 0 834892142 20103168 2319 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2319 1111 63 0 4845 0
vsize: 19632
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 2506 0 0 0 11988 11 0 0 25 0 1 0 834892142 20557824 2430 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2430 1111 63 0 4956 0
vsize: 20076
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 2615 0 0 0 12988 11 0 0 25 0 1 0 834892142 21004288 2539 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 2539 1111 63 0 5065 0
vsize: 20512
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 2725 0 0 0 13987 12 0 0 25 0 1 0 834892142 21434368 2649 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 2649 1111 63 0 5170 0
vsize: 20932
[startup+150.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 2834 0 0 0 14987 12 0 0 25 0 1 0 834892142 21872640 2758 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5340 2758 1111 63 0 5277 0
vsize: 21360
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 2944 0 0 0 15987 12 0 0 25 0 1 0 834892142 22323200 2868 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 2868 1111 63 0 5387 0
vsize: 21800
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 3053 0 0 0 16987 12 0 0 25 0 1 0 834892142 22773760 2977 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 2977 1111 63 0 5497 0
vsize: 22240
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 3167 0 0 0 17987 13 0 0 25 0 1 0 834892142 23232512 3091 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 3091 1111 63 0 5609 0
vsize: 22688
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 3279 0 0 0 18987 13 0 0 25 0 1 0 834892142 23662592 3203 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3203 1111 63 0 5714 0
vsize: 23108
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 3384 0 0 0 19987 13 0 0 25 0 1 0 834892142 24113152 3308 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3308 1111 63 0 5824 0
vsize: 23548
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 3494 0 0 0 20987 13 0 0 25 0 1 0 834892142 24559616 3418 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3418 1111 63 0 5933 0
vsize: 23984
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 3604 0 0 0 21987 13 0 0 25 0 1 0 834892142 25010176 3528 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3528 1111 63 0 6043 0
vsize: 24424
[startup+230.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 3714 0 0 0 22987 14 0 0 25 0 1 0 834892142 25460736 3638 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3638 1111 63 0 6153 0
vsize: 24864
[startup+240.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 3824 0 0 0 23987 14 0 0 25 0 1 0 834892142 25911296 3748 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3748 1111 63 0 6263 0
vsize: 25304
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 3933 0 0 0 24987 14 0 0 25 0 1 0 834892142 26357760 3857 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3857 1111 63 0 6372 0
vsize: 25740
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 4045 0 0 0 25987 14 0 0 25 0 1 0 834892142 26804224 3969 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3969 1111 63 0 6481 0
vsize: 26176
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 4155 0 0 0 26987 14 0 0 25 0 1 0 834892142 27258880 4079 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4079 1111 63 0 6592 0
vsize: 26620
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 4266 0 0 0 27987 15 0 0 25 0 1 0 834892142 27705344 4190 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4190 1111 63 0 6701 0
vsize: 27056
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 4375 0 0 0 28987 15 0 0 25 0 1 0 834892142 28160000 4299 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4299 1111 63 0 6812 0
vsize: 27500
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 4486 0 0 0 29987 15 0 0 25 0 1 0 834892142 28602368 4410 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4410 1111 63 0 6920 0
vsize: 27932
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 4595 0 0 0 30987 15 0 0 25 0 1 0 834892142 29028352 4519 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4519 1111 63 0 7024 0
vsize: 28348
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 4706 0 0 0 31987 16 0 0 25 0 1 0 834892142 29474816 4630 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4630 1111 63 0 7133 0
vsize: 28784
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 4815 0 0 0 32987 16 0 0 25 0 1 0 834892142 29925376 4739 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4739 1111 63 0 7243 0
vsize: 29224
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 4926 0 0 0 33987 16 0 0 25 0 1 0 834892142 30375936 4850 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4850 1111 63 0 7353 0
vsize: 29664
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 5035 0 0 0 34987 16 0 0 25 0 1 0 834892142 30826496 4959 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4959 1111 63 0 7463 0
vsize: 30104
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 5157 0 0 0 35987 16 0 0 25 0 1 0 834892142 31461376 5081 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7681 5081 1111 63 0 7618 0
vsize: 30724
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 5272 0 0 0 36987 17 0 0 25 0 1 0 834892142 31911936 5196 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7791 5196 1111 63 0 7728 0
vsize: 31164
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 5378 0 0 0 37987 17 0 0 25 0 1 0 834892142 32362496 5302 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7901 5302 1111 63 0 7838 0
vsize: 31604
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 5493 0 0 0 38987 17 0 0 25 0 1 0 834892142 32813056 5417 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8011 5417 1111 63 0 7948 0
vsize: 32044
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 5604 0 0 0 39987 17 0 0 25 0 1 0 834892142 33263616 5528 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8121 5528 1111 63 0 8058 0
vsize: 32484
[startup+409.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 5714 0 0 0 40986 17 0 0 25 0 1 0 834892142 33710080 5638 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8230 5638 1111 63 0 8167 0
vsize: 32920
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 5825 0 0 0 41987 18 0 0 25 0 1 0 834892142 34160640 5749 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8340 5749 1111 63 0 8277 0
vsize: 33360
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 5935 0 0 0 42986 18 0 0 25 0 1 0 834892142 34611200 5859 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8450 5859 1111 63 0 8387 0
vsize: 33800
[startup+439.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 6052 0 0 0 43986 18 0 0 25 0 1 0 834892142 35061760 5976 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 5976 1111 63 0 8497 0
vsize: 34240
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 6162 0 0 0 44986 18 0 0 25 0 1 0 834892142 35508224 6086 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 6086 1111 63 0 8606 0
vsize: 34676
[startup+460 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 6273 0 0 0 45986 19 0 0 25 0 1 0 834892142 35958784 6197 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6197 1111 63 0 8716 0
vsize: 35116
[startup+469.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 6383 0 0 0 46986 19 0 0 25 0 1 0 834892142 36409344 6307 4294967295 134512640 134714508 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6307 1111 63 0 8826 0
vsize: 35556
[startup+479.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 6494 0 0 0 47986 19 0 0 25 0 1 0 834892142 36859904 6418 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6418 1111 63 0 8936 0
vsize: 35996
[startup+489.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 6610 0 0 0 48986 19 0 0 25 0 1 0 834892142 37306368 6534 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6534 1111 63 0 9045 0
vsize: 36432
[startup+499.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 6721 0 0 0 49986 19 0 0 25 0 1 0 834892142 37761024 6645 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6645 1111 63 0 9156 0
vsize: 36876
[startup+509.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 6831 0 0 0 50986 20 0 0 25 0 1 0 834892142 38207488 6755 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6755 1111 63 0 9265 0
vsize: 37312
[startup+519.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 6949 0 0 0 51986 20 0 0 25 0 1 0 834892142 38658048 6873 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6873 1111 63 0 9375 0
vsize: 37752
[startup+529.998 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 7058 0 0 0 52986 20 0 0 25 0 1 0 834892142 39108608 6982 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6982 1111 63 0 9485 0
vsize: 38192
[startup+539.998 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 7170 0 0 0 53986 20 0 0 25 0 1 0 834892142 39559168 7094 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7094 1111 63 0 9595 0
vsize: 38632
[startup+549.998 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 7285 0 0 0 54986 20 0 0 25 0 1 0 834892142 40153088 7209 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9803 7209 1111 63 0 9740 0
vsize: 39212
[startup+559.997 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 7397 0 0 0 55986 21 0 0 25 0 1 0 834892142 40607744 7321 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9914 7321 1111 63 0 9851 0
vsize: 39656
[startup+569.998 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 7507 0 0 0 56986 21 0 0 25 0 1 0 834892142 41054208 7431 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10023 7431 1111 63 0 9960 0
vsize: 40092
[startup+579.998 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 7625 0 0 0 57986 21 0 0 25 0 1 0 834892142 41508864 7549 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10134 7549 1111 63 0 10071 0
vsize: 40536
[startup+589.998 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 7734 0 0 0 58986 21 0 0 25 0 1 0 834892142 41951232 7658 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 7658 1111 63 0 10179 0
vsize: 40968
[startup+599.997 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 7846 0 0 0 59986 21 0 0 25 0 1 0 834892142 42405888 7770 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10353 7770 1111 63 0 10290 0
vsize: 41412
[startup+609.998 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 7962 0 0 0 60986 22 0 0 25 0 1 0 834892142 42852352 7886 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7886 1111 63 0 10399 0
vsize: 41848
[startup+619.998 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 8073 0 0 0 61986 22 0 0 25 0 1 0 834892142 43307008 7997 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7997 1111 63 0 10510 0
vsize: 42292
[startup+629.998 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 8189 0 0 0 62986 22 0 0 25 0 1 0 834892142 43753472 8113 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8113 1111 63 0 10619 0
vsize: 42728
[startup+639.998 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 8300 0 0 0 63985 22 0 0 25 0 1 0 834892142 44183552 8224 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8224 1111 63 0 10724 0
vsize: 43148
[startup+649.998 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 8417 0 0 0 64985 23 0 0 25 0 1 0 834892142 44769280 8341 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10930 8341 1111 63 0 10867 0
vsize: 43720
[startup+659.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 8528 0 0 0 65985 23 0 0 25 0 1 0 834892142 45223936 8452 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11041 8452 1111 63 0 10978 0
vsize: 44164
[startup+669.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 8637 0 0 0 66985 23 0 0 25 0 1 0 834892142 45670400 8561 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11150 8561 1111 63 0 11087 0
vsize: 44600
[startup+679.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 8755 0 0 0 67985 23 0 0 25 0 1 0 834892142 46125056 8679 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8679 1111 63 0 11198 0
vsize: 45044
[startup+689.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 8870 0 0 0 68985 24 0 0 25 0 1 0 834892142 46567424 8794 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8794 1111 63 0 11306 0
vsize: 45476
[startup+699.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 8982 0 0 0 69985 24 0 0 25 0 1 0 834892142 47022080 8906 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8906 1111 63 0 11417 0
vsize: 45920
[startup+709.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 9117 0 0 0 70985 24 0 0 25 0 1 0 834892142 47718400 9041 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11650 9041 1111 63 0 11587 0
vsize: 46600
[startup+719.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 9228 0 0 0 71985 24 0 0 25 0 1 0 834892142 48144384 9152 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9152 1111 63 0 11691 0
vsize: 47016
[startup+729.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 9344 0 0 0 72985 24 0 0 25 0 1 0 834892142 48590848 9268 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9268 1111 63 0 11800 0
vsize: 47452
[startup+739.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 9461 0 0 0 73986 24 0 0 25 0 1 0 834892142 49041408 9385 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9385 1111 63 0 11910 0
vsize: 47892
[startup+749.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 9572 0 0 0 74985 25 0 0 25 0 1 0 834892142 49491968 9496 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9496 1111 63 0 12020 0
vsize: 48332
[startup+759.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 9685 0 0 0 75986 25 0 0 25 0 1 0 834892142 49942528 9609 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9609 1111 63 0 12130 0
vsize: 48772
[startup+769.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 9800 0 0 0 76985 25 0 0 25 0 1 0 834892142 50536448 9724 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12338 9724 1111 63 0 12275 0
vsize: 49352
[startup+780 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 9918 0 0 0 77985 25 0 0 25 0 1 0 834892142 50958336 9842 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9842 1111 63 0 12378 0
vsize: 49764
[startup+789.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 10035 0 0 0 78985 26 0 0 25 0 1 0 834892142 51408896 9959 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9959 1111 63 0 12488 0
vsize: 50204
[startup+799.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 10147 0 0 0 79985 26 0 0 25 0 1 0 834892142 51859456 10071 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10071 1111 63 0 12598 0
vsize: 50644
[startup+810 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 10264 0 0 0 80985 26 0 0 25 0 1 0 834892142 52310016 10188 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10188 1111 63 0 12708 0
vsize: 51084
[startup+819.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 10374 0 0 0 81985 26 0 0 25 0 1 0 834892142 52760576 10298 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10298 1111 63 0 12818 0
vsize: 51524
[startup+829.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 10492 0 0 0 82985 26 0 0 25 0 1 0 834892142 53362688 10416 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13028 10416 1111 63 0 12965 0
vsize: 52112
[startup+840 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 10610 0 0 0 83985 27 0 0 25 0 1 0 834892142 53809152 10534 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 10534 1111 63 0 13074 0
vsize: 52548
[startup+849.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 10727 0 0 0 84985 27 0 0 25 0 1 0 834892142 54259712 10651 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10651 1111 63 0 13184 0
vsize: 52988
[startup+859.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 10843 0 0 0 85985 27 0 0 25 0 1 0 834892142 54710272 10767 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10767 1111 63 0 13294 0
vsize: 53428
[startup+869.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 10961 0 0 0 86985 27 0 0 25 0 1 0 834892142 55160832 10885 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10885 1111 63 0 13404 0
vsize: 53868
[startup+879.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 11072 0 0 0 87985 27 0 0 25 0 1 0 834892142 55607296 10996 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10996 1111 63 0 13513 0
vsize: 54304
[startup+889.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 11190 0 0 0 88985 27 0 0 25 0 1 0 834892142 56209408 11114 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13723 11114 1111 63 0 13660 0
vsize: 54892
[startup+899.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 11306 0 0 0 89985 28 0 0 25 0 1 0 834892142 56655872 11230 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13832 11230 1111 63 0 13769 0
vsize: 55328
[startup+909.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 11418 0 0 0 90985 28 0 0 25 0 1 0 834892142 57110528 11342 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13943 11342 1111 63 0 13880 0
vsize: 55772
[startup+919.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 11535 0 0 0 91984 29 0 0 25 0 1 0 834892142 57552896 11459 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11459 1111 63 0 13988 0
vsize: 56204
[startup+930 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 11654 0 0 0 92984 29 0 0 25 0 1 0 834892142 58007552 11578 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11578 1111 63 0 14099 0
vsize: 56648
[startup+940 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 11770 0 0 0 93984 29 0 0 25 0 1 0 834892142 58454016 11694 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11694 1111 63 0 14208 0
vsize: 57084
[startup+950 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 11887 0 0 0 94984 30 0 0 25 0 1 0 834892142 59056128 11811 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14418 11811 1111 63 0 14355 0
vsize: 57672
[startup+960 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 12005 0 0 0 95984 30 0 0 25 0 1 0 834892142 59502592 11929 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14527 11929 1111 63 0 14464 0
vsize: 58108
[startup+970 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 12123 0 0 0 96984 30 0 0 25 0 1 0 834892142 59953152 12047 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12047 1111 63 0 14574 0
vsize: 58548
[startup+980 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 12240 0 0 0 97984 31 0 0 25 0 1 0 834892142 60403712 12164 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12164 1111 63 0 14684 0
vsize: 58988
[startup+990 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 12357 0 0 0 98983 31 0 0 25 0 1 0 834892142 60854272 12281 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12281 1111 63 0 14794 0
vsize: 59428
[startup+1000 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 12475 0 0 0 99983 31 0 0 25 0 1 0 834892142 61456384 12399 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15004 12399 1111 63 0 14941 0
vsize: 60016
[startup+1010 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 12591 0 0 0 100983 31 0 0 25 0 1 0 834892142 61902848 12515 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15113 12515 1111 63 0 15050 0
vsize: 60452
[startup+1020 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 12710 0 0 0 101983 32 0 0 25 0 1 0 834892142 62353408 12634 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12634 1111 63 0 15160 0
vsize: 60892
[startup+1030 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 12826 0 0 0 102983 32 0 0 25 0 1 0 834892142 62803968 12750 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12750 1111 63 0 15270 0
vsize: 61332
[startup+1040 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 12944 0 0 0 103984 32 0 0 25 0 1 0 834892142 63254528 12868 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12868 1111 63 0 15380 0
vsize: 61772
[startup+1050 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 13062 0 0 0 104984 32 0 0 25 0 1 0 834892142 63848448 12986 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15588 12986 1111 63 0 15525 0
vsize: 62352
[startup+1060 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 13180 0 0 0 105984 32 0 0 25 0 1 0 834892142 64303104 13104 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15699 13104 1111 63 0 15636 0
vsize: 62796
[startup+1070 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 13297 0 0 0 106984 32 0 0 25 0 1 0 834892142 64749568 13221 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13221 1111 63 0 15745 0
vsize: 63232
[startup+1080 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 13415 0 0 0 107983 33 0 0 25 0 1 0 834892142 65204224 13339 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13339 1111 63 0 15856 0
vsize: 63676
[startup+1090 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 13532 0 0 0 108983 33 0 0 25 0 1 0 834892142 65650688 13456 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13456 1111 63 0 15965 0
vsize: 64112
[startup+1100 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 13651 0 0 0 109983 34 0 0 25 0 1 0 834892142 66248704 13575 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16174 13575 1111 63 0 16111 0
vsize: 64696
[startup+1110 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 13767 0 0 0 110983 34 0 0 25 0 1 0 834892142 66699264 13691 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16284 13691 1111 63 0 16221 0
vsize: 65136
[startup+1120 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 13885 0 0 0 111982 35 0 0 25 0 1 0 834892142 67149824 13809 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13809 1111 63 0 16331 0
vsize: 65576
[startup+1130 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 14003 0 0 0 112982 35 0 0 25 0 1 0 834892142 67600384 13927 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13927 1111 63 0 16441 0
vsize: 66016
[startup+1140 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 14122 0 0 0 113982 35 0 0 25 0 1 0 834892142 68050944 14046 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14046 1111 63 0 16551 0
vsize: 66456
[startup+1150 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 14240 0 0 0 114982 35 0 0 25 0 1 0 834892142 68653056 14164 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16761 14164 1111 63 0 16698 0
vsize: 67044
[startup+1160 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 14356 0 0 0 115982 36 0 0 25 0 1 0 834892142 69099520 14280 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14280 1111 63 0 16807 0
vsize: 67480
[startup+1170 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 14481 0 0 0 116982 36 0 0 25 0 1 0 834892142 69550080 14405 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14405 1111 63 0 16917 0
vsize: 67920
[startup+1180 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 14598 0 0 0 117982 36 0 0 25 0 1 0 834892142 70000640 14522 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14522 1111 63 0 17027 0
vsize: 68360
[startup+1190 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 14717 0 0 0 118981 37 0 0 25 0 1 0 834892142 70598656 14641 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17236 14641 1111 63 0 17173 0
vsize: 68944
[startup+1200 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) R 28505 20687 20686 0 -1 0 14840 0 0 0 119981 37 0 0 25 0 1 0 834892142 71045120 14764 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 14764 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 28506
Raw data (stat): 28506 (bsolo_lpr_cuts) Z 28505 20687 20686 0 -1 1036 14840 0 0 0 119981 40 0 0 25 0 1 0 834892142 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.03
CPU time (s): 1200.22
CPU user time (s): 1199.82
CPU system time (s): 0.406938
CPU usage (%): 100.016
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####