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-n3704.opb
MD5SUM	ff4950ed0b09d2cfc714de8611974ec9
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	39088316758
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	39088316758
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.98385
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 25582

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 22:49:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19047 boxname=wulflinc31 idbench=1466 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ff4950ed0b09d2cfc714de8611974ec9  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3704.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3704.opb
IDLAUNCH: 19047
/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:        609424 kB
Buffers:         33320 kB
Cached:         370788 kB
SwapCached:       1172 kB
Active:         279536 kB
Inactive:       126940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        609172 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13196 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 23:09:10 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 19047 7 1200.31 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.92 0.95 0.90 2/55 2990
Raw data (stat): 2990 (runsolver) R 2989 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 799380369 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 1160 0 0 0 990 5 0 0 25 0 1 0 799380369 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 1406 0 0 0 1990 5 0 0 25 0 1 0 799380369 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.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 1657 0 0 0 2990 6 0 0 25 0 1 0 799380369 18182144 1580 4294967295 134512640 134714508 3221221776 3221220004 1077414347 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.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 1905 0 0 0 3989 6 0 0 25 0 1 0 799380369 19169280 1828 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.0042 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 2152 0 0 0 4990 6 0 0 25 0 1 0 799380369 20156416 2075 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 2405 0 0 0 5989 7 0 0 25 0 1 0 799380369 21278720 2328 4294967295 134512640 134714508 3221221776 3221220004 1077414435 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.0051 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 2653 0 0 0 6989 7 0 0 25 0 1 0 799380369 22265856 2576 4294967295 134512640 134714508 3221221776 3221220004 1077414401 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.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 2900 0 0 0 7989 8 0 0 25 0 1 0 799380369 23244800 2823 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.0069 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 3148 0 0 0 8989 8 0 0 25 0 1 0 799380369 24231936 3071 4294967295 134512640 134714508 3221221776 3221220004 1077414345 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.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 3396 0 0 0 9988 9 0 0 25 0 1 0 799380369 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.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 3650 0 0 0 10988 10 0 0 25 0 1 0 799380369 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 3912 0 0 0 11988 10 0 0 25 0 1 0 799380369 27353088 3835 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 4160 0 0 0 12987 10 0 0 25 0 1 0 799380369 28479488 4083 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 4410 0 0 0 13987 11 0 0 25 0 1 0 799380369 29466624 4333 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7194 4333 1111 63 0 7131 0
vsize: 28776
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 4663 0 0 0 14987 11 0 0 25 0 1 0 799380369 30445568 4586 4294967295 134512640 134714508 3221221776 3221220004 1077414407 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 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 4918 0 0 0 15986 12 0 0 25 0 1 0 799380369 31571968 4841 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 5167 0 0 0 16986 13 0 0 25 0 1 0 799380369 32559104 5090 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 5428 0 0 0 17985 13 0 0 25 0 1 0 799380369 33546240 5351 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 5677 0 0 0 18985 13 0 0 25 0 1 0 799380369 34672640 5600 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 5931 0 0 0 19985 14 0 0 25 0 1 0 799380369 35659776 5854 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 6186 0 0 0 20985 15 0 0 25 0 1 0 799380369 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 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 6451 0 0 0 21984 15 0 0 25 0 1 0 799380369 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 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 6705 0 0 0 22984 16 0 0 25 0 1 0 799380369 38907904 6628 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 6966 0 0 0 23983 17 0 0 25 0 1 0 799380369 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 7222 0 0 0 24983 17 0 0 25 0 1 0 799380369 41021440 7145 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 7478 0 0 0 25983 18 0 0 25 0 1 0 799380369 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 7739 0 0 0 26983 18 0 0 25 0 1 0 799380369 43134976 7662 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 7996 0 0 0 27983 19 0 0 25 0 1 0 799380369 44118016 7919 4294967295 134512640 134714508 3221221776 3221220004 1077414385 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 8257 0 0 0 28982 20 0 0 25 0 1 0 799380369 45248512 8180 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 8510 0 0 0 29982 20 0 0 25 0 1 0 799380369 46227456 8433 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 8773 0 0 0 30981 21 0 0 25 0 1 0 799380369 47353856 8696 4294967295 134512640 134714508 3221221776 3221220004 1077414432 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 9035 0 0 0 31981 21 0 0 25 0 1 0 799380369 48340992 8958 4294967295 134512640 134714508 3221221776 3221220004 1077414358 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 9297 0 0 0 32980 22 0 0 25 0 1 0 799380369 49467392 9220 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 9559 0 0 0 33980 22 0 0 25 0 1 0 799380369 50593792 9482 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 9821 0 0 0 34980 23 0 0 25 0 1 0 799380369 51580928 9744 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 10084 0 0 0 35980 23 0 0 25 0 1 0 799380369 52707328 10007 4294967295 134512640 134714508 3221221776 3221220432 134527946 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 10346 0 0 0 36980 23 0 0 25 0 1 0 799380369 53694464 10269 4294967295 134512640 134714508 3221221776 3221220432 134527930 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 10608 0 0 0 37979 25 0 0 25 0 1 0 799380369 54820864 10531 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 10871 0 0 0 38978 25 0 0 25 0 1 0 799380369 55943168 10794 4294967295 134512640 134714508 3221221776 3221220004 1077414426 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.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 11131 0 0 0 39979 25 0 0 25 0 1 0 799380369 56930304 11054 4294967295 134512640 134714508 3221221776 3221220432 134527946 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.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 11399 0 0 0 40979 26 0 0 25 0 1 0 799380369 58056704 11322 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 11667 0 0 0 41979 26 0 0 25 0 1 0 799380369 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.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 11928 0 0 0 42979 27 0 0 25 0 1 0 799380369 60170240 11851 4294967295 134512640 134714508 3221221776 3221220004 1077414410 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 12208 0 0 0 43978 27 0 0 25 0 1 0 799380369 61517824 12131 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 12477 0 0 0 44978 28 0 0 25 0 1 0 799380369 62644224 12400 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 12746 0 0 0 45977 29 0 0 25 0 1 0 799380369 63627264 12669 4294967295 134512640 134714508 3221221776 3221219644 1077244341 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.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 13014 0 0 0 46977 29 0 0 25 0 1 0 799380369 64757760 12937 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15810 12937 1111 63 0 15747 0
vsize: 63240
[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 13284 0 0 0 47977 30 0 0 25 0 1 0 799380369 65884160 13207 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 13547 0 0 0 48976 31 0 0 25 0 1 0 799380369 67010560 13470 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16360 13470 1111 63 0 16297 0
vsize: 65440
[startup+500.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 13821 0 0 0 49976 31 0 0 25 0 1 0 799380369 68128768 13744 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 14090 0 0 0 50975 32 0 0 25 0 1 0 799380369 69115904 14013 4294967295 134512640 134714508 3221221776 3221220004 1077414426 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.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 14358 0 0 0 51975 33 0 0 25 0 1 0 799380369 70246400 14281 4294967295 134512640 134714508 3221221776 3221220004 1077414360 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.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 14628 0 0 0 52975 33 0 0 25 0 1 0 799380369 71372800 14551 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17425 14551 1111 63 0 17362 0
vsize: 69700
[startup+540.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 14903 0 0 0 53976 33 0 0 25 0 1 0 799380369 72499200 14826 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17700 14826 1111 63 0 17637 0
vsize: 70800
[startup+550.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 15173 0 0 0 54975 34 0 0 25 0 1 0 799380369 73625600 15096 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 15449 0 0 0 55975 35 0 0 25 0 1 0 799380369 74752000 15372 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18250 15372 1111 63 0 18187 0
vsize: 73000
[startup+570.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 15724 0 0 0 56975 35 0 0 25 0 1 0 799380369 75878400 15647 4294967295 134512640 134714508 3221221776 3221220004 1077414426 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.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 15994 0 0 0 57975 35 0 0 25 0 1 0 799380369 77004800 15917 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18800 15917 1111 63 0 18737 0
vsize: 75200
[startup+590.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 16270 0 0 0 58975 36 0 0 25 0 1 0 799380369 78131200 16193 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19075 16193 1111 63 0 19012 0
vsize: 76300
[startup+600.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 16545 0 0 0 59974 36 0 0 25 0 1 0 799380369 79257600 16468 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19350 16468 1111 63 0 19287 0
vsize: 77400
[startup+610.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 16822 0 0 0 60974 37 0 0 25 0 1 0 799380369 80384000 16745 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19625 16745 1111 63 0 19562 0
vsize: 78500
[startup+620.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 17097 0 0 0 61973 37 0 0 25 0 1 0 799380369 81514496 17020 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19901 17020 1111 63 0 19838 0
vsize: 79604
[startup+630.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 17373 0 0 0 62973 38 0 0 25 0 1 0 799380369 82640896 17296 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20176 17296 1111 63 0 20113 0
vsize: 80704
[startup+640.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 17655 0 0 0 63973 39 0 0 25 0 1 0 799380369 83759104 17578 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20449 17578 1111 63 0 20386 0
vsize: 81796
[startup+650.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2990
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 17929 0 0 0 64973 39 0 0 25 0 1 0 799380369 84885504 17852 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20724 17852 1111 63 0 20661 0
vsize: 82896
[startup+660.067 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 3043
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 18207 0 0 0 65972 39 0 0 25 0 1 0 799380369 86011904 18130 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20999 18130 1111 63 0 20936 0
vsize: 83996
[startup+670.067 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 3043
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 18488 0 0 0 66971 41 0 0 25 0 1 0 799380369 87142400 18411 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21275 18411 1111 63 0 21212 0
vsize: 85100
[startup+680.067 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 3043
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 18765 0 0 0 67970 42 0 0 25 0 1 0 799380369 88268800 18688 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21550 18688 1111 63 0 21487 0
vsize: 86200
[startup+690.068 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 3043
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 19048 0 0 0 68969 43 0 0 25 0 1 0 799380369 89395200 18971 4294967295 134512640 134714508 3221221776 3221220004 1077414401 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.069 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 3043
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 19329 0 0 0 69968 44 0 0 25 0 1 0 799380369 90521600 19252 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22100 19252 1111 63 0 22037 0
vsize: 88400
[startup+710.069 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 3043
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 19613 0 0 0 70968 45 0 0 25 0 1 0 799380369 91787264 19536 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22409 19536 1111 63 0 22346 0
vsize: 89636
[startup+720.07 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 3043
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 19889 0 0 0 71967 46 0 0 25 0 1 0 799380369 92913664 19812 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22684 19812 1111 63 0 22621 0
vsize: 90736
[startup+730.071 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3043
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 20178 0 0 0 72966 47 0 0 25 0 1 0 799380369 94040064 20101 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.072 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 20455 0 0 0 73966 47 0 0 25 0 1 0 799380369 95166464 20378 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23234 20378 1111 63 0 23171 0
vsize: 92936
[startup+750.073 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 20743 0 0 0 74965 48 0 0 25 0 1 0 799380369 96292864 20666 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23509 20666 1111 63 0 23446 0
vsize: 94036
[startup+760.073 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 21027 0 0 0 75965 49 0 0 25 0 1 0 799380369 97562624 20950 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23819 20950 1111 63 0 23756 0
vsize: 95276
[startup+770.074 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 21309 0 0 0 76965 49 0 0 25 0 1 0 799380369 98689024 21232 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24094 21232 1111 63 0 24031 0
vsize: 96376
[startup+780.075 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 21599 0 0 0 77964 51 0 0 25 0 1 0 799380369 99815424 21522 4294967295 134512640 134714508 3221221776 3221220432 134527946 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.076 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 21882 0 0 0 78963 51 0 0 25 0 1 0 799380369 100941824 21805 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24644 21805 1111 63 0 24581 0
vsize: 98576
[startup+800.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 22170 0 0 0 79962 52 0 0 25 0 1 0 799380369 102207488 22093 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24953 22093 1111 63 0 24890 0
vsize: 99812
[startup+810.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 22454 0 0 0 80961 54 0 0 25 0 1 0 799380369 103333888 22377 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25228 22377 1111 63 0 25165 0
vsize: 100912
[startup+820.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 22743 0 0 0 81960 55 0 0 25 0 1 0 799380369 104460288 22666 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25503 22666 1111 63 0 25440 0
vsize: 102012
[startup+830.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 23069 0 0 0 82960 55 0 0 25 0 1 0 799380369 106102784 22992 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 23354 0 0 0 83959 56 0 0 25 0 1 0 799380369 107216896 23277 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26176 23277 1111 63 0 26113 0
vsize: 104704
[startup+850.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 23643 0 0 0 84959 57 0 0 25 0 1 0 799380369 108482560 23566 4294967295 134512640 134714508 3221221776 3221220004 1077414345 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.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 23933 0 0 0 85958 58 0 0 25 0 1 0 799380369 109608960 23856 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 24228 0 0 0 86958 59 0 0 25 0 1 0 799380369 110874624 24151 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27069 24151 1111 63 0 27006 0
vsize: 108276
[startup+880.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 24520 0 0 0 87957 59 0 0 25 0 1 0 799380369 112001024 24443 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27344 24443 1111 63 0 27281 0
vsize: 109376
[startup+890.081 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 24815 0 0 0 88957 60 0 0 25 0 1 0 799380369 113270784 24738 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27654 24738 1111 63 0 27591 0
vsize: 110616
[startup+900.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 25105 0 0 0 89956 61 0 0 25 0 1 0 799380369 114397184 25028 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27929 25028 1111 63 0 27866 0
vsize: 111716
[startup+910.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 25401 0 0 0 90955 62 0 0 25 0 1 0 799380369 115662848 25324 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28238 25324 1111 63 0 28175 0
vsize: 112952
[startup+920.083 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 25698 0 0 0 91955 62 0 0 25 0 1 0 799380369 116789248 25621 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 25988 0 0 0 92954 63 0 0 25 0 1 0 799380369 118059008 25911 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28823 25911 1111 63 0 28760 0
vsize: 115292
[startup+940.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 26290 0 0 0 93954 64 0 0 25 0 1 0 799380369 119324672 26213 4294967295 134512640 134714508 3221221776 3221220432 134527932 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.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 26582 0 0 0 94953 65 0 0 25 0 1 0 799380369 120451072 26505 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29407 26505 1111 63 0 29344 0
vsize: 117628
[startup+960.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 26883 0 0 0 95952 66 0 0 25 0 1 0 799380369 121716736 26806 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29716 26806 1111 63 0 29653 0
vsize: 118864
[startup+970.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 27181 0 0 0 96951 67 0 0 25 0 1 0 799380369 122843136 27104 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 27477 0 0 0 97951 67 0 0 25 0 1 0 799380369 124112896 27400 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 27779 0 0 0 98950 69 0 0 25 0 1 0 799380369 125378560 27702 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30610 27702 1111 63 0 30547 0
vsize: 122440
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 28083 0 0 0 99949 70 0 0 25 0 1 0 799380369 126644224 28006 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30919 28006 1111 63 0 30856 0
vsize: 123676
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3045
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 28379 0 0 0 100949 70 0 0 25 0 1 0 799380369 127770624 28302 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31194 28302 1111 63 0 31131 0
vsize: 124776
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 28677 0 0 0 101948 71 0 0 25 0 1 0 799380369 129040384 28600 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31504 28600 1111 63 0 31441 0
vsize: 126016
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 28980 0 0 0 102947 72 0 0 25 0 1 0 799380369 130306048 28903 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31813 28903 1111 63 0 31750 0
vsize: 127252
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 29284 0 0 0 103947 73 0 0 25 0 1 0 799380369 131432448 29207 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32088 29207 1111 63 0 32025 0
vsize: 128352
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 29587 0 0 0 104946 74 0 0 25 0 1 0 799380369 132698112 29510 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32397 29510 1111 63 0 32334 0
vsize: 129588
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 29889 0 0 0 105945 75 0 0 25 0 1 0 799380369 133963776 29812 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32706 29812 1111 63 0 32643 0
vsize: 130824
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 30193 0 0 0 106944 76 0 0 25 0 1 0 799380369 135233536 30116 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33016 30116 1111 63 0 32953 0
vsize: 132064
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 30501 0 0 0 107944 77 0 0 25 0 1 0 799380369 136499200 30424 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33325 30424 1111 63 0 33262 0
vsize: 133300
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 30806 0 0 0 108943 78 0 0 25 0 1 0 799380369 137768960 30729 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33635 30729 1111 63 0 33572 0
vsize: 134540
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 31115 0 0 0 109941 80 0 0 25 0 1 0 799380369 139034624 31038 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33944 31038 1111 63 0 33881 0
vsize: 135776
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 31420 0 0 0 110941 81 0 0 25 0 1 0 799380369 140161024 31343 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34219 31343 1111 63 0 34156 0
vsize: 136876
[startup+1120.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 31729 0 0 0 111940 81 0 0 25 0 1 0 799380369 141426688 31652 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34528 31652 1111 63 0 34465 0
vsize: 138112
[startup+1130.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 32039 0 0 0 112939 83 0 0 25 0 1 0 799380369 142692352 31962 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34837 31962 1111 63 0 34774 0
vsize: 139348
[startup+1140.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 32343 0 0 0 113939 83 0 0 25 0 1 0 799380369 143962112 32266 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35147 32266 1111 63 0 35084 0
vsize: 140588
[startup+1150.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 32658 0 0 0 114938 84 0 0 25 0 1 0 799380369 145227776 32581 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35456 32581 1111 63 0 35393 0
vsize: 141824
[startup+1160.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 32964 0 0 0 115938 85 0 0 25 0 1 0 799380369 146493440 32887 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35765 32887 1111 63 0 35702 0
vsize: 143060
[startup+1170.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 33280 0 0 0 116937 85 0 0 25 0 1 0 799380369 147763200 33203 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36075 33203 1111 63 0 36012 0
vsize: 144300
[startup+1180.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 33586 0 0 0 117937 86 0 0 25 0 1 0 799380369 149028864 33509 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36384 33509 1111 63 0 36321 0
vsize: 145536
[startup+1190.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 33901 0 0 0 118936 87 0 0 25 0 1 0 799380369 150302720 33824 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36695 33824 1111 63 0 36632 0
vsize: 146780
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) R 2989 7876 7672 0 -1 0 34213 0 0 0 119935 89 0 0 25 0 1 0 799380369 151568384 34136 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37004 34136 1111 63 0 36941 0
vsize: 148016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 3047
Raw data (stat): 2990 (bsolo_lpr_cuts) Z 2989 7876 7672 0 -1 1036 34213 0 0 0 119935 95 0 0 25 0 1 0 799380369 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.17
CPU time (s): 1200.31
CPU user time (s): 1199.35
CPU system time (s): 0.953854
CPU usage (%): 100.012
Max. virtual memory (Kb): 148016
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####