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/submitted/een/normalized-fast0507.opb
MD5SUM	bc1a4f1c9875fd4d3273e85dcf5e871e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	311
Optimality of the best value was proved	NO
Number of terms in the objective function	63009
Biggest coefficient in the objective function	2
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	122425
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	122425
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.19
Number of variables	63001
Total number of constraints	489
Number of constraints which are clauses	489
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	7753
Trace number 25068

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 11:09:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5007 boxname=wulflinc31 idbench=386 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  bc1a4f1c9875fd4d3273e85dcf5e871e  /oldhome/oroussel/tmp/wulflinc31/normalized-fast0507.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fast0507.opb
IDLAUNCH: 5007
/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:        788604 kB
Buffers:         49032 kB
Cached:         174436 kB
SwapCached:       1952 kB
Active:         182648 kB
Inactive:        44036 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        788352 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13796 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 11:29:52 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 5007 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 63009 variables and 489 constraints.
#### 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 1.00 2/55 12631
Raw data (stat): 12631 (runsolver) R 12630 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 760620209 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 730 0 0 0 991 3 0 0 25 0 1 0 760620209 15622144 653 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3814 653 1111 63 0 3751 0
vsize: 15256
[startup+20.0009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 842 0 0 0 1992 3 0 0 25 0 1 0 760620209 16027648 765 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3913 765 1111 63 0 3850 0
vsize: 15652
[startup+30.0011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 954 0 0 0 2991 4 0 0 25 0 1 0 760620209 16433152 877 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4012 877 1111 63 0 3949 0
vsize: 16048
[startup+40.0011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1072 0 0 0 3991 4 0 0 25 0 1 0 760620209 16982016 995 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4146 995 1111 63 0 4083 0
vsize: 16584
[startup+50.0017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1209 0 0 0 4991 4 0 0 25 0 1 0 760620209 17510400 1132 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4275 1132 1111 63 0 4212 0
vsize: 17100
[startup+60.0019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1328 0 0 0 5991 5 0 0 25 0 1 0 760620209 17985536 1251 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4391 1251 1111 63 0 4328 0
vsize: 17564
[startup+70.0026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1456 0 0 0 6991 5 0 0 25 0 1 0 760620209 18579456 1379 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4536 1379 1111 63 0 4473 0
vsize: 18144
[startup+80.0025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1585 0 0 0 7991 5 0 0 25 0 1 0 760620209 19042304 1508 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4649 1508 1111 63 0 4586 0
vsize: 18596
[startup+90.0027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1722 0 0 0 8991 5 0 0 25 0 1 0 760620209 19623936 1645 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4791 1645 1111 63 0 4728 0
vsize: 19164
[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1849 0 0 0 9991 6 0 0 25 0 1 0 760620209 20123648 1772 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4913 1772 1111 63 0 4850 0
vsize: 19652
[startup+110.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1991 0 0 0 10991 6 0 0 25 0 1 0 760620209 20680704 1914 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5049 1914 1111 63 0 4986 0
vsize: 20196
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 2131 0 0 0 11990 7 0 0 25 0 1 0 760620209 21237760 2054 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5185 2054 1111 63 0 5122 0
vsize: 20740
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 2641 0 0 0 12988 9 0 0 25 0 1 0 760620209 22114304 2210 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2210 1111 63 0 5336 0
vsize: 21596
[startup+140.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 4632 0 0 0 13981 16 0 0 25 0 1 0 760620209 22564864 2355 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 2355 1111 63 0 5446 0
vsize: 22036
[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 8224 0 0 0 14972 26 0 0 25 0 1 0 760620209 23293952 2504 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5687 2504 1111 63 0 5624 0
vsize: 22748
[startup+160.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 13707 0 0 0 15961 37 0 0 25 0 1 0 760620209 23736320 2648 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5795 2648 1111 63 0 5732 0
vsize: 23180
[startup+170.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 21243 0 0 0 16945 52 0 0 25 0 1 0 760620209 24391680 2811 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5955 2811 1111 63 0 5892 0
vsize: 23820
[startup+180.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 30525 0 0 0 17926 72 0 0 25 0 1 0 760620209 25202688 2980 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6153 2980 1111 63 0 6090 0
vsize: 24612
[startup+190.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 41941 0 0 0 18906 92 0 0 25 0 1 0 760620209 25649152 3125 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6262 3125 1111 63 0 6199 0
vsize: 25048
[startup+200.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 55922 0 0 0 19879 119 0 0 25 0 1 0 760620209 26337280 3297 4294967295 134512640 134714508 3221221776 3221219988 1077358979 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6430 3297 1111 63 0 6367 0
vsize: 25720
[startup+210.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 72548 0 0 0 20846 152 0 0 25 0 1 0 760620209 27197440 3474 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6640 3478 1111 63 0 6577 0
vsize: 26560
[startup+220.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 93786 0 0 0 21808 191 0 0 25 0 1 0 760620209 28114944 3642 4294967295 134512640 134714508 3221221776 3221219868 1077387418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6864 3648 1111 63 0 6801 0
vsize: 27456
[startup+230.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 155053 0 0 0 22687 311 0 0 25 0 1 0 760620209 28663808 3803 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6998 3803 1111 63 0 6935 0
vsize: 27992
[startup+240.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 222754 0 0 0 23559 440 0 0 25 0 1 0 760620209 29343744 3976 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7164 3976 1111 63 0 7101 0
vsize: 28656
[startup+250.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 294473 0 0 0 24429 570 0 0 25 0 1 0 760620209 30027776 4151 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7331 4151 1111 63 0 7268 0
vsize: 29324
[startup+260.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 373847 0 0 0 25283 717 0 0 25 0 1 0 760620209 30846976 4337 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7531 4337 1111 63 0 7468 0
vsize: 30124
[startup+270.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 460973 0 0 0 26121 879 0 0 25 0 1 0 760620209 31838208 4565 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7773 4571 1111 63 0 7710 0
vsize: 31092
[startup+280.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 553849 0 0 0 26950 1050 0 0 25 0 1 0 760620209 32530432 4763 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7942 4768 1111 63 0 7879 0
vsize: 31768
[startup+290.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 649726 0 0 0 27773 1227 0 0 25 0 1 0 760620209 33357824 4928 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8144 4933 1111 63 0 8081 0
vsize: 32576
[startup+300.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 753696 0 0 0 28579 1421 0 0 25 0 1 0 760620209 33992704 5122 4294967295 134512640 134714508 3221221776 3221219736 1077377771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8299 5122 1111 63 0 8236 0
vsize: 33196
[startup+310.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 864666 0 0 0 29368 1632 0 0 25 0 1 0 760620209 35024896 5376 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8500 5325 1111 63 0 8437 0
vsize: 34204
[startup+320.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 983697 0 0 0 30141 1860 0 0 25 0 1 0 760620209 35635200 5536 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8700 5536 1111 63 0 8637 0
vsize: 34800
[startup+330.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1111108 0 0 0 30900 2101 0 0 25 0 1 0 760620209 36683776 5763 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8956 5768 1111 63 0 8893 0
vsize: 35824
[startup+340.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1248357 0 0 0 31636 2365 0 0 25 0 1 0 760620209 37416960 5975 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9135 5975 1111 63 0 9072 0
vsize: 36540
[startup+350.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1398177 0 0 0 32353 2648 0 0 25 0 1 0 760620209 38375424 6207 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9369 6207 1111 63 0 9306 0
vsize: 37476
[startup+360.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1518383 0 0 0 33126 2875 0 0 25 0 1 0 760620209 44539904 7717 4294967295 134512640 134714508 3221221776 3221220264 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10874 7717 1111 63 0 10811 0
vsize: 43496
[startup+370.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1521071 0 0 0 34118 2883 0 0 25 0 1 0 760620209 55508992 10405 4294967295 134512640 134714508 3221221776 3221219692 1077244347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13552 10405 1111 63 0 13489 0
vsize: 54208
[startup+380.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1522666 0 0 0 35112 2888 0 0 25 0 1 0 760620209 62398464 12000 4294967295 134512640 134714508 3221221776 3221220052 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15234 12000 1111 63 0 15171 0
vsize: 60936
[startup+390.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1523599 0 0 0 36110 2890 0 0 25 0 1 0 760620209 66449408 12925 4294967295 134512640 134714508 3221221776 3221219768 1077360204 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16223 12925 1111 63 0 16160 0
vsize: 64892
[startup+400.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 37098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220228 134536752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+410.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 38098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+420.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 39098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+430.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 40098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+440.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 41098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+450.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 42098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+460.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 43099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+470.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 44099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+480.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 45099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+490.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 46099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+500.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 47099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+510.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 48099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+520.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 49100 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+530.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 50100 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+540.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 51100 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+550.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 52100 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220236 134536748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+560.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 53100 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535973 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+570.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 54101 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+580.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 55101 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+590.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 56101 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+600.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 57101 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+610.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 58101 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+620.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 59102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+630.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 60102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+640.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 61102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+650.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 62102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+660.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 63102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+670.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 64102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+680.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 65103 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+690.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 66103 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+700.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 67103 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+710.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 68103 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220504 134672936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+720.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 69103 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+730.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 70104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+740.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 71104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220224 134535985 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+750.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 72104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+760.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 73104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+770.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 74104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+780.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 75104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+790.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 76105 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220236 134535988 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+800.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 77105 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+810.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 78105 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+820.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 79105 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+830.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 80106 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+840.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 81106 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+850.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 82106 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+860.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 83106 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+870.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 84106 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220244 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+880.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 85107 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+890.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 86107 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+900.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 87107 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+910.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 88107 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+920.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 89107 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220256 134543043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+930.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 90108 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+940.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 91108 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+950.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 92107 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+960.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 93107 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+970.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 94108 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+980.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 95108 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+990.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 96108 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+1000.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 97108 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+1010.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 98108 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+1020.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529127 0 0 0 99108 2904 0 0 25 0 1 0 760620209 80773120 18285 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18285 1111 63 0 19657 0
vsize: 78880
[startup+1030.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529127 0 0 0 100108 2904 0 0 25 0 1 0 760620209 80773120 18285 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18285 1111 63 0 19657 0
vsize: 78880
[startup+1040.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 101109 2904 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220220 134536788 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1050.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 102109 2904 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1060.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 103109 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1070.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 104109 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1080.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 105109 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1090.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 106109 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1100.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 107110 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1110.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 108110 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220220 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1120.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 109110 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1130.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529130 0 0 0 110110 2905 0 0 25 0 1 0 760620209 80773120 18288 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18288 1111 63 0 19657 0
vsize: 78880
[startup+1140.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529130 0 0 0 111110 2905 0 0 25 0 1 0 760620209 80773120 18288 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18288 1111 63 0 19657 0
vsize: 78880
[startup+1150.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529131 0 0 0 112111 2905 0 0 25 0 1 0 760620209 80773120 18289 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18289 1111 63 0 19657 0
vsize: 78880
[startup+1160.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529132 0 0 0 113111 2905 0 0 25 0 1 0 760620209 80773120 18290 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18290 1111 63 0 19657 0
vsize: 78880
[startup+1170.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529132 0 0 0 114111 2905 0 0 25 0 1 0 760620209 80773120 18290 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18290 1111 63 0 19657 0
vsize: 78880
[startup+1180.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529133 0 0 0 115111 2905 0 0 25 0 1 0 760620209 80773120 18291 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18291 1111 63 0 19657 0
vsize: 78880
[startup+1190.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529133 0 0 0 116112 2905 0 0 25 0 1 0 760620209 80773120 18291 4294967295 134512640 134714508 3221221776 3221220256 134543043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18291 1111 63 0 19657 0
vsize: 78880
[startup+1200.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529133 0 0 0 117112 2905 0 0 25 0 1 0 760620209 80773120 18291 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18291 1111 63 0 19657 0
vsize: 78880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 1.00 1.00 1/55 12631
Raw data (stat): 12631 (bsolo_lpr_cuts) Z 12630 7876 7672 0 -1 1036 1529133 0 0 0 117112 2908 0 0 25 0 1 0 760620209 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.09
CPU time (s): 1200.21
CPU user time (s): 1171.12
CPU system time (s): 29.0866
CPU usage (%): 100.01
Max. virtual memory (Kb): 78880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####