PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb
MD5SUM	15d69bc05970e4bbd20708cb8fb70185
Bench Category	optimization, medium integers (OPTMEDINT)
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	104999
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39166356584
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39166356584
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97585
Number of variables	105000
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	21
Maximum length of a constraint	2000
Trace number 25584

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 23:29:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19034 boxname=wulflinc31 idbench=1465 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  15d69bc05970e4bbd20708cb8fb70185  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3703.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3703.opb
IDLAUNCH: 19034
/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:        602152 kB
Buffers:         33372 kB
Cached:         378012 kB
SwapCached:       1172 kB
Active:         287544 kB
Inactive:       126240 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        601900 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13096 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 23:49:38 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19034 7 1200.28 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.91 0.95 0.90 2/55 3231
Raw data (stat): 3231 (runsolver) R 3230 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 799623279 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 1160 0 0 0 990 5 0 0 25 0 1 0 799623279 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3920 1083 1111 63 0 3857 0
vsize: 15680
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 1406 0 0 0 1990 6 0 0 25 0 1 0 799623279 17182720 1329 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4195 1329 1111 63 0 4132 0
vsize: 16780
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 1657 0 0 0 2989 6 0 0 25 0 1 0 799623279 18182144 1580 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4439 1580 1111 63 0 4376 0
vsize: 17756
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 1905 0 0 0 3990 6 0 0 25 0 1 0 799623279 19169280 1828 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4680 1828 1111 63 0 4617 0
vsize: 18720
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 2152 0 0 0 4990 6 0 0 25 0 1 0 799623279 20156416 2075 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4921 2075 1111 63 0 4858 0
vsize: 19684
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 2405 0 0 0 5989 7 0 0 25 0 1 0 799623279 21278720 2328 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5195 2328 1111 63 0 5132 0
vsize: 20780
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 2653 0 0 0 6989 7 0 0 25 0 1 0 799623279 22265856 2576 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5436 2576 1111 63 0 5373 0
vsize: 21744
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 2900 0 0 0 7988 8 0 0 25 0 1 0 799623279 23244800 2823 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5675 2823 1111 63 0 5612 0
vsize: 22700
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 3148 0 0 0 8988 9 0 0 25 0 1 0 799623279 24231936 3071 4294967295 134512640 134714508 3221221776 3221220004 1077414347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5916 3071 1111 63 0 5853 0
vsize: 23664
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 3396 0 0 0 9988 9 0 0 25 0 1 0 799623279 25219072 3319 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6157 3319 1111 63 0 6094 0
vsize: 24628
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 3650 0 0 0 10987 10 0 0 25 0 1 0 799623279 26345472 3573 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6432 3573 1111 63 0 6369 0
vsize: 25728
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 3912 0 0 0 11987 10 0 0 25 0 1 0 799623279 27353088 3835 4294967295 134512640 134714508 3221221776 3221220004 1077414393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6678 3835 1111 63 0 6615 0
vsize: 26712
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 4160 0 0 0 12987 11 0 0 25 0 1 0 799623279 28479488 4083 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6953 4083 1111 63 0 6890 0
vsize: 27812
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 4409 0 0 0 13987 11 0 0 25 0 1 0 799623279 29466624 4332 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7194 4332 1111 63 0 7131 0
vsize: 28776
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 4663 0 0 0 14986 12 0 0 25 0 1 0 799623279 30445568 4586 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7433 4586 1111 63 0 7370 0
vsize: 29732
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 4918 0 0 0 15986 12 0 0 25 0 1 0 799623279 31571968 4841 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7708 4841 1111 63 0 7645 0
vsize: 30832
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 5167 0 0 0 16986 13 0 0 25 0 1 0 799623279 32559104 5090 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7949 5090 1111 63 0 7886 0
vsize: 31796
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 5428 0 0 0 17986 13 0 0 25 0 1 0 799623279 33546240 5351 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8190 5351 1111 63 0 8127 0
vsize: 32760
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 5677 0 0 0 18985 13 0 0 25 0 1 0 799623279 34672640 5600 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8465 5600 1111 63 0 8402 0
vsize: 33860
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 5931 0 0 0 19985 14 0 0 25 0 1 0 799623279 35659776 5854 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8706 5854 1111 63 0 8643 0
vsize: 34824
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 6186 0 0 0 20985 14 0 0 25 0 1 0 799623279 36646912 6109 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8947 6109 1111 63 0 8884 0
vsize: 35788
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 6451 0 0 0 21985 15 0 0 25 0 1 0 799623279 37769216 6374 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9221 6374 1111 63 0 9158 0
vsize: 36884
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 6705 0 0 0 22984 15 0 0 25 0 1 0 799623279 38907904 6628 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9499 6628 1111 63 0 9436 0
vsize: 37996
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 6966 0 0 0 23984 16 0 0 25 0 1 0 799623279 39890944 6889 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9739 6889 1111 63 0 9676 0
vsize: 38956
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 7222 0 0 0 24984 16 0 0 25 0 1 0 799623279 41021440 7145 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10015 7145 1111 63 0 9952 0
vsize: 40060
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 7478 0 0 0 25984 16 0 0 25 0 1 0 799623279 42008576 7401 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10256 7401 1111 63 0 10193 0
vsize: 41024
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 7739 0 0 0 26984 17 0 0 25 0 1 0 799623279 43134976 7662 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10531 7662 1111 63 0 10468 0
vsize: 42124
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 7996 0 0 0 27984 17 0 0 25 0 1 0 799623279 44118016 7919 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10771 7919 1111 63 0 10708 0
vsize: 43084
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 8257 0 0 0 28983 18 0 0 25 0 1 0 799623279 45248512 8180 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11047 8180 1111 63 0 10984 0
vsize: 44188
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 8510 0 0 0 29983 18 0 0 25 0 1 0 799623279 46227456 8433 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11286 8433 1111 63 0 11223 0
vsize: 45144
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 8773 0 0 0 30983 18 0 0 25 0 1 0 799623279 47353856 8696 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11561 8696 1111 63 0 11498 0
vsize: 46244
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 9035 0 0 0 31983 19 0 0 25 0 1 0 799623279 48340992 8958 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11802 8958 1111 63 0 11739 0
vsize: 47208
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 9297 0 0 0 32982 19 0 0 25 0 1 0 799623279 49467392 9220 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12077 9220 1111 63 0 12014 0
vsize: 48308
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 9559 0 0 0 33982 20 0 0 25 0 1 0 799623279 50593792 9482 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12352 9482 1111 63 0 12289 0
vsize: 49408
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 9821 0 0 0 34982 20 0 0 25 0 1 0 799623279 51580928 9744 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12593 9744 1111 63 0 12530 0
vsize: 50372
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 10084 0 0 0 35981 21 0 0 25 0 1 0 799623279 52707328 10007 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12868 10007 1111 63 0 12805 0
vsize: 51472
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 10346 0 0 0 36981 22 0 0 25 0 1 0 799623279 53694464 10269 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13109 10269 1111 63 0 13046 0
vsize: 52436
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 10608 0 0 0 37980 22 0 0 25 0 1 0 799623279 54820864 10531 4294967295 134512640 134714508 3221221776 3221220432 134527941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13384 10531 1111 63 0 13321 0
vsize: 53536
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 10871 0 0 0 38980 23 0 0 25 0 1 0 799623279 55943168 10794 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13658 10794 1111 63 0 13595 0
vsize: 54632
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 11131 0 0 0 39979 24 0 0 25 0 1 0 799623279 56930304 11054 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13899 11054 1111 63 0 13836 0
vsize: 55596
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 11399 0 0 0 40979 24 0 0 25 0 1 0 799623279 58056704 11322 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14174 11322 1111 63 0 14111 0
vsize: 56696
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 11667 0 0 0 41978 25 0 0 25 0 1 0 799623279 59183104 11590 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14449 11590 1111 63 0 14386 0
vsize: 57796
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 11929 0 0 0 42978 25 0 0 25 0 1 0 799623279 60170240 11852 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14690 11852 1111 63 0 14627 0
vsize: 58760
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 12208 0 0 0 43978 26 0 0 25 0 1 0 799623279 61517824 12131 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15019 12131 1111 63 0 14956 0
vsize: 60076
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 12483 0 0 0 44978 26 0 0 25 0 1 0 799623279 62644224 12406 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15294 12406 1111 63 0 15231 0
vsize: 61176
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 12746 0 0 0 45977 27 0 0 25 0 1 0 799623279 63627264 12669 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15534 12669 1111 63 0 15471 0
vsize: 62136
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 13015 0 0 0 46977 28 0 0 25 0 1 0 799623279 64757760 12938 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15810 12938 1111 63 0 15747 0
vsize: 63240
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 13284 0 0 0 47977 28 0 0 25 0 1 0 799623279 65884160 13207 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16085 13207 1111 63 0 16022 0
vsize: 64340
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 13553 0 0 0 48976 29 0 0 25 0 1 0 799623279 67010560 13476 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16360 13476 1111 63 0 16297 0
vsize: 65440
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 13821 0 0 0 49976 29 0 0 25 0 1 0 799623279 68128768 13744 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16633 13744 1111 63 0 16570 0
vsize: 66532
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 14090 0 0 0 50976 29 0 0 25 0 1 0 799623279 69115904 14013 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16874 14013 1111 63 0 16811 0
vsize: 67496
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 14359 0 0 0 51975 30 0 0 25 0 1 0 799623279 70246400 14282 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 14282 1111 63 0 17087 0
vsize: 68600
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 14634 0 0 0 52975 31 0 0 25 0 1 0 799623279 71372800 14557 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17425 14557 1111 63 0 17362 0
vsize: 69700
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 14910 0 0 0 53974 32 0 0 25 0 1 0 799623279 72499200 14833 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17700 14833 1111 63 0 17637 0
vsize: 70800
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 15180 0 0 0 54974 32 0 0 25 0 1 0 799623279 73625600 15103 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17975 15103 1111 63 0 17912 0
vsize: 71900
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 15450 0 0 0 55974 33 0 0 25 0 1 0 799623279 74752000 15373 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18250 15373 1111 63 0 18187 0
vsize: 73000
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 15724 0 0 0 56973 33 0 0 25 0 1 0 799623279 75878400 15647 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18525 15647 1111 63 0 18462 0
vsize: 74100
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 16000 0 0 0 57973 34 0 0 25 0 1 0 799623279 77004800 15923 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18800 15923 1111 63 0 18737 0
vsize: 75200
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 16276 0 0 0 58973 35 0 0 25 0 1 0 799623279 78131200 16199 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19075 16199 1111 63 0 19012 0
vsize: 76300
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 16551 0 0 0 59972 35 0 0 25 0 1 0 799623279 79257600 16474 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19350 16474 1111 63 0 19287 0
vsize: 77400
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 16828 0 0 0 60972 35 0 0 25 0 1 0 799623279 80384000 16751 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19625 16751 1111 63 0 19562 0
vsize: 78500
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 17103 0 0 0 61972 36 0 0 25 0 1 0 799623279 81514496 17026 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19901 17026 1111 63 0 19838 0
vsize: 79604
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 17380 0 0 0 62971 36 0 0 25 0 1 0 799623279 82640896 17303 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20176 17303 1111 63 0 20113 0
vsize: 80704
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 17656 0 0 0 63971 37 0 0 25 0 1 0 799623279 83759104 17579 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20449 17579 1111 63 0 20386 0
vsize: 81796
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 17930 0 0 0 64971 37 0 0 25 0 1 0 799623279 84885504 17853 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20724 17853 1111 63 0 20661 0
vsize: 82896
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 18213 0 0 0 65971 38 0 0 25 0 1 0 799623279 86011904 18136 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20999 18136 1111 63 0 20936 0
vsize: 83996
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 18495 0 0 0 66971 38 0 0 25 0 1 0 799623279 87142400 18418 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21275 18418 1111 63 0 21212 0
vsize: 85100
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 18771 0 0 0 67971 38 0 0 25 0 1 0 799623279 88268800 18694 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21550 18694 1111 63 0 21487 0
vsize: 86200
[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 19048 0 0 0 68970 39 0 0 25 0 1 0 799623279 89395200 18971 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21825 18971 1111 63 0 21762 0
vsize: 87300
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 19330 0 0 0 69970 40 0 0 25 0 1 0 799623279 90521600 19253 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22100 19253 1111 63 0 22037 0
vsize: 88400
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 19614 0 0 0 70970 40 0 0 25 0 1 0 799623279 91787264 19537 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22409 19537 1111 63 0 22346 0
vsize: 89636
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 19895 0 0 0 71969 41 0 0 25 0 1 0 799623279 92913664 19818 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22684 19818 1111 63 0 22621 0
vsize: 90736
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 20178 0 0 0 72969 41 0 0 25 0 1 0 799623279 94040064 20101 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22959 20101 1111 63 0 22896 0
vsize: 91836
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 20468 0 0 0 73969 42 0 0 25 0 1 0 799623279 95166464 20391 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23234 20391 1111 63 0 23171 0
vsize: 92936
[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 20744 0 0 0 74968 42 0 0 25 0 1 0 799623279 96292864 20667 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23509 20667 1111 63 0 23446 0
vsize: 94036
[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 21034 0 0 0 75967 43 0 0 25 0 1 0 799623279 97562624 20957 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23819 20957 1111 63 0 23756 0
vsize: 95276
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 21316 0 0 0 76967 44 0 0 25 0 1 0 799623279 98689024 21239 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24094 21239 1111 63 0 24031 0
vsize: 96376
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 21599 0 0 0 77967 44 0 0 25 0 1 0 799623279 99815424 21522 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24369 21522 1111 63 0 24306 0
vsize: 97476
[startup+790.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 21889 0 0 0 78966 45 0 0 25 0 1 0 799623279 101081088 21812 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24678 21812 1111 63 0 24615 0
vsize: 98712
[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 22177 0 0 0 79966 45 0 0 25 0 1 0 799623279 102207488 22100 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24953 22100 1111 63 0 24890 0
vsize: 99812
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 22467 0 0 0 80966 46 0 0 25 0 1 0 799623279 103333888 22390 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25228 22390 1111 63 0 25165 0
vsize: 100912
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 22755 0 0 0 81966 46 0 0 25 0 1 0 799623279 104603648 22678 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25538 22678 1111 63 0 25475 0
vsize: 102152
[startup+830.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 23081 0 0 0 82966 46 0 0 25 0 1 0 799623279 106102784 23004 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25904 23004 1111 63 0 25841 0
vsize: 103616
[startup+840.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 23367 0 0 0 83965 47 0 0 25 0 1 0 799623279 107356160 23290 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26210 23290 1111 63 0 26147 0
vsize: 104840
[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 23656 0 0 0 84965 47 0 0 25 0 1 0 799623279 108482560 23579 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26485 23579 1111 63 0 26422 0
vsize: 105940
[startup+860.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 23946 0 0 0 85965 48 0 0 25 0 1 0 799623279 109748224 23869 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26794 23869 1111 63 0 26731 0
vsize: 107176
[startup+870.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 24235 0 0 0 86964 48 0 0 25 0 1 0 799623279 110874624 24158 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27069 24158 1111 63 0 27006 0
vsize: 108276
[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 24526 0 0 0 87964 49 0 0 25 0 1 0 799623279 112001024 24449 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27344 24449 1111 63 0 27281 0
vsize: 109376
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 24816 0 0 0 88964 50 0 0 25 0 1 0 799623279 113270784 24739 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27654 24739 1111 63 0 27591 0
vsize: 110616
[startup+900.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 25113 0 0 0 89963 51 0 0 25 0 1 0 799623279 114397184 25036 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27929 25036 1111 63 0 27866 0
vsize: 111716
[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 25408 0 0 0 90962 52 0 0 25 0 1 0 799623279 115662848 25331 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28238 25331 1111 63 0 28175 0
vsize: 112952
[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 25698 0 0 0 91962 52 0 0 25 0 1 0 799623279 116789248 25621 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28513 25621 1111 63 0 28450 0
vsize: 114052
[startup+930.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 25995 0 0 0 92961 53 0 0 25 0 1 0 799623279 118059008 25918 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28823 25918 1111 63 0 28760 0
vsize: 115292
[startup+940.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 26290 0 0 0 93961 54 0 0 25 0 1 0 799623279 119324672 26213 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29132 26213 1111 63 0 29069 0
vsize: 116528
[startup+950.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 26588 0 0 0 94960 54 0 0 25 0 1 0 799623279 120451072 26511 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29407 26511 1111 63 0 29344 0
vsize: 117628
[startup+960.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 26884 0 0 0 95960 55 0 0 25 0 1 0 799623279 121716736 26807 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29716 26807 1111 63 0 29653 0
vsize: 118864
[startup+970.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 27181 0 0 0 96959 56 0 0 25 0 1 0 799623279 122843136 27104 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 27104 1111 63 0 29928 0
vsize: 119964
[startup+980.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 27477 0 0 0 97959 57 0 0 25 0 1 0 799623279 124112896 27400 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30301 27400 1111 63 0 30238 0
vsize: 121204
[startup+990.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 27780 0 0 0 98958 57 0 0 25 0 1 0 799623279 125378560 27703 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30610 27703 1111 63 0 30547 0
vsize: 122440
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 28084 0 0 0 99958 58 0 0 25 0 1 0 799623279 126644224 28007 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30919 28007 1111 63 0 30856 0
vsize: 123676
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 28393 0 0 0 100957 59 0 0 25 0 1 0 799623279 127913984 28316 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31229 28316 1111 63 0 31166 0
vsize: 124916
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 28704 0 0 0 101957 60 0 0 25 0 1 0 799623279 129179648 28627 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31538 28627 1111 63 0 31475 0
vsize: 126152
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 29007 0 0 0 102956 60 0 0 25 0 1 0 799623279 130306048 28930 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31813 28930 1111 63 0 31750 0
vsize: 127252
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 29318 0 0 0 103956 61 0 0 25 0 1 0 799623279 131571712 29241 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32122 29241 1111 63 0 32059 0
vsize: 128488
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 29627 0 0 0 104956 61 0 0 25 0 1 0 799623279 132837376 29550 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32431 29550 1111 63 0 32368 0
vsize: 129724
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 29931 0 0 0 105955 62 0 0 25 0 1 0 799623279 134107136 29854 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32741 29854 1111 63 0 32678 0
vsize: 130964
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 30247 0 0 0 106955 62 0 0 25 0 1 0 799623279 135372800 30170 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33050 30170 1111 63 0 32987 0
vsize: 132200
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 30556 0 0 0 107955 63 0 0 25 0 1 0 799623279 136642560 30479 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33360 30479 1111 63 0 33297 0
vsize: 133440
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 30867 0 0 0 108954 64 0 0 25 0 1 0 799623279 137908224 30790 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33669 30790 1111 63 0 33606 0
vsize: 134676
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 31177 0 0 0 109954 64 0 0 25 0 1 0 799623279 139173888 31100 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33978 31100 1111 63 0 33915 0
vsize: 135912
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 31488 0 0 0 110953 65 0 0 25 0 1 0 799623279 140439552 31411 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34287 31411 1111 63 0 34224 0
vsize: 137148
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 31805 0 0 0 111953 66 0 0 25 0 1 0 799623279 141852672 31728 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34632 31728 1111 63 0 34569 0
vsize: 138528
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 32117 0 0 0 112952 67 0 0 25 0 1 0 799623279 143122432 32040 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34942 32040 1111 63 0 34879 0
vsize: 139768
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 32427 0 0 0 113951 67 0 0 25 0 1 0 799623279 144388096 32350 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35251 32350 1111 63 0 35188 0
vsize: 141004
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 32744 0 0 0 114951 68 0 0 25 0 1 0 799623279 145653760 32667 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35560 32667 1111 63 0 35497 0
vsize: 142240
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 33061 0 0 0 115951 69 0 0 25 0 1 0 799623279 146919424 32984 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35869 32984 1111 63 0 35806 0
vsize: 143476
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 33377 0 0 0 116950 69 0 0 25 0 1 0 799623279 148189184 33300 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36179 33300 1111 63 0 36116 0
vsize: 144716
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 33695 0 0 0 117950 70 0 0 25 0 1 0 799623279 149454848 33618 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36488 33618 1111 63 0 36425 0
vsize: 145952
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 34011 0 0 0 118949 71 0 0 25 0 1 0 799623279 150859776 33934 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36831 33934 1111 63 0 36768 0
vsize: 147324
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) R 3230 7876 7672 0 -1 0 34336 0 0 0 119949 71 0 0 25 0 1 0 799623279 152129536 34259 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37141 34259 1111 63 0 37078 0
vsize: 148564
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 3231
Raw data (stat): 3231 (bsolo_lpr_cuts) Z 3230 7876 7672 0 -1 1036 34336 0 0 0 119949 78 0 0 25 0 1 0 799623279 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.13
CPU time (s): 1200.28
CPU user time (s): 1199.5
CPU system time (s): 0.780881
CPU usage (%): 100.012
Max. virtual memory (Kb): 148564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####