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-n370b.opb
MD5SUM	10d985feb1b2e2f9239f0fbace6cd870
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	105000
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	39138571845
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	39138571845
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.960853
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 25569

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 18:24:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19138 boxname=wulflinc31 idbench=1473 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  10d985feb1b2e2f9239f0fbace6cd870  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370b.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370b.opb
IDLAUNCH: 19138
/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:        661784 kB
Buffers:         31572 kB
Cached:         319976 kB
SwapCached:       1168 kB
Active:         237052 kB
Inactive:       116852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        661532 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            13344 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 18:44:35 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 19138 7 1200.26 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.86 0.97 0.97 2/55 1533
Raw data (stat): 1533 (runsolver) R 1532 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 797792689 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.0009 s]
Raw data (loadavg): 0.88 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 1160 0 0 0 991 4 0 0 25 0 1 0 797792689 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414408 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.0013 s]
Raw data (loadavg): 0.90 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 1406 0 0 0 1990 5 0 0 25 0 1 0 797792689 17182720 1329 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.0016 s]
Raw data (loadavg): 0.91 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 1657 0 0 0 2990 5 0 0 25 0 1 0 797792689 18182144 1580 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.0025 s]
Raw data (loadavg): 0.93 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 1905 0 0 0 3990 6 0 0 25 0 1 0 797792689 19169280 1828 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.0031 s]
Raw data (loadavg): 0.94 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 2152 0 0 0 4990 6 0 0 25 0 1 0 797792689 20156416 2075 4294967295 134512640 134714508 3221221776 3221220004 1077414385 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.0044 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 2405 0 0 0 5989 7 0 0 25 0 1 0 797792689 21278720 2328 4294967295 134512640 134714508 3221221776 3221220004 1077414358 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.0043 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 2653 0 0 0 6989 8 0 0 25 0 1 0 797792689 22265856 2576 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.0039 s]
Raw data (loadavg): 0.96 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 2900 0 0 0 7988 8 0 0 25 0 1 0 797792689 23244800 2823 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.0042 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 3148 0 0 0 8988 8 0 0 25 0 1 0 797792689 24231936 3071 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.004 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 3396 0 0 0 9988 9 0 0 25 0 1 0 797792689 25219072 3319 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.005 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 3650 0 0 0 10988 9 0 0 25 0 1 0 797792689 26345472 3573 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 3912 0 0 0 11988 9 0 0 25 0 1 0 797792689 27353088 3835 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 4160 0 0 0 12988 9 0 0 25 0 1 0 797792689 28479488 4083 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 4409 0 0 0 13988 10 0 0 25 0 1 0 797792689 29466624 4332 4294967295 134512640 134714508 3221221776 3221220004 1077414433 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.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 4663 0 0 0 14987 10 0 0 25 0 1 0 797792689 30445568 4586 4294967295 134512640 134714508 3221221776 3221220004 1077414351 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.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 4918 0 0 0 15987 11 0 0 25 0 1 0 797792689 31571968 4841 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 5167 0 0 0 16987 11 0 0 25 0 1 0 797792689 32559104 5090 4294967295 134512640 134714508 3221221776 3221220004 1077414376 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.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 5422 0 0 0 17986 12 0 0 25 0 1 0 797792689 33546240 5345 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8190 5345 1111 63 0 8127 0
vsize: 32760
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 5677 0 0 0 18986 12 0 0 25 0 1 0 797792689 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.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 5931 0 0 0 19986 13 0 0 25 0 1 0 797792689 35659776 5854 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 6186 0 0 0 20986 13 0 0 25 0 1 0 797792689 36646912 6109 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 6451 0 0 0 21986 13 0 0 25 0 1 0 797792689 37769216 6374 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 6705 0 0 0 22986 13 0 0 25 0 1 0 797792689 38907904 6628 4294967295 134512640 134714508 3221221776 3221220432 134527946 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.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 6966 0 0 0 23985 14 0 0 25 0 1 0 797792689 39890944 6889 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 7222 0 0 0 24985 15 0 0 25 0 1 0 797792689 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.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 7478 0 0 0 25984 16 0 0 25 0 1 0 797792689 42008576 7401 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 7739 0 0 0 26984 16 0 0 25 0 1 0 797792689 43134976 7662 4294967295 134512640 134714508 3221221776 3221220004 1077414382 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.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 7995 0 0 0 27984 17 0 0 25 0 1 0 797792689 44118016 7918 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10771 7918 1111 63 0 10708 0
vsize: 43084
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 8251 0 0 0 28983 17 0 0 25 0 1 0 797792689 45248512 8174 4294967295 134512640 134714508 3221221776 3221219624 1077360737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11047 8174 1111 63 0 10984 0
vsize: 44188
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 8510 0 0 0 29983 17 0 0 25 0 1 0 797792689 46227456 8433 4294967295 134512640 134714508 3221221776 3221220004 1077414401 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.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 8773 0 0 0 30982 18 0 0 25 0 1 0 797792689 47353856 8696 4294967295 134512640 134714508 3221221776 3221220004 1077414385 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.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 9035 0 0 0 31982 19 0 0 25 0 1 0 797792689 48340992 8958 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 9297 0 0 0 32982 20 0 0 25 0 1 0 797792689 49467392 9220 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 9559 0 0 0 33981 20 0 0 25 0 1 0 797792689 50593792 9482 4294967295 134512640 134714508 3221221776 3221220128 134567410 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 9814 0 0 0 34981 21 0 0 25 0 1 0 797792689 51580928 9737 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12593 9737 1111 63 0 12530 0
vsize: 50372
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 10084 0 0 0 35981 21 0 0 25 0 1 0 797792689 52707328 10007 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 10345 0 0 0 36981 22 0 0 25 0 1 0 797792689 53694464 10268 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13109 10268 1111 63 0 13046 0
vsize: 52436
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 10608 0 0 0 37980 22 0 0 25 0 1 0 797792689 54820864 10531 4294967295 134512640 134714508 3221221776 3221220004 1077414383 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.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 10871 0 0 0 38980 23 0 0 25 0 1 0 797792689 55943168 10794 4294967295 134512640 134714508 3221221776 3221220004 1077414410 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.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 11131 0 0 0 39979 23 0 0 25 0 1 0 797792689 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.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 11392 0 0 0 40979 24 0 0 25 0 1 0 797792689 58056704 11315 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14174 11315 1111 63 0 14111 0
vsize: 56696
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 11660 0 0 0 41979 24 0 0 25 0 1 0 797792689 59183104 11583 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14449 11583 1111 63 0 14386 0
vsize: 57796
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 11928 0 0 0 42979 25 0 0 25 0 1 0 797792689 60170240 11851 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14690 11851 1111 63 0 14627 0
vsize: 58760
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 12208 0 0 0 43979 25 0 0 25 0 1 0 797792689 61517824 12131 4294967295 134512640 134714508 3221221776 3221220432 134527946 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.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 12477 0 0 0 44978 25 0 0 25 0 1 0 797792689 62644224 12400 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15294 12400 1111 63 0 15231 0
vsize: 61176
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 12746 0 0 0 45978 26 0 0 25 0 1 0 797792689 63627264 12669 4294967295 134512640 134714508 3221221776 3221220004 1077414408 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.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 13008 0 0 0 46977 27 0 0 25 0 1 0 797792689 64757760 12931 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15810 12931 1111 63 0 15747 0
vsize: 63240
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 13277 0 0 0 47977 27 0 0 25 0 1 0 797792689 65884160 13200 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16085 13200 1111 63 0 16022 0
vsize: 64340
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 13546 0 0 0 48977 28 0 0 25 0 1 0 797792689 67010560 13469 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16360 13469 1111 63 0 16297 0
vsize: 65440
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 13814 0 0 0 49977 28 0 0 25 0 1 0 797792689 67989504 13737 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16599 13737 1111 63 0 16536 0
vsize: 66396
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 14083 0 0 0 50976 29 0 0 25 0 1 0 797792689 69115904 14006 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16874 14006 1111 63 0 16811 0
vsize: 67496
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 14358 0 0 0 51976 29 0 0 25 0 1 0 797792689 70246400 14281 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 14281 1111 63 0 17087 0
vsize: 68600
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 14627 0 0 0 52975 30 0 0 25 0 1 0 797792689 71372800 14550 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17425 14550 1111 63 0 17362 0
vsize: 69700
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 14897 0 0 0 53975 30 0 0 25 0 1 0 797792689 72499200 14820 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17700 14820 1111 63 0 17637 0
vsize: 70800
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 15173 0 0 0 54975 31 0 0 25 0 1 0 797792689 73625600 15096 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17975 15096 1111 63 0 17912 0
vsize: 71900
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 15442 0 0 0 55974 32 0 0 25 0 1 0 797792689 74752000 15365 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18250 15365 1111 63 0 18187 0
vsize: 73000
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 15717 0 0 0 56974 32 0 0 25 0 1 0 797792689 75878400 15640 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18525 15640 1111 63 0 18462 0
vsize: 74100
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 15987 0 0 0 57974 33 0 0 25 0 1 0 797792689 76865536 15910 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18766 15910 1111 63 0 18703 0
vsize: 75064
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 16263 0 0 0 58974 33 0 0 25 0 1 0 797792689 77991936 16186 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19041 16186 1111 63 0 18978 0
vsize: 76164
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 16538 0 0 0 59973 34 0 0 25 0 1 0 797792689 79118336 16461 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19316 16461 1111 63 0 19253 0
vsize: 77264
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 16815 0 0 0 60973 34 0 0 25 0 1 0 797792689 80244736 16738 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19591 16738 1111 63 0 19528 0
vsize: 78364
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 17090 0 0 0 61973 34 0 0 25 0 1 0 797792689 81367040 17013 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19865 17013 1111 63 0 19802 0
vsize: 79460
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 17366 0 0 0 62973 35 0 0 25 0 1 0 797792689 82493440 17289 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20140 17289 1111 63 0 20077 0
vsize: 80560
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 17641 0 0 0 63973 35 0 0 25 0 1 0 797792689 83619840 17564 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20415 17564 1111 63 0 20352 0
vsize: 81660
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 17922 0 0 0 64972 35 0 0 25 0 1 0 797792689 84885504 17845 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20724 17845 1111 63 0 20661 0
vsize: 82896
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 18200 0 0 0 65972 36 0 0 25 0 1 0 797792689 86011904 18123 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20999 18123 1111 63 0 20936 0
vsize: 83996
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 18481 0 0 0 66972 36 0 0 25 0 1 0 797792689 87142400 18404 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21275 18404 1111 63 0 21212 0
vsize: 85100
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 18758 0 0 0 67972 37 0 0 25 0 1 0 797792689 88268800 18681 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21550 18681 1111 63 0 21487 0
vsize: 86200
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 19041 0 0 0 68971 37 0 0 25 0 1 0 797792689 89395200 18964 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21825 18964 1111 63 0 21762 0
vsize: 87300
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 19322 0 0 0 69971 38 0 0 25 0 1 0 797792689 90521600 19245 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22100 19245 1111 63 0 22037 0
vsize: 88400
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 19600 0 0 0 70971 38 0 0 25 0 1 0 797792689 91648000 19523 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22375 19523 1111 63 0 22312 0
vsize: 89500
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 19882 0 0 0 71970 39 0 0 25 0 1 0 797792689 92774400 19805 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22650 19805 1111 63 0 22587 0
vsize: 90600
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 20165 0 0 0 72970 40 0 0 25 0 1 0 797792689 94040064 20088 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22959 20088 1111 63 0 22896 0
vsize: 91836
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 20454 0 0 0 73969 40 0 0 25 0 1 0 797792689 95166464 20377 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23234 20377 1111 63 0 23171 0
vsize: 92936
[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 20730 0 0 0 74969 41 0 0 25 0 1 0 797792689 96292864 20653 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23509 20653 1111 63 0 23446 0
vsize: 94036
[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 21020 0 0 0 75969 41 0 0 25 0 1 0 797792689 97419264 20943 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23784 20943 1111 63 0 23721 0
vsize: 95136
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 21302 0 0 0 76968 42 0 0 25 0 1 0 797792689 98689024 21225 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24094 21225 1111 63 0 24031 0
vsize: 96376
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 21586 0 0 0 77968 43 0 0 25 0 1 0 797792689 99815424 21509 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24369 21509 1111 63 0 24306 0
vsize: 97476
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 21875 0 0 0 78968 43 0 0 25 0 1 0 797792689 100941824 21798 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24644 21798 1111 63 0 24581 0
vsize: 98576
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 22164 0 0 0 79967 44 0 0 25 0 1 0 797792689 102207488 22087 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24953 22087 1111 63 0 24890 0
vsize: 99812
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 22453 0 0 0 80966 44 0 0 25 0 1 0 797792689 103333888 22376 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25228 22376 1111 63 0 25165 0
vsize: 100912
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 22736 0 0 0 81966 45 0 0 25 0 1 0 797792689 104460288 22659 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25503 22659 1111 63 0 25440 0
vsize: 102012
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 23069 0 0 0 82966 45 0 0 25 0 1 0 797792689 106102784 22992 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25904 22992 1111 63 0 25841 0
vsize: 103616
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 23347 0 0 0 83966 45 0 0 25 0 1 0 797792689 107216896 23270 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26176 23270 1111 63 0 26113 0
vsize: 104704
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 23643 0 0 0 84966 46 0 0 25 0 1 0 797792689 108482560 23566 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26485 23566 1111 63 0 26422 0
vsize: 105940
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 23933 0 0 0 85965 47 0 0 25 0 1 0 797792689 109608960 23856 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26760 23856 1111 63 0 26697 0
vsize: 107040
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 24222 0 0 0 86965 47 0 0 25 0 1 0 797792689 110874624 24145 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27069 24145 1111 63 0 27006 0
vsize: 108276
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 24513 0 0 0 87964 48 0 0 25 0 1 0 797792689 112001024 24436 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27344 24436 1111 63 0 27281 0
vsize: 109376
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 24808 0 0 0 88964 49 0 0 25 0 1 0 797792689 113270784 24731 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27654 24731 1111 63 0 27591 0
vsize: 110616
[startup+900.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 25098 0 0 0 89964 49 0 0 25 0 1 0 797792689 114397184 25021 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27929 25021 1111 63 0 27866 0
vsize: 111716
[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 25395 0 0 0 90963 50 0 0 25 0 1 0 797792689 115662848 25318 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28238 25318 1111 63 0 28175 0
vsize: 112952
[startup+920.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 25691 0 0 0 91963 50 0 0 25 0 1 0 797792689 116789248 25614 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28513 25614 1111 63 0 28450 0
vsize: 114052
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 25987 0 0 0 92963 51 0 0 25 0 1 0 797792689 118059008 25910 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28823 25910 1111 63 0 28760 0
vsize: 115292
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 26277 0 0 0 93962 51 0 0 25 0 1 0 797792689 119185408 26200 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29098 26200 1111 63 0 29035 0
vsize: 116392
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 26581 0 0 0 94962 52 0 0 25 0 1 0 797792689 120451072 26504 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29407 26504 1111 63 0 29344 0
vsize: 117628
[startup+960.049 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 26870 0 0 0 95962 52 0 0 25 0 1 0 797792689 121577472 26793 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29682 26793 1111 63 0 29619 0
vsize: 118728
[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 27173 0 0 0 96961 53 0 0 25 0 1 0 797792689 122843136 27096 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 27096 1111 63 0 29928 0
vsize: 119964
[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 27470 0 0 0 97961 54 0 0 25 0 1 0 797792689 124112896 27393 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30301 27393 1111 63 0 30238 0
vsize: 121204
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 27766 0 0 0 98960 54 0 0 25 0 1 0 797792689 125239296 27689 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30576 27689 1111 63 0 30513 0
vsize: 122304
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 28070 0 0 0 99960 55 0 0 25 0 1 0 797792689 126504960 27993 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30885 27993 1111 63 0 30822 0
vsize: 123540
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 28372 0 0 0 100959 56 0 0 25 0 1 0 797792689 127770624 28295 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31194 28295 1111 63 0 31131 0
vsize: 124776
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 28670 0 0 0 101959 56 0 0 25 0 1 0 797792689 129040384 28593 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31504 28593 1111 63 0 31441 0
vsize: 126016
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 28966 0 0 0 102958 57 0 0 25 0 1 0 797792689 130166784 28889 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31779 28889 1111 63 0 31716 0
vsize: 127116
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 29270 0 0 0 103958 58 0 0 25 0 1 0 797792689 131432448 29193 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32088 29193 1111 63 0 32025 0
vsize: 128352
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 29573 0 0 0 104957 58 0 0 25 0 1 0 797792689 132698112 29496 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32397 29496 1111 63 0 32334 0
vsize: 129588
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 29875 0 0 0 105957 59 0 0 25 0 1 0 797792689 133963776 29798 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32706 29798 1111 63 0 32643 0
vsize: 130824
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 30178 0 0 0 106957 59 0 0 25 0 1 0 797792689 135094272 30101 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32982 30101 1111 63 0 32919 0
vsize: 131928
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 30481 0 0 0 107956 60 0 0 25 0 1 0 797792689 136359936 30404 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33291 30404 1111 63 0 33228 0
vsize: 133164
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 30785 0 0 0 108955 61 0 0 25 0 1 0 797792689 137625600 30708 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33600 30708 1111 63 0 33537 0
vsize: 134400
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 31088 0 0 0 109955 61 0 0 25 0 1 0 797792689 138895360 31011 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33910 31011 1111 63 0 33847 0
vsize: 135640
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 31393 0 0 0 110955 62 0 0 25 0 1 0 797792689 140161024 31316 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34219 31316 1111 63 0 34156 0
vsize: 136876
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 31702 0 0 0 111954 63 0 0 25 0 1 0 797792689 141426688 31625 4294967295 134512640 134714508 3221221776 3221220444 1077374432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34528 31625 1111 63 0 34465 0
vsize: 138112
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 32012 0 0 0 112953 64 0 0 25 0 1 0 797792689 142692352 31935 4294967295 134512640 134714508 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34837 31935 1111 63 0 34774 0
vsize: 139348
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 32315 0 0 0 113953 64 0 0 25 0 1 0 797792689 143818752 32238 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35112 32238 1111 63 0 35049 0
vsize: 140448
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 32618 0 0 0 114952 65 0 0 25 0 1 0 797792689 145088512 32541 4294967295 134512640 134714508 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35422 32541 1111 63 0 35359 0
vsize: 141688
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 32935 0 0 0 115952 66 0 0 25 0 1 0 797792689 146354176 32858 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35731 32858 1111 63 0 35668 0
vsize: 142924
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 33239 0 0 0 116951 67 0 0 25 0 1 0 797792689 147623936 33162 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36041 33162 1111 63 0 35978 0
vsize: 144164
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 33550 0 0 0 117951 67 0 0 25 0 1 0 797792689 148889600 33473 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36350 33473 1111 63 0 36287 0
vsize: 145400
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 33860 0 0 0 118951 68 0 0 25 0 1 0 797792689 150155264 33783 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36659 33783 1111 63 0 36596 0
vsize: 146636
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) R 1532 7876 7672 0 -1 0 34172 0 0 0 119950 68 0 0 25 0 1 0 797792689 151420928 34095 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36968 34095 1111 63 0 36905 0
vsize: 147872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 1533
Raw data (stat): 1533 (bsolo_lpr_cuts) Z 1532 7876 7672 0 -1 1036 34172 0 0 0 119950 74 0 0 25 0 1 0 797792689 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.26
CPU user time (s): 1199.51
CPU system time (s): 0.748886
CPU usage (%): 100.011
Max. virtual memory (Kb): 147872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####