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/unibo/normalized-mps-v2-13-7-dc1l.opb
MD5SUM	5b92932a8bc350218da666e6f064f13f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	68818
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	6652856940207324781
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	6652856940207324781
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.758884
Number of variables	68678
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35119
Trace number 25364

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 21:28:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20087 boxname=wulflinc31 idbench=1546 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5b92932a8bc350218da666e6f064f13f  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dc1l.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dc1l.opb
IDLAUNCH: 20087
/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:        747288 kB
Buffers:         32336 kB
Cached:         233156 kB
SwapCached:        932 kB
Active:         109772 kB
Inactive:       158000 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        747036 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13860 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 21:48:04 (client local time) WITH STATUS 0 IN 1200.55 SECONDS
stats: 20087 7 1200.55 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.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (runsolver) R 11812 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 781611768 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.0014 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 2039 0 0 0 988 7 0 0 25 0 1 0 781611768 19865600 1962 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4850 1962 1111 63 0 4787 0
vsize: 19400
[startup+20.0024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 3212 0 0 0 1986 10 0 0 25 0 1 0 781611768 24641536 3135 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6016 3135 1111 63 0 5953 0
vsize: 24064
[startup+30.0023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 4390 0 0 0 2983 13 0 0 25 0 1 0 781611768 29421568 4313 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7183 4313 1111 63 0 7120 0
vsize: 28732
[startup+40.0032 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 5574 0 0 0 3980 16 0 0 25 0 1 0 781611768 34344960 5497 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8385 5497 1111 63 0 8322 0
vsize: 33540
[startup+50.0038 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 6759 0 0 0 4978 18 0 0 25 0 1 0 781611768 39124992 6682 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9552 6682 1111 63 0 9489 0
vsize: 38208
[startup+60.0041 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 7954 0 0 0 5976 21 0 0 25 0 1 0 781611768 44044288 7877 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10753 7877 1111 63 0 10690 0
vsize: 43012
[startup+70.0041 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 9150 0 0 0 6974 23 0 0 25 0 1 0 781611768 48967680 9073 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11955 9073 1111 63 0 11892 0
vsize: 47820
[startup+80.0043 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 10341 0 0 0 7972 25 0 0 25 0 1 0 781611768 53895168 10264 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13158 10264 1111 63 0 13095 0
vsize: 52632
[startup+90.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 11544 0 0 0 8970 27 0 0 25 0 1 0 781611768 58822656 11467 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14361 11467 1111 63 0 14298 0
vsize: 57444
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 12746 0 0 0 9967 30 0 0 25 0 1 0 781611768 63746048 12669 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15563 12669 1111 63 0 15500 0
vsize: 62252
[startup+110.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 13955 0 0 0 10965 32 0 0 25 0 1 0 781611768 68648960 13878 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16760 13878 1111 63 0 16697 0
vsize: 67040
[startup+120.007 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 15164 0 0 0 11963 35 0 0 25 0 1 0 781611768 73572352 15087 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17962 15087 1111 63 0 17899 0
vsize: 71848
[startup+130.007 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 16380 0 0 0 12960 38 0 0 25 0 1 0 781611768 78655488 16303 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19203 16303 1111 63 0 19140 0
vsize: 76812
[startup+140.008 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 17789 0 0 0 13958 40 0 0 25 0 1 0 781611768 84324352 17712 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20587 17712 1111 63 0 20524 0
vsize: 82348
[startup+150.009 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 19010 0 0 0 14956 42 0 0 25 0 1 0 781611768 89399296 18933 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21826 18933 1111 63 0 21763 0
vsize: 87304
[startup+160.01 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 20230 0 0 0 15954 45 0 0 25 0 1 0 781611768 94326784 20153 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23029 20153 1111 63 0 22966 0
vsize: 92116
[startup+170.01 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 21641 0 0 0 16952 47 0 0 25 0 1 0 781611768 100155392 21564 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24452 21564 1111 63 0 24389 0
vsize: 97808
[startup+180.009 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 22874 0 0 0 17949 50 0 0 25 0 1 0 781611768 105230336 22797 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25691 22797 1111 63 0 25628 0
vsize: 102764
[startup+190.01 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 24271 0 0 0 18947 52 0 0 25 0 1 0 781611768 110899200 24194 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27075 24194 1111 63 0 27012 0
vsize: 108300
[startup+200.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 25633 0 0 0 19945 54 0 0 25 0 1 0 781611768 116551680 25556 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28455 25556 1111 63 0 28392 0
vsize: 113820
[startup+210.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 26866 0 0 0 20943 57 0 0 25 0 1 0 781611768 121626624 26789 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29694 26789 1111 63 0 29631 0
vsize: 118776
[startup+220.012 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 28226 0 0 0 21941 59 0 0 25 0 1 0 781611768 127148032 28149 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31042 28149 1111 63 0 30979 0
vsize: 124168
[startup+230.012 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 29467 0 0 0 22938 62 0 0 25 0 1 0 781611768 132222976 29390 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32281 29390 1111 63 0 32218 0
vsize: 129124
[startup+240.013 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 30712 0 0 0 23937 63 0 0 25 0 1 0 781611768 137297920 30635 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33520 30635 1111 63 0 33457 0
vsize: 134080
[startup+250.013 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 32093 0 0 0 24934 66 0 0 25 0 1 0 781611768 142979072 32016 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34907 32016 1111 63 0 34844 0
vsize: 139628
[startup+260.014 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 33483 0 0 0 25932 69 0 0 25 0 1 0 781611768 148647936 33406 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36291 33406 1111 63 0 36228 0
vsize: 145164
[startup+270.014 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 34736 0 0 0 26930 71 0 0 25 0 1 0 781611768 153722880 34659 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37530 34659 1111 63 0 37467 0
vsize: 150120
[startup+280.014 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 36000 0 0 0 27927 74 0 0 25 0 1 0 781611768 158953472 35923 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38807 35923 1111 63 0 38744 0
vsize: 155228
[startup+290.015 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 37318 0 0 0 28924 77 0 0 25 0 1 0 781611768 164327424 37241 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40119 37241 1111 63 0 40056 0
vsize: 160476
[startup+300.015 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 38589 0 0 0 29921 80 0 0 25 0 1 0 781611768 169549824 38512 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41394 38512 1111 63 0 41331 0
vsize: 165576
[startup+310.016 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 39858 0 0 0 30920 82 0 0 25 0 1 0 781611768 174776320 39781 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42670 39781 1111 63 0 42607 0
vsize: 170680
[startup+320.017 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 41397 0 0 0 31917 85 0 0 25 0 1 0 781611768 181051392 41320 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44202 41320 1111 63 0 44139 0
vsize: 176808
[startup+330.017 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 42678 0 0 0 32916 86 0 0 25 0 1 0 781611768 186273792 42601 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45477 42601 1111 63 0 45414 0
vsize: 181908
[startup+340.018 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 43978 0 0 0 33913 89 0 0 25 0 1 0 781611768 191647744 43901 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46789 43901 1111 63 0 46726 0
vsize: 187156
[startup+350.018 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 45516 0 0 0 34910 92 0 0 25 0 1 0 781611768 197922816 45439 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48321 45439 1111 63 0 48258 0
vsize: 193284
[startup+360.019 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 46810 0 0 0 35908 95 0 0 25 0 1 0 781611768 203296768 46733 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49633 46733 1111 63 0 49570 0
vsize: 198532
[startup+370.018 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 48109 0 0 0 36906 97 0 0 25 0 1 0 781611768 208519168 48032 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50908 48032 1111 63 0 50845 0
vsize: 203632
[startup+380.018 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 49417 0 0 0 37903 100 0 0 25 0 1 0 781611768 213893120 49340 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52220 49340 1111 63 0 52157 0
vsize: 208880
[startup+390.019 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 50734 0 0 0 38901 102 0 0 25 0 1 0 781611768 219418624 50657 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53569 50657 1111 63 0 53506 0
vsize: 214276
[startup+400.019 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 52046 0 0 0 39899 105 0 0 25 0 1 0 781611768 224792576 51969 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54881 51969 1111 63 0 54818 0
vsize: 219524
[startup+410.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 53364 0 0 0 40897 106 0 0 25 0 1 0 781611768 230162432 53287 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56192 53287 1111 63 0 56129 0
vsize: 224768
[startup+420.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 54762 0 0 0 41896 108 0 0 25 0 1 0 781611768 235843584 54685 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57579 54685 1111 63 0 57516 0
vsize: 230316
[startup+430.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 56093 0 0 0 42894 110 0 0 25 0 1 0 781611768 241364992 56016 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58927 56016 1111 63 0 58864 0
vsize: 235708
[startup+440.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 57472 0 0 0 43891 113 0 0 25 0 1 0 781611768 246886400 57395 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60275 57395 1111 63 0 60212 0
vsize: 241100
[startup+450.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 58834 0 0 0 44888 116 0 0 25 0 1 0 781611768 252563456 58757 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61661 58757 1111 63 0 61598 0
vsize: 246644
[startup+460.022 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 60183 0 0 0 45886 118 0 0 25 0 1 0 781611768 258084864 60106 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63009 60106 1111 63 0 62946 0
vsize: 252036
[startup+470.022 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 61543 0 0 0 46884 121 0 0 25 0 1 0 781611768 263610368 61466 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64358 61466 1111 63 0 64295 0
vsize: 257432
[startup+480.022 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 62991 0 0 0 47881 124 0 0 25 0 1 0 781611768 269586432 62914 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65817 62914 1111 63 0 65754 0
vsize: 263268
[startup+490.023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 64376 0 0 0 48878 127 0 0 25 0 1 0 781611768 275255296 64299 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67201 64299 1111 63 0 67138 0
vsize: 268804
[startup+500.024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 65797 0 0 0 49876 129 0 0 25 0 1 0 781611768 281075712 65720 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68622 65720 1111 63 0 68559 0
vsize: 274488
[startup+510.025 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 67171 0 0 0 50873 132 0 0 25 0 1 0 781611768 286605312 67094 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69972 67094 1111 63 0 69909 0
vsize: 279888
[startup+520.025 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 68581 0 0 0 51872 134 0 0 25 0 1 0 781611768 292425728 68504 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71393 68504 1111 63 0 71330 0
vsize: 285572
[startup+530.025 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 69973 0 0 0 52870 136 0 0 25 0 1 0 781611768 298098688 69896 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72778 69896 1111 63 0 72715 0
vsize: 291112
[startup+540.026 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 71365 0 0 0 53867 139 0 0 25 0 1 0 781611768 303775744 71288 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74164 71288 1111 63 0 74101 0
vsize: 296656
[startup+550.026 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 72780 0 0 0 54865 141 0 0 25 0 1 0 781611768 309596160 72703 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75585 72703 1111 63 0 75522 0
vsize: 302340
[startup+560.027 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 74208 0 0 0 55862 144 0 0 25 0 1 0 781611768 315416576 74131 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77006 74131 1111 63 0 76943 0
vsize: 308024
[startup+570.028 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 75650 0 0 0 56860 147 0 0 25 0 1 0 781611768 321392640 75573 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78465 75573 1111 63 0 78402 0
vsize: 313860
[startup+580.028 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 77071 0 0 0 57857 150 0 0 25 0 1 0 781611768 327213056 76994 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79886 76994 1111 63 0 79823 0
vsize: 319544
[startup+590.029 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 78494 0 0 0 58855 152 0 0 25 0 1 0 781611768 333041664 78417 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81309 78417 1111 63 0 81246 0
vsize: 325236
[startup+600.029 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 79922 0 0 0 59853 154 0 0 25 0 1 0 781611768 338862080 79845 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82730 79845 1111 63 0 82667 0
vsize: 330920
[startup+610.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 81349 0 0 0 60850 157 0 0 25 0 1 0 781611768 344682496 81272 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84151 81272 1111 63 0 84088 0
vsize: 336604
[startup+620.031 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 82815 0 0 0 61847 160 0 0 25 0 1 0 781611768 350658560 82738 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85610 82738 1111 63 0 85547 0
vsize: 342440
[startup+630.031 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 84333 0 0 0 62843 164 0 0 25 0 1 0 781611768 356925440 84256 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87140 84256 1111 63 0 87077 0
vsize: 348560
[startup+640.032 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 85859 0 0 0 63840 168 0 0 25 0 1 0 781611768 363200512 85782 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88672 85782 1111 63 0 88609 0
vsize: 354688
[startup+650.032 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 87329 0 0 0 64838 170 0 0 25 0 1 0 781611768 369168384 87252 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90129 87252 1111 63 0 90066 0
vsize: 360516
[startup+660.033 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 88818 0 0 0 65836 173 0 0 25 0 1 0 781611768 375287808 88741 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91623 88741 1111 63 0 91560 0
vsize: 366492
[startup+670.034 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 90429 0 0 0 66833 176 0 0 25 0 1 0 781611768 381857792 90352 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93227 90352 1111 63 0 93164 0
vsize: 372908
[startup+680.034 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 91948 0 0 0 67830 179 0 0 25 0 1 0 781611768 388128768 91871 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94758 91871 1111 63 0 94695 0
vsize: 379032
[startup+690.035 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 93551 0 0 0 68827 182 0 0 25 0 1 0 781611768 394698752 93474 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96362 93474 1111 63 0 96299 0
vsize: 385448
[startup+700.036 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 95047 0 0 0 69824 185 0 0 25 0 1 0 781611768 400818176 94970 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97856 94970 1111 63 0 97793 0
vsize: 391424
[startup+710.037 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 96559 0 0 0 70822 187 0 0 25 0 1 0 781611768 406941696 96482 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99351 96482 1111 63 0 99288 0
vsize: 397404
[startup+720.037 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 98119 0 0 0 71820 189 0 0 25 0 1 0 781611768 413360128 98042 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 100918 98042 1111 63 0 100855 0
vsize: 403672
[startup+730.037 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 99675 0 0 0 72818 192 0 0 25 0 1 0 781611768 419852288 99598 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102503 99598 1111 63 0 102440 0
vsize: 410012
[startup+740.038 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 101193 0 0 0 73815 195 0 0 25 0 1 0 781611768 426119168 101116 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104033 101116 1111 63 0 103970 0
vsize: 416132
[startup+750.038 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 102756 0 0 0 74813 197 0 0 25 0 1 0 781611768 432541696 102679 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105601 102679 1111 63 0 105538 0
vsize: 422404
[startup+760.039 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 104360 0 0 0 75810 200 0 0 25 0 1 0 781611768 439107584 104283 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107204 104283 1111 63 0 107141 0
vsize: 428816
[startup+770.04 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 106007 0 0 0 76808 203 0 0 25 0 1 0 781611768 445829120 105930 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 108845 105930 1111 63 0 108782 0
vsize: 435380
[startup+780.04 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 107593 0 0 0 77805 205 0 0 25 0 1 0 781611768 452251648 107516 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 110413 107516 1111 63 0 110350 0
vsize: 441652
[startup+790.041 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 109307 0 0 0 78802 209 0 0 25 0 1 0 781611768 459264000 109230 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 112125 109230 1111 63 0 112062 0
vsize: 448500
[startup+800.042 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 110888 0 0 0 79800 211 0 0 25 0 1 0 781611768 465838080 110811 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 113730 110811 1111 63 0 113667 0
vsize: 454920
[startup+810.043 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 112461 0 0 0 80798 213 0 0 25 0 1 0 781611768 472252416 112384 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 115296 112384 1111 63 0 115233 0
vsize: 461184
[startup+820.043 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 114077 0 0 0 81796 215 0 0 25 0 1 0 781611768 478826496 114000 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 116901 114000 1111 63 0 116838 0
vsize: 467604
[startup+830.043 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 115681 0 0 0 82794 218 0 0 25 0 1 0 781611768 485392384 115604 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 118504 115604 1111 63 0 118441 0
vsize: 474016
[startup+840.043 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 117293 0 0 0 83792 220 0 0 25 0 1 0 781611768 491966464 117216 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 120109 117216 1111 63 0 120046 0
vsize: 480436
[startup+850.043 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 118934 0 0 0 84790 223 0 0 25 0 1 0 781611768 498679808 118857 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121748 118857 1111 63 0 121685 0
vsize: 486992
[startup+860.045 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 120647 0 0 0 85786 226 0 0 25 0 1 0 781611768 505700352 120570 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 123462 120570 1111 63 0 123399 0
vsize: 493848
[startup+870.045 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 122318 0 0 0 86784 229 0 0 25 0 1 0 781611768 512569344 122241 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 125139 122241 1111 63 0 125076 0
vsize: 500556
[startup+880.045 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 124001 0 0 0 87781 232 0 0 25 0 1 0 781611768 519434240 123924 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 126815 123924 1111 63 0 126752 0
vsize: 507260
[startup+890.046 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 125654 0 0 0 88778 235 0 0 25 0 1 0 781611768 526303232 125577 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 128492 125577 1111 63 0 128429 0
vsize: 513968
[startup+900.046 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 127339 0 0 0 89776 237 0 0 25 0 1 0 781611768 533176320 127262 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 130170 127262 1111 63 0 130107 0
vsize: 520680
[startup+910.047 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 129100 0 0 0 90773 241 0 0 25 0 1 0 781611768 540336128 129023 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131918 129023 1111 63 0 131855 0
vsize: 527672
[startup+920.047 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 130863 0 0 0 91770 243 0 0 25 0 1 0 781611768 547655680 130786 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 133705 130786 1111 63 0 133642 0
vsize: 534820
[startup+930.047 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 132583 0 0 0 92767 246 0 0 25 0 1 0 781611768 554672128 132506 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 135418 132506 1111 63 0 135355 0
vsize: 541672
[startup+940.048 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 134332 0 0 0 93764 250 0 0 25 0 1 0 781611768 561836032 134255 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 137167 134255 1111 63 0 137104 0
vsize: 548668
[startup+950.048 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 136077 0 0 0 94761 253 0 0 25 0 1 0 781611768 569004032 136000 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 138917 136000 1111 63 0 138854 0
vsize: 555668
[startup+960.049 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 137840 0 0 0 95758 256 0 0 25 0 1 0 781611768 576172032 137763 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 140667 137763 1111 63 0 140604 0
vsize: 562668
[startup+970.049 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 139589 0 0 0 96754 260 0 0 25 0 1 0 781611768 583335936 139512 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 142416 139512 1111 63 0 142353 0
vsize: 569664
[startup+980.049 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 141352 0 0 0 97752 262 0 0 25 0 1 0 781611768 590503936 141275 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 144166 141275 1111 63 0 144103 0
vsize: 576664
[startup+990.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 143127 0 0 0 98750 265 0 0 25 0 1 0 781611768 597823488 143050 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 145953 143050 1111 63 0 145890 0
vsize: 583812
[startup+1000.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 144913 0 0 0 99747 268 0 0 25 0 1 0 781611768 605138944 144836 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 147739 144836 1111 63 0 147676 0
vsize: 590956
[startup+1010.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 146711 0 0 0 100744 271 0 0 25 0 1 0 781611768 612450304 146634 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 149524 146634 1111 63 0 149461 0
vsize: 598096
[startup+1020.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 148578 0 0 0 101741 274 0 0 25 0 1 0 781611768 620064768 148501 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 151383 148501 1111 63 0 151320 0
vsize: 605532
[startup+1030.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 150431 0 0 0 102739 276 0 0 25 0 1 0 781611768 627683328 150354 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 153243 150354 1111 63 0 153180 0
vsize: 612972
[startup+1040.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 152322 0 0 0 103737 279 0 0 25 0 1 0 781611768 635449344 152245 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 155139 152245 1111 63 0 155076 0
vsize: 620556
[startup+1050.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 154225 0 0 0 104734 282 0 0 25 0 1 0 781611768 643211264 154148 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 157034 154148 1111 63 0 156971 0
vsize: 628136
[startup+1060.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 156113 0 0 0 105732 285 0 0 25 0 1 0 781611768 650969088 156036 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 158928 156036 1111 63 0 158865 0
vsize: 635712
[startup+1070.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 158016 0 0 0 106727 290 0 0 25 0 1 0 781611768 658735104 157939 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 160824 157939 1111 63 0 160761 0
vsize: 643296
[startup+1080.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 159943 0 0 0 107724 293 0 0 25 0 1 0 781611768 666648576 159866 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 162756 159866 1111 63 0 162693 0
vsize: 651024
[startup+1090.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 161875 0 0 0 108720 297 0 0 25 0 1 0 781611768 674562048 161798 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 164688 161798 1111 63 0 164625 0
vsize: 658752
[startup+1100.05 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 163825 0 0 0 109717 300 0 0 25 0 1 0 781611768 682627072 163748 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 166657 163748 1111 63 0 166594 0
vsize: 666628
[startup+1110.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 165796 0 0 0 110714 303 0 0 25 0 1 0 781611768 690688000 165719 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 168625 165719 1111 63 0 168562 0
vsize: 674500
[startup+1120.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 167764 0 0 0 111712 306 0 0 25 0 1 0 781611768 698753024 167687 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 170594 167687 1111 63 0 170531 0
vsize: 682376
[startup+1130.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 169775 0 0 0 112709 309 0 0 25 0 1 0 781611768 706965504 169698 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 172599 169698 1111 63 0 172536 0
vsize: 690396
[startup+1140.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 171837 0 0 0 113706 312 0 0 25 0 1 0 781611768 715321344 171760 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 174639 171760 1111 63 0 174576 0
vsize: 698556
[startup+1150.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 173926 0 0 0 114702 316 0 0 25 0 1 0 781611768 723984384 173849 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 176754 173849 1111 63 0 176691 0
vsize: 707016
[startup+1160.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 176083 0 0 0 115699 319 0 0 25 0 1 0 781611768 732794880 176006 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 178905 176006 1111 63 0 178842 0
vsize: 715620
[startup+1170.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 178260 0 0 0 116696 323 0 0 25 0 1 0 781611768 741601280 178183 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 181055 178183 1111 63 0 180992 0
vsize: 724220
[startup+1180.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 180453 0 0 0 117693 326 0 0 25 0 1 0 781611768 750710784 180376 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 183279 180376 1111 63 0 183216 0
vsize: 733116
[startup+1190.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 182682 0 0 0 118689 330 0 0 25 0 1 0 781611768 759816192 182605 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 185502 182605 1111 63 0 185439 0
vsize: 742008
[startup+1200.06 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) R 11812 7876 7672 0 -1 0 184920 0 0 0 119685 334 0 0 25 0 1 0 781611768 768921600 184843 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 187725 184843 1111 63 0 187662 0
vsize: 750900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.41 s]
Raw data (loadavg): 0.99 1.00 0.95 1/55 11813
Raw data (stat): 11813 (bsolo_lpr_cuts) Z 11812 7876 7672 0 -1 1036 184920 0 0 0 119685 369 0 0 25 0 1 0 781611768 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.41
CPU time (s): 1200.55
CPU user time (s): 1196.85
CPU system time (s): 3.69444
CPU usage (%): 100.012
Max. virtual memory (Kb): 750900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####